Simplifying polynomials