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