y'=1/(1+t^2)