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