Real logarithm identity #5951