\cos(x)=\sqrt{1-\sin^2(x)}