Solve (cosx)/2 = cos(x/2)