Valid
y² = x³ - x + 1