int_0^1 arctan^2(t)/t dt