PolynomialExtendedGCD[x^2+1,x^5+3,x]