Real logarithm identity #2050