2x^2=x^3-1