integral[1/(1+at^2)^2,t,0,inf]