After a brief review of the current state of simplification this paper proposes a classification of simplification rules that may help in the practical implementation of simplification procedures. The last part of the paper is concerned in the mathematical theory of simplification, and the set of expressions formed from rational powers of polynomials is shown to have a canonical form.