int_0^1 log(-1+t^2)/(1+t^2)