solve 2*cos(x) = 1