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