solve cos(x)%3D2x