int_0^(2\pi)log(1/x)