\cos(y)=\sqrt{1-x^2/16}