What is the integral of 1/(cos x)^2?