x-1=-2\wedge{-y^2=x^4+x^3+x^2+x+1}