Trigonometric Identities · Hard problem

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