Real logarithm identity #7278