0<=y<=-x^2-x+2