real part ln(sqrt(2)e^(ipi/4))