\int \frac{dx}{cos^2x}=tgx+C, \qquad (tgx)'=\frac{1}{cos^2x}