Secant Minus Cosine

Theorem

 * $\sec x - \cos x = \sin x \tan x$