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

Find the exact value of $\cos 75^\circ\cos 15^\circ$ using a product-to-sum formula.