y^3 + 1 = 2x