Simplifying and ordering polynomials