Derivative of Square of Tangent

Theorem

 * $\map {\dfrac \d {\d x} } {\tan^2 x} = 2 \tan x \sec^2 x$

when $\cos x \ne 0$.