x=tan(θ)で、∫dθ/cos(θ)=∫cos(θ)/{1-sin^2(θ)} dθ、sin(θ)=t とおく。