The ACM Computing Classification System (1998) I.1.1 Expressions and Their Representation Representations (general and polynomial) Simplification of expressions