Inverse Trigonometric Functions · Challenge problem

Write $\cos(2\arctan x)$ as a single algebraic expression in $x$ with no trig or inverse-trig functions.