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