Derivative of Secant of Function

Theorem
Let $u$ be a differentiable real function of $x$.

Then:
 * $\map {\dfrac \d {\d x} } {\sec u} = \sec u \tan u \dfrac {\d u} {\d x}$

where $\sec$ is the secant function and $\tan$ is the tangent function.