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