Real logarithm identity #7608