* [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 10) (* d1 d2)) (* d1 20))
* * [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 (+ 20 10) (* 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) (fma d1 (+ 20 10) (* 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 (+ 20 10) (* d1 d2)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d2
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d1
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d1
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 30 (* d1 d2)) in d2
* [misc]backup-simplify:  Simplify (fma d1 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]backup-simplify:  Simplify (fma d1 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [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 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 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 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [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 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 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) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [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 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 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) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 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) (fma d1 30 (* d1 d2)))>
* [enter]simplify:  Simplifying (fma d1 30 (* d1 d2))
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to (fma d1 30 (* d2 d1))
* * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt-event (λ (d1 d2) (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))>
* [enter]simplify:  Simplifying (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt-event (λ (d1 d2) (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))>
* [enter]simplify:  Simplifying (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (fma (/ -1 d1) 30 (/ (/ 1 d1) d2))
* * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (log1p (expm1 (fma d1 (+ 20 10) (* d1 d2)))))>
* [enter]simplify:  Simplifying (expm1 (fma d1 (+ 20 10) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (expm1 (fma d1 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (expm1 (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))))>
* [enter]simplify:  Simplifying (log1p (fma d1 (+ 20 10) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (+ (* d1 (+ 20 10)) (* d1 d2)))>
* [enter]simplify:  Simplifying (* d1 (+ 20 10))
* * [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 (+ 10 20))
* [exit]simplify:  Simplified to (* d1 (+ 10 20))
* * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (pow (fma d1 (+ 20 10) (* d1 d2)) 1))>
* * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (exp (log (fma d1 (+ 20 10) (* d1 d2)))))>
* [enter]simplify:  Simplifying (log (fma d1 (+ 20 10) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (log (fma d1 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (log (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (log (exp (fma d1 (+ 20 10) (* d1 d2)))))>
* [enter]simplify:  Simplifying (exp (fma d1 (+ 20 10) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (exp (fma d1 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (exp (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (cube (cbrt (fma d1 (+ 20 10) (* d1 d2)))))>
* [enter]simplify:  Simplifying (cbrt (fma d1 (+ 20 10) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (cbrt (cube (fma d1 (+ 20 10) (* d1 d2)))))>
* [enter]simplify:  Simplifying (cube (fma d1 (+ 20 10) (* 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 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (cube (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (sqr (sqrt (fma d1 (+ 20 10) (* d1 d2)))))>
* [enter]simplify:  Simplifying (sqrt (fma d1 (+ 20 10) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (fma d1 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (sqrt (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt-delta (λ (d1 d2) (* 1 (fma d1 (+ 20 10) (* 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) (+ (* d1 (+ 20 10)) (* 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 (+ (* d1 (+ 20 10)) (* d1 d2)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* d1 (+ 20 10)) (* d1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 (+ 20 10)) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ 20 10) in d2
* [misc]taylor:  Taking taylor expansion of 20 in d2
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d2
* [misc]backup-simplify:  Simplify 10 into 10
* [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 (+ 20 10)) (* d1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 (+ 20 10)) 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 (+ 20 10) in d1
* [misc]taylor:  Taking taylor expansion of 20 in d1
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d1
* [misc]backup-simplify:  Simplify 10 into 10
* [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 (+ 20 10)) (* d1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 (+ 20 10)) 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 (+ 20 10) in d1
* [misc]taylor:  Taking taylor expansion of 20 in d1
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d1
* [misc]backup-simplify:  Simplify 10 into 10
* [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 (+ 20 10) into 30
* [misc]backup-simplify:  Simplify (* 0 30) 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 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 30)) into 30
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d2)) into d2
* [misc]backup-simplify:  Simplify (+ 30 d2) into (+ 30 d2)
* [misc]taylor:  Taking taylor expansion of (+ 30 d2) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (+ 30 0) into 30
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 30))) 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 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 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 30)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) 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 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 30))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) 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 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* d2 d1)) (* 30 (* 1 d1))) into (+ (* 30 d1) (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 d1) (+ 20 10)) (* (/ 1 d1) (/ 1 d2))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 d1) (+ 20 10)) (* (/ 1 d1) (/ 1 d2))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ 20 10)) 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 (+ 20 10) in d2
* [misc]taylor:  Taking taylor expansion of 20 in d2
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d2
* [misc]backup-simplify:  Simplify 10 into 10
* [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) (+ 20 10)) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ 20 10)) 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 (+ 20 10) in d1
* [misc]taylor:  Taking taylor expansion of 20 in d1
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d1
* [misc]backup-simplify:  Simplify 10 into 10
* [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) (+ 20 10)) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ 20 10)) 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 (+ 20 10) in d1
* [misc]taylor:  Taking taylor expansion of 20 in d1
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d1
* [misc]backup-simplify:  Simplify 10 into 10
* [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 (+ 20 10) into 30
* [misc]backup-simplify:  Simplify (* 1 30) into 30
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (+ 30 (/ 1 d2)) into (+ 30 (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (+ 30 (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 30)) 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 d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 30 0) into 30
* [misc]backup-simplify:  Simplify 30 into 30
* [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 30))) 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 d2
* [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 (+ 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 30)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) 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 d2))))) 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 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 (+ 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 30))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) 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 d2)))))) 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 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 30 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* 30 d1) (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (+ 20 10)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- d1)) (+ 20 10)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ 20 10)) 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 (+ 20 10) in d2
* [misc]taylor:  Taking taylor expansion of 20 in d2
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d2
* [misc]backup-simplify:  Simplify 10 into 10
* [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)) (+ 20 10)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ 20 10)) 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 (+ 20 10) in d1
* [misc]taylor:  Taking taylor expansion of 20 in d1
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d1
* [misc]backup-simplify:  Simplify 10 into 10
* [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)) (+ 20 10)) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ 20 10)) 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 (+ 20 10) in d1
* [misc]taylor:  Taking taylor expansion of 20 in d1
* [misc]backup-simplify:  Simplify 20 into 20
* [misc]taylor:  Taking taylor expansion of 10 in d1
* [misc]backup-simplify:  Simplify 10 into 10
* [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 (+ 20 10) into 30
* [misc]backup-simplify:  Simplify (* -1 30) into -30
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (+ -30 (/ 1 d2)) into (- (/ 1 d2) 30)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d2) 30) 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 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [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 30)) 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 d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 30) into -30
* [misc]backup-simplify:  Simplify (+ 0 -30) into -30
* [misc]backup-simplify:  Simplify -30 into -30
* [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 30))) 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 d2
* [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 0 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 30)))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 0 (/ 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 (- 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 (/ -1 d2))))) 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 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 0 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 30))))) 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 (- 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))) (* 0 (/ 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 (- 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 (/ -1 d2)))))) 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 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -30 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* 30 d1) (* d1 d2))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt-event (λ (d1 d2) (+ (* 30 d1) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (* 30 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 30))
* * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt-event (λ (d1 d2) (+ (* 30 d1) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (* 30 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 30))
* * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt-event (λ (d1 d2) (+ (* 30 d1) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (* 30 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 30))
* * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (log1p (expm1 (+ (* d1 (+ 20 10)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (expm1 (+ (* d1 (+ 20 10)) (* 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 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (expm1 (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (expm1 (log1p (+ (* d1 (+ 20 10)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (log1p (+ (* d1 (+ 20 10)) (* 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 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (fma d1 (+ 20 10) (* d1 d2)))>
* * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (log (* (exp (* d1 (+ 20 10))) (exp (* d1 d2)))))>
* [enter]simplify:  Simplifying (* (exp (* d1 (+ 20 10))) (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 (106 enodes)
* * [misc]simplify:  iters left: 1 (129 enodes)
* [exit]simplify:  Simplified to (exp (fma d1 (+ 10 d2) (* 20 d1)))
* [exit]simplify:  Simplified to (exp (fma d1 (+ 10 d2) (* 20 d1)))
* * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (pow (+ (* d1 (+ 20 10)) (* d1 d2)) 1))>
* * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (exp (log (+ (* d1 (+ 20 10)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (log (+ (* d1 (+ 20 10)) (* 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 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (log (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (log (exp (+ (* d1 (+ 20 10)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (exp (+ (* d1 (+ 20 10)) (* 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 (123 enodes)
* * [misc]simplify:  iters left: 1 (154 enodes)
* [exit]simplify:  Simplified to (exp (fma d1 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (exp (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (cube (cbrt (+ (* d1 (+ 20 10)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (cbrt (+ (* d1 (+ 20 10)) (* 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 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (cbrt (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (cbrt (cube (+ (* d1 (+ 20 10)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (cube (+ (* d1 (+ 20 10)) (* 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 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (cube (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (sqr (sqrt (+ (* d1 (+ 20 10)) (* d1 d2)))))>
* [enter]simplify:  Simplifying (sqrt (+ (* d1 (+ 20 10)) (* 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 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (sqrt (fma d1 (+ 10 20) (* d1 d2)))
* * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (* 1 (+ (* d1 (+ 20 10)) (* d1 d2))))>
* * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (/ (- (pow (* d1 (+ 20 10)) 3) (pow (* d1 d2) 3)) (+ (sqr (* d1 (+ 20 10))) (- (sqr (* d1 d2)) (* (* d1 (+ 20 10)) (* d1 d2))))))>
* [enter]simplify:  Simplifying (- (pow (* d1 (+ 20 10)) 3) (pow (* d1 d2) 3))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (37 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (154 enodes)
* * [misc]simplify:  iters left: 1 (493 enodes)
* [exit]simplify:  Simplified to (- (cube (* d1 (+ 10 20))) (cube (* d2 d1)))
* [exit]simplify:  Simplified to (- (cube (* d1 (+ 10 20))) (cube (* d2 d1)))
* [enter]simplify:  Simplifying (+ (sqr (* d1 (+ 20 10))) (- (sqr (* d1 d2)) (* (* d1 (+ 20 10)) (* 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 (+ 10 20))) (* (* d1 (+ 10 20)) (* d1 (+ 10 20))))
* [exit]simplify:  Simplified to (fma (sqr d1) (* d2 (- d2 (+ 10 20))) (* (* d1 (+ 10 20)) (* d1 (+ 10 20))))
* * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (/ (- (sqr (* d1 (+ 20 10))) (sqr (* d1 d2))) (- (* d1 (+ 20 10)) (* d1 d2))))>
* [enter]simplify:  Simplifying (- (sqr (* d1 (+ 20 10))) (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 (* (- (* (+ 10 20) (+ 10 20)) (sqr d2)) (sqr d1))
* [exit]simplify:  Simplified to (* (- (* (+ 10 20) (+ 10 20)) (sqr d2)) (sqr d1))
* [enter]simplify:  Simplifying (- (* d1 (+ 20 10)) (* 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 (- 20 d2) (* 10 d1))
* [exit]simplify:  Simplified to (fma d1 (- 20 d2) (* 10 d1))
* * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (* d1 (+ (+ 20 10) d2)))>
* [enter]simplify:  Simplifying (+ (+ 20 10) 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 (+ (+ 20 10) d2)
* [exit]simplify:  Simplified to (+ (+ 20 10) d2)
* * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (+ (* d1 20) (+ (* d1 10) (* d1 d2))))>
* [enter]simplify:  Simplifying (+ (* d1 10) (* 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 (* (+ 10 d2) d1)
* [exit]simplify:  Simplified to (* (+ 10 d2) d1)
* * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (+ (* 20 d1) (+ (* 10 d1) (* d1 d2))))>
* [enter]simplify:  Simplifying (+ (* 10 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 10))
* [exit]simplify:  Simplified to (* d1 (+ d2 10))
* * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt-delta (λ (d1 d2) (+ (* d1 d2) (* d1 (+ 20 10))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (d1 d2) (* d1 (+ d2 30)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (* d1 (+ d2 30)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d2 30)) 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 30) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d2 30)) 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 30) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d2 30)) 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 30) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (+ d2 30) into (+ 30 d2)
* [misc]backup-simplify:  Simplify (* 0 (+ 30 d2)) 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 (+ 30 d2))) into (+ 30 d2)
* [misc]taylor:  Taking taylor expansion of (+ 30 d2) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (+ 30 0) into 30
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ 30 d2)))) 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 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 (+ 30 d2))))) 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]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 (+ 30 d2)))))) 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 (* d2 d1)) (* 30 (* 1 d1))) into (+ (* 30 d1) (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 30)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 30)) 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) 30) 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 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 30)) 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) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 30)) 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) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) 30) into (+ 30 (/ 1 d2))
* [misc]backup-simplify:  Simplify (* 1 (+ 30 (/ 1 d2))) into (+ 30 (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (+ 30 (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 d2) (/ 0 d2)))) 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 (+ 30 (/ 1 d2)))) 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 (+ 30 0) into 30
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) 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 (+ 30 (/ 1 d2))))) 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 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 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) 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 (+ 30 (/ 1 d2)))))) 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]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 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) 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 (+ 30 (/ 1 d2))))))) 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 (+ (* 30 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* 30 d1) (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) 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)) 30) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) 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)) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) 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)) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (+ (/ -1 d2) 30) into (- 30 (/ 1 d2))
* [misc]backup-simplify:  Simplify (* -1 (- 30 (/ 1 d2))) into (* -1 (- 30 (/ 1 d2)))
* [misc]taylor:  Taking taylor expansion of (* -1 (- 30 (/ 1 d2))) in d2
* [misc]taylor:  Taking taylor expansion of -1 in d2
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (- 30 (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (- 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 (- d2) into (- d2)
* [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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- 30 (/ 1 d2)))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 30 0) into 30
* [misc]backup-simplify:  Simplify (+ (* -1 30) (* 0 -1)) into -30
* [misc]backup-simplify:  Simplify -30 into -30
* [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 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 (- 30 (/ 1 d2))))) 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 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 30) (* 0 -1))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 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))) (* 0 (/ 0 (- d2))))) 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 (- 30 (/ 1 d2)))))) 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]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 30) (* 0 -1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [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))) (* 0 (/ 0 (- d2))) (* 0 (/ 0 (- d2))))) 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 (- 30 (/ 1 d2))))))) 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 (+ (* -30 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* 30 d1) (* d1 d2))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt-event (λ (d1 d2) (+ (* 30 d1) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (* 30 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 30))
* * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt-event (λ (d1 d2) (+ (* 30 d1) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (* 30 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 30))
* * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt-event (λ (d1 d2) (+ (* 30 d1) (* d1 d2)))>
* [enter]simplify:  Simplifying (+ (* 30 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 30))
* * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (log1p (expm1 (* d1 (+ d2 30)))))>
* [enter]simplify:  Simplifying (expm1 (* d1 (+ d2 30)))
* * [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 (+ 30 d2)))
* [exit]simplify:  Simplified to (expm1 (* d1 (+ 30 d2)))
* * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (expm1 (log1p (* d1 (+ d2 30)))))>
* [enter]simplify:  Simplifying (log1p (* d1 (+ d2 30)))
* * [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 (+ 30 d2)))
* [exit]simplify:  Simplified to (log1p (* d1 (+ 30 d2)))
* * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (pow (* d1 (+ d2 30)) 1))>
* * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (exp (log (* d1 (+ d2 30)))))>
* [enter]simplify:  Simplifying (log (* d1 (+ d2 30)))
* * [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 (+ 30 d2)))
* [exit]simplify:  Simplified to (log (* d1 (+ 30 d2)))
* * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (log (exp (* d1 (+ d2 30)))))>
* [enter]simplify:  Simplifying (exp (* d1 (+ d2 30)))
* * [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 (45 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ 30 d2))
* [exit]simplify:  Simplified to (pow (exp d1) (+ 30 d2))
* * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (cube (cbrt (* d1 (+ d2 30)))))>
* [enter]simplify:  Simplifying (cbrt (* d1 (+ d2 30)))
* * [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 (+ 30 d2)))
* [exit]simplify:  Simplified to (cbrt (* d1 (+ 30 d2)))
* * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (cbrt (cube (* d1 (+ d2 30)))))>
* [enter]simplify:  Simplifying (cube (* d1 (+ d2 30)))
* * [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 (+ 30 d2)))
* [exit]simplify:  Simplified to (cube (* d1 (+ 30 d2)))
* * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (sqr (sqrt (* d1 (+ d2 30)))))>
* [enter]simplify:  Simplifying (sqrt (* d1 (+ d2 30)))
* * [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 (+ 30 d2)))
* [exit]simplify:  Simplified to (sqrt (* d1 (+ 30 d2)))
* * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (* 1 (* d1 (+ d2 30))))>
* * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (+ (* d1 d2) (* d1 30)))>
* [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 (* d1 30)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* 30 d1)
* [exit]simplify:  Simplified to (* 30 d1)
* * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (+ (* d2 d1) (* 30 d1)))>
* [enter]simplify:  Simplifying (* d2 d1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* d1 d2)
* [exit]simplify:  Simplified to (* d1 d2)
* [enter]simplify:  Simplifying (* 30 d1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* d1 30)
* [exit]simplify:  Simplified to (* d1 30)
* * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (* (* d1 1) (+ d2 30)))>
* [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:  [ 16 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (/ (* d1 (- (pow d2 3) (pow 30 3))) (+ (sqr d2) (- (sqr 30) (* d2 30)))))>
* [enter]simplify:  Simplifying (* d1 (- (pow d2 3) (pow 30 3)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (* d1 (- (cube d2) (cube 30)))
* [exit]simplify:  Simplified to (* d1 (- (cube d2) (cube 30)))
* * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (/ (* d1 (- (sqr d2) (sqr 30))) (- d2 30)))>
* [enter]simplify:  Simplifying (* d1 (- (sqr d2) (sqr 30)))
* * [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 (* (* (+ d2 30) d1) (- d2 30))
* [exit]simplify:  Simplified to (* (* (+ d2 30) d1) (- d2 30))
* * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt-delta (λ (d1 d2) (* (+ d2 30) d1))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  Final touches.
* * * [misc]progress:  tayloring alt 1 of 4
* [misc]approximate:  Taking taylor expansion of (/ (* d1 (- (cube d2) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (/ (* d1 (- (cube d2) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30)))) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 (- (cube d2) (cube 30))) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (- (cube d2) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube d2) in d2
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr d2) (- (sqr 30) (* d2 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 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]taylor:  Taking taylor expansion of (- (sqr 30) (* d2 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d2 30) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube d2) (- (cube 30))) into (- (cube d2) (cube 30))
* [misc]backup-simplify:  Simplify (* d1 (- (cube d2) (cube 30))) into (* (- (cube d2) (cube 30)) d1)
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (* 0 30) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (+ 0 900) into 900
* [misc]backup-simplify:  Simplify (/ (* (- (cube d2) (cube 30)) d1) 900) into (* 1/900 (* (- (cube d2) (cube 30)) d1))
* [misc]taylor:  Taking taylor expansion of (/ (* d1 (- (cube d2) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30)))) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 (- (cube d2) (cube 30))) 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 (- (cube d2) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube d2) in d1
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr d2) (- (sqr 30) (* d2 30))) in d1
* [misc]taylor:  Taking taylor expansion of (sqr d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* d2 30)) in d1
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d1
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d2 30) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube d2) (- (cube 30))) into (- (cube d2) (cube 30))
* [misc]backup-simplify:  Simplify (* 0 (- (cube d2) (cube 30))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (cube d2) (cube 30)))) into (- (cube d2) (cube 30))
* [misc]backup-simplify:  Simplify (* d2 d2) into (sqr d2)
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (* d2 30) into (* 30 d2)
* [misc]backup-simplify:  Simplify (- (* 30 d2)) into (- (* 30 d2))
* [misc]backup-simplify:  Simplify (+ 900 (- (* 30 d2))) into (- 900 (* 30 d2))
* [misc]backup-simplify:  Simplify (+ (sqr d2) (- 900 (* 30 d2))) into (- (+ 900 (sqr d2)) (* 30 d2))
* [misc]backup-simplify:  Simplify (/ (- (cube d2) (cube 30)) (- (+ 900 (sqr d2)) (* 30 d2))) into (/ (- (cube d2) (cube 30)) (- (+ 900 (sqr d2)) (* 30 d2)))
* [misc]taylor:  Taking taylor expansion of (/ (* d1 (- (cube d2) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30)))) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 (- (cube d2) (cube 30))) 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 (- (cube d2) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube d2) in d1
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr d2) (- (sqr 30) (* d2 30))) in d1
* [misc]taylor:  Taking taylor expansion of (sqr d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* d2 30)) in d1
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d1
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d2 30) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube d2) (- (cube 30))) into (- (cube d2) (cube 30))
* [misc]backup-simplify:  Simplify (* 0 (- (cube d2) (cube 30))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (cube d2) (cube 30)))) into (- (cube d2) (cube 30))
* [misc]backup-simplify:  Simplify (* d2 d2) into (sqr d2)
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (* d2 30) into (* 30 d2)
* [misc]backup-simplify:  Simplify (- (* 30 d2)) into (- (* 30 d2))
* [misc]backup-simplify:  Simplify (+ 900 (- (* 30 d2))) into (- 900 (* 30 d2))
* [misc]backup-simplify:  Simplify (+ (sqr d2) (- 900 (* 30 d2))) into (- (+ 900 (sqr d2)) (* 30 d2))
* [misc]backup-simplify:  Simplify (/ (- (cube d2) (cube 30)) (- (+ 900 (sqr d2)) (* 30 d2))) into (/ (- (cube d2) (cube 30)) (- (+ 900 (sqr d2)) (* 30 d2)))
* [misc]taylor:  Taking taylor expansion of (/ (- (cube d2) (cube 30)) (- (+ 900 (sqr d2)) (* 30 d2))) in d2
* [misc]taylor:  Taking taylor expansion of (- (cube d2) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube d2) in d2
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (- (+ 900 (sqr d2)) (* 30 d2)) in d2
* [misc]taylor:  Taking taylor expansion of (+ 900 (sqr d2)) in d2
* [misc]taylor:  Taking taylor expansion of 900 in d2
* [misc]backup-simplify:  Simplify 900 into 900
* [misc]taylor:  Taking taylor expansion of (sqr 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]taylor:  Taking taylor expansion of (* 30 d2) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube d2) (- (cube 30))) into (- (cube d2) (cube 30))
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (* 30 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (/ (- (cube d2) (cube 30)) 900) into (* 1/900 (- (cube d2) (cube 30)))
* [misc]backup-simplify:  Simplify (* 1/900 (- (cube d2) (cube 30))) into (* 1/900 (- (cube d2) (cube 30)))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (cube d2) (cube 30))))) into 0
* [misc]backup-simplify:  Simplify (+ (* d2 0) (* 0 d2)) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (* 0 30)) into 0
* [misc]backup-simplify:  Simplify (+ (* d2 0) (* 0 30)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 900 (sqr d2)) (* 30 d2))) (+ (* (/ (- (cube d2) (cube 30)) (- (+ 900 (sqr d2)) (* 30 d2))) (/ 0 (- (+ 900 (sqr d2)) (* 30 d2)))))) 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]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 1) (* 0 0)) into 30
* [misc]backup-simplify:  Simplify (- 30) into -30
* [misc]backup-simplify:  Simplify (+ 0 -30) into -30
* [misc]backup-simplify:  Simplify (- (/ 0 900) (+ (* (* 1/900 (- (cube d2) (cube 30))) (/ -30 900)))) into (- (* 1/27000 (cube d2)) (* 1/27000 (cube 30)))
* [misc]backup-simplify:  Simplify (- (* 1/27000 (cube d2)) (* 1/27000 (cube 30))) into (- (* 1/27000 (cube d2)) (* 1/27000 (cube 30)))
* [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 (- (cube d2) (cube 30)))))) into 0
* [misc]backup-simplify:  Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (+ (* 0 0) (* 0 30))) into 0
* [misc]backup-simplify:  Simplify (+ (* d2 0) (+ (* 0 0) (* 0 30))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 900 (sqr d2)) (* 30 d2))) (+ (* (/ (- (cube d2) (cube 30)) (- (+ 900 (sqr d2)) (* 30 d2))) (/ 0 (- (+ 900 (sqr d2)) (* 30 d2)))) (* 0 (/ 0 (- (+ 900 (sqr d2)) (* 30 d2)))))) 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]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ (* 30 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 0 900) (+ (* (* 1/900 (- (cube d2) (cube 30))) (/ 1 900)) (* (- (* 1/27000 (cube d2)) (* 1/27000 (cube 30))) (/ -30 900)))) 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 (- (cube d2) (cube 30))))))) into 0
* [misc]backup-simplify:  Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 30)))) into 0
* [misc]backup-simplify:  Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 30)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 900 (sqr d2)) (* 30 d2))) (+ (* (/ (- (cube d2) (cube 30)) (- (+ 900 (sqr d2)) (* 30 d2))) (/ 0 (- (+ 900 (sqr d2)) (* 30 d2)))) (* 0 (/ 0 (- (+ 900 (sqr d2)) (* 30 d2)))) (* 0 (/ 0 (- (+ 900 (sqr d2)) (* 30 d2)))))) 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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (- (* 1/27000 (cube d2)) (* 1/27000 (cube 30))) (* d2 d1)) (* (* 1/900 (- (cube d2) (cube 30))) (* 1 d1))) into (- (+ (* 1/900 (* (cube d2) d1)) (* 1/27000 (* (cube d2) (* d1 d2)))) (+ (* 1/900 (* d1 (cube 30))) (* 1/27000 (* d1 (* d2 (cube 30))))))
* [misc]approximate:  Taking taylor expansion of (/ (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) 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 (- (cube (/ 1 d2)) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 d2)) 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 (- (sqr 30) (* (/ 1 d2) 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d2) 30) 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 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ 1 d2)) (- (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) into (/ (- (cube (/ 1 d2)) (cube 30)) d1)
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (/ (- (cube (/ 1 d2)) (cube 30)) d1) 1) into (/ (- (cube (/ 1 d2)) (cube 30)) d1)
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) 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 (- (cube (/ 1 d2)) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d1
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30))) in d1
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* (/ 1 d2) 30)) in d1
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d1
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d2) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ 1 d2)) (- (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* 1 (- (cube (/ 1 d2)) (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 1 d2)) into (/ 1 (sqr d2))
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (* (/ 1 d2) 30) into (/ 30 d2)
* [misc]backup-simplify:  Simplify (- (/ 30 d2)) into (- (* 30 (/ 1 d2)))
* [misc]backup-simplify:  Simplify (+ 900 (- (* 30 (/ 1 d2)))) into (- 900 (* 30 (/ 1 d2)))
* [misc]backup-simplify:  Simplify (+ (/ 1 (sqr d2)) (- 900 (* 30 (/ 1 d2)))) into (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))
* [misc]backup-simplify:  Simplify (/ (- (cube (/ 1 d2)) (cube 30)) (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) into (/ (- (cube (/ 1 d2)) (cube 30)) (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))))
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) 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 (- (cube (/ 1 d2)) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d1
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30))) in d1
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* (/ 1 d2) 30)) in d1
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d1
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d2) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ 1 d2)) (- (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* 1 (- (cube (/ 1 d2)) (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* (/ 1 d2) (/ 1 d2)) into (/ 1 (sqr d2))
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (* (/ 1 d2) 30) into (/ 30 d2)
* [misc]backup-simplify:  Simplify (- (/ 30 d2)) into (- (* 30 (/ 1 d2)))
* [misc]backup-simplify:  Simplify (+ 900 (- (* 30 (/ 1 d2)))) into (- 900 (* 30 (/ 1 d2)))
* [misc]backup-simplify:  Simplify (+ (/ 1 (sqr d2)) (- 900 (* 30 (/ 1 d2)))) into (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))
* [misc]backup-simplify:  Simplify (/ (- (cube (/ 1 d2)) (cube 30)) (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) into (/ (- (cube (/ 1 d2)) (cube 30)) (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))))
* [misc]taylor:  Taking taylor expansion of (/ (- (cube (/ 1 d2)) (cube 30)) (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) in d2
* [misc]taylor:  Taking taylor expansion of (- (cube (/ 1 d2)) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))) in d2
* [misc]taylor:  Taking taylor expansion of (+ 900 (/ 1 (sqr d2))) in d2
* [misc]taylor:  Taking taylor expansion of 900 in d2
* [misc]backup-simplify:  Simplify 900 into 900
* [misc]taylor:  Taking taylor expansion of (/ 1 (sqr d2)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 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 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* 30 (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ 1 d2)) (- (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (- (cube (/ 1 d2)) (cube 30)) 1) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (- (cube (/ 1 d2)) (cube 30)) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (- 0) 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 (- (cube (/ 1 d2)) (cube 30)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d2) 0) (* 0 (/ 1 d2))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (* 0 30)) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d2) 0) (* 0 30)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) (+ (* (/ (- (cube (/ 1 d2)) (cube 30)) (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))))))) 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]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* 30 1) into 30
* [misc]backup-simplify:  Simplify (- 30) into -30
* [misc]backup-simplify:  Simplify (+ 0 -30) into -30
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (- (cube (/ 1 d2)) (cube 30)) (/ -30 1)))) into (- (* 30 (cube (/ 1 d2))) (* 30 (cube 30)))
* [misc]backup-simplify:  Simplify (- (* 30 (cube (/ 1 d2))) (* 30 (cube 30))) into (- (* 30 (cube (/ 1 d2))) (* 30 (cube 30)))
* [misc]backup-simplify:  Simplify (- 0) 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 (- (cube (/ 1 d2)) (cube 30))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d2) 0) (+ (* 0 0) (* 0 (/ 1 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (+ (* 0 0) (* 0 30))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d2) 0) (+ (* 0 0) (* 0 30))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) (+ (* (/ (- (cube (/ 1 d2)) (cube 30)) (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))))))) 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]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 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (- (cube (/ 1 d2)) (cube 30)) (/ 900 1)) (* (- (* 30 (cube (/ 1 d2))) (* 30 (cube 30))) (/ -30 1)))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (cube (/ 1 d2)) (cube 30)))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d2))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 30)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 30)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) (+ (* (/ (- (cube (/ 1 d2)) (cube 30)) (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2)))) (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ 900 (/ 1 (sqr d2))) (* 30 (/ 1 d2))))))) 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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (- (* 30 (cube (/ 1 d2))) (* 30 (cube 30))) (* (pow (/ 1 d2) 3) (/ 1 (/ 1 d1)))) (* (- (cube (/ 1 d2)) (cube 30)) (* (sqr (/ 1 d2)) (/ 1 (/ 1 d1))))) into (- (+ (* 30 (/ (* (cube (/ 1 d2)) d1) (pow d2 3))) (/ (* (cube (/ 1 d2)) d1) (sqr d2))) (+ (/ (* d1 (cube 30)) (sqr d2)) (* 30 (/ (* d1 (cube 30)) (pow d2 3)))))
* [misc]approximate:  Taking taylor expansion of (/ (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) 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 (- (cube (/ 1 (- d2))) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- d2))) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 (- d2))) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 (- d2))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* (/ 1 (- d2)) 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d2)) 30) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ -1 d2)) (- (cube 30))) into (- (cube (/ -1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* (/ -1 d1) (- (cube (/ -1 d2)) (cube 30))) into (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) d1))
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) d1)) 1) into (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) d1))
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) 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 (- (cube (/ 1 (- d2))) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- d2))) in d1
* [misc]backup-simplify:  Simplify (cube (/ 1 (- d2))) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30))) in d1
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* (/ 1 (- d2)) 30)) in d1
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d1
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d2)) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ -1 d2)) (- (cube 30))) into (- (cube (/ -1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* -1 (- (cube (/ -1 d2)) (cube 30))) into (* -1 (- (cube (/ -1 d2)) (cube 30)))
* [misc]backup-simplify:  Simplify (* (/ -1 d2) (/ -1 d2)) into (/ 1 (sqr d2))
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (* (/ -1 d2) 30) into (/ -30 d2)
* [misc]backup-simplify:  Simplify (- (/ -30 d2)) into (* 30 (/ 1 d2))
* [misc]backup-simplify:  Simplify (+ 900 (* 30 (/ 1 d2))) into (+ 900 (* 30 (/ 1 d2)))
* [misc]backup-simplify:  Simplify (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2)))) into (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2))))
* [misc]backup-simplify:  Simplify (/ (* -1 (- (cube (/ -1 d2)) (cube 30))) (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2))))) into (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2))))))
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) 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 (- (cube (/ 1 (- d2))) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- d2))) in d1
* [misc]backup-simplify:  Simplify (cube (/ 1 (- d2))) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30))) in d1
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* (/ 1 (- d2)) 30)) in d1
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d1
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d2)) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ -1 d2)) (- (cube 30))) into (- (cube (/ -1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* -1 (- (cube (/ -1 d2)) (cube 30))) into (* -1 (- (cube (/ -1 d2)) (cube 30)))
* [misc]backup-simplify:  Simplify (* (/ -1 d2) (/ -1 d2)) into (/ 1 (sqr d2))
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (* (/ -1 d2) 30) into (/ -30 d2)
* [misc]backup-simplify:  Simplify (- (/ -30 d2)) into (* 30 (/ 1 d2))
* [misc]backup-simplify:  Simplify (+ 900 (* 30 (/ 1 d2))) into (+ 900 (* 30 (/ 1 d2)))
* [misc]backup-simplify:  Simplify (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2)))) into (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2))))
* [misc]backup-simplify:  Simplify (/ (* -1 (- (cube (/ -1 d2)) (cube 30))) (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2))))) into (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2))))))
* [misc]taylor:  Taking taylor expansion of (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2)))))) in d2
* [misc]taylor:  Taking taylor expansion of -1 in d2
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (/ (- (cube (/ -1 d2)) (cube 30)) (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2))))) in d2
* [misc]taylor:  Taking taylor expansion of (- (cube (/ -1 d2)) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube (/ -1 d2)) in d2
* [misc]backup-simplify:  Simplify (cube (/ -1 d2)) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2)))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (sqr d2)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 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 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ 900 (* 30 (/ 1 d2))) in d2
* [misc]taylor:  Taking taylor expansion of 900 in d2
* [misc]backup-simplify:  Simplify 900 into 900
* [misc]taylor:  Taking taylor expansion of (* 30 (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ -1 d2)) (- (cube 30))) into (- (cube (/ -1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (- (cube (/ -1 d2)) (cube 30)) 1) into (- (cube (/ -1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* -1 (- (cube (/ -1 d2)) (cube 30))) into (* -1 (- (cube (/ -1 d2)) (cube 30)))
* [misc]backup-simplify:  Simplify (* -1 (- (cube (/ -1 d2)) (cube 30))) into (* -1 (- (cube (/ -1 d2)) (cube 30)))
* [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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- (cube (/ -1 d2)) (cube 30)))) 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 (+ (* (/ -1 d2) 0) (* 0 (/ -1 d2))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (* 0 30)) 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 (+ (* (/ -1 d2) 0) (* 0 30)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2))))) (+ (* (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2)))))) (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2)))))))) 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]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (* 30 1) into 30
* [misc]backup-simplify:  Simplify (+ 0 30) into 30
* [misc]backup-simplify:  Simplify (+ 0 30) into 30
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (- (cube (/ -1 d2)) (cube 30)) (/ 30 1)))) into (- (* 30 (cube 30)) (* 30 (cube (/ -1 d2))))
* [misc]backup-simplify:  Simplify (+ (* -1 (- (* 30 (cube 30)) (* 30 (cube (/ -1 d2))))) (* 0 (- (cube (/ -1 d2)) (cube 30)))) into (- (* 30 (cube (/ -1 d2))) (* 30 (cube 30)))
* [misc]backup-simplify:  Simplify (- (* 30 (cube (/ -1 d2))) (* 30 (cube 30))) into (- (* 30 (cube (/ -1 d2))) (* 30 (cube 30)))
* [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 (- 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 (- (cube (/ -1 d2)) (cube 30))))) 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 (+ (* (/ -1 d2) 0) (+ (* 0 0) (* 0 (/ -1 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (+ (* 0 0) (* 0 30))) 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 (+ (* (/ -1 d2) 0) (+ (* 0 0) (* 0 30))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2))))) (+ (* (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2)))))) (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2)))))) (* 0 (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2)))))))) 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]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 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (+ 0 900) into 900
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (- (cube (/ -1 d2)) (cube 30)) (/ 900 1)) (* (- (* 30 (cube 30)) (* 30 (cube (/ -1 d2)))) (/ 30 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 (- (* 30 (cube 30)) (* 30 (cube (/ -1 d2))))) (* 0 (- (cube (/ -1 d2)) (cube 30))))) 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 (- 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 (- (cube (/ -1 d2)) (cube 30)))))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 0 (/ 0 (- d2))) (* 0 (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 d2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 d2))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 30)))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 0 (/ 0 (- d2))) (* 0 (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 d2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 30)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2))))) (+ (* (* -1 (/ (- (cube (/ -1 d2)) (cube 30)) (+ (/ 1 (sqr d2)) (+ 900 (* 30 (/ 1 d2)))))) (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2)))))) (* 0 (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2)))))) (* 0 (/ 0 (+ 900 (+ (/ 1 (sqr d2)) (* 30 (/ 1 d2)))))))) 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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (- (* 30 (cube (/ -1 d2))) (* 30 (cube 30))) (* (pow (/ 1 (- d2)) 3) (/ 1 (/ 1 (- d1))))) (* (* -1 (- (cube (/ -1 d2)) (cube 30))) (* (sqr (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (- (+ (* 30 (/ (* d1 (cube (/ -1 d2))) (pow d2 3))) (/ (* d1 (cube (/ -1 d2))) (sqr d2))) (+ (/ (* d1 (cube 30)) (sqr d2)) (* 30 (/ (* d1 (cube 30)) (pow d2 3)))))
* [misc]approximate:  Taking taylor expansion of (* d1 (- (cube d2) (cube 30))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* d1 (- (cube d2) (cube 30))) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (- (cube d2) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube d2) in d2
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (* d1 (- (cube d2) (cube 30))) 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 (- (cube d2) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube d2) in d1
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (* d1 (- (cube d2) (cube 30))) 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 (- (cube d2) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube d2) in d1
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube d2) (- (cube 30))) into (- (cube d2) (cube 30))
* [misc]backup-simplify:  Simplify (* 0 (- (cube d2) (cube 30))) 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]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (cube d2) (cube 30)))) into (- (cube d2) (cube 30))
* [misc]taylor:  Taking taylor expansion of (- (cube d2) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube d2) in d2
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube d2) (- (cube 30))) into (- (cube d2) (cube 30))
* [misc]backup-simplify:  Simplify (- (cube d2) (cube 30)) into (- (cube d2) (cube 30))
* [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 (- (cube d2) (cube 30))))) 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]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) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (cube d2) (cube 30)))))) 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]backup-simplify:  Simplify (* (- (cube d2) (cube 30)) (* 1 d1)) into (* (- (cube d2) (cube 30)) d1)
* [misc]approximate:  Taking taylor expansion of (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) 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 (- (cube (/ 1 d2)) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) 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 (- (cube (/ 1 d2)) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d1
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (- (cube (/ 1 d2)) (cube 30))) 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 (- (cube (/ 1 d2)) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d1
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ 1 d2)) (- (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* 1 (- (cube (/ 1 d2)) (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]taylor:  Taking taylor expansion of (- (cube (/ 1 d2)) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ 1 d2)) (- (cube 30))) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (- (cube (/ 1 d2)) (cube 30)) into (- (cube (/ 1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (- 0) 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 (- (cube (/ 1 d2)) (cube 30)))) 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]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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (cube (/ 1 d2)) (cube 30))))) 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]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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (cube (/ 1 d2)) (cube 30)))))) 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 (* (- (cube (/ 1 d2)) (cube 30)) (* 1 (/ 1 (/ 1 d1)))) into (* (- (cube (/ 1 d2)) (cube 30)) d1)
* [misc]approximate:  Taking taylor expansion of (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) 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 (- (cube (/ 1 (- d2))) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- d2))) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 (- d2))) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) 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 (- (cube (/ 1 (- d2))) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- d2))) in d1
* [misc]backup-simplify:  Simplify (cube (/ 1 (- d2))) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (- (cube (/ 1 (- d2))) (cube 30))) 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 (- (cube (/ 1 (- d2))) (cube 30)) in d1
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- d2))) in d1
* [misc]backup-simplify:  Simplify (cube (/ 1 (- d2))) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d1
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ -1 d2)) (- (cube 30))) into (- (cube (/ -1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* -1 (- (cube (/ -1 d2)) (cube 30))) into (* -1 (- (cube (/ -1 d2)) (cube 30)))
* [misc]taylor:  Taking taylor expansion of (* -1 (- (cube (/ -1 d2)) (cube 30))) in d2
* [misc]taylor:  Taking taylor expansion of -1 in d2
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (- (cube (/ -1 d2)) (cube 30)) in d2
* [misc]taylor:  Taking taylor expansion of (cube (/ -1 d2)) in d2
* [misc]backup-simplify:  Simplify (cube (/ -1 d2)) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube 30) in d2
* [misc]backup-simplify:  Simplify (cube 30) into (cube 30)
* [misc]backup-simplify:  Simplify (- (cube 30)) into (- (cube 30))
* [misc]backup-simplify:  Simplify (+ (cube (/ -1 d2)) (- (cube 30))) into (- (cube (/ -1 d2)) (cube 30))
* [misc]backup-simplify:  Simplify (* -1 (- (cube (/ -1 d2)) (cube 30))) into (* -1 (- (cube (/ -1 d2)) (cube 30)))
* [misc]backup-simplify:  Simplify (* -1 (- (cube (/ -1 d2)) (cube 30))) into (* -1 (- (cube (/ -1 d2)) (cube 30)))
* [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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- (cube (/ -1 d2)) (cube 30)))) 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]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- (cube (/ -1 d2)) (cube 30)))) 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 (- 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 (- (cube (/ -1 d2)) (cube 30))))) 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]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (cube (/ -1 d2)) (cube 30))))) 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 (- 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 (- (cube (/ -1 d2)) (cube 30)))))) 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 (- (cube (/ -1 d2)) (cube 30))) (* 1 (/ 1 (/ 1 (- d1))))) into (* d1 (- (cube (/ -1 d2)) (cube 30)))
* [misc]approximate:  Taking taylor expansion of (+ (sqr d2) (- (sqr 30) (* d2 30))) in (d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (sqr d2) (- (sqr 30) (* d2 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 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]taylor:  Taking taylor expansion of (- (sqr 30) (* d2 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d2 30) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (+ (sqr d2) (- (sqr 30) (* d2 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 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]taylor:  Taking taylor expansion of (- (sqr 30) (* d2 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d2 30) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (* 0 30) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (+ 0 900) into 900
* [misc]backup-simplify:  Simplify 900 into 900
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 30 0) (* 0 30)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 30)) into 30
* [misc]backup-simplify:  Simplify (- 30) into -30
* [misc]backup-simplify:  Simplify (+ 0 -30) into -30
* [misc]backup-simplify:  Simplify (+ 0 -30) into -30
* [misc]backup-simplify:  Simplify -30 into -30
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* 30 0) (+ (* 0 0) (* 0 30))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 30))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (sqr d2)) (+ (* -30 d2) 900)) into (- (+ 900 (sqr d2)) (* 30 d2))
* [misc]approximate:  Taking taylor expansion of (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30))) in (d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 d2)) 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 (- (sqr 30) (* (/ 1 d2) 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d2) 30) 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 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 d2)) (- (sqr 30) (* (/ 1 d2) 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 d2)) 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 (- (sqr 30) (* (/ 1 d2) 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d2) 30) 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 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (* 1 30) into 30
* [misc]backup-simplify:  Simplify (- 30) into -30
* [misc]backup-simplify:  Simplify (+ 0 -30) into -30
* [misc]backup-simplify:  Simplify (+ 0 -30) into -30
* [misc]backup-simplify:  Simplify -30 into -30
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 30)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (+ 0 900) into 900
* [misc]backup-simplify:  Simplify 900 into 900
* [misc]backup-simplify:  Simplify (+ 900 (+ (* -30 (/ 1 (/ 1 d2))) (* 1 (sqr (/ 1 (/ 1 d2)))))) into (- (+ 900 (sqr d2)) (* 30 d2))
* [misc]approximate:  Taking taylor expansion of (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30))) in (d2) around 0
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 (- d2))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* (/ 1 (- d2)) 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d2)) 30) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (+ (sqr (/ 1 (- d2))) (- (sqr 30) (* (/ 1 (- d2)) 30))) in d2
* [misc]taylor:  Taking taylor expansion of (sqr (/ 1 (- d2))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (- (sqr 30) (* (/ 1 (- d2)) 30)) in d2
* [misc]taylor:  Taking taylor expansion of (sqr 30) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d2)) 30) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [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)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1)) into 0
* [misc]backup-simplify:  Simplify (* -1 30) into -30
* [misc]backup-simplify:  Simplify (- -30) into 30
* [misc]backup-simplify:  Simplify (+ 0 30) into 30
* [misc]backup-simplify:  Simplify (+ 0 30) into 30
* [misc]backup-simplify:  Simplify 30 into 30
* [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))) into 0
* [misc]backup-simplify:  Simplify (* 30 30) into 900
* [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 30)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 900 0) into 900
* [misc]backup-simplify:  Simplify (+ 0 900) into 900
* [misc]backup-simplify:  Simplify 900 into 900
* [misc]backup-simplify:  Simplify (+ 900 (+ (* 30 (/ 1 (/ 1 (- d2)))) (* 1 (sqr (/ 1 (/ 1 (- d2))))))) into (- (+ 900 (sqr d2)) (* 30 d2))
* [misc]approximate:  Taking taylor expansion of (cube d2) in (d2) around 0
* [misc]taylor:  Taking taylor expansion of (cube d2) in d2
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]taylor:  Taking taylor expansion of (cube d2) in d2
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]backup-simplify:  Simplify (cube d2) into (cube 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube d2) into (cube d2)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 d2)) in (d2) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 d2)) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 d2)) into (cube (/ 1 d2))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (- d2))) in (d2) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- d2))) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 (- d2))) into (cube (/ -1 d2))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- d2))) in d2
* [misc]backup-simplify:  Simplify (cube (/ 1 (- d2))) into (cube (/ -1 d2))
* [misc]backup-simplify:  Simplify (cube (/ -1 d2)) into (cube (/ -1 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ -1 d2)) into (cube (/ -1 d2))
* * * [misc]progress:  tayloring alt 2 of 4
* [misc]approximate:  Taking taylor expansion of (* d1 (+ d2 30)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d2 30)) 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 30) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d2 30)) 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 30) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* d1 (+ d2 30)) 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 30) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (+ d2 30) into (+ 30 d2)
* [misc]backup-simplify:  Simplify (* 0 (+ 30 d2)) 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 (+ 30 d2))) into (+ 30 d2)
* [misc]taylor:  Taking taylor expansion of (+ 30 d2) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (+ 30 0) into 30
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ 30 d2)))) 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 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 (+ 30 d2))))) 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]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 (+ 30 d2)))))) 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 (* d2 d1)) (* 30 (* 1 d1))) into (+ (* 30 d1) (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 30)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 30)) 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) 30) 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 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 30)) 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) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 30)) 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) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) 30) into (+ 30 (/ 1 d2))
* [misc]backup-simplify:  Simplify (* 1 (+ 30 (/ 1 d2))) into (+ 30 (/ 1 d2))
* [misc]taylor:  Taking taylor expansion of (+ 30 (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 d2) (/ 0 d2)))) 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 (+ 30 (/ 1 d2)))) 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 (+ 30 0) into 30
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) 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 (+ 30 (/ 1 d2))))) 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 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 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) 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 (+ 30 (/ 1 d2)))))) 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]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 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) 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 (+ 30 (/ 1 d2))))))) 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 (+ (* 30 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* 30 d1) (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) 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)) 30) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) 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)) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) 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)) 30) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of 30 in d1
* [misc]backup-simplify:  Simplify 30 into 30
* [misc]backup-simplify:  Simplify (+ (/ -1 d2) 30) into (- 30 (/ 1 d2))
* [misc]backup-simplify:  Simplify (* -1 (- 30 (/ 1 d2))) into (* -1 (- 30 (/ 1 d2)))
* [misc]taylor:  Taking taylor expansion of (* -1 (- 30 (/ 1 d2))) in d2
* [misc]taylor:  Taking taylor expansion of -1 in d2
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (- 30 (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of 30 in d2
* [misc]backup-simplify:  Simplify 30 into 30
* [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 (- 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 (- d2) into (- d2)
* [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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- 30 (/ 1 d2)))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 30 0) into 30
* [misc]backup-simplify:  Simplify (+ (* -1 30) (* 0 -1)) into -30
* [misc]backup-simplify:  Simplify -30 into -30
* [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 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 (- 30 (/ 1 d2))))) 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 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 30) (* 0 -1))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 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))) (* 0 (/ 0 (- d2))))) 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 (- 30 (/ 1 d2)))))) 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]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 30) (* 0 -1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [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))) (* 0 (/ 0 (- d2))) (* 0 (/ 0 (- d2))))) 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 (- 30 (/ 1 d2))))))) 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 (+ (* -30 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* 30 d1) (* d1 d2))
* * * [misc]progress:  tayloring alt 3 of 4
* [misc]approximate:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d2
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d1
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d1
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 30 (* d1 d2)) in d2
* [misc]backup-simplify:  Simplify (fma d1 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]backup-simplify:  Simplify (fma d1 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [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 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 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 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [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 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 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) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [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 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 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) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* * * [misc]progress:  tayloring alt 4 of 4
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))) in d2
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))) into (expm1 (log1p (fma d1 30 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))) in d1
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))) into (expm1 (log1p (fma d1 30 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))) in d1
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))) into (expm1 (log1p (fma d1 30 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma d1 30 (* d1 d2)))) in d2
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma d1 30 (* d1 d2)))) into (expm1 (log1p (fma d1 30 (* d1 d2))))
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma d1 30 (* d1 d2)))) into (expm1 (log1p (fma d1 30 (* d1 d2))))
* [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 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 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 (expm1 (log1p (fma d1 30 (* d1 d2)))) into (expm1 (log1p (fma d1 30 (* d1 d2))))
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))))) in d2
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))))) into (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))))) in d1
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))))) into (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))))) in d1
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))))) into (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))) in d2
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))) into (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))) into (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* [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 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 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 (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))) into (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))))) in d2
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))))) into (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))))) in d1
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))))) into (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))))) in d1
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))))) into (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))) in d2
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))) into (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]backup-simplify:  Simplify (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))) into (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* [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 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 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 (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))) into (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* [misc]approximate:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d2
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d1
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 (+ 20 10) (* d1 d2)) in d1
* [misc]backup-simplify:  Simplify (fma d1 (+ 20 10) (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]taylor:  Taking taylor expansion of (fma d1 30 (* d1 d2)) in d2
* [misc]backup-simplify:  Simplify (fma d1 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]backup-simplify:  Simplify (fma d1 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [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 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 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 30 (* d1 d2)) into (fma d1 30 (* d1 d2))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]backup-simplify:  Simplify (fma (/ 1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [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 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 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) 30 (/ 1 (* d1 d2))) into (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d2
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) in d1
* [misc]backup-simplify:  Simplify (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]backup-simplify:  Simplify (fma (/ -1 d1) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [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 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 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) 30 (/ 1 (* d1 d2))) into (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* [misc]approximate:  Taking taylor expansion of (log1p (fma d1 (+ 20 10) (* d1 d2))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (fma d1 (+ 20 10) (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (log1p (fma d1 (+ 20 10) (* d1 d2))) into (log1p (fma d1 30 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (log1p (fma d1 (+ 20 10) (* d1 d2))) in d1
* [misc]backup-simplify:  Simplify (log1p (fma d1 (+ 20 10) (* d1 d2))) into (log1p (fma d1 30 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (log1p (fma d1 (+ 20 10) (* d1 d2))) in d1
* [misc]backup-simplify:  Simplify (log1p (fma d1 (+ 20 10) (* d1 d2))) into (log1p (fma d1 30 (* d1 d2)))
* [misc]taylor:  Taking taylor expansion of (log1p (fma d1 30 (* d1 d2))) in d2
* [misc]backup-simplify:  Simplify (log1p (fma d1 30 (* d1 d2))) into (log1p (fma d1 30 (* d1 d2)))
* [misc]backup-simplify:  Simplify (log1p (fma d1 30 (* d1 d2))) into (log1p (fma d1 30 (* d1 d2)))
* [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 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 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 (log1p (fma d1 30 (* d1 d2))) into (log1p (fma d1 30 (* d1 d2)))
* [misc]approximate:  Taking taylor expansion of (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2)))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2)))) in d2
* [misc]backup-simplify:  Simplify (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2)))) into (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2)))) in d1
* [misc]backup-simplify:  Simplify (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2)))) into (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2)))) in d1
* [misc]backup-simplify:  Simplify (log1p (fma (/ 1 d1) (+ 20 10) (* (/ 1 d1) (/ 1 d2)))) into (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))) in d2
* [misc]backup-simplify:  Simplify (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))) into (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* [misc]backup-simplify:  Simplify (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))) into (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* [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 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 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 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))) into (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* [misc]approximate:  Taking taylor expansion of (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2))))) in (d1 d2) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2))))) in d2
* [misc]backup-simplify:  Simplify (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2))))) into (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2))))) in d1
* [misc]backup-simplify:  Simplify (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2))))) into (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2))))) in d1
* [misc]backup-simplify:  Simplify (log1p (fma (/ 1 (- d1)) (+ 20 10) (* (/ 1 (- d1)) (/ 1 (- d2))))) into (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))
* [misc]taylor:  Taking taylor expansion of (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))) in d2
* [misc]backup-simplify:  Simplify (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))) into (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))
* [misc]backup-simplify:  Simplify (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))) into (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))
* [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 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 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 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))) into (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2))))
* * * [misc]progress:  simplifying alt 1 of 27
* [enter]simplify:  Simplifying (- (+ (* 1/900 (* (cube d2) d1)) (* 1/27000 (* (cube d2) (* d1 d2)))) (+ (* 1/900 (* d1 (cube 30))) (* 1/27000 (* d1 (* d2 (cube 30))))))
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (44 enodes)
* * [misc]simplify:  iters left: 1 (87 enodes)
* [exit]simplify:  Simplified to (- (fma 1/27000 (* (* d1 d2) (cube d2)) (* (* 1/900 d1) (cube d2))) (fma (* (* d1 d2) (cube 30)) 1/27000 (* (cube 30) (* 1/900 d1))))
* [misc]none:  prog is (λ (d1 d2) (- (fma 1/27000 (* (* d1 d2) (cube d2)) (* (* 1/900 d1) (cube d2))) (fma (* (* d1 d2) (cube 30)) 1/27000 (* (cube 30) (* 1/900 d1)))))
* * * [misc]progress:  simplifying alt 2 of 27
* [enter]simplify:  Simplifying (- (+ (* 30 (/ (* (cube (/ 1 d2)) d1) (pow d2 3))) (/ (* (cube (/ 1 d2)) d1) (sqr d2))) (+ (/ (* d1 (cube 30)) (sqr d2)) (* 30 (/ (* d1 (cube 30)) (pow d2 3)))))
* * [misc]simplify:  iters left: 3 (21 enodes)
* * [misc]simplify:  iters left: 2 (54 enodes)
* * [misc]simplify:  iters left: 1 (119 enodes)
* [exit]simplify:  Simplified to (- (fma (/ (/ (* d1 1) (cube d2)) (cube d2)) 30 (/ (/ (* d1 1) (cube d2)) (* d2 d2))) (+ (/ (* (cube 30) (/ d1 d2)) d2) (/ (* (sqr 30) (sqr 30)) (/ (cube d2) d1))))
* [misc]none:  prog is (λ (d1 d2) (- (fma (/ (/ (* d1 1) (cube d2)) (cube d2)) 30 (/ (/ (* d1 1) (cube d2)) (* d2 d2))) (+ (/ (* (cube 30) (/ d1 d2)) d2) (/ (* (sqr 30) (sqr 30)) (/ (cube d2) d1)))))
* * * [misc]progress:  simplifying alt 3 of 27
* [enter]simplify:  Simplifying (- (+ (* 30 (/ (* d1 (cube (/ -1 d2))) (pow d2 3))) (/ (* d1 (cube (/ -1 d2))) (sqr d2))) (+ (/ (* d1 (cube 30)) (sqr d2)) (* 30 (/ (* d1 (cube 30)) (pow d2 3)))))
* * [misc]simplify:  iters left: 3 (21 enodes)
* * [misc]simplify:  iters left: 2 (52 enodes)
* * [misc]simplify:  iters left: 1 (118 enodes)
* [exit]simplify:  Simplified to (- (fma (/ (* (cube -1) d1) (* (cube d2) (cube d2))) 30 (/ (* (cube -1) d1) (* (* d2 d2) (cube d2)))) (fma 30 (* (/ (cube 30) d2) (/ d1 (* d2 d2))) (/ (* (cube 30) (/ d1 d2)) d2)))
* [misc]none:  prog is (λ (d1 d2) (- (fma (/ (* (cube -1) d1) (* (cube d2) (cube d2))) 30 (/ (* (cube -1) d1) (* (* d2 d2) (cube d2)))) (fma 30 (* (/ (cube 30) d2) (/ d1 (* d2 d2))) (/ (* (cube 30) (/ d1 d2)) d2))))
* * * [misc]progress:  simplifying alt 4 of 27
* [enter]simplify:  Simplifying (/ (* (- (cube d2) (cube 30)) d1) (+ (sqr d2) (- (sqr 30) (* d2 30))))
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (41 enodes)
* [exit]simplify:  Simplified to (* (/ (- (cube d2) (cube 30)) (fma 30 (- 30 d2) (sqr d2))) d1)
* [misc]none:  prog is (λ (d1 d2) (* (/ (- (cube d2) (cube 30)) (fma 30 (- 30 d2) (sqr d2))) d1))
* * * [misc]progress:  simplifying alt 5 of 27
* [enter]simplify:  Simplifying (/ (* (- (cube (/ 1 d2)) (cube 30)) d1) (+ (sqr d2) (- (sqr 30) (* d2 30))))
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (57 enodes)
* [exit]simplify:  Simplified to (/ (- (/ 1 (cube d2)) (cube 30)) (/ (fma 30 (- 30 d2) (* d2 d2)) d1))
* [misc]none:  prog is (λ (d1 d2) (/ (- (/ 1 (cube d2)) (cube 30)) (/ (fma 30 (- 30 d2) (* d2 d2)) d1)))
* * * [misc]progress:  simplifying alt 6 of 27
* [enter]simplify:  Simplifying (/ (* d1 (- (cube (/ -1 d2)) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30))))
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (30 enodes)
* * [misc]simplify:  iters left: 1 (52 enodes)
* [exit]simplify:  Simplified to (* (- (cube (/ -1 d2)) (cube 30)) (/ d1 (fma 30 (- 30 d2) (* d2 d2))))
* [misc]none:  prog is (λ (d1 d2) (* (- (cube (/ -1 d2)) (cube 30)) (/ d1 (fma 30 (- 30 d2) (* d2 d2)))))
* * * [misc]progress:  simplifying alt 7 of 27
* [enter]simplify:  Simplifying (/ (* d1 (- (cube d2) (cube 30))) (- (+ 900 (sqr d2)) (* 30 d2)))
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (* (/ d1 (fma d2 (- d2 30) 900)) (- (cube d2) (cube 30)))
* [misc]none:  prog is (λ (d1 d2) (* (/ d1 (fma d2 (- d2 30) 900)) (- (cube d2) (cube 30))))
* * * [misc]progress:  simplifying alt 8 of 27
* [enter]simplify:  Simplifying (/ (* d1 (- (cube d2) (cube 30))) (- (+ 900 (sqr d2)) (* 30 d2)))
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (* (/ d1 (fma d2 (- d2 30) 900)) (- (cube d2) (cube 30)))
* [misc]none:  prog is (λ (d1 d2) (* (/ d1 (fma d2 (- d2 30) 900)) (- (cube d2) (cube 30))))
* * * [misc]progress:  simplifying alt 9 of 27
* [enter]simplify:  Simplifying (/ (* d1 (- (cube d2) (cube 30))) (- (+ 900 (sqr d2)) (* 30 d2)))
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (* (/ d1 (fma d2 (- d2 30) 900)) (- (cube d2) (cube 30)))
* [misc]none:  prog is (λ (d1 d2) (* (/ d1 (fma d2 (- d2 30) 900)) (- (cube d2) (cube 30))))
* * * [misc]progress:  simplifying alt 10 of 27
* [enter]simplify:  Simplifying (/ (* d1 (- (cube d2) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30))))
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (38 enodes)
* [exit]simplify:  Simplified to (/ (- (cube d2) (cube 30)) (/ (fma 30 (- 30 d2) (* d2 d2)) d1))
* [misc]none:  prog is (λ (d1 d2) (/ (- (cube d2) (cube 30)) (/ (fma 30 (- 30 d2) (* d2 d2)) d1)))
* * * [misc]progress:  simplifying alt 11 of 27
* [enter]simplify:  Simplifying (/ (* d1 (- (cube (/ 1 d2)) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30))))
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (54 enodes)
* [exit]simplify:  Simplified to (* (/ d1 (fma 30 (- 30 d2) (* d2 d2))) (- (/ 1 (cube d2)) (cube 30)))
* [misc]none:  prog is (λ (d1 d2) (* (/ d1 (fma 30 (- 30 d2) (* d2 d2))) (- (/ 1 (cube d2)) (cube 30))))
* * * [misc]progress:  simplifying alt 12 of 27
* [enter]simplify:  Simplifying (/ (* d1 (- (cube (/ -1 d2)) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30))))
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (30 enodes)
* * [misc]simplify:  iters left: 1 (52 enodes)
* [exit]simplify:  Simplified to (* (- (cube (/ -1 d2)) (cube 30)) (/ d1 (fma 30 (- 30 d2) (* d2 d2))))
* [misc]none:  prog is (λ (d1 d2) (* (- (cube (/ -1 d2)) (cube 30)) (/ d1 (fma 30 (- 30 d2) (* d2 d2)))))
* * * [misc]progress:  simplifying alt 13 of 27
* [enter]simplify:  Simplifying (+ (* 30 d1) (* d1 d2))
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (* d1 (+ d2 30))
* [misc]none:  prog is (λ (d1 d2) (* d1 (+ d2 30)))
* * * [misc]progress:  simplifying alt 14 of 27
* [enter]simplify:  Simplifying (+ (* 30 d1) (* d1 d2))
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (* d1 (+ d2 30))
* [misc]none:  prog is (λ (d1 d2) (* d1 (+ d2 30)))
* * * [misc]progress:  simplifying alt 15 of 27
* [enter]simplify:  Simplifying (+ (* 30 d1) (* d1 d2))
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (* d1 (+ d2 30))
* [misc]none:  prog is (λ (d1 d2) (* d1 (+ d2 30)))
* * * [misc]progress:  simplifying alt 16 of 27
* [enter]simplify:  Simplifying (fma d1 30 (* d1 d2))
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to (fma d1 30 (* d2 d1))
* [misc]none:  prog is (λ (d1 d2) (fma d1 30 (* d2 d1)))
* * * [misc]progress:  simplifying alt 17 of 27
* [enter]simplify:  Simplifying (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* [exit]simplify:  Simplified to (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]none:  prog is (λ (d1 d2) (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* * * [misc]progress:  simplifying alt 18 of 27
* [enter]simplify:  Simplifying (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (fma (/ -1 d1) 30 (/ (/ 1 d1) d2))
* [misc]none:  prog is (λ (d1 d2) (fma (/ -1 d1) 30 (/ (/ 1 d1) d2)))
* * * [misc]progress:  simplifying alt 19 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma d1 30 (* d1 d2))))
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (fma d1 30 (* d2 d1))
* [misc]none:  prog is (λ (d1 d2) (fma d1 30 (* d2 d1)))
* * * [misc]progress:  simplifying alt 20 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]none:  prog is (λ (d1 d2) (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* * * [misc]progress:  simplifying alt 21 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* [exit]simplify:  Simplified to (fma (/ -1 d1) 30 (/ (/ 1 d1) d2))
* [misc]none:  prog is (λ (d1 d2) (fma (/ -1 d1) 30 (/ (/ 1 d1) d2)))
* * * [misc]progress:  simplifying alt 22 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma d1 30 (* d1 d2))))
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (fma d1 30 (* d2 d1))
* [misc]none:  prog is (λ (d1 d2) (fma d1 30 (* d2 d1)))
* * * [misc]progress:  simplifying alt 23 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]none:  prog is (λ (d1 d2) (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* * * [misc]progress:  simplifying alt 24 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* [exit]simplify:  Simplified to (fma (/ -1 d1) 30 (/ (/ 1 d1) d2))
* [misc]none:  prog is (λ (d1 d2) (fma (/ -1 d1) 30 (/ (/ 1 d1) d2)))
* * * [misc]progress:  simplifying alt 25 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma d1 30 (* d1 d2))))
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (fma d1 30 (* d2 d1))
* [misc]none:  prog is (λ (d1 d2) (fma d1 30 (* d2 d1)))
* * * [misc]progress:  simplifying alt 26 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))))
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (fma (/ 1 d1) 30 (/ 1 (* d1 d2)))
* [misc]none:  prog is (λ (d1 d2) (fma (/ 1 d1) 30 (/ 1 (* d1 d2))))
* * * [misc]progress:  simplifying alt 27 of 27
* [enter]simplify:  Simplifying (expm1 (log1p (fma (/ -1 d1) 30 (/ 1 (* d1 d2)))))
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* [exit]simplify:  Simplified to (fma (/ -1 d1) 30 (/ (/ 1 d1) d2))
* [misc]none:  prog is (λ (d1 d2) (fma (/ -1 d1) 30 (/ (/ 1 d1) d2)))
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (d1 d2) (/ (* d1 (- (cube d2) (cube 30))) (+ (sqr d2) (- (sqr 30) (* d2 30)))))> #<alt-delta (λ (d1 d2) (* d1 (+ d2 30)))> #<alt-delta (λ (d1 d2) (fma d1 (+ 20 10) (* d1 d2)))> #<alt-delta (λ (d1 d2) (expm1 (log1p (fma d1 (+ 20 10) (* d1 d2)))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (+ (+ (* d1 10) (* d1 d2)) (* d1 20)) +inf.0)) , with alts (#<alt-delta (λ (d1 d2) (* d1 (+ d2 30)))>)
* [enter]simplify:  Simplifying (- (cube d2) (cube 30))
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (- (cube d2) (cube 30))
* [exit]simplify:  Simplified to (- (cube d2) (cube 30))
* [enter]simplify:  Simplifying (+ d2 30)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ d2 30)
* [exit]simplify:  Simplified to (+ d2 30)
* [enter]simplify:  Simplifying (+ 20 10)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ 20 10)
* [exit]simplify:  Simplified to (+ 20 10)
* [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 (log1p (fma d1 (+ 20 10) (* d1 d2)))
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 10 20) (* d1 d2)))
* [exit]simplify:  Simplified to (log1p (fma d1 (+ 10 20) (* d1 d2)))