Trigonometric Identities · Hard problem

Evaluate $\sin\left(\frac{7 \pi}{4}\right)\cos\left(\frac{5 \pi}{3}\right)$ exactly, using a product-to-sum formula.