y^2 = x^3 - x + 1