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