Tangent Half-Angle Substitution for Cosine

Corollary to Double Angle Formula for Cosine

 * $\cos \left({2 \theta}\right) = \dfrac {1 - \tan^2 \theta}{1 + \tan^2 \theta}$

where $\cos$ and $\tan$ denote cosine and tangent respectively.