2 cos x =1