resultant[ x^3-2, a (x^2+1) - x - 1, x ]