Real logarithm identity #1247