* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (83 enodes)
* * [misc]simplify:  iters left: 2 (146 enodes)
* * [misc]simplify:  iters left: 1 (248 enodes)
* [exit]simplify:  Simplified to (* d1 (+ (+ 32 d2) (+ d3 5)))
* [misc]progress:  Initial program already accurate, stopping.