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