>>643
tanxの逆関数をf(x)とおくと∫[0,x]dt/(1+t^2)=f(x)

cos^2{f(x)}=1/(1+tan^2{f(x)})=1/(1+x^2) (∵tan{f(x)}=x)