Real logarithm identity #4340