\cos \left(2\arcsin \left(\frac{x}{\sqrt{2}}\right)\right)=1-x^2