y^2 = x^3 - 2x