integrate 4/(1+t^2)