int 1/(1 - at^2)^2 dt