Trigonometric Identities · Hard problem

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