solve cos(x)>-sqrt(2)/2