x^4+2x^3-x^2-2x+1 >= 0