Auxiliary definitions
Small, simple optimizations
Compression of wire numbering
A useful data structure
Algebraic optimization method
State of the optimization automaton
The state monad
Low-level access functions
Higher-level access functions
Auxiliary functions
The algebraic optimization automaton
Some wrappers
Multi-pass optimization