arccos(2 cos x)