resultant((x^2 + y^2) - 9, y^2-1, y)