The rewrite rules define semantics preserving transformations of expressions
The goal of applying the rewrite rules is normally to reduce an expression to the simplest possible form, called a normal form