Trigonometric Identities · Hard problem

Evaluate $\cos\left(2\cdot\frac{\pi}{4}\right)$ exactly, using a double-angle formula.