Real logarithm identity #2048