* [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
* * * * [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 (* a (+ (+ b c) d))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (70 enodes)
* * [misc]simplify:  iters left: 2 (88 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (fma a (+ b d) (* a c))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a b c d) (fma a (+ b d) (* a c)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (fma a (+ b d) (* a c)) in (a b d c) around 0
* [misc]taylor:  Taking taylor expansion of (fma a (+ b d) (* a c)) in c
* [misc]taylor:  Rewrote expression to (+ (* a (+ b d)) (* a c))
* [misc]taylor:  Taking taylor expansion of (* a (+ b d)) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b d) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (* a c) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (fma a (+ b d) (* a c)) in d
* [misc]taylor:  Rewrote expression to (+ (* a (+ b d)) (* a c))
* [misc]taylor:  Taking taylor expansion of (* a (+ b d)) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b d) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* a c) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (fma a (+ b d) (* a c)) in b
* [misc]taylor:  Rewrote expression to (+ (* a (+ b d)) (* a c))
* [misc]taylor:  Taking taylor expansion of (* a (+ b d)) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b d) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (* a c) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (fma a (+ b d) (* a c)) in a
* [misc]taylor:  Rewrote expression to (+ (* a (+ b d)) (* a c))
* [misc]taylor:  Taking taylor expansion of (* a (+ b d)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ b d) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (* a c) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (fma a (+ b d) (* a c)) in a
* [misc]taylor:  Rewrote expression to (+ (* a (+ b d)) (* a c))
* [misc]taylor:  Taking taylor expansion of (* a (+ b d)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ b d) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (* a c) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (+ b d) into (+ b d)
* [misc]backup-simplify:  Simplify (* 0 (+ b d)) into 0
* [misc]backup-simplify:  Simplify (* 0 c) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (+ b d))) into (+ b d)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 c)) into c
* [misc]backup-simplify:  Simplify (+ (+ b d) c) into (+ b (+ c d))
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ c d) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ c d) into (+ c d)
* [misc]backup-simplify:  Simplify (+ 0 (+ c d)) into (+ c d)
* [misc]taylor:  Taking taylor expansion of (+ c d) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ c 0) into c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ b d)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 c))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [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 (fma (/ 1 a) (+ (/ 1 b) (/ 1 d)) (* (/ 1 a) (/ 1 c))) in (a b d c) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 a) (+ (/ 1 b) (/ 1 d)) (* (/ 1 a) (/ 1 c))) in c
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) (* (/ 1 a) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 (fma (/ 1 a) (+ (/ 1 b) (/ 1 d)) (* (/ 1 a) (/ 1 c))) in d
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) (* (/ 1 a) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 a) (/ 1 c)) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 a) (+ (/ 1 b) (/ 1 d)) (* (/ 1 a) (/ 1 c))) in b
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) (* (/ 1 a) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 a) (+ (/ 1 b) (/ 1 d)) (* (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) (* (/ 1 a) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 d)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 a) (+ (/ 1 b) (/ 1 d)) (* (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) (* (/ 1 a) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 d)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ (/ 1 b) (/ 1 d)) into (+ (/ 1 b) (/ 1 d))
* [misc]backup-simplify:  Simplify (* 1 (+ (/ 1 b) (/ 1 d))) into (+ (/ 1 b) (/ 1 d))
* [misc]backup-simplify:  Simplify (* 1 (/ 1 c)) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 c) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (+ (/ 1 b) (/ 1 d)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 c))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 b) (/ 1 d))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 c) 0) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 c
* [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 b)) (/ 1 (/ 1 a)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) (* 1 (/ 1 (/ 1 a)))))) (* 1 (* (/ 1 (/ 1 c)) (* 1 (* 1 (/ 1 (/ 1 a)))))))) into (+ (* a d) (+ (* a b) (* a c)))
* [misc]approximate:  Taking taylor expansion of (fma (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d))) (* (/ 1 (- a)) (/ 1 (- c)))) in (a b d c) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d))) (* (/ 1 (- a)) (/ 1 (- c)))) in c
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) (* (/ 1 (- a)) (/ 1 (- c))))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- d))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in c
* [misc]taylor:  Taking taylor expansion of (- b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in c
* [misc]taylor:  Taking taylor expansion of (- d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in c
* [misc]taylor:  Taking taylor expansion of (- c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 (fma (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d))) (* (/ 1 (- a)) (/ 1 (- c)))) in d
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) (* (/ 1 (- a)) (/ 1 (- c))))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in d
* [misc]taylor:  Taking taylor expansion of (- a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- d))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in d
* [misc]taylor:  Taking taylor expansion of (- b) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in d
* [misc]taylor:  Taking taylor expansion of (- d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 (- a)) (/ 1 (- c))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in d
* [misc]taylor:  Taking taylor expansion of (- a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in d
* [misc]taylor:  Taking taylor expansion of (- c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d))) (* (/ 1 (- a)) (/ 1 (- c)))) in b
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) (* (/ 1 (- a)) (/ 1 (- c))))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- d)) in b
* [misc]taylor:  Taking taylor expansion of (- d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in b
* [misc]taylor:  Taking taylor expansion of (- c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d))) (* (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) (* (/ 1 (- a)) (/ 1 (- c))))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in a
* [misc]taylor:  Taking taylor expansion of (- d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (fma (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d))) (* (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Rewrote expression to (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) (* (/ 1 (- a)) (/ 1 (- c))))
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- d)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in a
* [misc]taylor:  Taking taylor expansion of (- d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]backup-simplify:  Simplify (+ (/ -1 b) (/ -1 d)) into (- (+ (/ 1 b) (/ 1 d)))
* [misc]backup-simplify:  Simplify (* -1 (- (+ (/ 1 b) (/ 1 d)))) into (+ (/ 1 b) (/ 1 d))
* [misc]backup-simplify:  Simplify (* -1 (/ -1 c)) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 c) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d) (/ 0 (- d))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 b) (/ 1 d))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))))) 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 c))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d) (/ 0 (- d))) (* 0 (/ 0 (- d))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 b) (/ 1 d)))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))) (* 0 (/ 0 (- c))))) 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 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 c) 0) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 c
* [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 (- b))) (/ 1 (/ 1 (- a))))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d))) (* 1 (/ 1 (/ 1 (- a))))))) (* 1 (* (/ 1 (/ 1 (- c))) (* 1 (* 1 (/ 1 (/ 1 (- a))))))))) into (+ (* a d) (+ (* a b) (* a c)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c d) (log1p (expm1 (fma a (+ b d) (* a c)))))>
* * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c d) (expm1 (log1p (fma a (+ b d) (* a c)))))>
* * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a (+ b d)) (* a c)))>
* * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c d) (pow (fma a (+ b d) (* a c)) 1))>
* * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c d) (exp (log (fma a (+ b d) (* a c)))))>
* * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c d) (log (exp (fma a (+ b d) (* a c)))))>
* * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c d) (* (* (cbrt (fma a (+ b d) (* a c))) (cbrt (fma a (+ b d) (* a c)))) (cbrt (fma a (+ b d) (* a c)))))>
* * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c d) (cbrt (* (* (fma a (+ b d) (* a c)) (fma a (+ b d) (* a c))) (fma a (+ b d) (* a c)))))>
* * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c d) (* (sqrt (fma a (+ b d) (* a c))) (sqrt (fma a (+ b d) (* a c)))))>
* * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c d) (* 1 (fma a (+ b d) (* a c))))>
* * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c d) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* [misc]simplify:  Simplified (2) to (λ (a b c d) 0)
* * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a d) (+ (* a b) (* a c))))>
* [enter]simplify:  Simplifying (+ (* a d) (+ (* a b) (* a c)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (71 enodes)
* * [misc]simplify:  iters left: 2 (82 enodes)
* * [misc]simplify:  iters left: 1 (83 enodes)
* [exit]simplify:  Simplified to (fma a (+ d b) (* c a))
* [misc]simplify:  Simplified (2) to (λ (a b c d) (fma a (+ d b) (* c a)))
* * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a d) (+ (* a b) (* a c))))>
* [enter]simplify:  Simplifying (+ (* a d) (+ (* a b) (* a c)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (71 enodes)
* * [misc]simplify:  iters left: 2 (82 enodes)
* * [misc]simplify:  iters left: 1 (83 enodes)
* [exit]simplify:  Simplified to (fma a (+ d b) (* c a))
* [misc]simplify:  Simplified (2) to (λ (a b c d) (fma a (+ d b) (* c a)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a b c d) (* a (+ (+ b c) d)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (* a (+ (+ b c) d)) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (* a (+ (+ b c) d)) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ (+ b c) d) in d
* [misc]taylor:  Taking taylor expansion of (+ b c) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* a (+ (+ b c) d)) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ (+ b c) d) in c
* [misc]taylor:  Taking taylor expansion of (+ b c) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (* a (+ (+ b c) d)) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ (+ b c) d) in b
* [misc]taylor:  Taking taylor expansion of (+ b c) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (* a (+ (+ b c) d)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (+ b c) d) in a
* [misc]taylor:  Taking taylor expansion of (+ b c) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (* a (+ (+ b c) d)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (+ b c) d) in a
* [misc]taylor:  Taking taylor expansion of (+ b c) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ b c) into (+ b c)
* [misc]backup-simplify:  Simplify (+ (+ b c) d) into (+ b (+ c d))
* [misc]backup-simplify:  Simplify (* 0 (+ b (+ c d))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (+ b (+ c d)))) into (+ c (+ b d))
* [misc]taylor:  Taking taylor expansion of (+ c (+ b d)) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (+ b d) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ 0 d) into d
* [misc]backup-simplify:  Simplify (+ c d) into (+ c d)
* [misc]taylor:  Taking taylor expansion of (+ c d) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ 0 d) into d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ b (+ c d))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [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 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 c)) (/ 1 d)) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 c)) (/ 1 d)) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 b) (/ 1 c)) into (+ (/ 1 b) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))
* [misc]backup-simplify:  Simplify (* 1 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 d) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
* [misc]backup-simplify:  Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d) 0) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 d
* [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 b)) (/ 1 (/ 1 a)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 (/ 1 (/ 1 a)))))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 (/ 1 (/ 1 a)))))))) into (+ (* a d) (+ (* a b) (* a c)))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in d
* [misc]taylor:  Taking taylor expansion of (- a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d))) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in d
* [misc]taylor:  Taking taylor expansion of (- b) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in d
* [misc]taylor:  Taking taylor expansion of (- c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in d
* [misc]taylor:  Taking taylor expansion of (- d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d))) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in c
* [misc]taylor:  Taking taylor expansion of (- b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in c
* [misc]taylor:  Taking taylor expansion of (- c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 (- d)) in c
* [misc]taylor:  Taking taylor expansion of (- d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d))) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- c)) in b
* [misc]taylor:  Taking taylor expansion of (- c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in b
* [misc]taylor:  Taking taylor expansion of (- d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- c))) (/ 1 (- d))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in a
* [misc]taylor:  Taking taylor expansion of (- d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- c))) (/ 1 (- d))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in a
* [misc]taylor:  Taking taylor expansion of (- d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]backup-simplify:  Simplify (+ (/ -1 b) (/ -1 c)) into (- (+ (/ 1 b) (/ 1 c)))
* [misc]backup-simplify:  Simplify (+ (- (+ (/ 1 b) (/ 1 c))) (/ -1 d)) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))
* [misc]backup-simplify:  Simplify (* -1 (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 c) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d) (/ 0 (- d))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))) (* 0 (/ 0 (- c))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d) (/ 0 (- d))) (* 0 (/ 0 (- d))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 d)) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 d
* [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 (- b))) (/ 1 (/ 1 (- a))))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 (/ 1 (/ 1 (- a))))))) (* 1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 (/ 1 (/ 1 (- a))))))))) into (+ (* a d) (+ (* a b) (* a c)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (a b c d) (log1p (expm1 (* a (+ (+ b c) d)))))>
* * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (a b c d) (expm1 (log1p (* a (+ (+ b c) d)))))>
* * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (a b c d) (pow (* a (+ (+ b c) d)) 1))>
* * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (a b c d) (exp (log (* a (+ (+ b c) d)))))>
* * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (a b c d) (log (exp (* a (+ (+ b c) d)))))>
* * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (a b c d) (* (* (cbrt (* a (+ (+ b c) d))) (cbrt (* a (+ (+ b c) d)))) (cbrt (* a (+ (+ b c) d)))))>
* * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (a b c d) (cbrt (* (* (* a (+ (+ b c) d)) (* a (+ (+ b c) d))) (* a (+ (+ b c) d)))))>
* * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (a b c d) (* (sqrt (* a (+ (+ b c) d))) (sqrt (* a (+ (+ b c) d)))))>
* * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (a b c d) (* 1 (* a (+ (+ b c) d))))>
* * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>
* [enter]simplify:  Simplifying (* a d)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* a d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (+ (* a (+ b c)) (* a d)))
* * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (a b c d) (+ (* (+ b c) a) (* d a)))>
* [enter]simplify:  Simplifying (* d a)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* d a)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (+ (* (+ b c) a) (* d a)))
* * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (a b c d) (* (* a (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d)))) (cbrt (+ (+ b c) d))))>
* [enter]simplify:  Simplifying (cbrt (+ (+ b c) d))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ d b) c))
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* (* a (* (cbrt (+ (+ b c) d)) (cbrt (+ (+ b c) d)))) (cbrt (+ (+ d b) c))))
* * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d))))>
* [enter]simplify:  Simplifying (sqrt (+ (+ b c) d))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ d b) c))
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ d b) c))))
* * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (a b c d) (* (* a 1) (+ (+ b c) d)))>
* [enter]simplify:  Simplifying (+ (+ b c) d)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (+ d (+ c b))
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* (* a 1) (+ d (+ c b))))
* * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (a b c d) (/ (* a (+ (pow (+ b c) 3) (pow d 3))) (+ (* (+ b c) (+ b c)) (- (* d d) (* (+ b c) d)))))>
* [enter]simplify:  Simplifying (+ (* (+ b c) (+ b c)) (- (* d d) (* (+ b c) d)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (83 enodes)
* * [misc]simplify:  iters left: 3 (277 enodes)
* [exit]simplify:  Simplified to (fma (- (- d c) b) d (* (+ c b) (+ c b)))
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (/ (* a (+ (pow (+ b c) 3) (pow d 3))) (fma (- (- d c) b) d (* (+ c b) (+ c b)))))
* * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (a b c d) (/ (* a (- (* (+ b c) (+ b c)) (* d d))) (- (+ b c) d)))>
* [enter]simplify:  Simplifying (- (+ b c) d)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (25 enodes)
* [exit]simplify:  Simplified to (+ (- c d) b)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (/ (* a (- (* (+ b c) (+ b c)) (* d d))) (+ (- c d) b)))
* * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (a b c d) (* (+ (+ b c) d) a))>
* * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (a b c d) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* [misc]simplify:  Simplified (2) to (λ (a b c d) 0)
* * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a d) (+ (* a b) (* a c))))>
* [enter]simplify:  Simplifying (+ (* a d) (+ (* a b) (* a c)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (71 enodes)
* * [misc]simplify:  iters left: 2 (82 enodes)
* * [misc]simplify:  iters left: 1 (83 enodes)
* [exit]simplify:  Simplified to (fma a (+ d b) (* c a))
* [misc]simplify:  Simplified (2) to (λ (a b c d) (fma a (+ d b) (* c a)))
* * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a d) (+ (* a b) (* a c))))>
* [enter]simplify:  Simplifying (+ (* a d) (+ (* a b) (* a c)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (71 enodes)
* * [misc]simplify:  iters left: 2 (82 enodes)
* * [misc]simplify:  iters left: 1 (83 enodes)
* [exit]simplify:  Simplified to (fma a (+ d b) (* c a))
* [misc]simplify:  Simplified (2) to (λ (a b c d) (fma a (+ d b) (* c a)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (* a (+ b c)) in (a b c) around 0
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b c) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b c) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ b c) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ b c) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (+ b c) into (+ b c)
* [misc]backup-simplify:  Simplify (* 0 (+ b c)) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (+ b c))) into (+ c b)
* [misc]taylor:  Taking taylor expansion of (+ c b) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ c 0) into c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ b c)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ b c))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [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 c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* c (* 1 a))) (* 1 (* 1 (* b a)))) into (+ (* a b) (* a c))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in (a b c) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 a) (+ (/ 1 b) (/ 1 c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ (/ 1 b) (/ 1 c)) into (+ (/ 1 b) (/ 1 c))
* [misc]backup-simplify:  Simplify (* 1 (+ (/ 1 b) (/ 1 c))) into (+ (/ 1 b) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (+ (/ 1 b) (/ 1 c)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 c)) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 b) (/ 1 c))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [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 (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)) (* 0 (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 b) (/ 1 c)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [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 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [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 (+ (* 1 (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))))) (* 1 (* (/ 1 (/ 1 c)) (* 1 (/ 1 (/ 1 a)))))) into (+ (* a b) (* a c))
* [misc]approximate:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in (a b c) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in c
* [misc]taylor:  Taking taylor expansion of (- b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in c
* [misc]taylor:  Taking taylor expansion of (- c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- c)) in b
* [misc]taylor:  Taking taylor expansion of (- c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]backup-simplify:  Simplify (+ (/ -1 b) (/ -1 c)) into (- (+ (/ 1 b) (/ 1 c)))
* [misc]backup-simplify:  Simplify (* -1 (- (+ (/ 1 b) (/ 1 c)))) into (+ (/ 1 b) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 b) (/ 1 c))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 c)) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))) (* 0 (/ 0 (- c))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 b) (/ 1 c)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [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 (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))) (* 0 (/ 0 (- c))) (* 0 (/ 0 (- c))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (+ (/ 1 b) (/ 1 c))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [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 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [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 (+ (* 1 (* 1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))))) (* 1 (* (/ 1 (/ 1 (- c))) (* 1 (/ 1 (/ 1 (- a))))))) into (+ (* a b) (* a c))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (+ (* a (+ b c)) (* a d)) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* a (+ b c)) (* a d)) in d
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b c) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (* a d) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (* a (+ b c)) (* a d)) in c
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b c) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* a d) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ (* a (+ b c)) (* a d)) in b
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b c) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (* a d) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ (* a (+ b c)) (* a d)) in a
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ b c) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (* a d) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ (* a (+ b c)) (* a d)) in a
* [misc]taylor:  Taking taylor expansion of (* a (+ b c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ b c) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of (* a d) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ b c) into (+ b c)
* [misc]backup-simplify:  Simplify (* 0 (+ b c)) into 0
* [misc]backup-simplify:  Simplify (* 0 d) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (+ b c))) into (+ c b)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d)) into d
* [misc]backup-simplify:  Simplify (+ (+ c b) d) into (+ b (+ c d))
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ c d) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ c d) into (+ c d)
* [misc]backup-simplify:  Simplify (+ 0 (+ c d)) into (+ c d)
* [misc]taylor:  Taking taylor expansion of (+ c d) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ 0 d) into d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ b c)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [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 a) (+ (/ 1 b) (/ 1 c))) (* (/ 1 a) (/ 1 d))) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) (* (/ 1 a) (/ 1 d))) in d
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 d)) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 a) (+ (/ 1 b) (/ 1 c))) (* (/ 1 a) (/ 1 d))) in c
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 a) (/ 1 d)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) (* (/ 1 a) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) (* (/ 1 a) (/ 1 d))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 d)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) (* (/ 1 a) (/ 1 d))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (+ (/ 1 b) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 b) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 d)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 b) (/ 1 c)) into (+ (/ 1 b) (/ 1 c))
* [misc]backup-simplify:  Simplify (* 1 (+ (/ 1 b) (/ 1 c))) into (+ (/ 1 b) (/ 1 c))
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d)) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 d) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (+ (/ 1 b) (/ 1 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
* [misc]backup-simplify:  Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 b) (/ 1 c))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d) 0) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 d
* [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 b)) (/ 1 (/ 1 a)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 (/ 1 (/ 1 a)))))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 (/ 1 (/ 1 a)))))))) into (+ (* a d) (+ (* a b) (* a c)))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) (* (/ 1 (- a)) (/ 1 (- d)))) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) (* (/ 1 (- a)) (/ 1 (- d)))) in d
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in d
* [misc]taylor:  Taking taylor expansion of (- a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in d
* [misc]taylor:  Taking taylor expansion of (- b) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in d
* [misc]taylor:  Taking taylor expansion of (- c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- d))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in d
* [misc]taylor:  Taking taylor expansion of (- a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in d
* [misc]taylor:  Taking taylor expansion of (- d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) (* (/ 1 (- a)) (/ 1 (- d)))) in c
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in c
* [misc]taylor:  Taking taylor expansion of (- b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in c
* [misc]taylor:  Taking taylor expansion of (- c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [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 (- a)) (/ 1 (- d))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in c
* [misc]taylor:  Taking taylor expansion of (- d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) (* (/ 1 (- a)) (/ 1 (- d)))) in b
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (/ 1 (- c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 (- c)) in b
* [misc]taylor:  Taking taylor expansion of (- c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in b
* [misc]taylor:  Taking taylor expansion of (- d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) (* (/ 1 (- a)) (/ 1 (- d)))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- d)) in a
* [misc]taylor:  Taking taylor expansion of (- d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) (* (/ 1 (- a)) (/ 1 (- d)))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- b)) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in a
* [misc]taylor:  Taking taylor expansion of (- b) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (/ 1 (- b)) into (/ -1 b)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (/ 1 (- c)) into (/ -1 c)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (- d)) in a
* [misc]taylor:  Taking taylor expansion of (- d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (/ 1 (- d)) into (/ -1 d)
* [misc]backup-simplify:  Simplify (+ (/ -1 b) (/ -1 c)) into (- (+ (/ 1 b) (/ 1 c)))
* [misc]backup-simplify:  Simplify (* -1 (- (+ (/ 1 b) (/ 1 c)))) into (+ (/ 1 b) (/ 1 c))
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d)) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [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 d) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 b) (/ 1 c))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d) (/ 0 (- d))))) 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 d))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
* [misc]backup-simplify:  Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- b) into (- b)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 b) (/ 0 (- b))) (* 0 (/ 0 (- b))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- c) into (- c)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 c) (/ 0 (- c))) (* 0 (/ 0 (- c))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 b) (/ 1 c)))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d) into (- d)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d) (/ 0 (- d))) (* 0 (/ 0 (- d))))) 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 d)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d) 0) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [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 d
* [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 (- b))) (/ 1 (/ 1 (- a))))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 (/ 1 (/ 1 (- a))))))) (* 1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 (/ 1 (/ 1 (- a))))))))) into (+ (* a d) (+ (* a b) (* a c)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (log1p (expm1 (* a (+ b c)))) (* a d)))>
* * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (expm1 (log1p (* a (+ b c)))) (* a d)))>
* * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (pow (* a (+ b c)) 1) (* a d)))>
* * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (exp (log (* a (+ b c)))) (* a d)))>
* * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (log (exp (* a (+ b c)))) (* a d)))>
* * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* (* (cbrt (* a (+ b c))) (cbrt (* a (+ b c)))) (cbrt (* a (+ b c)))) (* a d)))>
* * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (cbrt (* (* (* a (+ b c)) (* a (+ b c))) (* a (+ b c)))) (* a d)))>
* * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* (sqrt (* a (+ b c))) (sqrt (* a (+ b c)))) (* a d)))>
* * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* 1 (* a (+ b c))) (* a d)))>
* * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (+ (* a b) (* a c)) (* a d)))>
* [enter]simplify:  Simplifying (* a c)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* a c)
* [misc]simplify:  Simplified (2 1 2) to (λ (a b c d) (+ (+ (* a b) (* a c)) (* a d)))
* * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (+ (* b a) (* c a)) (* a d)))>
* [enter]simplify:  Simplifying (* c a)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* c a)
* [misc]simplify:  Simplified (2 1 2) to (λ (a b c d) (+ (+ (* b a) (* c a)) (* a d)))
* * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* (* a (* (cbrt (+ b c)) (cbrt (+ b c)))) (cbrt (+ b c))) (* a d)))>
* [enter]simplify:  Simplifying (cbrt (+ b c))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (cbrt (+ c b))
* [misc]simplify:  Simplified (2 1 2) to (λ (a b c d) (+ (* (* a (* (cbrt (+ b c)) (cbrt (+ b c)))) (cbrt (+ c b))) (* a d)))
* * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ b c))) (* a d)))>
* [enter]simplify:  Simplifying (sqrt (+ b c))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (sqrt (+ c b))
* [misc]simplify:  Simplified (2 1 2) to (λ (a b c d) (+ (* (* a (sqrt (+ b c))) (sqrt (+ c b))) (* a d)))
* * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* (* a 1) (+ b c)) (* a d)))>
* [enter]simplify:  Simplifying (+ b c)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ c b)
* [misc]simplify:  Simplified (2 1 2) to (λ (a b c d) (+ (* (* a 1) (+ c b)) (* a d)))
* * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (/ (* a (+ (pow b 3) (pow c 3))) (+ (* b b) (- (* c c) (* b c)))) (* a d)))>
* [enter]simplify:  Simplifying (+ (* b b) (- (* c c) (* b c)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (61 enodes)
* * [misc]simplify:  iters left: 2 (83 enodes)
* * [misc]simplify:  iters left: 1 (111 enodes)
* [exit]simplify:  Simplified to (fma (- b c) b (* c c))
* [misc]simplify:  Simplified (2 1 2) to (λ (a b c d) (+ (/ (* a (+ (pow b 3) (pow c 3))) (fma (- b c) b (* c c))) (* a d)))
* * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (/ (* a (- (* b b) (* c c))) (- b c)) (* a d)))>
* [enter]simplify:  Simplifying (- b c)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (- b c)
* [misc]simplify:  Simplified (2 1 2) to (λ (a b c d) (+ (/ (* a (- (* b b) (* c c))) (- b c)) (* a d)))
* * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* (+ b c) a) (* a d)))>
* * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a b c d) (log1p (expm1 (+ (* a (+ b c)) (* a d)))))>
* * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a b c d) (expm1 (log1p (+ (* a (+ b c)) (* a d)))))>
* * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a b c d) (fma a (+ b c) (* a d)))>
* * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a b c d) (log (* (exp (* a (+ b c))) (exp (* a d)))))>
* [enter]simplify:  Simplifying (* (exp (* a (+ b c))) (exp (* a d)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (87 enodes)
* * [misc]simplify:  iters left: 2 (123 enodes)
* * [misc]simplify:  iters left: 1 (153 enodes)
* [exit]simplify:  Simplified to (exp (fma a (+ b d) (* a c)))
* [misc]simplify:  Simplified (2 1) to (λ (a b c d) (log (exp (fma a (+ b d) (* a c)))))
* * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a b c d) (pow (+ (* a (+ b c)) (* a d)) 1))>
* * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a b c d) (exp (log (+ (* a (+ b c)) (* a d)))))>
* * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a b c d) (log (exp (+ (* a (+ b c)) (* a d)))))>
* * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (a b c d) (* (* (cbrt (+ (* a (+ b c)) (* a d))) (cbrt (+ (* a (+ b c)) (* a d)))) (cbrt (+ (* a (+ b c)) (* a d)))))>
* * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (a b c d) (cbrt (* (* (+ (* a (+ b c)) (* a d)) (+ (* a (+ b c)) (* a d))) (+ (* a (+ b c)) (* a d)))))>
* * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (a b c d) (* (sqrt (+ (* a (+ b c)) (* a d))) (sqrt (+ (* a (+ b c)) (* a d)))))>
* * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a b c d) (/ (+ (pow (* a (+ b c)) 3) (pow (* a d) 3)) (+ (* (* a (+ b c)) (* a (+ b c))) (- (* (* a d) (* a d)) (* (* a (+ b c)) (* a d))))))>
* * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (a b c d) (* 1 (+ (* a (+ b c)) (* a d))))>
* * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (a b c d) (/ (- (* (* a (+ b c)) (* a (+ b c))) (* (* a d) (* a d))) (- (* a (+ b c)) (* a d))))>
* * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (a b c d) (* a (+ (+ b c) d)))>
* [enter]simplify:  Simplifying (+ (+ b c) d)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (+ d (+ c b))
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* a (+ d (+ c b))))
* * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a b) (+ (* a c) (* a d))))>
* [enter]simplify:  Simplifying (* a b)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* a b)
* [misc]simplify:  Simplified (2 1) to (λ (a b c d) (+ (* a b) (+ (* a c) (* a d))))
* * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* b a) (+ (* c a) (* a d))))>
* [enter]simplify:  Simplifying (* b a)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* b a)
* [misc]simplify:  Simplified (2 1) to (λ (a b c d) (+ (* b a) (+ (* c a) (* a d))))
* * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a d) (* a (+ b c))))>
* * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (+ (* a b) (* a c)) (* a d)))>
* [enter]simplify:  Simplifying (+ (* a b) (* a c))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* (+ b c) a)
* [misc]simplify:  Simplified (2 1) to (λ (a b c d) (+ (* (+ b c) a) (* a d)))
* * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (+ (* a b) (* a c)) (* a d)))>
* [enter]simplify:  Simplifying (+ (* a b) (* a c))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* (+ b c) a)
* [misc]simplify:  Simplified (2 1) to (λ (a b c d) (+ (* (+ b c) a) (* a d)))
* * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (+ (* a b) (* a c)) (* a d)))>
* [enter]simplify:  Simplifying (+ (* a b) (* a c))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (* (+ b c) a)
* [misc]simplify:  Simplified (2 1) to (λ (a b c d) (+ (* (+ b c) a) (* a d)))
* * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (a b c d) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* [misc]simplify:  Simplified (2) to (λ (a b c d) 0)
* * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a d) (+ (* a b) (* a c))))>
* [enter]simplify:  Simplifying (+ (* a d) (+ (* a b) (* a c)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (71 enodes)
* * [misc]simplify:  iters left: 2 (82 enodes)
* * [misc]simplify:  iters left: 1 (83 enodes)
* [exit]simplify:  Simplified to (fma a (+ d b) (* c a))
* [misc]simplify:  Simplified (2) to (λ (a b c d) (fma a (+ d b) (* c a)))
* * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (a b c d) (+ (* a d) (+ (* a b) (* a c))))>
* [enter]simplify:  Simplifying (+ (* a d) (+ (* a b) (* a c)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (71 enodes)
* * [misc]simplify:  iters left: 2 (82 enodes)
* * [misc]simplify:  iters left: 1 (83 enodes)
* [exit]simplify:  Simplified to (fma a (+ d b) (* c a))
* [misc]simplify:  Simplified (2) to (λ (a b c d) (fma a (+ d b) (* c a)))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime:  Finding splitpoints for: (#<alt (λ (a b c d) (fma a (+ b d) (* a c)))> #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>)
* * * [misc]regime-changes:  Trying 5 branch expressions: (d c b (+ b c) a)
* * * * [misc]regimes:  Trying to branch on d from (#<alt (λ (a b c d) (fma a (+ b d) (* a c)))> #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>)
* * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a b c d) (fma a (+ b d) (* a c)))> #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>)
* * * * [misc]regimes:  Trying to branch on b from (#<alt (λ (a b c d) (fma a (+ b d) (* a c)))> #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>)
* * * * [misc]regimes:  Trying to branch on (+ b c) from (#<alt (λ (a b c d) (fma a (+ b d) (* a c)))> #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>)
* * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a b c d) (fma a (+ b d) (* a c)))> #<alt (λ (a b c d) (+ (* a (+ b c)) (* a d)))>)
* * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
* [enter]simplify:  Simplifying (+ (* a (+ b c)) (* a d))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* [exit]simplify:  Simplified to (+ (* d a) (* (+ b c) a))
* * * * [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:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs