>>669
∫(1/cosx)dx = ∫(cosx/cos^2x)dx = ∫{cosx/(1-sin^2x)}dx
t=sinx と置換。