Solve cos(x) %3E 2sin(x)