* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 50 additional inputs, on iter 1 have 206 / 256
* * * * [misc]points:  Computing exacts on every 3 of 50 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 50 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 9 additional inputs, on iter 2 have 247 / 256
* * * * [misc]points:  Computing exacts for 9 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* * [misc]simplify:  iters left: 3 (113 enodes)
* * [misc]simplify:  iters left: 2 (216 enodes)
* * [misc]simplify:  iters left: 1 (359 enodes)
* [exit]simplify:  Simplified to (* d1 (+ (+ d2 5) (+ 32 d3)))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (d1 d2 d3) (* d1 (+ (+ d2 5) (+ 32 d3))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (* d1 (+ (+ d2 5) (+ 32 d3))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (* d1 (+ (+ d2 5) (+ 32 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 (+ (+ d2 5) (+ 32 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (+ d2 5) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 d3) in d3
* [misc]taylor:  Taking taylor expansion of 32 in d3
* [misc]backup-simplify:  Simplify 32 into 32
* [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 (+ (+ d2 5) (+ 32 d3))) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (+ d2 5) (+ 32 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (+ d2 5) 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 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 d3) in d2
* [misc]taylor:  Taking taylor expansion of 32 in d2
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d1 (+ (+ d2 5) (+ 32 d3))) 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]taylor:  Taking taylor expansion of (+ (+ d2 5) (+ 32 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (+ d2 5) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 d3) in d1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d1 (+ (+ d2 5) (+ 32 d3))) 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]taylor:  Taking taylor expansion of (+ (+ d2 5) (+ 32 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (+ d2 5) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 d3) in d1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (+ 5 d2) into (+ 5 d2)
* [misc]backup-simplify:  Simplify (+ 32 d3) into (+ 32 d3)
* [misc]backup-simplify:  Simplify (+ (+ 5 d2) (+ 32 d3)) into (+ 37 (+ d3 d2))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 37 (+ d3 d2)) into (+ 37 (+ d3 d2))
* [misc]taylor:  Taking taylor expansion of (+ 37 (+ d3 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 37 in d2
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]taylor:  Taking taylor expansion of (+ d3 d2) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [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 d3 into d3
* [misc]backup-simplify:  Simplify (+ 37 d3) into (+ 37 d3)
* [misc]taylor:  Taking taylor expansion of (+ 37 d3) in d3
* [misc]taylor:  Taking taylor expansion of 37 in d3
* [misc]backup-simplify:  Simplify 37 into 37
* [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 37 into 37
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (+ (* d3 d1) (+ (* d2 d1) (* 37 d1))) into (+ (* d1 d3) (+ (* d1 d2) (* 37 d1)))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 d1) (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3)))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3)))) in d3
* [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) 5) (+ 32 (/ 1 d3))) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) 5) 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 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of 32 in d3
* [misc]backup-simplify:  Simplify 32 into 32
* [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 into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3)))) in d2
* [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) 5) (+ 32 (/ 1 d3))) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) 5) 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 into 1
* [misc]taylor:  Taking taylor expansion of 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of 32 in d2
* [misc]backup-simplify:  Simplify 32 into 32
* [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) (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3)))) in 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) 5) 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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [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) (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3)))) in 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) 5) 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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [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]backup-simplify:  Simplify (+ 5 (/ 1 d2)) into (+ (/ 1 d2) 5)
* [misc]backup-simplify:  Simplify (+ 32 (/ 1 d3)) into (+ 32 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3))) into (+ (/ 1 d2) (+ 37 (/ 1 d3)))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (+ 37 (/ 1 d3))) into (+ (/ 1 d2) (+ 37 (/ 1 d3)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ 37 (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of 37 in d2
* [misc]backup-simplify:  Simplify 37 into 37
* [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]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d3) (/ 0 d3)) into 0
* [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 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (+ 37 (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of 37 in d3
* [misc]backup-simplify:  Simplify 37 into 37
* [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 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d3) (/ 0 d3)) into 0
* [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 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d3) (/ 0 d3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]backup-simplify:  Simplify (+ (* 37 (/ 1 (/ 1 d1))) (+ (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))) (* (/ 1 (/ 1 d3)) (/ 1 (/ 1 d1))))) into (+ (* d1 d2) (+ (* d1 d3) (* 37 d1)))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (+ (/ 1 (- d2)) 5) (+ 32 (/ 1 (- d3))))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (+ (/ 1 (- d2)) 5) (+ 32 (/ 1 (- d3))))) in d3
* [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)) 5) (+ 32 (/ 1 (- d3)))) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d2)) 5) 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 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 (/ 1 (- d3))) in d3
* [misc]taylor:  Taking taylor expansion of 32 in d3
* [misc]backup-simplify:  Simplify 32 into 32
* [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 into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (+ (/ 1 (- d2)) 5) (+ 32 (/ 1 (- d3))))) in d2
* [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)) 5) (+ 32 (/ 1 (- d3)))) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d2)) 5) 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 into -1
* [misc]taylor:  Taking taylor expansion of 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 (/ 1 (- d3))) in d2
* [misc]taylor:  Taking taylor expansion of 32 in d2
* [misc]backup-simplify:  Simplify 32 into 32
* [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)) (+ (+ (/ 1 (- d2)) 5) (+ 32 (/ 1 (- d3))))) in d1
* [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 into -1
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- d2)) 5) (+ 32 (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d2)) 5) 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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [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)) (+ (+ (/ 1 (- d2)) 5) (+ 32 (/ 1 (- d3))))) in d1
* [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 into -1
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- d2)) 5) (+ 32 (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d2)) 5) 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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ 32 (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [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]backup-simplify:  Simplify (+ 5 (/ 1 d2)) into (+ (/ 1 d2) 5)
* [misc]backup-simplify:  Simplify (+ 32 (/ 1 d3)) into (+ 32 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 d2) 5) (+ 32 (/ 1 d3))) into (+ (/ 1 d2) (+ 37 (/ 1 d3)))
* [misc]backup-simplify:  Simplify (* -1 (+ (/ 1 d2) (+ 37 (/ 1 d3)))) into (* -1 (+ (/ 1 d2) (+ 37 (/ 1 d3))))
* [misc]taylor:  Taking taylor expansion of (* -1 (+ (/ 1 d2) (+ 37 (/ 1 d3)))) in d2
* [misc]taylor:  Taking taylor expansion of -1 in d2
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ 37 (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of 37 in d2
* [misc]backup-simplify:  Simplify 37 into 37
* [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]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of -1 in d3
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) into 0
* [misc]backup-simplify:  Simplify 0 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 into 0
* [misc]backup-simplify:  Simplify 0 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 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]backup-simplify:  Simplify (* -1 (+ 37 (/ 1 d3))) into (* -1 (+ 37 (/ 1 d3)))
* [misc]taylor:  Taking taylor expansion of (* -1 (+ 37 (/ 1 d3))) in d3
* [misc]taylor:  Taking taylor expansion of -1 in d3
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (+ 37 (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of 37 in d3
* [misc]backup-simplify:  Simplify 37 into 37
* [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 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) into 0
* [misc]backup-simplify:  Simplify 0 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)) into 0
* [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 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 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d3) (/ 0 d3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]backup-simplify:  Simplify -37 into -37
* [misc]backup-simplify:  Simplify -37 into -37
* [misc]backup-simplify:  Simplify (+ (* -37 (/ 1 (/ 1 (- d1)))) (+ (* -1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))) (* -1 (* (/ 1 (/ 1 (- d3))) (/ 1 (/ 1 (- d1))))))) into (- (* 37 d1) (+ (* d1 d2) (* d1 d3)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (pow (* d1 (+ (+ d2 5) (+ 32 d3))) 1))>
* * * * [misc]progress:  [ 2 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (exp (log (* d1 (+ (+ d2 5) (+ 32 d3))))))>
* [enter]simplify:  Simplifying (log (* d1 (+ (+ d2 5) (+ 32 d3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (73 enodes)
* * [misc]simplify:  iters left: 3 (152 enodes)
* * [misc]simplify:  iters left: 2 (270 enodes)
* * [misc]simplify:  iters left: 1 (306 enodes)
* [exit]simplify:  Simplified to (log (* (+ (+ 32 5) (+ d2 d3)) d1))
* [exit]simplify:  Simplified to (log (* (+ (+ 32 5) (+ d2 d3)) d1))
* * * * [misc]progress:  [ 3 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (exp (* d1 (+ (+ d2 5) (+ 32 d3))))))>
* [enter]simplify:  Simplifying (exp (* d1 (+ (+ d2 5) (+ 32 d3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (77 enodes)
* * [misc]simplify:  iters left: 3 (188 enodes)
* * [misc]simplify:  iters left: 2 (424 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ 5 d3) (+ d2 32)))
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ 5 d3) (+ d2 32)))
* * * * [misc]progress:  [ 4 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (* (cbrt (* d1 (+ (+ d2 5) (+ 32 d3)))) (cbrt (* d1 (+ (+ d2 5) (+ 32 d3))))) (cbrt (* d1 (+ (+ d2 5) (+ 32 d3))))))>
* [enter]simplify:  Simplifying (* (cbrt (* d1 (+ (+ d2 5) (+ 32 d3)))) (cbrt (* d1 (+ (+ d2 5) (+ 32 d3)))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (70 enodes)
* * [misc]simplify:  iters left: 3 (148 enodes)
* * [misc]simplify:  iters left: 2 (267 enodes)
* * [misc]simplify:  iters left: 1 (300 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (+ (+ 5 d3) (+ d2 32)) d1)) (cbrt (* (+ (+ 5 d3) (+ d2 32)) d1)))
* [exit]simplify:  Simplified to (* (cbrt (* (+ (+ 5 d3) (+ d2 32)) d1)) (cbrt (* (+ (+ 5 d3) (+ d2 32)) d1)))
* [enter]simplify:  Simplifying (cbrt (* d1 (+ (+ d2 5) (+ 32 d3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (148 enodes)
* * [misc]simplify:  iters left: 2 (279 enodes)
* * [misc]simplify:  iters left: 1 (315 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ (+ d2 32) (+ 5 d3)) d1))
* [exit]simplify:  Simplified to (cbrt (* (+ (+ d2 32) (+ 5 d3)) d1))
* * * * [misc]progress:  [ 5 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cbrt (* (* (* d1 (+ (+ d2 5) (+ 32 d3))) (* d1 (+ (+ d2 5) (+ 32 d3)))) (* d1 (+ (+ d2 5) (+ 32 d3))))))>
* [enter]simplify:  Simplifying (* (* (* d1 (+ (+ d2 5) (+ 32 d3))) (* d1 (+ (+ d2 5) (+ 32 d3)))) (* d1 (+ (+ d2 5) (+ 32 d3))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (32 enodes)
* * [misc]simplify:  iters left: 4 (169 enodes)
* [exit]simplify:  Simplified to (pow (* (+ (+ 32 d3) (+ d2 5)) d1) 3)
* [exit]simplify:  Simplified to (pow (* (+ (+ 32 d3) (+ d2 5)) d1) 3)
* * * * [misc]progress:  [ 6 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (sqrt (* d1 (+ (+ d2 5) (+ 32 d3)))) (sqrt (* d1 (+ (+ d2 5) (+ 32 d3))))))>
* [enter]simplify:  Simplifying (sqrt (* d1 (+ (+ d2 5) (+ 32 d3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (148 enodes)
* * [misc]simplify:  iters left: 2 (279 enodes)
* * [misc]simplify:  iters left: 1 (315 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ (+ d2 32) (+ 5 d3)) d1))
* [exit]simplify:  Simplified to (sqrt (* (+ (+ d2 32) (+ 5 d3)) d1))
* [enter]simplify:  Simplifying (sqrt (* d1 (+ (+ d2 5) (+ 32 d3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (148 enodes)
* * [misc]simplify:  iters left: 2 (279 enodes)
* * [misc]simplify:  iters left: 1 (315 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ (+ d2 32) (+ 5 d3)) d1))
* [exit]simplify:  Simplified to (sqrt (* (+ (+ d2 32) (+ 5 d3)) d1))
* * * * [misc]progress:  [ 7 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* 1 (* d1 (+ (+ d2 5) (+ 32 d3)))))>
* * * * [misc]progress:  [ 8 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* d1 (+ d2 5)) (* d1 (+ 32 d3))))>
* [enter]simplify:  Simplifying (* d1 (+ d2 5))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* [exit]simplify:  Simplified to (* (+ d2 5) d1)
* [exit]simplify:  Simplified to (* (+ d2 5) d1)
* [enter]simplify:  Simplifying (* d1 (+ 32 d3))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* [exit]simplify:  Simplified to (* (+ 32 d3) d1)
* [exit]simplify:  Simplified to (* (+ 32 d3) d1)
* * * * [misc]progress:  [ 9 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* (+ d2 5) d1) (* (+ 32 d3) d1)))>
* [enter]simplify:  Simplifying (* (+ d2 5) d1)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* [exit]simplify:  Simplified to (* (+ 5 d2) d1)
* [exit]simplify:  Simplified to (* (+ 5 d2) d1)
* [enter]simplify:  Simplifying (* (+ 32 d3) d1)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* [exit]simplify:  Simplified to (* (+ d3 32) d1)
* [exit]simplify:  Simplified to (* (+ d3 32) d1)
* * * * [misc]progress:  [ 10 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (* d1 (* (cbrt (+ (+ d2 5) (+ 32 d3))) (cbrt (+ (+ d2 5) (+ 32 d3))))) (cbrt (+ (+ d2 5) (+ 32 d3)))))>
* [enter]simplify:  Simplifying (* d1 (* (cbrt (+ (+ d2 5) (+ 32 d3))) (cbrt (+ (+ d2 5) (+ 32 d3)))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (66 enodes)
* * [misc]simplify:  iters left: 2 (82 enodes)
* [exit]simplify:  Simplified to (* (* (cbrt (+ (+ 32 5) (+ d2 d3))) (cbrt (+ (+ 32 5) (+ d2 d3)))) d1)
* [exit]simplify:  Simplified to (* (* (cbrt (+ (+ 32 5) (+ d2 d3))) (cbrt (+ (+ 32 5) (+ d2 d3)))) d1)
* * * * [misc]progress:  [ 11 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (* d1 (sqrt (+ (+ d2 5) (+ 32 d3)))) (sqrt (+ (+ d2 5) (+ 32 d3)))))>
* [enter]simplify:  Simplifying (* d1 (sqrt (+ (+ d2 5) (+ 32 d3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (37 enodes)
* * [misc]simplify:  iters left: 3 (59 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* [exit]simplify:  Simplified to (* d1 (sqrt (+ (+ d2 d3) (+ 32 5))))
* [exit]simplify:  Simplified to (* d1 (sqrt (+ (+ d2 d3) (+ 32 5))))
* * * * [misc]progress:  [ 12 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (* d1 1) (+ (+ d2 5) (+ 32 d3))))>
* [enter]simplify:  Simplifying (* d1 1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to d1
* [exit]simplify:  Simplified to d1
* * * * [misc]progress:  [ 13 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (* d1 1) (+ (+ d2 5) (+ 32 d3))))>
* [enter]simplify:  Simplifying (* d1 1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to d1
* [exit]simplify:  Simplified to d1
* * * * [misc]progress:  [ 14 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (* d1 (+ (* (+ (pow d2 3) (pow 5 3)) (+ (* 32 32) (- (* d3 d3) (* 32 d3)))) (* (+ (* d2 d2) (- (* 5 5) (* d2 5))) (+ (pow 32 3) (pow d3 3))))) (* (+ (* d2 d2) (- (* 5 5) (* d2 5))) (+ (* 32 32) (- (* d3 d3) (* 32 d3))))))>
* [enter]simplify:  Simplifying (* d1 (+ (* (+ (pow d2 3) (pow 5 3)) (+ (* 32 32) (- (* d3 d3) (* 32 d3)))) (* (+ (* d2 d2) (- (* 5 5) (* d2 5))) (+ (pow 32 3) (pow d3 3)))))
* * [misc]simplify:  iters left: 6 (26 enodes)
* * [misc]simplify:  iters left: 5 (74 enodes)
* * [misc]simplify:  iters left: 4 (244 enodes)
* [exit]simplify:  Simplified to (+ (* (* d1 (+ (pow 32 3) (pow d3 3))) (+ (* d2 d2) (* 5 (- 5 d2)))) (* (+ (* 32 32) (* (- d3 32) d3)) (* d1 (+ (pow 5 3) (pow d2 3)))))
* [exit]simplify:  Simplified to (+ (* (* d1 (+ (pow 32 3) (pow d3 3))) (+ (* d2 d2) (* 5 (- 5 d2)))) (* (+ (* 32 32) (* (- d3 32) d3)) (* d1 (+ (pow 5 3) (pow d2 3)))))
* * * * [misc]progress:  [ 15 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (* d1 (+ (* (+ (pow d2 3) (pow 5 3)) (- 32 d3)) (* (+ (* d2 d2) (- (* 5 5) (* d2 5))) (- (* 32 32) (* d3 d3))))) (* (+ (* d2 d2) (- (* 5 5) (* d2 5))) (- 32 d3))))>
* [enter]simplify:  Simplifying (* d1 (+ (* (+ (pow d2 3) (pow 5 3)) (- 32 d3)) (* (+ (* d2 d2) (- (* 5 5) (* d2 5))) (- (* 32 32) (* d3 d3)))))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (51 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* [exit]simplify:  Simplified to (+ (* (+ (* d2 d2) (* (- 5 d2) 5)) (* (* (- 32 d3) d1) (+ d3 32))) (* (* (- 32 d3) d1) (+ (pow 5 3) (pow d2 3))))
* [exit]simplify:  Simplified to (+ (* (+ (* d2 d2) (* (- 5 d2) 5)) (* (* (- 32 d3) d1) (+ d3 32))) (* (* (- 32 d3) d1) (+ (pow 5 3) (pow d2 3))))
* * * * [misc]progress:  [ 16 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (* d1 (+ (* (- (* d2 d2) (* 5 5)) (+ (* 32 32) (- (* d3 d3) (* 32 d3)))) (* (- d2 5) (+ (pow 32 3) (pow d3 3))))) (* (- d2 5) (+ (* 32 32) (- (* d3 d3) (* 32 d3))))))>
* [enter]simplify:  Simplifying (* d1 (+ (* (- (* d2 d2) (* 5 5)) (+ (* 32 32) (- (* d3 d3) (* 32 d3)))) (* (- d2 5) (+ (pow 32 3) (pow d3 3)))))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (63 enodes)
* * [misc]simplify:  iters left: 4 (229 enodes)
* [exit]simplify:  Simplified to (+ (* (* (- d2 5) d1) (+ (pow 32 3) (pow d3 3))) (* (* (- (* d2 d2) (* 5 5)) d1) (+ (* d3 (- d3 32)) (* 32 32))))
* [exit]simplify:  Simplified to (+ (* (* (- d2 5) d1) (+ (pow 32 3) (pow d3 3))) (* (* (- (* d2 d2) (* 5 5)) d1) (+ (* d3 (- d3 32)) (* 32 32))))
* * * * [misc]progress:  [ 17 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (* d1 (+ (* (- (* d2 d2) (* 5 5)) (- 32 d3)) (* (- d2 5) (- (* 32 32) (* d3 d3))))) (* (- d2 5) (- 32 d3))))>
* [enter]simplify:  Simplifying (* d1 (+ (* (- (* d2 d2) (* 5 5)) (- 32 d3)) (* (- d2 5) (- (* 32 32) (* d3 d3)))))
* * [misc]simplify:  iters left: 6 (17 enodes)
* * [misc]simplify:  iters left: 5 (39 enodes)
* * [misc]simplify:  iters left: 4 (113 enodes)
* [exit]simplify:  Simplified to (+ (* (* (+ 5 d2) (- 32 d3)) (* d1 (- d2 5))) (* (* d1 (+ 32 d3)) (* (- d2 5) (- 32 d3))))
* [exit]simplify:  Simplified to (+ (* (* (+ 5 d2) (- 32 d3)) (* d1 (- d2 5))) (* (* d1 (+ 32 d3)) (* (- d2 5) (- 32 d3))))
* * * * [misc]progress:  [ 18 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (* d1 (+ (pow (+ d2 5) 3) (pow (+ 32 d3) 3))) (+ (* (+ d2 5) (+ d2 5)) (- (* (+ 32 d3) (+ 32 d3)) (* (+ d2 5) (+ 32 d3))))))>
* [enter]simplify:  Simplifying (* d1 (+ (pow (+ d2 5) 3) (pow (+ 32 d3) 3)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (28 enodes)
* * [misc]simplify:  iters left: 4 (78 enodes)
* * [misc]simplify:  iters left: 3 (354 enodes)
* [exit]simplify:  Simplified to (+ (* (* (+ d2 5) d1) (* (+ d2 5) (+ d2 5))) (* (* (+ 32 d3) (+ 32 d3)) (* d1 (+ 32 d3))))
* [exit]simplify:  Simplified to (+ (* (* (+ d2 5) d1) (* (+ d2 5) (+ d2 5))) (* (* (+ 32 d3) (+ 32 d3)) (* d1 (+ 32 d3))))
* * * * [misc]progress:  [ 19 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (* d1 (- (* (+ d2 5) (+ d2 5)) (* (+ 32 d3) (+ 32 d3)))) (- (+ d2 5) (+ 32 d3))))>
* [enter]simplify:  Simplifying (* d1 (- (* (+ d2 5) (+ d2 5)) (* (+ 32 d3) (+ 32 d3))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (31 enodes)
* * [misc]simplify:  iters left: 4 (110 enodes)
* * [misc]simplify:  iters left: 3 (445 enodes)
* [exit]simplify:  Simplified to (* (- (* (+ d2 5) (+ d2 5)) (* (+ d3 32) (+ d3 32))) d1)
* [exit]simplify:  Simplified to (* (- (* (+ d2 5) (+ d2 5)) (* (+ d3 32) (+ d3 32))) d1)
* * * * [misc]progress:  [ 20 / 23 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (+ (+ d2 5) (+ 32 d3)) d1))>
* * * * [misc]progress:  [ 21 / 23 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d3) (+ (* d1 d2) (* 37 d1))))>
* [enter]simplify:  Simplifying (+ (* d1 d3) (+ (* d1 d2) (* 37 d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (70 enodes)
* [exit]simplify:  Simplified to (* d1 (+ (+ d3 37) d2))
* * * * [misc]progress:  [ 22 / 23 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d2) (+ (* d1 d3) (* 37 d1))))>
* [enter]simplify:  Simplifying (+ (* d1 d2) (+ (* d1 d3) (* 37 d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (70 enodes)
* [exit]simplify:  Simplified to (* d1 (+ (+ d2 37) d3))
* * * * [misc]progress:  [ 23 / 23 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (- (* 37 d1) (+ (* d1 d2) (* d1 d3))))>
* [enter]simplify:  Simplifying (- (* 37 d1) (+ (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (74 enodes)
* * [misc]simplify:  iters left: 2 (106 enodes)
* * [misc]simplify:  iters left: 1 (133 enodes)
* [exit]simplify:  Simplified to (* d1 (- (- 37 d3) d2))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
* * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 2)
* * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) in d3
* [misc]taylor:  Taking taylor expansion of (+ (* d1 d2) (* (+ d3 5) d1)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* (+ d3 5) d1) in d3
* [misc]taylor:  Taking taylor expansion of (+ d3 5) 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]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (* d1 32) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of 32 in d3
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (* d1 d2) (* (+ d3 5) d1)) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [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 5) d1) in d2
* [misc]taylor:  Taking taylor expansion of (+ d3 5) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (* d1 32) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of 32 in d2
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (* d1 d2) (* (+ d3 5) d1)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) 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]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* (+ d3 5) d1) in d1
* [misc]taylor:  Taking taylor expansion of (+ d3 5) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (* d1 32) 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]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (* d1 d2) (* (+ d3 5) d1)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) 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]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* (+ d3 5) d1) in d1
* [misc]taylor:  Taking taylor expansion of (+ d3 5) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (* d1 32) 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]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 5 d3) into (+ 5 d3)
* [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 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 5 d3) into (+ 5 d3)
* [misc]backup-simplify:  Simplify (+ d2 (+ 5 d3)) into (+ 5 (+ d3 d2))
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]backup-simplify:  Simplify (+ 32 (+ 5 (+ d3 d2))) into (+ 37 (+ d3 d2))
* [misc]taylor:  Taking taylor expansion of (+ 37 (+ d3 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 37 in d2
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]taylor:  Taking taylor expansion of (+ d3 d2) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [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 d3 into d3
* [misc]backup-simplify:  Simplify (+ 37 d3) into (+ 37 d3)
* [misc]taylor:  Taking taylor expansion of (+ 37 d3) in d3
* [misc]taylor:  Taking taylor expansion of 37 in d3
* [misc]backup-simplify:  Simplify 37 into 37
* [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 37 into 37
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [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 0 into 0
* [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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (+ (* d3 d1) (+ (* d2 d1) (* 37 d1))) into (+ (* d1 d3) (+ (* d1 d2) (* 37 d1)))
* [misc]approximate:  Taking taylor expansion of (+ (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) (* (/ 1 d1) 32)) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) (* (/ 1 d1) 32)) in d3
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d3
* [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) 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) 5) (/ 1 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d3
* [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 into 1
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 d1) 32) in d3
* [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 32 in d3
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) (* (/ 1 d1) 32)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d2
* [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) 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 into 1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 d3) 5) (/ 1 d1)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d2
* [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 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [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 d1) 32) in d2
* [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 32 in d2
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) (* (/ 1 d1) 32)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in 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 into 1
* [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) 5) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) 32) in 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 into 1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) (* (/ 1 d1) 32)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in 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 into 1
* [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) 5) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) 32) in 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 into 1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (+ 5 (/ 1 d3))) into (+ (/ 1 d2) (+ 5 (/ 1 d3)))
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]backup-simplify:  Simplify (+ 32 (+ (/ 1 d2) (+ 5 (/ 1 d3)))) into (+ (/ 1 d2) (+ 37 (/ 1 d3)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ 37 (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of 37 in d2
* [misc]backup-simplify:  Simplify 37 into 37
* [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]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) into 0
* [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 d3) (/ 0 d3)) into 0
* [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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (+ 37 (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of 37 in d3
* [misc]backup-simplify:  Simplify 37 into 37
* [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 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) into 0
* [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 d3) (/ 0 d3)) into 0
* [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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d3) (/ 0 d3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]backup-simplify:  Simplify (+ (* 37 (/ 1 (/ 1 d1))) (+ (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))) (* (/ 1 (/ 1 d3)) (/ 1 (/ 1 d1))))) into (+ (* d1 d2) (+ (* d1 d3) (* 37 d1)))
* [misc]approximate:  Taking taylor expansion of (+ (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) (* (/ 1 (- d1)) 32)) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) (* (/ 1 (- d1)) 32)) in d3
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d3
* [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)) 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)) 5) (/ 1 (- d1))) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d3
* [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 into -1
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (- d1)) 32) in d3
* [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 32 in d3
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) (* (/ 1 (- d1)) 32)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d2
* [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)) 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 into -1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1))) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d2
* [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 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (- d1)) 32) in d2
* [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 32 in d2
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) (* (/ 1 (- d1)) 32)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [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 into -1
* [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)) 5) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) 32) in d1
* [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 into -1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]taylor:  Taking taylor expansion of (+ (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) (* (/ 1 (- d1)) 32)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [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 into -1
* [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)) 5) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) 32) in d1
* [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 into -1
* [misc]taylor:  Taking taylor expansion of 32 in d1
* [misc]backup-simplify:  Simplify 32 into 32
* [misc]backup-simplify:  Simplify (* -1 (/ 1 d2)) into (/ -1 d2)
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (* -1 (+ 5 (/ 1 d3))) into (* -1 (+ 5 (/ 1 d3)))
* [misc]backup-simplify:  Simplify (+ (/ -1 d2) (* -1 (+ 5 (/ 1 d3)))) into (- (+ (/ 1 d2) (+ 5 (/ 1 d3))))
* [misc]backup-simplify:  Simplify -32 into -32
* [misc]backup-simplify:  Simplify (+ -32 (- (+ (/ 1 d2) (+ 5 (/ 1 d3))))) into (- (+ (/ 1 d2) (+ 37 (/ 1 d3))))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 d2) (+ 37 (/ 1 d3)))) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ 37 (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of 37 in d2
* [misc]backup-simplify:  Simplify 37 into 37
* [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]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of -1 in d3
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) 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 0 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 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 into 0
* [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 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (+ 37 (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of 37 in d3
* [misc]backup-simplify:  Simplify 37 into 37
* [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 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) 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 0 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 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)) into 0
* [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 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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d3) (/ 0 d3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]backup-simplify:  Simplify 37 into 37
* [misc]backup-simplify:  Simplify (+ (* 37 (/ 1 (/ 1 (- d1)))) (+ (* -1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))) (* (/ 1 (/ 1 (- d3))) (/ 1 (/ 1 (- d1)))))) into (- (* d1 d3) (+ (* d1 d2) (* 37 d1)))
* * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 2)
* [misc]approximate:  Taking taylor expansion of (* (+ d3 5) d1) in (d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ d3 5) d1) in d1
* [misc]taylor:  Taking taylor expansion of (+ d3 5) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (* (+ d3 5) d1) in d3
* [misc]taylor:  Taking taylor expansion of (+ d3 5) 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]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (* (+ d3 5) d1) in d3
* [misc]taylor:  Taking taylor expansion of (+ d3 5) 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]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]backup-simplify:  Simplify (* 5 d1) into (* 5 d1)
* [misc]taylor:  Taking taylor expansion of (* 5 d1) in d1
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 1 into 1
* [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 5 into 5
* [misc]backup-simplify:  Simplify 5 into 5
* [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 1 into 1
* [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 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]backup-simplify:  Simplify 0 into 0
* [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 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 (+ (* d1 d3) (* 5 d1)) into (+ (* d1 d3) (* 5 d1))
* [misc]approximate:  Taking taylor expansion of (* (+ (/ 1 d3) 5) (/ 1 d1)) in (d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 d3) 5) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into 1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 d3) 5) (/ 1 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d3
* [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 into 1
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 d3) 5) (/ 1 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d3
* [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 into 1
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into 1
* [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 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (/ 1 d1) (/ 0 d1)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]backup-simplify:  Simplify (* 5 (/ 1 d1)) into (/ 5 d1)
* [misc]taylor:  Taking taylor expansion of (/ 5 d1) in d1
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 5 into 5
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d1) (/ 0 d1)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d1) (/ 0 d1)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 5 (/ 1 (/ 1 d1))) (* (/ 1 (/ 1 d1)) (/ 1 (/ 1 d3)))) into (+ (* d1 d3) (* 5 d1))
* [misc]approximate:  Taking taylor expansion of (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1))) in (d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into -1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1))) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d3
* [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 into -1
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (- d3)) 5) (/ 1 (- d1))) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d3
* [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 into -1
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (* -1 (/ 1 d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ -1 d1) in d1
* [misc]taylor:  Taking taylor expansion of -1 in d1
* [misc]backup-simplify:  Simplify -1 into -1
* [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 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 (* (/ 1 d1) (/ 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 5 into 5
* [misc]backup-simplify:  Simplify (* 5 (/ 1 d1)) into (/ 5 d1)
* [misc]taylor:  Taking taylor expansion of (/ 5 d1) in d1
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 5 into 5
* [misc]backup-simplify:  Simplify 5 into 5
* [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 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)) 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 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]backup-simplify:  Simplify 0 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)) 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 0 into 0
* [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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 5 (/ 1 (/ 1 (- d1)))) (* -1 (* (/ 1 (/ 1 (- d1))) (/ 1 (/ 1 (- d3)))))) into (- (+ (* d1 d3) (* 5 d1)))
* * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (+ (* d1 d2) (* (+ d3 5) d1)) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* d1 d2) (* (+ d3 5) d1)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* (+ d3 5) d1) in d3
* [misc]taylor:  Taking taylor expansion of (+ d3 5) 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]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (* d1 d2) (* (+ d3 5) d1)) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [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 5) d1) in d2
* [misc]taylor:  Taking taylor expansion of (+ d3 5) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (* d1 d2) (* (+ d3 5) d1)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) 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]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* (+ d3 5) d1) in d1
* [misc]taylor:  Taking taylor expansion of (+ d3 5) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (+ (* d1 d2) (* (+ d3 5) d1)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) 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]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* (+ d3 5) d1) in d1
* [misc]taylor:  Taking taylor expansion of (+ d3 5) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (+ 5 d3) into (+ 5 d3)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 5 d3) into (+ 5 d3)
* [misc]backup-simplify:  Simplify (+ d2 (+ 5 d3)) into (+ 5 (+ d3 d2))
* [misc]taylor:  Taking taylor expansion of (+ 5 (+ d3 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (+ d3 d2) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [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 d3 into d3
* [misc]backup-simplify:  Simplify (+ 5 d3) into (+ 5 d3)
* [misc]taylor:  Taking taylor expansion of (+ 5 d3) in d3
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 5 into 5
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (+ (* d3 d1) (+ (* d2 d1) (* 5 d1))) into (+ (* d1 d3) (+ (* d1 d2) (* 5 d1)))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d3
* [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) 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) 5) (/ 1 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d3
* [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 into 1
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d2
* [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) 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 into 1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 d3) 5) (/ 1 d1)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d2
* [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 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [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 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in 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 into 1
* [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) 5) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into 1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in 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 into 1
* [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) 5) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into 1
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (+ 5 (/ 1 d3))) into (+ (/ 1 d2) (+ 5 (/ 1 d3)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (+ 5 (/ 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ 5 (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [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]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) into 0
* [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 d3) (/ 0 d3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (+ 5 (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) into 0
* [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 d3) (/ 0 d3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d3) (/ 0 d3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]backup-simplify:  Simplify (+ (* 5 (/ 1 (/ 1 d1))) (+ (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))) (* (/ 1 (/ 1 d3)) (/ 1 (/ 1 d1))))) into (+ (* d1 d2) (+ (* d1 d3) (* 5 d1)))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d3
* [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)) 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)) 5) (/ 1 (- d1))) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d3
* [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 into -1
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d2
* [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)) 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 into -1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1))) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d2
* [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 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [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 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [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 into -1
* [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)) 5) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into -1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [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 into -1
* [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)) 5) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 5) in d1
* [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 5 in d1
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into -1
* [misc]backup-simplify:  Simplify (* -1 (/ 1 d2)) into (/ -1 d2)
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (* -1 (+ 5 (/ 1 d3))) into (* -1 (+ 5 (/ 1 d3)))
* [misc]backup-simplify:  Simplify (+ (/ -1 d2) (* -1 (+ 5 (/ 1 d3)))) into (- (+ (/ 1 d2) (+ 5 (/ 1 d3))))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 d2) (+ 5 (/ 1 d3)))) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (+ 5 (/ 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ 5 (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of 5 in d2
* [misc]backup-simplify:  Simplify 5 into 5
* [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]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of -1 in d3
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) 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 0 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 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (+ 5 (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of 5 in d3
* [misc]backup-simplify:  Simplify 5 into 5
* [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 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 0 d2)) 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 0 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 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)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d3) (/ 0 d3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]backup-simplify:  Simplify (+ (* 5 (/ 1 (/ 1 (- d1)))) (+ (* -1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))) (* (/ 1 (/ 1 (- d3))) (/ 1 (/ 1 (- d1)))))) into (- (* d1 d3) (+ (* d1 d2) (* 5 d1)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (* (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) (exp (* d1 32)))))>
* [enter]simplify:  Simplifying (* (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) (exp (* d1 32)))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (117 enodes)
* * [misc]simplify:  iters left: 2 (246 enodes)
* * [misc]simplify:  iters left: 1 (465 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ d3 32) (+ d2 5)))
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ d3 32) (+ d2 5)))
* * * * [misc]progress:  [ 2 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (* (exp (+ (* d1 d2) (* (+ d3 5) d1))) (exp (* d1 32)))))>
* [enter]simplify:  Simplifying (* (exp (+ (* d1 d2) (* (+ d3 5) d1))) (exp (* d1 32)))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (55 enodes)
* * [misc]simplify:  iters left: 3 (134 enodes)
* * [misc]simplify:  iters left: 2 (286 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ 32 5) (+ d3 d2)))
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ 32 5) (+ d3 d2)))
* * * * [misc]progress:  [ 3 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (pow (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) 1))>
* * * * [misc]progress:  [ 4 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (exp (log (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))))>
* [enter]simplify:  Simplifying (log (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (114 enodes)
* * [misc]simplify:  iters left: 2 (223 enodes)
* * [misc]simplify:  iters left: 1 (371 enodes)
* [exit]simplify:  Simplified to (log (* (+ (+ d3 d2) (+ 5 32)) d1))
* [exit]simplify:  Simplified to (log (* (+ (+ d3 d2) (+ 5 32)) d1))
* * * * [misc]progress:  [ 5 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (exp (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))))>
* [enter]simplify:  Simplifying (exp (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (52 enodes)
* * [misc]simplify:  iters left: 3 (156 enodes)
* * [misc]simplify:  iters left: 2 (330 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ 32 d2) (+ d3 5)))
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ 32 d2) (+ d3 5)))
* * * * [misc]progress:  [ 6 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (* (cbrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))) (cbrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))) (cbrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))) (cbrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (115 enodes)
* * [misc]simplify:  iters left: 2 (217 enodes)
* * [misc]simplify:  iters left: 1 (371 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* d1 (+ (+ d3 d2) (+ 5 32)))) (cbrt (* d1 (+ (+ d3 d2) (+ 5 32)))))
* [exit]simplify:  Simplified to (* (cbrt (* d1 (+ (+ d3 d2) (+ 5 32)))) (cbrt (* d1 (+ (+ d3 d2) (+ 5 32)))))
* [enter]simplify:  Simplifying (cbrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (114 enodes)
* * [misc]simplify:  iters left: 2 (214 enodes)
* * [misc]simplify:  iters left: 1 (358 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ (+ d3 d2) (+ 5 32)) d1))
* [exit]simplify:  Simplified to (cbrt (* (+ (+ d3 d2) (+ 5 32)) d1))
* * * * [misc]progress:  [ 7 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cbrt (* (* (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))) (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))))>
* [enter]simplify:  Simplifying (* (* (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))) (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (34 enodes)
* * [misc]simplify:  iters left: 4 (158 enodes)
* [exit]simplify:  Simplified to (pow (+ (* (+ d3 5) d1) (* d1 (+ 32 d2))) 3)
* [exit]simplify:  Simplified to (pow (+ (* (+ d3 5) d1) (* d1 (+ 32 d2))) 3)
* * * * [misc]progress:  [ 8 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* (sqrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))) (sqrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))))>
* [enter]simplify:  Simplifying (sqrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (114 enodes)
* * [misc]simplify:  iters left: 2 (214 enodes)
* * [misc]simplify:  iters left: 1 (358 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ (+ d3 d2) (+ 5 32)) d1))
* [exit]simplify:  Simplified to (sqrt (* (+ (+ d3 d2) (+ 5 32)) d1))
* [enter]simplify:  Simplifying (sqrt (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (114 enodes)
* * [misc]simplify:  iters left: 2 (214 enodes)
* * [misc]simplify:  iters left: 1 (358 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ (+ d3 d2) (+ 5 32)) d1))
* [exit]simplify:  Simplified to (sqrt (* (+ (+ d3 d2) (+ 5 32)) d1))
* * * * [misc]progress:  [ 9 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (+ (pow (+ (* d1 d2) (* (+ d3 5) d1)) 3) (pow (* d1 32) 3)) (+ (* (+ (* d1 d2) (* (+ d3 5) d1)) (+ (* d1 d2) (* (+ d3 5) d1))) (- (* (* d1 32) (* d1 32)) (* (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))))))>
* [enter]simplify:  Simplifying (+ (pow (+ (* d1 d2) (* (+ d3 5) d1)) 3) (pow (* d1 32) 3))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (80 enodes)
* * [misc]simplify:  iters left: 3 (290 enodes)
* [exit]simplify:  Simplified to (+ (pow (* d1 32) 3) (pow (* d1 (+ d2 (+ d3 5))) 3))
* [exit]simplify:  Simplified to (+ (pow (* d1 32) 3) (pow (* d1 (+ d2 (+ d3 5))) 3))
* [enter]simplify:  Simplifying (+ (* (+ (* d1 d2) (* (+ d3 5) d1)) (+ (* d1 d2) (* (+ d3 5) d1))) (- (* (* d1 32) (* d1 32)) (* (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (40 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* [exit]simplify:  Simplified to (- (* (* 32 d1) (* 32 d1)) (* (* (+ (+ d2 d3) 5) d1) (- (* d1 (- 32 d2)) (* (+ d3 5) d1))))
* [exit]simplify:  Simplified to (- (* (* 32 d1) (* 32 d1)) (* (* (+ (+ d2 d3) 5) d1) (- (* d1 (- 32 d2)) (* (+ d3 5) d1))))
* * * * [misc]progress:  [ 10 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* 1 (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))))>
* * * * [misc]progress:  [ 11 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (- (* (+ (* d1 d2) (* (+ d3 5) d1)) (+ (* d1 d2) (* (+ d3 5) d1))) (* (* d1 32) (* d1 32))) (- (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))))>
* [enter]simplify:  Simplifying (- (* (+ (* d1 d2) (* (+ d3 5) d1)) (+ (* d1 d2) (* (+ d3 5) d1))) (* (* d1 32) (* d1 32)))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (33 enodes)
* * [misc]simplify:  iters left: 4 (111 enodes)
* * [misc]simplify:  iters left: 3 (491 enodes)
* [exit]simplify:  Simplified to (* (* d1 (+ (+ 32 d3) (+ d2 5))) (* (+ (+ d3 d2) (- 5 32)) d1))
* [exit]simplify:  Simplified to (* (* d1 (+ (+ 32 d3) (+ d2 5))) (* (+ (+ d3 d2) (- 5 32)) d1))
* [enter]simplify:  Simplifying (- (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (139 enodes)
* * [misc]simplify:  iters left: 2 (266 enodes)
* * [misc]simplify:  iters left: 1 (475 enodes)
* [exit]simplify:  Simplified to (* (+ (- d3 32) (+ d2 5)) d1)
* [exit]simplify:  Simplified to (* (+ (- d3 32) (+ d2 5)) d1)
* * * * [misc]progress:  [ 12 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* d1 d2) (+ (* (+ d3 5) d1) (* d1 32))))>
* [enter]simplify:  Simplifying (+ (* (+ d3 5) d1) (* d1 32))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (67 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (* (+ (+ 5 32) d3) d1)
* [exit]simplify:  Simplified to (* (+ (+ 5 32) d3) d1)
* * * * [misc]progress:  [ 13 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* d1 32) (+ (* d1 d2) (* (+ d3 5) d1))))>
* * * * [misc]progress:  [ 14 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (pow (* (+ d3 5) d1) 1)) (* d1 32)))>
* * * * [misc]progress:  [ 15 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (exp (log (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (log (* (+ d3 5) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* [exit]simplify:  Simplified to (log (* (+ 5 d3) d1))
* [exit]simplify:  Simplified to (log (* (+ 5 d3) d1))
* * * * [misc]progress:  [ 16 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (log (exp (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (exp (* (+ d3 5) 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 (30 enodes)
* * [misc]simplify:  iters left: 1 (48 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ 5 d3))
* [exit]simplify:  Simplified to (pow (exp d1) (+ 5 d3))
* * * * [misc]progress:  [ 17 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (cbrt (* (+ d3 5) d1)) (cbrt (* (+ d3 5) d1))) (cbrt (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (cbrt (* (+ d3 5) d1)) (cbrt (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (+ 5 d3) d1)) (cbrt (* (+ 5 d3) d1)))
* [exit]simplify:  Simplified to (* (cbrt (* (+ 5 d3) d1)) (cbrt (* (+ 5 d3) d1)))
* [enter]simplify:  Simplifying (cbrt (* (+ d3 5) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ 5 d3) d1))
* [exit]simplify:  Simplified to (cbrt (* (+ 5 d3) d1))
* * * * [misc]progress:  [ 18 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (cbrt (* (* (* (+ d3 5) d1) (* (+ d3 5) d1)) (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (* (* (+ d3 5) d1) (* (+ d3 5) d1)) (* (+ d3 5) d1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (56 enodes)
* * [misc]simplify:  iters left: 3 (258 enodes)
* [exit]simplify:  Simplified to (pow (* (+ 5 d3) d1) 3)
* [exit]simplify:  Simplified to (pow (* (+ 5 d3) d1) 3)
* * * * [misc]progress:  [ 19 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (sqrt (* (+ d3 5) d1)) (sqrt (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (sqrt (* (+ d3 5) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ 5 d3) d1))
* [exit]simplify:  Simplified to (sqrt (* (+ 5 d3) d1))
* [enter]simplify:  Simplifying (sqrt (* (+ d3 5) d1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (sqrt (* (+ 5 d3) d1))
* [exit]simplify:  Simplified to (sqrt (* (+ 5 d3) d1))
* * * * [misc]progress:  [ 20 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (* 1 (* (+ d3 5) d1))) (* d1 32)))>
* * * * [misc]progress:  [ 21 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (cbrt (+ d3 5)) (cbrt (+ d3 5))) (* (cbrt (+ d3 5)) d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (cbrt (+ d3 5)) d1)
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ 5 d3)) d1)
* [exit]simplify:  Simplified to (* (cbrt (+ 5 d3)) d1)
* * * * [misc]progress:  [ 22 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (sqrt (+ d3 5)) (* (sqrt (+ d3 5)) d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (sqrt (+ d3 5)) d1)
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 5 d3)) d1)
* [exit]simplify:  Simplified to (* (sqrt (+ 5 d3)) d1)
* * * * [misc]progress:  [ 23 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (* 1 (* (+ d3 5) d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (+ d3 5) d1)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* [exit]simplify:  Simplified to (* (+ 5 d3) d1)
* [exit]simplify:  Simplified to (* (+ 5 d3) d1)
* * * * [misc]progress:  [ 24 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (/ (* (+ (pow d3 3) (pow 5 3)) d1) (+ (* d3 d3) (- (* 5 5) (* d3 5))))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (+ (pow d3 3) (pow 5 3)) d1)
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (40 enodes)
* * [misc]simplify:  iters left: 1 (44 enodes)
* [exit]simplify:  Simplified to (+ (* (* 5 5) (* 5 d1)) (* (* d3 d3) (* d3 d1)))
* [exit]simplify:  Simplified to (+ (* (* 5 5) (* 5 d1)) (* (* d3 d3) (* d3 d1)))
* * * * [misc]progress:  [ 25 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (/ (* (- (* d3 d3) (* 5 5)) d1) (- d3 5))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (- (* d3 d3) (* 5 5)) d1)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (78 enodes)
* * [misc]simplify:  iters left: 2 (208 enodes)
* * [misc]simplify:  iters left: 1 (475 enodes)
* [exit]simplify:  Simplified to (* (- d3 5) (* d1 (+ d3 5)))
* [exit]simplify:  Simplified to (* (- d3 5) (* d1 (+ d3 5)))
* * * * [misc]progress:  [ 26 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d2) (* d1 (+ d3 5))) (* d1 32)))>
* * * * [misc]progress:  [ 27 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (log (* (exp (* d1 d2)) (exp (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (exp (* d1 d2)) (exp (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (122 enodes)
* * [misc]simplify:  iters left: 1 (164 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ d2 d3) 5))
* [exit]simplify:  Simplified to (pow (exp d1) (+ (+ d2 d3) 5))
* * * * [misc]progress:  [ 28 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (pow (+ (* d1 d2) (* (+ d3 5) d1)) 1) (* d1 32)))>
* * * * [misc]progress:  [ 29 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (exp (log (+ (* d1 d2) (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (log (+ (* d1 d2) (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (55 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (94 enodes)
* [exit]simplify:  Simplified to (log (* d1 (+ (+ d2 5) d3)))
* [exit]simplify:  Simplified to (log (* d1 (+ (+ d2 5) d3)))
* * * * [misc]progress:  [ 30 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (log (exp (+ (* d1 d2) (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (exp (+ (* d1 d2) (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (75 enodes)
* * [misc]simplify:  iters left: 2 (121 enodes)
* * [misc]simplify:  iters left: 1 (167 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ 5 (+ d3 d2)))
* [exit]simplify:  Simplified to (pow (exp d1) (+ 5 (+ d3 d2)))
* * * * [misc]progress:  [ 31 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* (* (cbrt (+ (* d1 d2) (* (+ d3 5) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5) d1)))) (cbrt (+ (* d1 d2) (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (cbrt (+ (* d1 d2) (* (+ d3 5) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5) d1))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (87 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* d1 (+ (+ d2 5) d3))) (cbrt (* d1 (+ (+ d2 5) d3))))
* [exit]simplify:  Simplified to (* (cbrt (* d1 (+ (+ d2 5) d3))) (cbrt (* d1 (+ (+ d2 5) d3))))
* [enter]simplify:  Simplifying (cbrt (+ (* d1 d2) (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (68 enodes)
* * [misc]simplify:  iters left: 1 (90 enodes)
* [exit]simplify:  Simplified to (cbrt (* d1 (+ d2 (+ d3 5))))
* [exit]simplify:  Simplified to (cbrt (* d1 (+ d2 (+ d3 5))))
* * * * [misc]progress:  [ 32 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (cbrt (* (* (+ (* d1 d2) (* (+ d3 5) d1)) (+ (* d1 d2) (* (+ d3 5) d1))) (+ (* d1 d2) (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (* (* (+ (* d1 d2) (* (+ d3 5) d1)) (+ (* d1 d2) (* (+ d3 5) d1))) (+ (* d1 d2) (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (121 enodes)
* [exit]simplify:  Simplified to (pow (* (+ 5 (+ d3 d2)) d1) 3)
* [exit]simplify:  Simplified to (pow (* (+ 5 (+ d3 d2)) d1) 3)
* * * * [misc]progress:  [ 33 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* (sqrt (+ (* d1 d2) (* (+ d3 5) d1))) (sqrt (+ (* d1 d2) (* (+ d3 5) d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (sqrt (+ (* d1 d2) (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (68 enodes)
* * [misc]simplify:  iters left: 1 (90 enodes)
* [exit]simplify:  Simplified to (sqrt (* d1 (+ d2 (+ d3 5))))
* [exit]simplify:  Simplified to (sqrt (* d1 (+ d2 (+ d3 5))))
* [enter]simplify:  Simplifying (sqrt (+ (* d1 d2) (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (68 enodes)
* * [misc]simplify:  iters left: 1 (90 enodes)
* [exit]simplify:  Simplified to (sqrt (* d1 (+ d2 (+ d3 5))))
* [exit]simplify:  Simplified to (sqrt (* d1 (+ d2 (+ d3 5))))
* * * * [misc]progress:  [ 34 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (/ (+ (pow (* d1 d2) 3) (pow (* (+ d3 5) d1) 3)) (+ (* (* d1 d2) (* d1 d2)) (- (* (* (+ d3 5) d1) (* (+ d3 5) d1)) (* (* d1 d2) (* (+ d3 5) d1))))) (* d1 32)))>
* [enter]simplify:  Simplifying (+ (pow (* d1 d2) 3) (pow (* (+ d3 5) d1) 3))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (77 enodes)
* * [misc]simplify:  iters left: 3 (274 enodes)
* [exit]simplify:  Simplified to (+ (pow (* (+ 5 d3) d1) 3) (pow (* d2 d1) 3))
* [exit]simplify:  Simplified to (+ (pow (* (+ 5 d3) d1) 3) (pow (* d2 d1) 3))
* [enter]simplify:  Simplifying (+ (* (* d1 d2) (* d1 d2)) (- (* (* (+ d3 5) d1) (* (+ d3 5) d1)) (* (* d1 d2) (* (+ d3 5) d1))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (35 enodes)
* * [misc]simplify:  iters left: 4 (113 enodes)
* [exit]simplify:  Simplified to (- (* (* d1 (+ d3 5)) (* d1 (+ d3 5))) (* (* d1 (* d2 d1)) (+ d3 (- 5 d2))))
* [exit]simplify:  Simplified to (- (* (* d1 (+ d3 5)) (* d1 (+ d3 5))) (* (* d1 (* d2 d1)) (+ d3 (- 5 d2))))
* * * * [misc]progress:  [ 35 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* 1 (+ (* d1 d2) (* (+ d3 5) d1))) (* d1 32)))>
* * * * [misc]progress:  [ 36 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (/ (- (* (* d1 d2) (* d1 d2)) (* (* (+ d3 5) d1) (* (+ d3 5) d1))) (- (* d1 d2) (* (+ d3 5) d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (- (* (* d1 d2) (* d1 d2)) (* (* (+ d3 5) d1) (* (+ d3 5) d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (74 enodes)
* * [misc]simplify:  iters left: 3 (318 enodes)
* [exit]simplify:  Simplified to (- (* (* d2 d1) (* d2 d1)) (* (* d1 (+ d3 5)) (* d1 (+ d3 5))))
* [exit]simplify:  Simplified to (- (* (* d2 d1) (* d2 d1)) (* (* d1 (+ d3 5)) (* d1 (+ d3 5))))
* [enter]simplify:  Simplifying (- (* d1 d2) (* (+ d3 5) d1))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (95 enodes)
* * [misc]simplify:  iters left: 1 (123 enodes)
* [exit]simplify:  Simplified to (* (- (- d2 5) d3) d1)
* [exit]simplify:  Simplified to (* (- (- d2 5) d3) d1)
* * * * [misc]progress:  [ 37 / 46 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* (+ d3 5) d1) (* d1 d2)) (* d1 32)))>
* * * * [misc]progress:  [ 38 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d3) (+ (* d1 d2) (* 37 d1))))>
* [enter]simplify:  Simplifying (+ (* d1 d3) (+ (* d1 d2) (* 37 d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (70 enodes)
* [exit]simplify:  Simplified to (* d1 (+ (+ d3 37) d2))
* * * * [misc]progress:  [ 39 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d2) (+ (* d1 d3) (* 37 d1))))>
* [enter]simplify:  Simplifying (+ (* d1 d2) (+ (* d1 d3) (* 37 d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (70 enodes)
* [exit]simplify:  Simplified to (* d1 (+ (+ d2 37) d3))
* * * * [misc]progress:  [ 40 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (- (* d1 d3) (+ (* d1 d2) (* 37 d1))))>
* [enter]simplify:  Simplifying (- (* d1 d3) (+ (* d1 d2) (* 37 d1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (69 enodes)
* * [misc]simplify:  iters left: 2 (111 enodes)
* * [misc]simplify:  iters left: 1 (152 enodes)
* [exit]simplify:  Simplified to (* (- (- d3 37) d2) d1)
* * * * [misc]progress:  [ 41 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d2) (+ (* d1 d3) (* 5 d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (+ (+ (* d1 d2) (+ (* d1 d3) (* 5 d1))) (* d1 32))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (104 enodes)
* * [misc]simplify:  iters left: 2 (236 enodes)
* * [misc]simplify:  iters left: 1 (351 enodes)
* [exit]simplify:  Simplified to (* (+ (+ d2 32) (+ 5 d3)) d1)
* * * * [misc]progress:  [ 42 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d2) (+ (* d1 d3) (* 5 d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (+ (+ (* d1 d2) (+ (* d1 d3) (* 5 d1))) (* d1 32))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (104 enodes)
* * [misc]simplify:  iters left: 2 (236 enodes)
* * [misc]simplify:  iters left: 1 (351 enodes)
* [exit]simplify:  Simplified to (* (+ (+ d2 32) (+ 5 d3)) d1)
* * * * [misc]progress:  [ 43 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d2) (- (+ (* d1 d3) (* 5 d1)))) (* d1 32)))>
* [enter]simplify:  Simplifying (+ (+ (* d1 d2) (- (+ (* d1 d3) (* 5 d1)))) (* d1 32))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (62 enodes)
* * [misc]simplify:  iters left: 3 (149 enodes)
* * [misc]simplify:  iters left: 2 (357 enodes)
* [exit]simplify:  Simplified to (* d1 (+ (- d2 5) (- 32 d3)))
* * * * [misc]progress:  [ 44 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d3) (+ (* d1 d2) (* 5 d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (+ (+ (* d1 d3) (+ (* d1 d2) (* 5 d1))) (* d1 32))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (104 enodes)
* * [misc]simplify:  iters left: 2 (236 enodes)
* * [misc]simplify:  iters left: 1 (351 enodes)
* [exit]simplify:  Simplified to (* (+ (+ d3 32) (+ 5 d2)) d1)
* * * * [misc]progress:  [ 45 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d2) (+ (* d1 d3) (* 5 d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (+ (+ (* d1 d2) (+ (* d1 d3) (* 5 d1))) (* d1 32))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (104 enodes)
* * [misc]simplify:  iters left: 2 (236 enodes)
* * [misc]simplify:  iters left: 1 (351 enodes)
* [exit]simplify:  Simplified to (* (+ (+ d2 32) (+ 5 d3)) d1)
* * * * [misc]progress:  [ 46 / 46 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (- (* d1 d3) (+ (* d1 d2) (* 5 d1))) (* d1 32)))>
* [enter]simplify:  Simplifying (+ (- (* d1 d3) (+ (* d1 d2) (* 5 d1))) (* d1 32))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (54 enodes)
* * [misc]simplify:  iters left: 3 (146 enodes)
* * [misc]simplify:  iters left: 2 (338 enodes)
* [exit]simplify:  Simplified to (* d1 (+ (- d3 d2) (- 32 5)))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))> #<alt-delta (λ (d1 d2 d3) (* d1 (+ (+ d2 5) (+ 32 d3))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) +nan.0)) , with alts (#<alt-delta (λ (d1 d2 d3) (* d1 (+ (+ d2 5) (+ 32 d3))))>)
* [enter]simplify:  Simplifying (+ (+ d2 5) (+ 32 d3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (+ (+ 5 d2) (+ 32 d3))
* [exit]simplify:  Simplified to (+ (+ 5 d2) (+ 32 d3))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1665 additional inputs, on iter 1 have 6335 / 8000
* * * * [misc]points:  Computing exacts on every 104 of 1665 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 52 of 1665 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 26 of 1665 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 13 of 1665 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 6 of 1665 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 1665 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 1665 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 359 additional inputs, on iter 2 have 7641 / 8000
* * * * [misc]points:  Computing exacts on every 22 of 359 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 11 of 359 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 5 of 359 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 359 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 359 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 86 additional inputs, on iter 3 have 7914 / 8000
* * * * [misc]points:  Computing exacts on every 5 of 86 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 86 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 86 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 17 additional inputs, on iter 4 have 7983 / 8000
* * * * [misc]points:  Computing exacts for 17 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7996 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs