cos(x)*(2 + sin(x)) - x = pi/2