Simplifying a sum or difference of two univariate polynomials