Cotangent Minus Tangent

Theorem

 * $\cot x - \tan x = 2 \cot 2 x$