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