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

Use a product-to-sum formula to find the exact value of $\cos 52.5^\circ\cos 7.5^\circ$.