Cosine in Terms of Haversine

Theorem

 * $\cos \theta = 1 - 2 \hav \theta$

where $\cos$ denotes cosine and $\operatorname {hav}$ denotes haversine.