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