Real logarithm identity #4183