x^3-x+1