integrate 4/(t^2+1), t from -1 to 1