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