\varphi

\arccos(2\sin\frac{\varphi}{2})=\arcsin\sqrt{1-4\sin^{2}\frac{\varphi}{2}}=\arcsin\sqrt{2\cos\varphi-1}