solve cos(x)=2x