\cos(2t)=\cos(2\arcsin \left(\frac{x}{\sqrt{2}}\right))