* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 80 additional inputs, on iter 1 have 176 / 256
* * * * [misc]points:  Computing exacts on every 5 of 80 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 80 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 80 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 30 additional inputs, on iter 2 have 226 / 256
* * * * [misc]points:  Computing exacts for 30 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 14 additional inputs, on iter 3 have 242 / 256
* * * * [misc]points:  Computing exacts for 14 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 7 additional inputs, on iter 4 have 249 / 256
* * * * [misc]points:  Computing exacts for 7 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6 additional inputs, on iter 5 have 250 / 256
* * * * [misc]points:  Computing exacts for 6 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (185 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (* (+ (- d4 d3) (- d2 d1)) d1)
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in (d1 d2 d3 d4) around 0
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d4
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d4
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d4
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d4
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [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 d2) into 0
* [misc]backup-simplify:  Simplify (* 0 d3) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* d4 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d2)) into d2
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d3)) into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (+ d2 (- d3)) into (- d2 d3)
* [misc]backup-simplify:  Simplify (+ (* d4 1) (* 0 0)) into d4
* [misc]backup-simplify:  Simplify (+ (- d2 d3) d4) into (- (+ d4 d2) d3)
* [misc]taylor:  Taking taylor expansion of (- (+ d4 d2) d3) in d2
* [misc]taylor:  Taking taylor expansion of (+ d4 d2) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (+ d4 0) into d4
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (+ d4 (- d3)) into (- d4 d3)
* [misc]taylor:  Taking taylor expansion of (- d4 d3) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ d4 0) into d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [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) (+ (* 1 0) (* 0 d2))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]approximate:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in (d1 d2 d3 d4) around 0
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d4
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d4
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [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 d4
* [misc]taylor:  Taking taylor expansion of d2 in d4
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d4
* [misc]taylor:  Taking taylor expansion of d3 in d4
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d3
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d2
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [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 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
* [misc]backup-simplify:  Simplify (* (/ 1 d4) 1) into (/ 1 d4)
* [misc]backup-simplify:  Simplify (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d2))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d3))) into 0
* [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 d4) (/ 0 d4)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d4) 0) (* 0 1)) 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 (+ 0 (/ 1 d4)) into (/ 1 d4)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]taylor:  Taking taylor expansion of -1 in d4
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of 1 in d4
* [misc]backup-simplify:  Simplify 1 into 1
* [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 (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 d3)))) 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 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d4) 0) (+ (* 0 0) (* 0 1))) 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]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [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 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) (* 1 (* (/ 1 (/ 1 d4)) (* 1 (* 1 (/ 1 (/ 1 d1)))))))) into (- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
* [misc]approximate:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in (d1 d2 d3 d4) around 0
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d4
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d4
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d4
* [misc]taylor:  Taking taylor expansion of (- d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [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 d4
* [misc]taylor:  Taking taylor expansion of (- d2) in d4
* [misc]taylor:  Taking taylor expansion of d2 in d4
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d4
* [misc]taylor:  Taking taylor expansion of (- d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d4
* [misc]taylor:  Taking taylor expansion of (- d3) in d4
* [misc]taylor:  Taking taylor expansion of d3 in d4
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d4
* [misc]taylor:  Taking taylor expansion of (- d4) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d4
* [misc]taylor:  Taking taylor expansion of (- d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d3
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d3
* [misc]taylor:  Taking taylor expansion of (- d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d3
* [misc]taylor:  Taking taylor expansion of (- d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d3
* [misc]taylor:  Taking taylor expansion of (- d4) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (/ 1 (- d4)) into (/ -1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d2
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d2
* [misc]taylor:  Taking taylor expansion of (- d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d2
* [misc]taylor:  Taking taylor expansion of (- d4) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (/ 1 (- d4)) into (/ -1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d1
* [misc]taylor:  Taking taylor expansion of (- d4) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (/ 1 (- d4)) into (/ -1 d4)
* [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 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d1
* [misc]taylor:  Taking taylor expansion of (- d4) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (/ 1 (- d4)) into (/ -1 d4)
* [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]backup-simplify:  Simplify (* -1 (/ -1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
* [misc]backup-simplify:  Simplify (* (/ -1 d4) -1) into (/ 1 d4)
* [misc]backup-simplify:  Simplify (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d2))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d3))) 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 (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d4) (/ 0 (- d4))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 d4) 0) (* 0 -1)) 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 (+ 0 (/ 1 d4)) into (/ 1 d4)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]taylor:  Taking taylor expansion of -1 in d4
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of 1 in d4
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 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) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) 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 d3)))) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d4) (/ 0 (- d4))) (* 0 (/ 0 (- d4))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 d4) 0) (+ (* 0 0) (* 0 -1))) 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]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [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 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) (* 1 (* (/ 1 (/ 1 (- d4))) (* 1 (* 1 (/ 1 (/ 1 (- d1))))))))) into (- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (* 0 d2) into 0
* [misc]backup-simplify:  Simplify (* 0 d3) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d2)) into d2
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d3)) into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (+ d2 (- d3)) into (- d2 d3)
* [misc]taylor:  Taking taylor expansion of (- d2 d3) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (+ 0 (- d3)) into (- d3)
* [misc]taylor:  Taking taylor expansion of (- d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (- (* d1 d2) (* d1 d3))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d2))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 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 (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 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 (- (+ (* 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 (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (- (* d1 d2) (* d1 d3))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d3
* [misc]taylor:  Taking taylor expansion of (- d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d3
* [misc]taylor:  Taking taylor expansion of (- d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d2
* [misc]taylor:  Taking taylor expansion of (- d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d2))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 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) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) 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 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) 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 (- 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) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) 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 d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* -1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (* d1 d2) (* d1 d3))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (log (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (116 enodes)
* * [misc]simplify:  iters left: 1 (180 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ d4 (- d2 d3)))
* [exit]simplify:  Simplified to (pow (exp d1) (+ d4 (- d2 d3)))
* * * * [misc]progress:  [ 2 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (log (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (104 enodes)
* * [misc]simplify:  iters left: 2 (170 enodes)
* * [misc]simplify:  iters left: 1 (261 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (- d4 (- d3 d2)))
* [exit]simplify:  Simplified to (pow (exp d1) (- d4 (- d3 d2)))
* * * * [misc]progress:  [ 3 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (pow (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) 1) (* d1 d1)))>
* * * * [misc]progress:  [ 4 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (exp (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (80 enodes)
* * [misc]simplify:  iters left: 2 (121 enodes)
* * [misc]simplify:  iters left: 1 (148 enodes)
* [exit]simplify:  Simplified to (log (* (- d2 (- d3 d4)) d1))
* [exit]simplify:  Simplified to (log (* (- d2 (- d3 d4)) d1))
* * * * [misc]progress:  [ 5 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (log (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (60 enodes)
* * [misc]simplify:  iters left: 3 (128 enodes)
* * [misc]simplify:  iters left: 2 (206 enodes)
* * [misc]simplify:  iters left: 1 (306 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (- (+ d4 d2) d3))
* [exit]simplify:  Simplified to (pow (exp d1) (- (+ d4 d2) d3))
* * * * [misc]progress:  [ 6 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (* (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (77 enodes)
* * [misc]simplify:  iters left: 2 (117 enodes)
* * [misc]simplify:  iters left: 1 (142 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (- d4 (- d3 d2)) d1)) (cbrt (* (- d4 (- d3 d2)) d1)))
* [exit]simplify:  Simplified to (* (cbrt (* (- d4 (- d3 d2)) d1)) (cbrt (* (- d4 (- d3 d2)) d1)))
* [enter]simplify:  Simplifying (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (75 enodes)
* * [misc]simplify:  iters left: 2 (115 enodes)
* * [misc]simplify:  iters left: 1 (138 enodes)
* [exit]simplify:  Simplified to (cbrt (* (- d4 (- d3 d2)) d1))
* [exit]simplify:  Simplified to (cbrt (* (- d4 (- d3 d2)) d1))
* * * * [misc]progress:  [ 7 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (cbrt (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (34 enodes)
* * [misc]simplify:  iters left: 4 (146 enodes)
* [exit]simplify:  Simplified to (pow (* (+ (- d2 d3) d4) d1) 3)
* [exit]simplify:  Simplified to (pow (* (+ (- d2 d3) d4) d1) 3)
* * * * [misc]progress:  [ 8 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (* (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (75 enodes)
* * [misc]simplify:  iters left: 2 (115 enodes)
* * [misc]simplify:  iters left: 1 (138 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- d4 (- d3 d2)) d1))
* [exit]simplify:  Simplified to (sqrt (* (- d4 (- d3 d2)) d1))
* [enter]simplify:  Simplifying (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (75 enodes)
* * [misc]simplify:  iters left: 2 (115 enodes)
* * [misc]simplify:  iters left: 1 (138 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- d4 (- d3 d2)) d1))
* [exit]simplify:  Simplified to (sqrt (* (- d4 (- d3 d2)) d1))
* * * * [misc]progress:  [ 9 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (/ (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))) (* d1 d1)))>
* [enter]simplify:  Simplifying (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (83 enodes)
* * [misc]simplify:  iters left: 3 (301 enodes)
* [exit]simplify:  Simplified to (+ (pow (* d1 d4) 3) (pow (* d1 (- d2 d3)) 3))
* [exit]simplify:  Simplified to (+ (pow (* d1 d4) 3) (pow (* d1 (- d2 d3)) 3))
* [enter]simplify:  Simplifying (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (34 enodes)
* * [misc]simplify:  iters left: 4 (105 enodes)
* * [misc]simplify:  iters left: 3 (398 enodes)
* [exit]simplify:  Simplified to (- (* (* d4 d1) (* d4 d1)) (* (* (- d2 d3) (* d1 d1)) (+ (- d4 d2) d3)))
* [exit]simplify:  Simplified to (- (* (* d4 d1) (* d4 d1)) (* (* (- d2 d3) (* d1 d1)) (+ (- d4 d2) d3)))
* * * * [misc]progress:  [ 10 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (* 1 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* d1 d1)))>
* * * * [misc]progress:  [ 11 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (/ (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1))) (- (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (79 enodes)
* * [misc]simplify:  iters left: 3 (264 enodes)
* [exit]simplify:  Simplified to (- (* (* (- d2 d3) d1) (* (- d2 d3) d1)) (* (* d4 d1) (* d4 d1)))
* [exit]simplify:  Simplified to (- (* (* (- d2 d3) d1) (* (- d2 d3) d1)) (* (* d4 d1) (* d4 d1)))
* [enter]simplify:  Simplifying (- (- (* d1 d2) (* d1 d3)) (* d4 d1))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (81 enodes)
* * [misc]simplify:  iters left: 2 (133 enodes)
* * [misc]simplify:  iters left: 1 (185 enodes)
* [exit]simplify:  Simplified to (* (- (- d2 d3) d4) d1)
* [exit]simplify:  Simplified to (* (- (- d2 d3) d4) d1)
* * * * [misc]progress:  [ 12 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* d1 d2) (+ (- (* d1 d3)) (* d4 d1))) (* d1 d1)))>
* [enter]simplify:  Simplifying (+ (- (* d1 d3)) (* d4 d1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (- d4 d3) d1)
* [exit]simplify:  Simplified to (* (- d4 d3) d1)
* * * * [misc]progress:  [ 13 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* d1 d2) (+ (- (* d1 d3)) (* d4 d1))) (* d1 d1)))>
* [enter]simplify:  Simplifying (+ (- (* d1 d3)) (* d4 d1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (- d4 d3) d1)
* [exit]simplify:  Simplified to (* (- d4 d3) d1)
* * * * [misc]progress:  [ 14 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (- (* d1 d2) (- (* d1 d3) (* d4 d1))) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* d1 d3) (* d4 d1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (24 enodes)
* [exit]simplify:  Simplified to (* (- d3 d4) d1)
* [exit]simplify:  Simplified to (* (- d3 d4) d1)
* * * * [misc]progress:  [ 15 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* d4 d1) (- (* d1 d2) (* d1 d3))) (* d1 d1)))>
* * * * [misc]progress:  [ 16 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (log (/ (exp (* d1 d2)) (exp (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (/ (exp (* d1 d2)) (exp (* d1 d3)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (- d2 d3))
* [exit]simplify:  Simplified to (pow (exp d1) (- d2 d3))
* * * * [misc]progress:  [ 17 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (pow (- (* d1 d2) (* d1 d3)) 1) (* d4 d1)) (* d1 d1)))>
* * * * [misc]progress:  [ 18 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (exp (log (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (log (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* [exit]simplify:  Simplified to (log (* (- d2 d3) d1))
* [exit]simplify:  Simplified to (log (* (- d2 d3) d1))
* * * * [misc]progress:  [ 19 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (log (exp (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (exp (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* * [misc]simplify:  iters left: 2 (48 enodes)
* * [misc]simplify:  iters left: 1 (59 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (- d2 d3))
* [exit]simplify:  Simplified to (pow (exp d1) (- d2 d3))
* * * * [misc]progress:  [ 20 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* (* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3)))) (cbrt (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (23 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3))))
* [exit]simplify:  Simplified to (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3))))
* [enter]simplify:  Simplifying (cbrt (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (cbrt (* (- d2 d3) d1))
* [exit]simplify:  Simplified to (cbrt (* (- d2 d3) d1))
* * * * [misc]progress:  [ 21 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (cbrt (* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (207 enodes)
* [exit]simplify:  Simplified to (pow (* d1 (- d2 d3)) 3)
* [exit]simplify:  Simplified to (pow (* d1 (- d2 d3)) 3)
* * * * [misc]progress:  [ 22 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* (sqrt (- (* d1 d2) (* d1 d3))) (sqrt (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (sqrt (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- d2 d3) d1))
* [exit]simplify:  Simplified to (sqrt (* (- d2 d3) d1))
* [enter]simplify:  Simplifying (sqrt (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- d2 d3) d1))
* [exit]simplify:  Simplified to (sqrt (* (- d2 d3) d1))
* * * * [misc]progress:  [ 23 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (/ (- (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (pow (* d1 d2) 3) (pow (* d1 d3) 3))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (80 enodes)
* * [misc]simplify:  iters left: 2 (238 enodes)
* * [misc]simplify:  iters left: 1 (446 enodes)
* [exit]simplify:  Simplified to (- (pow (* d2 d1) 3) (pow (* d3 d1) 3))
* [exit]simplify:  Simplified to (- (pow (* d2 d1) 3) (pow (* d3 d1) 3))
* [enter]simplify:  Simplifying (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (30 enodes)
* * [misc]simplify:  iters left: 4 (79 enodes)
* * [misc]simplify:  iters left: 3 (154 enodes)
* * [misc]simplify:  iters left: 2 (218 enodes)
* * [misc]simplify:  iters left: 1 (285 enodes)
* [exit]simplify:  Simplified to (* (* d1 d1) (+ (* d2 (+ d2 d3)) (* d3 d3)))
* [exit]simplify:  Simplified to (* (* d1 d1) (+ (* d2 (+ d2 d3)) (* d3 d3)))
* * * * [misc]progress:  [ 24 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (+ (* d1 d2) (- (* d1 d3))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* d1 d3))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* [exit]simplify:  Simplified to (* d1 (- d3))
* [exit]simplify:  Simplified to (* d1 (- d3))
* * * * [misc]progress:  [ 25 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* 1 (- (* d1 d2) (* d1 d3))) (* d4 d1)) (* d1 d1)))>
* * * * [misc]progress:  [ 26 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (/ (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3))) (+ (* d1 d2) (* d1 d3))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (125 enodes)
* * [misc]simplify:  iters left: 2 (258 enodes)
* [exit]simplify:  Simplified to (* (* d1 (+ d2 d3)) (* d1 (- d2 d3)))
* [exit]simplify:  Simplified to (* (* d1 (+ d2 d3)) (* d1 (- d2 d3)))
* [enter]simplify:  Simplifying (+ (* d1 d2) (* d1 d3))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (* d1 (+ d3 d2))
* [exit]simplify:  Simplified to (* d1 (+ d3 d2))
* * * * [misc]progress:  [ 27 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* d1 (- d2 d3)) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- d2 d3)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (- d2 d3)
* [exit]simplify:  Simplified to (- d2 d3)
* * * * [misc]progress:  [ 28 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (+ (* d1 d2) (- (* d1 d3))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* d1 d3))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* [exit]simplify:  Simplified to (* d1 (- d3))
* [exit]simplify:  Simplified to (* d1 (- d3))
* * * * [misc]progress:  [ 29 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- 0 (* d1 d1)))>
* [enter]simplify:  Simplifying (- 0 (* d1 d1))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (15 enodes)
* [exit]simplify:  Simplified to (- (* d1 d1))
* * * * [misc]progress:  [ 30 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (66 enodes)
* * [misc]simplify:  iters left: 3 (162 enodes)
* * [misc]simplify:  iters left: 2 (349 enodes)
* [exit]simplify:  Simplified to (* d1 (- (- d4 d3) (- d1 d2)))
* * * * [misc]progress:  [ 31 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (66 enodes)
* * [misc]simplify:  iters left: 3 (162 enodes)
* * [misc]simplify:  iters left: 2 (349 enodes)
* [exit]simplify:  Simplified to (* d1 (- (- d4 d3) (- d1 d2)))
* * * * [misc]progress:  [ 32 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (185 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (* (+ (- d4 d3) (- d2 d1)) d1)
* * * * [misc]progress:  [ 33 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (185 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (* (+ (- d4 d3) (- d2 d1)) d1)
* * * * [misc]progress:  [ 34 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (185 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (* (+ (- d4 d3) (- d2 d1)) d1)
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (- (+ (- (* d2 d1) (* d3 d1)) (* d1 d4)) (* d1 d1))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2684 additional inputs, on iter 1 have 5316 / 8000
* * * * [misc]points:  Computing exacts on every 167 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 83 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 41 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 20 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 10 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 5 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 2684 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 890 additional inputs, on iter 2 have 7110 / 8000
* * * * [misc]points:  Computing exacts on every 55 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 27 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 13 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 6 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 890 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 298 additional inputs, on iter 3 have 7702 / 8000
* * * * [misc]points:  Computing exacts on every 18 of 298 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 9 of 298 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 4 of 298 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 2 of 298 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 298 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 99 additional inputs, on iter 4 have 7901 / 8000
* * * * [misc]points:  Computing exacts on every 6 of 99 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 99 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 99 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 35 additional inputs, on iter 5 have 7965 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 35 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 9 additional inputs, on iter 6 have 7991 / 8000
* * * * [misc]points:  Computing exacts for 9 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 7998 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8001 points with exact outputs