Complex logarithm - real part