log(1 + isqrt(3))