∫dt/cos(t)=∫cos(t)/(1-sin^2(t))dt