(x-1)^2 + (x+2)^3 >= 0