y^2 = x^3-x