* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (* (+ a (+ b (+ c d))) 2)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (59 enodes)
* * [misc]simplify:  iters left: 2 (117 enodes)
* * [misc]simplify:  iters left: 1 (152 enodes)
* [exit]simplify:  Simplified to (* (+ (+ a b) (+ c d)) 2)
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 2
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (a b c d) (* (+ a (+ b (+ c d))) 2))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * [misc]progress:  generating rewritten candidates
* * * [misc]progress:  simplifying candidates
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  Final touches.
* * * [misc]progress:  tayloring alt 1 of 1
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-event (λ (a b c d) (* (+ a (+ b (+ c d))) 2))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 d +inf.0)) , with alts (#<alt-event (λ (a b c d) (* (+ a (+ b (+ c d))) 2))>)
* [enter]simplify:  Simplifying (* (+ a (+ b (+ c d))) 2)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (59 enodes)
* * [misc]simplify:  iters left: 2 (117 enodes)
* * [misc]simplify:  iters left: 1 (152 enodes)
* [exit]simplify:  Simplified to (* (+ (+ a b) (+ c d)) 2)