* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (+ (+ (* d1 3) (* d1 d2)) (* d1 d3))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (57 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (84 enodes)
* [exit]simplify:  Simplified to (fma d1 (+ d3 3) (* d1 d2))
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (d1 d2 d3) (fma d1 (+ d3 3) (* d1 d2)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (fma d1 (+ d3 3) (* d1 d2)) in (d1 d3 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ d3 3) (* d1 d2)) in d2
* [misc]backup-simplify:  Simplify (fma d1 (+ d3 3) (* d1 d2)) into (fma d1 (+ 3 d3) (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ d3 3) (* d1 d2)) in d3
* [misc]backup-simplify:  Simplify (fma d1 (+ d3 3) (* d1 d2)) into (fma d1 (+ 3 d3) (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ d3 3) (* d1 d2)) in d1
* [misc]backup-simplify:  Simplify (fma d1 (+ d3 3) (* d1 d2)) into (fma d1 (+ 3 d3) (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ d3 3) (* d1 d2)) in d1
* [misc]backup-simplify:  Simplify (fma d1 (+ d3 3) (* d1 d2)) into (fma d1 (+ 3 d3) (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 3 d3) (* d1 d2)) in d3
* [misc]backup-simplify:  Simplify (fma d1 (+ 3 d3) (* d1 d2)) into (fma d1 (+ 3 d3) (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 3 d3) (* d1 d2)) in d2
* [misc]backup-simplify:  Simplify (fma d1 (+ 3 d3) (* d1 d2)) into (fma d1 (+ 3 d3) (* d1 d2))
* [misc]backup-simplify:  Simplify (fma d1 (+ 3 d3) (* d1 d2)) into (fma d1 (+ 3 d3) (* d1 d2))
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [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]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 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [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]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 (fma d1 (+ 3 d3) (* d1 d2)) into (fma d1 (+ 3 d3) (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) in (d1 d3 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) in d3
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ (/ 1 d3) 3) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2))) in d3
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2))) into (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2))) into (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2))) into (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [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]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 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [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]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 (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2))) into (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) in (d1 d3 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d3
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ (/ 1 (- d3)) 3) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2))) in d3
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2))) into (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2))) into (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2))) into (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [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]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 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [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]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 (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2))) into (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (fma d1 (+ 3 d3) (* d1 d2)))>
* [enter]simplify:  Simplifying (fma d1 (+ 3 d3) (* d1 d2))
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (fma d1 (+ d3 3) (* d1 d2))
* * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2))))>
* [enter]simplify:  Simplifying (fma (/ 1 d1) (+ (/ 1 d3) 3) (/ 1 (* d1 d2)))
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* [exit]simplify:  Simplified to (fma (/ 1 d1) (+ 3 (/ 1 d3)) (/ (/ 1 d1) d2))
* * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2))))>
* [enter]simplify:  Simplifying (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d1 d2)))
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* [exit]simplify:  Simplified to (fma (/ -1 d1) (- 3 (/ 1 d3)) (/ 1 (* d2 d1)))
* * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log1p (expm1 (fma d1 (+ d3 3) (* d1 d2)))))>
* [enter]simplify:  Simplifying (expm1 (fma d1 (+ d3 3) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (expm1 (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (expm1 (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (expm1 (log1p (fma d1 (+ d3 3) (* d1 d2)))))>
* [enter]simplify:  Simplifying (log1p (fma d1 (+ d3 3) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* d1 (+ d3 3)) (* d1 d2)))>
* [enter]simplify:  Simplifying (* d1 (+ d3 3))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* * [misc]simplify:  iters left: 1 (19 enodes)
* [exit]simplify:  Simplified to (* d1 (+ 3 d3))
* [exit]simplify:  Simplified to (* d1 (+ 3 d3))
* * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (pow (fma d1 (+ d3 3) (* d1 d2)) 1))>
* * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (exp (log (fma d1 (+ d3 3) (* d1 d2)))))>
* [enter]simplify:  Simplifying (log (fma d1 (+ d3 3) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (log (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (log (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (exp (fma d1 (+ d3 3) (* d1 d2)))))>
* [enter]simplify:  Simplifying (exp (fma d1 (+ d3 3) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (exp (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (exp (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cube (cbrt (fma d1 (+ d3 3) (* d1 d2)))))>
* [enter]simplify:  Simplifying (cbrt (fma d1 (+ d3 3) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cbrt (cube (fma d1 (+ d3 3) (* d1 d2)))))>
* [enter]simplify:  Simplifying (cube (fma d1 (+ d3 3) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (cube (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (cube (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (sqr (sqrt (fma d1 (+ d3 3) (* d1 d2)))))>
* [enter]simplify:  Simplifying (sqrt (fma d1 (+ d3 3) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (sqrt (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* 1 (fma d1 (+ d3 3) (* d1 d2))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (d1 d2 d3) (+ (* d1 (+ d3 3)) (* d1 d2)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (* d1 (+ d3 3)) in (d1 d3) around 0
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d3 3)) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ d3 3) 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 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d3 3)) 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 (+ d3 3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d3 3)) 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 (+ d3 3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (+ d3 3) into (+ 3 d3)
* [misc]backup-simplify:  Simplify (* 0 (+ 3 d3)) 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 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (+ 3 d3))) into (+ 3 d3)
* [misc]taylor:  Taking taylor expansion of (+ 3 d3) in d3
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [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 (+ 3 0) into 3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ 3 d3)))) 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 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ 3 d3))))) 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 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ 3 d3)))))) 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 d1)) (* 3 (* 1 d1))) into (+ (* d1 d3) (* 3 d1))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d3) 3)) in (d1 d3) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d3) 3)) 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 d3) 3) 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 1) into 1
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d3) 3)) 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 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 3) 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 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d3) 3)) 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 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 3) 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 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (+ (/ 1 d3) 3) into (+ (/ 1 d3) 3)
* [misc]backup-simplify:  Simplify (* 1 (+ (/ 1 d3) 3)) into (+ (/ 1 d3) 3)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 3) 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 1) into 1
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (+ (/ 1 d3) 3))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 3) into 3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 d3) 3)))) 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 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 d3) 3))))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 d3) 3)))))) 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 (+ (* 3 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d3)) (/ 1 (/ 1 d1))))) into (+ (* d1 d3) (* 3 d1))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) in (d1 d3) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) 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 (- d3)) 3) 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 -1) into -1
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) 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 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 3) 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 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) 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 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 3) 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 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (+ (/ -1 d3) 3) into (- 3 (/ 1 d3))
* [misc]backup-simplify:  Simplify (* -1 (- 3 (/ 1 d3))) into (* -1 (- 3 (/ 1 d3)))
* [misc]taylor:  Taking taylor expansion of (* -1 (- 3 (/ 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 (- 3 (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- 3 (/ 1 d3)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 3 0) into 3
* [misc]backup-simplify:  Simplify (+ (* -1 3) (* 0 -1)) into -3
* [misc]backup-simplify:  Simplify -3 into -3
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 3 (/ 1 d3))))) 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 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 3) (* 0 -1))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 3 (/ 1 d3)))))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 3) (* 0 -1)))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))) (* 0 (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 3 (/ 1 d3))))))) 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 (+ (* -3 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d3))) (/ 1 (/ 1 (- d1)))))) into (+ (* d1 d3) (* 3 d1))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (+ (* d1 (+ d3 3)) (* d1 d2)) in (d1 d3 d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* d1 (+ d3 3)) (* d1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d3 3)) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ d3 3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 3 in d2
* [misc]backup-simplify:  Simplify 3 into 3
* [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 (+ (* d1 (+ d3 3)) (* d1 d2)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d3 3)) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ d3 3) 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 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [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 (+ (* d1 (+ d3 3)) (* d1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d3 3)) 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 (+ d3 3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [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 (+ (* d1 (+ d3 3)) (* d1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d3 3)) 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 (+ d3 3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [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]backup-simplify:  Simplify (+ d3 3) into (+ 3 d3)
* [misc]backup-simplify:  Simplify (* 0 (+ 3 d3)) into 0
* [misc]backup-simplify:  Simplify (* 0 d2) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (+ 3 d3))) into (+ 3 d3)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d2)) into d2
* [misc]backup-simplify:  Simplify (+ (+ 3 d3) d2) into (+ 3 (+ d3 d2))
* [misc]taylor:  Taking taylor expansion of (+ 3 (+ d3 d2)) in d3
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (+ d3 d2) 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 d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (+ 0 d2) into d2
* [misc]backup-simplify:  Simplify (+ 3 d2) into (+ 3 d2)
* [misc]taylor:  Taking taylor expansion of (+ 3 d2) in d2
* [misc]taylor:  Taking taylor expansion of 3 in d2
* [misc]backup-simplify:  Simplify 3 into 3
* [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 (+ 3 0) into 3
* [misc]backup-simplify:  Simplify 3 into 3
* [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 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ 3 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d2
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [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 (+ 0 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (* d2 (* 1 d1))) (+ (* 1 (* 1 (* d3 d1))) (* 3 (* 1 (* 1 d1))))) into (+ (* d1 d3) (+ (* 3 d1) (* d1 d2)))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 d1) (+ (/ 1 d3) 3)) (* (/ 1 d1) (/ 1 d2))) in (d1 d3 d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (+ (/ 1 d3) 3)) (* (/ 1 d1) (/ 1 d2))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d3) 3)) 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 d3) 3) 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 3 in d2
* [misc]backup-simplify:  Simplify 3 into 3
* [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 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (+ (/ 1 d3) 3)) (* (/ 1 d1) (/ 1 d2))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d3) 3)) 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 d3) 3) 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 1) into 1
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [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 d1) (+ (/ 1 d3) 3)) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d3) 3)) 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 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 3) 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 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [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 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 d1) (+ (/ 1 d3) 3)) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d3) 3)) 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 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) 3) 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 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [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 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]backup-simplify:  Simplify (+ (/ 1 d3) 3) into (+ (/ 1 d3) 3)
* [misc]backup-simplify:  Simplify (* 1 (+ (/ 1 d3) 3)) into (+ (/ 1 d3) 3)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 d3) 3) (/ 1 d2)) into (+ (/ 1 d3) (+ 3 (/ 1 d2)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) (+ 3 (/ 1 d2))) 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 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ 3 (/ 1 d2)) in d3
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [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]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d2
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (+ (/ 1 d3) 3))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d2))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 3 (/ 1 d2)) into (+ 3 (/ 1 d2))
* [misc]backup-simplify:  Simplify (+ 0 (+ 3 (/ 1 d2))) into (+ 3 (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (+ 3 (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 3 in d2
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 d3) 3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 3 0) into 3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (+ (* 3 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d3)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d2)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* d1 d3) (+ (* 3 d1) (* d1 d2)))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in (d1 d3 d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) 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 (- d3)) 3) 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 3 in d2
* [misc]backup-simplify:  Simplify 3 into 3
* [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 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) 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 (- d3)) 3) 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 -1) into -1
* [misc]taylor:  Taking taylor expansion of 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [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 (- d1)) (+ (/ 1 (- d3)) 3)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) 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 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 3) 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 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [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 -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 (- d1)) (+ (/ 1 (- d3)) 3)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d3)) 3)) 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 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- d3)) 3) 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 3 in d1
* [misc]backup-simplify:  Simplify 3 into 3
* [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 -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]backup-simplify:  Simplify (+ (/ -1 d3) 3) into (- 3 (/ 1 d3))
* [misc]backup-simplify:  Simplify (* -1 (- 3 (/ 1 d3))) into (* -1 (- 3 (/ 1 d3)))
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (+ (* -1 (- 3 (/ 1 d3))) (/ 1 d2)) into (- (+ (/ 1 d3) (/ 1 d2)) 3)
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 d3) (/ 1 d2)) 3) in d3
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) 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 1) into 1
* [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 3 in d3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d2
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- 3 (/ 1 d3)))) into 0
* [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 (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d2))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (- 3) into -3
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) -3) into (- (/ 1 d2) 3)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d2) 3) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 3 in d2
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (+ 1 0) 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 (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 3 (/ 1 d3))))) 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 (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 0 (/ 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 (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 3) into -3
* [misc]backup-simplify:  Simplify (+ 0 -3) into -3
* [misc]backup-simplify:  Simplify -3 into -3
* [misc]backup-simplify:  Simplify (+ (* -3 (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d3))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d2))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* d1 d3) (+ (* 3 d1) (* d1 d2)))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 38 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d3) (* 3 d1)) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (+ (* d1 d3) (* 3 d1)) (* d1 d2))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (79 enodes)
* * [misc]simplify:  iters left: 1 (98 enodes)
* [exit]simplify:  Simplified to (fma (+ d2 d3) d1 (* d1 3))
* * * * [misc]progress:  [ 2 / 38 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d3) (* 3 d1)) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (+ (* d1 d3) (* 3 d1)) (* d1 d2))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (79 enodes)
* * [misc]simplify:  iters left: 1 (98 enodes)
* [exit]simplify:  Simplified to (fma (+ d2 d3) d1 (* d1 3))
* * * * [misc]progress:  [ 3 / 38 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (+ (* d1 d3) (* 3 d1)) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (+ (* d1 d3) (* 3 d1)) (* d1 d2))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (79 enodes)
* * [misc]simplify:  iters left: 1 (98 enodes)
* [exit]simplify:  Simplified to (fma (+ d2 d3) d1 (* d1 3))
* * * * [misc]progress:  [ 4 / 38 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d3) (+ (* 3 d1) (* d1 d2))))>
* [enter]simplify:  Simplifying (+ (* d1 d3) (+ (* 3 d1) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (81 enodes)
* * [misc]simplify:  iters left: 1 (102 enodes)
* [exit]simplify:  Simplified to (fma (+ d3 3) d1 (* d1 d2))
* * * * [misc]progress:  [ 5 / 38 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d3) (+ (* 3 d1) (* d1 d2))))>
* [enter]simplify:  Simplifying (+ (* d1 d3) (+ (* 3 d1) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (81 enodes)
* * [misc]simplify:  iters left: 1 (102 enodes)
* [exit]simplify:  Simplified to (fma (+ d3 3) d1 (* d1 d2))
* * * * [misc]progress:  [ 6 / 38 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (+ (* d1 d3) (+ (* 3 d1) (* d1 d2))))>
* [enter]simplify:  Simplifying (+ (* d1 d3) (+ (* 3 d1) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (81 enodes)
* * [misc]simplify:  iters left: 1 (102 enodes)
* [exit]simplify:  Simplified to (fma (+ d3 3) d1 (* d1 d2))
* * * * [misc]progress:  [ 7 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (log1p (expm1 (* d1 (+ d3 3)))) (* d1 d2)))>
* [enter]simplify:  Simplifying (expm1 (* d1 (+ d3 3)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (expm1 (* d1 (+ 3 d3)))
* [exit]simplify:  Simplified to (expm1 (* d1 (+ 3 d3)))
* * * * [misc]progress:  [ 8 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (expm1 (log1p (* d1 (+ d3 3)))) (* d1 d2)))>
* [enter]simplify:  Simplifying (log1p (* d1 (+ d3 3)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (log1p (* d1 (+ 3 d3)))
* [exit]simplify:  Simplified to (log1p (* d1 (+ 3 d3)))
* * * * [misc]progress:  [ 9 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (pow (* d1 (+ d3 3)) 1) (* d1 d2)))>
* * * * [misc]progress:  [ 10 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (exp (log (* d1 (+ d3 3)))) (* d1 d2)))>
* [enter]simplify:  Simplifying (log (* d1 (+ d3 3)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (log (* d1 (+ 3 d3)))
* [exit]simplify:  Simplified to (log (* d1 (+ 3 d3)))
* * * * [misc]progress:  [ 11 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (log (exp (* d1 (+ d3 3)))) (* d1 d2)))>
* [enter]simplify:  Simplifying (exp (* d1 (+ d3 3)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (43 enodes)
* * [misc]simplify:  iters left: 1 (46 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ 3 d3))
* [exit]simplify:  Simplified to (pow (exp d1) (+ 3 d3))
* * * * [misc]progress:  [ 12 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (cube (cbrt (* d1 (+ d3 3)))) (* d1 d2)))>
* [enter]simplify:  Simplifying (cbrt (* d1 (+ d3 3)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (cbrt (* d1 (+ 3 d3)))
* [exit]simplify:  Simplified to (cbrt (* d1 (+ 3 d3)))
* * * * [misc]progress:  [ 13 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (cbrt (cube (* d1 (+ d3 3)))) (* d1 d2)))>
* [enter]simplify:  Simplifying (cube (* d1 (+ d3 3)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (39 enodes)
* * [misc]simplify:  iters left: 2 (86 enodes)
* * [misc]simplify:  iters left: 1 (229 enodes)
* [exit]simplify:  Simplified to (cube (* d1 (+ 3 d3)))
* [exit]simplify:  Simplified to (cube (* d1 (+ 3 d3)))
* * * * [misc]progress:  [ 14 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (sqr (sqrt (* d1 (+ d3 3)))) (* d1 d2)))>
* [enter]simplify:  Simplifying (sqrt (* d1 (+ d3 3)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (sqrt (* d1 (+ 3 d3)))
* [exit]simplify:  Simplified to (sqrt (* d1 (+ 3 d3)))
* * * * [misc]progress:  [ 15 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* 1 (* d1 (+ d3 3))) (* d1 d2)))>
* * * * [misc]progress:  [ 16 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d1 d3) (* d1 3)) (* d1 d2)))>
* [enter]simplify:  Simplifying (* d1 d3)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* d3 d1)
* [exit]simplify:  Simplified to (* d3 d1)
* [enter]simplify:  Simplifying (* d1 3)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* 3 d1)
* [exit]simplify:  Simplified to (* 3 d1)
* * * * [misc]progress:  [ 17 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (+ (* d3 d1) (* 3 d1)) (* d1 d2)))>
* [enter]simplify:  Simplifying (* d3 d1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* d1 d3)
* [exit]simplify:  Simplified to (* d1 d3)
* [enter]simplify:  Simplifying (* 3 d1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* d1 3)
* [exit]simplify:  Simplified to (* d1 3)
* * * * [misc]progress:  [ 18 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* (* d1 1) (+ d3 3)) (* d1 d2)))>
* [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:  [ 19 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (/ (* d1 (- (pow d3 3) (pow 3 3))) (+ (sqr d3) (- (sqr 3) (* d3 3)))) (* d1 d2)))>
* [enter]simplify:  Simplifying (* d1 (- (pow d3 3) (pow 3 3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* d1 (- (cube d3) (cube 3)))
* [exit]simplify:  Simplified to (* d1 (- (cube d3) (cube 3)))
* * * * [misc]progress:  [ 20 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (/ (* d1 (- (sqr d3) (sqr 3))) (- d3 3)) (* d1 d2)))>
* [enter]simplify:  Simplifying (* d1 (- (sqr d3) (sqr 3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (80 enodes)
* [exit]simplify:  Simplified to (* (* (+ d3 3) d1) (- d3 3))
* [exit]simplify:  Simplified to (* (* (+ d3 3) d1) (- d3 3))
* * * * [misc]progress:  [ 21 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* (+ d3 3) d1) (* d1 d2)))>
* * * * [misc]progress:  [ 22 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log1p (expm1 (+ (* d1 (+ d3 3)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (expm1 (+ (* d1 (+ d3 3)) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (expm1 (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (expm1 (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 23 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (expm1 (log1p (+ (* d1 (+ d3 3)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (log1p (+ (* d1 (+ d3 3)) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 24 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (fma d1 (+ d3 3) (* d1 d2)))>
* * * * [misc]progress:  [ 25 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (* (exp (* d1 (+ d3 3))) (exp (* d1 d2)))))>
* [enter]simplify:  Simplifying (* (exp (* d1 (+ d3 3))) (exp (* d1 d2)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (73 enodes)
* * [misc]simplify:  iters left: 2 (107 enodes)
* * [misc]simplify:  iters left: 1 (132 enodes)
* [exit]simplify:  Simplified to (exp (fma d1 (+ 3 d2) (* d3 d1)))
* [exit]simplify:  Simplified to (exp (fma d1 (+ 3 d2) (* d3 d1)))
* * * * [misc]progress:  [ 26 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (pow (+ (* d1 (+ d3 3)) (* d1 d2)) 1))>
* * * * [misc]progress:  [ 27 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (exp (log (+ (* d1 (+ d3 3)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (log (+ (* d1 (+ d3 3)) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (77 enodes)
* * [misc]simplify:  iters left: 1 (85 enodes)
* [exit]simplify:  Simplified to (log (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (log (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 28 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (exp (+ (* d1 (+ d3 3)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (exp (+ (* d1 (+ d3 3)) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (89 enodes)
* * [misc]simplify:  iters left: 2 (124 enodes)
* * [misc]simplify:  iters left: 1 (156 enodes)
* [exit]simplify:  Simplified to (exp (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (exp (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 29 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cube (cbrt (+ (* d1 (+ d3 3)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (cbrt (+ (* d1 (+ d3 3)) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 30 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cbrt (cube (+ (* d1 (+ d3 3)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (cube (+ (* d1 (+ d3 3)) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (50 enodes)
* * [misc]simplify:  iters left: 3 (109 enodes)
* * [misc]simplify:  iters left: 2 (206 enodes)
* [exit]simplify:  Simplified to (cube (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (cube (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 31 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (sqr (sqrt (+ (* d1 (+ d3 3)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (sqrt (+ (* d1 (+ d3 3)) (* d1 d2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (79 enodes)
* [exit]simplify:  Simplified to (sqrt (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (sqrt (fma d1 (+ 3 d3) (* d1 d2)))
* * * * [misc]progress:  [ 32 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* 1 (+ (* d1 (+ d3 3)) (* d1 d2))))>
* * * * [misc]progress:  [ 33 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (- (pow (* d1 (+ d3 3)) 3) (pow (* d1 d2) 3)) (+ (sqr (* d1 (+ d3 3))) (- (sqr (* d1 d2)) (* (* d1 (+ d3 3)) (* d1 d2))))))>
* [enter]simplify:  Simplifying (- (pow (* d1 (+ d3 3)) 3) (pow (* d1 d2) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (66 enodes)
* * [misc]simplify:  iters left: 2 (131 enodes)
* * [misc]simplify:  iters left: 1 (333 enodes)
* [exit]simplify:  Simplified to (- (cube (* d1 (+ 3 d3))) (cube (* d1 d2)))
* [exit]simplify:  Simplified to (- (cube (* d1 (+ 3 d3))) (cube (* d1 d2)))
* [enter]simplify:  Simplifying (+ (sqr (* d1 (+ d3 3))) (- (sqr (* d1 d2)) (* (* d1 (+ d3 3)) (* d1 d2))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (33 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (123 enodes)
* * [misc]simplify:  iters left: 2 (308 enodes)
* [exit]simplify:  Simplified to (fma (sqr d1) (* d2 (- d2 (+ 3 d3))) (* (* d1 (+ 3 d3)) (* d1 (+ 3 d3))))
* [exit]simplify:  Simplified to (fma (sqr d1) (* d2 (- d2 (+ 3 d3))) (* (* d1 (+ 3 d3)) (* d1 (+ 3 d3))))
* * * * [misc]progress:  [ 34 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (/ (- (sqr (* d1 (+ d3 3))) (sqr (* d1 d2))) (- (* d1 (+ d3 3)) (* d1 d2))))>
* [enter]simplify:  Simplifying (- (sqr (* d1 (+ d3 3))) (sqr (* d1 d2)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (47 enodes)
* * [misc]simplify:  iters left: 3 (101 enodes)
* * [misc]simplify:  iters left: 2 (258 enodes)
* [exit]simplify:  Simplified to (* (- (* (+ 3 d3) (+ 3 d3)) (sqr d2)) (sqr d1))
* [exit]simplify:  Simplified to (* (- (* (+ 3 d3) (+ 3 d3)) (sqr d2)) (sqr d1))
* [enter]simplify:  Simplifying (- (* d1 (+ d3 3)) (* d1 d2))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (44 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (72 enodes)
* [exit]simplify:  Simplified to (fma d1 (- d3 d2) (* 3 d1))
* [exit]simplify:  Simplified to (fma d1 (- d3 d2) (* 3 d1))
* * * * [misc]progress:  [ 35 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* d1 (+ (+ d3 3) d2)))>
* [enter]simplify:  Simplifying (+ (+ d3 3) d2)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* * [misc]simplify:  iters left: 1 (15 enodes)
* [exit]simplify:  Simplified to (+ (+ d3 3) d2)
* [exit]simplify:  Simplified to (+ (+ d3 3) d2)
* * * * [misc]progress:  [ 36 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* d1 d3) (+ (* d1 3) (* d1 d2))))>
* [enter]simplify:  Simplifying (+ (* d1 3) (* d1 d2))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* (+ 3 d2) d1)
* [exit]simplify:  Simplified to (* (+ 3 d2) d1)
* * * * [misc]progress:  [ 37 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* d3 d1) (+ (* 3 d1) (* d1 d2))))>
* [enter]simplify:  Simplifying (+ (* 3 d1) (* d1 d2))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* [exit]simplify:  Simplified to (* d1 (+ d2 3))
* [exit]simplify:  Simplified to (* d1 (+ d2 3))
* * * * [misc]progress:  [ 38 / 38 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* d1 d2) (* d1 (+ d3 3))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (d1 d2 d3) (fma (+ d2 d3) d1 (* d1 3)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (fma (+ d2 d3) d1 (* d1 3)) in (d2 d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (fma (+ d2 d3) d1 (* d1 3)) in d1
* [misc]backup-simplify:  Simplify (fma (+ d2 d3) d1 (* d1 3)) into (fma (+ d3 d2) d1 (* 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ d2 d3) d1 (* d1 3)) in d3
* [misc]backup-simplify:  Simplify (fma (+ d2 d3) d1 (* d1 3)) into (fma (+ d3 d2) d1 (* 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ d2 d3) d1 (* d1 3)) in d2
* [misc]backup-simplify:  Simplify (fma (+ d2 d3) d1 (* d1 3)) into (fma (+ d3 d2) d1 (* 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ d2 d3) d1 (* d1 3)) in d2
* [misc]backup-simplify:  Simplify (fma (+ d2 d3) d1 (* d1 3)) into (fma (+ d3 d2) d1 (* 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ d3 d2) d1 (* 3 d1)) in d3
* [misc]backup-simplify:  Simplify (fma (+ d3 d2) d1 (* 3 d1)) into (fma (+ d3 d2) d1 (* 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ d3 d2) d1 (* 3 d1)) in d1
* [misc]backup-simplify:  Simplify (fma (+ d3 d2) d1 (* 3 d1)) into (fma (+ d3 d2) d1 (* 3 d1))
* [misc]backup-simplify:  Simplify (fma (+ d3 d2) d1 (* 3 d1)) into (fma (+ d3 d2) d1 (* 3 d1))
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 (fma (+ d3 d2) d1 (* 3 d1)) into (fma (+ d3 d2) d1 (* 3 d1))
* [misc]approximate:  Taking taylor expansion of (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) in (d2 d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) in d1
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) into (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) in d3
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) into (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) in d2
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) into (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) in d2
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (* (/ 1 d1) 3)) into (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1)) in d3
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1)) into (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1)) in d1
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1)) into (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1)) into (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1)) into (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* [misc]approximate:  Taking taylor expansion of (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) in (d2 d3 d1) around 0
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) in d1
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) into (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) in d3
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) into (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) in d2
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) into (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) in d2
* [misc]backup-simplify:  Simplify (fma (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1)) (* (/ 1 (- d1)) 3)) into (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1)) in d3
* [misc]backup-simplify:  Simplify (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1)) into (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* [misc]taylor:  Taking taylor expansion of (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1)) in d1
* [misc]backup-simplify:  Simplify (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1)) into (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* [misc]backup-simplify:  Simplify (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1)) into (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1)) into (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (fma (+ d3 d2) d1 (* 3 d1)))>
* [enter]simplify:  Simplifying (fma (+ d3 d2) d1 (* 3 d1))
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (fma (+ d3 d2) d1 (* 3 d1))
* * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1)))>
* [enter]simplify:  Simplifying (fma (+ (/ 1 d3) (/ 1 d2)) (/ 1 d1) (/ 3 d1))
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (fma (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1) (/ 3 d1))
* * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt-event (λ (d1 d2 d3) (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1)))>
* [enter]simplify:  Simplifying (fma (- (+ (/ 1 d3) (/ 1 d2))) (/ -1 d1) (/ -3 d1))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (23 enodes)
* [exit]simplify:  Simplified to (fma (- (+ (/ 1 d2) (/ 1 d3))) (/ -1 d1) (/ -3 d1))
* * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log1p (expm1 (fma (+ d2 d3) d1 (* d1 3)))))>
* [enter]simplify:  Simplifying (expm1 (fma (+ d2 d3) d1 (* d1 3)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (expm1 (fma (+ d2 d3) d1 (* 3 d1)))
* [exit]simplify:  Simplified to (expm1 (fma (+ d2 d3) d1 (* 3 d1)))
* * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (expm1 (log1p (fma (+ d2 d3) d1 (* d1 3)))))>
* [enter]simplify:  Simplifying (log1p (fma (+ d2 d3) d1 (* d1 3)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (log1p (fma (+ d2 d3) d1 (* 3 d1)))
* [exit]simplify:  Simplified to (log1p (fma (+ d2 d3) d1 (* 3 d1)))
* * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (+ (* (+ d2 d3) d1) (* d1 3)))>
* [enter]simplify:  Simplifying (* (+ d2 d3) d1)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* * [misc]simplify:  iters left: 1 (19 enodes)
* [exit]simplify:  Simplified to (* (+ d2 d3) d1)
* [exit]simplify:  Simplified to (* (+ d2 d3) d1)
* * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (pow (fma (+ d2 d3) d1 (* d1 3)) 1))>
* * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (exp (log (fma (+ d2 d3) d1 (* d1 3)))))>
* [enter]simplify:  Simplifying (log (fma (+ d2 d3) d1 (* d1 3)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (log (fma (+ d2 d3) d1 (* 3 d1)))
* [exit]simplify:  Simplified to (log (fma (+ d2 d3) d1 (* 3 d1)))
* * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (log (exp (fma (+ d2 d3) d1 (* d1 3)))))>
* [enter]simplify:  Simplifying (exp (fma (+ d2 d3) d1 (* d1 3)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (exp (fma (+ d2 d3) d1 (* 3 d1)))
* [exit]simplify:  Simplified to (exp (fma (+ d2 d3) d1 (* 3 d1)))
* * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cube (cbrt (fma (+ d2 d3) d1 (* d1 3)))))>
* [enter]simplify:  Simplifying (cbrt (fma (+ d2 d3) d1 (* d1 3)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (cbrt (fma (+ d2 d3) d1 (* 3 d1)))
* [exit]simplify:  Simplified to (cbrt (fma (+ d2 d3) d1 (* 3 d1)))
* * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (cbrt (cube (fma (+ d2 d3) d1 (* d1 3)))))>
* [enter]simplify:  Simplifying (cube (fma (+ d2 d3) d1 (* d1 3)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (cube (fma (+ d2 d3) d1 (* 3 d1)))
* [exit]simplify:  Simplified to (cube (fma (+ d2 d3) d1 (* 3 d1)))
* * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (sqr (sqrt (fma (+ d2 d3) d1 (* d1 3)))))>
* [enter]simplify:  Simplifying (sqrt (fma (+ d2 d3) d1 (* d1 3)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (+ d2 d3) d1 (* 3 d1)))
* [exit]simplify:  Simplified to (sqrt (fma (+ d2 d3) d1 (* 3 d1)))
* * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3) (* 1 (fma (+ d2 d3) d1 (* d1 3))))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (d1 d2 d3) (fma d1 (+ d3 3) (* d1 d2)))> #<alt-delta (λ (d1 d2 d3) (cube (cbrt (fma d1 (+ d3 3) (* d1 d2)))))> #<alt-delta (λ (d1 d2 d3) (fma (+ d2 d3) d1 (* d1 3)))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (+ (* d1 3) (* d1 d2)) +inf.0)) , with alts (#<alt-delta (λ (d1 d2 d3) (fma d1 (+ d3 3) (* d1 d2)))>)
* [enter]simplify:  Simplifying (+ d3 3)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ d3 3)
* [exit]simplify:  Simplified to (+ d3 3)
* [enter]simplify:  Simplifying (* d1 d2)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* d2 d1)
* [exit]simplify:  Simplified to (* d2 d1)
* [enter]simplify:  Simplifying (cbrt (fma d1 (+ d3 3) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 3 d3) (* d1 d2)))
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 3 d3) (* d1 d2)))
* [enter]simplify:  Simplifying (+ d2 d3)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ d2 d3)
* [exit]simplify:  Simplified to (+ d2 d3)
* [enter]simplify:  Simplifying (* d1 3)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* 3 d1)
* [exit]simplify:  Simplified to (* 3 d1)