solve y^2 = x z - x^2 + 1 for y, z