* [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) (* d1 d3))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* (+ d2 d3) d1)
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 2
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (d1 d2 d3) (* (+ d2 d3) d1))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (* (+ d2 d3) d1) in (d2 d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ d2 d3) d1) in d1
* [misc]taylor:  Taking taylor expansion of (+ d2 d3) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* (+ d2 d3) d1) in d3
* [misc]taylor:  Taking taylor expansion of (+ d2 d3) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (* (+ d2 d3) d1) in d2
* [misc]taylor:  Taking taylor expansion of (+ d2 d3) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (* (+ d2 d3) d1) in d2
* [misc]taylor:  Taking taylor expansion of (+ d2 d3) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (+ 0 d3) into d3
* [misc]backup-simplify:  Simplify (* d3 d1) into (* d1 d3)
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* d1 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ (* d3 0) (* 1 d1)) into d1
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* d1 1) (* 0 0)) into d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* d3 0) (+ (* 1 0) (* 0 d1))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]approximate:  Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1)) in (d2 d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d1)) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* (/ 1 d3) (/ 1 d1))) into (/ 1 (* d1 d3))
* [misc]taylor:  Taking taylor expansion of (/ 1 (* d1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* d1 0) into 0
* [misc]backup-simplify:  Simplify (+ (* d1 1) (* 0 0)) into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* (/ 1 d3) 0) (* 0 (/ 1 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* d1 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* (/ 1 d3) 0) (+ (* 0 0) (* 0 (/ 1 d1))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* d1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* (/ 1 (/ 1 d1)) (* 1 (/ 1 (/ 1 d2))))) (* 1 (* (/ 1 (/ 1 d1)) (* (/ 1 (/ 1 d3)) 1)))) into (+ (* d1 d3) (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (* (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1))) in (d2 d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d2)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1))) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d2)) (/ 1 (- d3))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d3
* [misc]taylor:  Taking taylor expansion of (- d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d3
* [misc]taylor:  Taking taylor expansion of (- d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1))) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d2)) (/ 1 (- d3))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d2
* [misc]taylor:  Taking taylor expansion of (- d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1))) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d2)) (/ 1 (- d3))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d2
* [misc]taylor:  Taking taylor expansion of (- d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d1)) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d1) (/ 0 (- d1))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ -1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* (- (/ 1 d3)) (/ -1 d1))) into (/ 1 (* d1 d3))
* [misc]taylor:  Taking taylor expansion of (/ 1 (* d1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* d1 0) into 0
* [misc]backup-simplify:  Simplify (+ (* d1 1) (* 0 0)) into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d1) (/ 0 (- d1))) (* 0 (/ 0 (- d1))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* (- (/ 1 d3)) 0) (* 0 (/ -1 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* d1 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d1) (/ 0 (- d1))) (* 0 (/ 0 (- d1))) (* 0 (/ 0 (- d1))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* (- (/ 1 d3)) 0) (+ (* 0 0) (* 0 (/ -1 d1))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* d1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* (/ 1 (/ 1 (- d1))) (* 1 (/ 1 (/ 1 (- d2)))))) (* 1 (* (/ 1 (/ 1 (- d1))) (* (/ 1 (/ 1 (- d3))) 1)))) into (+ (* d1 d3) (* d1 d2))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d3) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (* d1 d3) (* d1 d2))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* (+ d3 d2) d1)
* * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d3) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (* d1 d3) (* d1 d2))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* (+ d3 d2) d1)
* * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log1p (expm1 (* (+ d2 d3) d1))))>
* [enter]simplify:  Simplifying (expm1 (* (+ d2 d3) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (expm1 (* (+ d2 d3) d1))
* [exit]simplify:  Simplified to (expm1 (* (+ d2 d3) d1))
* * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (expm1 (log1p (* (+ d2 d3) d1))))>
* [enter]simplify:  Simplifying (log1p (* (+ d2 d3) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (log1p (* (+ d2 d3) d1))
* [exit]simplify:  Simplified to (log1p (* (+ d2 d3) d1))
* * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (pow (* (+ d2 d3) d1) 1))>
* * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (exp (log (* (+ d2 d3) d1))))>
* [enter]simplify:  Simplifying (log (* (+ d2 d3) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (log (* (+ d2 d3) d1))
* [exit]simplify:  Simplified to (log (* (+ d2 d3) d1))
* * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (exp (* (+ d2 d3) d1))))>
* [enter]simplify:  Simplifying (exp (* (+ d2 d3) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (34 enodes)
* * [misc]simplify:  iters left: 1 (52 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ d2 d3))
* [exit]simplify:  Simplified to (pow (exp d1) (+ d2 d3))
* * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cube (cbrt (* (+ d2 d3) d1))))>
* [enter]simplify:  Simplifying (cbrt (* (+ d2 d3) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ d2 d3) d1))
* [exit]simplify:  Simplified to (cbrt (* (+ d2 d3) d1))
* * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cbrt (cube (* (+ d2 d3) d1))))>
* [enter]simplify:  Simplifying (cube (* (+ d2 d3) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (62 enodes)
* * [misc]simplify:  iters left: 1 (212 enodes)
* [exit]simplify:  Simplified to (cube (* (+ d2 d3) d1))
* [exit]simplify:  Simplified to (cube (* (+ d2 d3) d1))
* * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (sqr (sqrt (* (+ d2 d3) d1))))>
* [enter]simplify:  Simplifying (sqrt (* (+ d2 d3) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ d2 d3) d1))
* [exit]simplify:  Simplified to (sqrt (* (+ d2 d3) d1))
* * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* 1 (* (+ d2 d3) d1)))>
* * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* 1 (* (+ d2 d3) d1)))>
* [enter]simplify:  Simplifying (* (+ d2 d3) d1)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* * [misc]simplify:  iters left: 1 (19 enodes)
* [exit]simplify:  Simplified to (* (+ d2 d3) d1)
* [exit]simplify:  Simplified to (* (+ d2 d3) d1)
* * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (* (- (pow d2 3) (pow d3 3)) d1) (+ (sqr d2) (- (sqr d3) (* d2 d3)))))>
* [enter]simplify:  Simplifying (* (- (pow d2 3) (pow d3 3)) d1)
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (* d1 (- (cube d2) (cube d3)))
* [exit]simplify:  Simplified to (* d1 (- (cube d2) (cube d3)))
* * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (* (- (sqr d2) (sqr d3)) d1) (- d2 d3)))>
* [enter]simplify:  Simplifying (* (- (sqr d2) (sqr d3)) d1)
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (80 enodes)
* [exit]simplify:  Simplified to (* (* d1 (+ d2 d3)) (- d2 d3))
* [exit]simplify:  Simplified to (* (* d1 (+ d2 d3)) (- d2 d3))
* * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* d1 (+ d2 d3)))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (+ d2 d3)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ d2 d3)
* [exit]simplify:  Simplified to (+ d2 d3)