PolynomialGCD(x^4-x^2+4^x,x^3-x+3)