Sum, Difference, and Multiple-Angle Formulas · Challenge problem

Find $\cos 7.5^\circ$ exactly, using a nested half-angle built on $\cos 15^\circ$.