Simplification
Each simplification step preserves meaning.
Goal is to produce equivalent expression whose meaning is more obvious than the meaning of the original.
Simplification process shows how program operates
Denotational definition is used as a specification for the calculator.
Denotational definition plus simplification strategy shows a possible implementation of the calculator.