PolynomialQuotientRemainder[x^2 + 1 , x + 1 , x]