y' = y^2 + 1 - x^2