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