* [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))) 2)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (51 enodes)
* * [misc]simplify:  iters left: 3 (131 enodes)
* * [misc]simplify:  iters left: 2 (296 enodes)
* * [misc]simplify:  iters left: 1 (411 enodes)
* [exit]simplify:  Simplified to (* 2 (+ (+ b d) (+ a c)))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a b c d) (* 2 (+ (+ b d) (+ a c))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (+ (+ b d) (+ a c)) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) (+ a c)) in c
* [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 (+ (+ b d) (+ a c)) in a
* [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 (+ (+ b d) (+ a c)) in d
* [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 (+ (+ b d) (+ a c)) in b
* [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 (+ (+ b d) (+ a c)) in b
* [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]backup-simplify:  Simplify (+ 0 d) into d
* [misc]backup-simplify:  Simplify (+ a c) into (+ a c)
* [misc]backup-simplify:  Simplify (+ d (+ a c)) into (+ a (+ c d))
* [misc]taylor:  Taking taylor expansion of (+ a (+ 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 (+ 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]backup-simplify:  Simplify (+ a c) into (+ a c)
* [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 (+ 0 c) 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]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [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 a
* [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 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [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 into 1
* [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 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* a (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ a (+ b d))
* [misc]approximate:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (+ (/ 1 a) (/ 1 c))) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (+ (/ 1 a) (/ 1 c))) in c
* [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 (+ (+ (/ 1 b) (/ 1 d)) (+ (/ 1 a) (/ 1 c))) in a
* [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 (+ (+ (/ 1 b) (/ 1 d)) (+ (/ 1 a) (/ 1 c))) in d
* [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 (+ (+ (/ 1 b) (/ 1 d)) (+ (/ 1 a) (/ 1 c))) in b
* [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 (+ (+ (/ 1 b) (/ 1 d)) (+ (/ 1 a) (/ 1 c))) in b
* [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]backup-simplify:  Simplify (+ 1 0) into 1
* [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 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 d)) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 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 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]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) 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 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]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
* [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 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 a) (/ 0 a)) (* 0 (/ 0 a)))) 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 (+ 0 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 a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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]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]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 d)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 a)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 c)) (* 1 (* 1 1)))))) into (+ a (+ c d))
* [misc]approximate:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (+ (/ 1 (- a)) (/ 1 (- c)))) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (+ (/ 1 (- a)) (/ 1 (- c)))) in c
* [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 (+ (+ (/ 1 (- b)) (/ 1 (- d))) (+ (/ 1 (- a)) (/ 1 (- c)))) in a
* [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 (+ (+ (/ 1 (- b)) (/ 1 (- d))) (+ (/ 1 (- a)) (/ 1 (- c)))) in d
* [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 (+ (+ (/ 1 (- b)) (/ 1 (- d))) (+ (/ 1 (- a)) (/ 1 (- c)))) in b
* [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 (+ (+ (/ 1 (- b)) (/ 1 (- d))) (+ (/ 1 (- a)) (/ 1 (- c)))) in b
* [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]backup-simplify:  Simplify (+ -1 0) into -1
* [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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ -1 d)) into (- (/ 1 d))
* [misc]backup-simplify:  Simplify (+ (/ -1 a) (/ -1 c)) into (- (+ (/ 1 a) (/ 1 c)))
* [misc]backup-simplify:  Simplify (+ (- (/ 1 d)) (- (+ (/ 1 a) (/ 1 c)))) into (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 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 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]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]taylor:  Taking taylor expansion of -1 in a
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of -1 in a
* [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)))) 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))))) 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 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]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in a
* [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 0) into 1
* [misc]backup-simplify:  Simplify (- 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 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (- 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 (- 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))) (* 0 (/ 0 (- a))))) 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 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 a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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]backup-simplify:  Simplify (- (/ 1 c)) into (- (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) 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]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]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 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- d))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- a))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- c))) (* 1 (* 1 1)))))) into (+ a (+ c d))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (log1p (expm1 (+ (+ b d) (+ a c))))))>
* * * * [misc]progress:  [ 2 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (expm1 (log1p (+ (+ b d) (+ a c))))))>
* * * * [misc]progress:  [ 3 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma (* (cbrt (+ b d)) (cbrt (+ b d))) (cbrt (+ b d)) (+ a c))))>
* [enter]simplify:  Simplifying (* (cbrt (+ b d)) (cbrt (+ b d)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ d b)) (cbrt (+ d b)))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (* (cbrt (+ d b)) (cbrt (+ d b))) (cbrt (+ b d)) (+ a c))))
* * * * [misc]progress:  [ 4 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma (sqrt (+ b d)) (sqrt (+ b d)) (+ a c))))>
* [enter]simplify:  Simplifying (sqrt (+ b d))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (sqrt (+ d b))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (sqrt (+ d b)) (sqrt (+ b d)) (+ a c))))
* * * * [misc]progress:  [ 5 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma 1 (+ b d) (+ a c))))>
* * * * [misc]progress:  [ 6 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (log (* (exp (+ b d)) (exp (+ a c))))))>
* [enter]simplify:  Simplifying (* (exp (+ b d)) (exp (+ a c)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (40 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (142 enodes)
* [exit]simplify:  Simplified to (exp (+ (+ d c) (+ b a)))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (log (exp (+ (+ d c) (+ b a))))))
* * * * [misc]progress:  [ 7 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (pow (+ (+ b d) (+ a c)) 1)))>
* * * * [misc]progress:  [ 8 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (exp (log (+ (+ b d) (+ a c))))))>
* * * * [misc]progress:  [ 9 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (log (exp (+ (+ b d) (+ a c))))))>
* * * * [misc]progress:  [ 10 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* (* (cbrt (+ (+ b d) (+ a c))) (cbrt (+ (+ b d) (+ a c)))) (cbrt (+ (+ b d) (+ a c))))))>
* * * * [misc]progress:  [ 11 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (cbrt (* (* (+ (+ b d) (+ a c)) (+ (+ b d) (+ a c))) (+ (+ b d) (+ a c))))))>
* * * * [misc]progress:  [ 12 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* (sqrt (+ (+ b d) (+ a c))) (sqrt (+ (+ b d) (+ a c))))))>
* * * * [misc]progress:  [ 13 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (+ (* (+ (pow b 3) (pow d 3)) (+ (* a a) (- (* c c) (* a c)))) (* (+ (* b b) (- (* d d) (* b d))) (+ (pow a 3) (pow c 3)))) (* (+ (* b b) (- (* d d) (* b d))) (+ (* a a) (- (* c c) (* a c)))))))>
* [enter]simplify:  Simplifying (+ (* (+ (pow b 3) (pow d 3)) (+ (* a a) (- (* c c) (* a c)))) (* (+ (* b b) (- (* d d) (* b d))) (+ (pow a 3) (pow c 3))))
* * [misc]simplify:  iters left: 6 (24 enodes)
* * [misc]simplify:  iters left: 5 (70 enodes)
* * [misc]simplify:  iters left: 4 (217 enodes)
* [exit]simplify:  Simplified to (fma (fma (- d b) d (* b b)) (fma (* c c) c (pow a 3)) (* (fma c (- c a) (* a a)) (fma (* d d) d (pow b 3))))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (/ (fma (fma (- d b) d (* b b)) (fma (* c c) c (pow a 3)) (* (fma c (- c a) (* a a)) (fma (* d d) d (pow b 3)))) (* (+ (* b b) (- (* d d) (* b d))) (+ (* a a) (- (* c c) (* a c)))))))
* [enter]simplify:  Simplifying (* (+ (* b b) (- (* d d) (* b d))) (+ (* a a) (- (* c c) (* a c))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (42 enodes)
* * [misc]simplify:  iters left: 4 (118 enodes)
* * [misc]simplify:  iters left: 3 (471 enodes)
* [exit]simplify:  Simplified to (* (fma c (- c a) (* a a)) (fma d (- d b) (* b b)))
* [misc]simplify:  Simplified (2 2 2) to (λ (a b c d) (* 2 (/ (fma (fma (- d b) d (* b b)) (fma (* c c) c (pow a 3)) (* (fma c (- c a) (* a a)) (fma (* d d) d (pow b 3)))) (* (fma c (- c a) (* a a)) (fma d (- d b) (* b b))))))
* * * * [misc]progress:  [ 14 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (+ (* (+ (pow b 3) (pow d 3)) (- a c)) (* (+ (* b b) (- (* d d) (* b d))) (- (* a a) (* c c)))) (* (+ (* b b) (- (* d d) (* b d))) (- a c)))))>
* [enter]simplify:  Simplifying (+ (* (+ (pow b 3) (pow d 3)) (- a c)) (* (+ (* b b) (- (* d d) (* b d))) (- (* a a) (* c c))))
* * [misc]simplify:  iters left: 6 (20 enodes)
* * [misc]simplify:  iters left: 5 (46 enodes)
* * [misc]simplify:  iters left: 4 (114 enodes)
* * [misc]simplify:  iters left: 3 (455 enodes)
* [exit]simplify:  Simplified to (* (fma (+ c a) (fma (- d b) d (* b b)) (fma (* d d) d (pow b 3))) (- a c))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (/ (* (fma (+ c a) (fma (- d b) d (* b b)) (fma (* d d) d (pow b 3))) (- a c)) (* (+ (* b b) (- (* d d) (* b d))) (- a c)))))
* [enter]simplify:  Simplifying (* (+ (* b b) (- (* d d) (* b d))) (- a c))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (56 enodes)
* * [misc]simplify:  iters left: 3 (166 enodes)
* [exit]simplify:  Simplified to (* (- a c) (fma (- d b) d (* b b)))
* [misc]simplify:  Simplified (2 2 2) to (λ (a b c d) (* 2 (/ (* (fma (+ c a) (fma (- d b) d (* b b)) (fma (* d d) d (pow b 3))) (- a c)) (* (- a c) (fma (- d b) d (* b b))))))
* * * * [misc]progress:  [ 15 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (+ (* (- (* b b) (* d d)) (+ (* a a) (- (* c c) (* a c)))) (* (- b d) (+ (pow a 3) (pow c 3)))) (* (- b d) (+ (* a a) (- (* c c) (* a c)))))))>
* [enter]simplify:  Simplifying (+ (* (- (* b b) (* d d)) (+ (* a a) (- (* c c) (* a c)))) (* (- b d) (+ (pow a 3) (pow c 3))))
* * [misc]simplify:  iters left: 6 (20 enodes)
* * [misc]simplify:  iters left: 5 (58 enodes)
* * [misc]simplify:  iters left: 4 (195 enodes)
* [exit]simplify:  Simplified to (fma (fma a (* a a) (pow c 3)) (- b d) (* (fma (- c a) c (* a a)) (* (- b d) (+ b d))))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (/ (fma (fma a (* a a) (pow c 3)) (- b d) (* (fma (- c a) c (* a a)) (* (- b d) (+ b d)))) (* (- b d) (+ (* a a) (- (* c c) (* a c)))))))
* [enter]simplify:  Simplifying (* (- b d) (+ (* a a) (- (* c c) (* a c))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (30 enodes)
* * [misc]simplify:  iters left: 4 (84 enodes)
* * [misc]simplify:  iters left: 3 (277 enodes)
* [exit]simplify:  Simplified to (* (- b d) (fma c (- c a) (* a a)))
* [misc]simplify:  Simplified (2 2 2) to (λ (a b c d) (* 2 (/ (fma (fma a (* a a) (pow c 3)) (- b d) (* (fma (- c a) c (* a a)) (* (- b d) (+ b d)))) (* (- b d) (fma c (- c a) (* a a))))))
* * * * [misc]progress:  [ 16 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (+ (* (- (* b b) (* d d)) (- a c)) (* (- b d) (- (* a a) (* c c)))) (* (- b d) (- a c)))))>
* [enter]simplify:  Simplifying (+ (* (- (* b b) (* d d)) (- a c)) (* (- b d) (- (* a a) (* c c))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (33 enodes)
* * [misc]simplify:  iters left: 4 (92 enodes)
* * [misc]simplify:  iters left: 3 (431 enodes)
* [exit]simplify:  Simplified to (* (* (- b d) (- a c)) (+ (+ b d) (+ a c)))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (/ (* (* (- b d) (- a c)) (+ (+ b d) (+ a c))) (* (- b d) (- a c)))))
* [enter]simplify:  Simplifying (* (- b d) (- a c))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (26 enodes)
* * [misc]simplify:  iters left: 1 (66 enodes)
* [exit]simplify:  Simplified to (* (- b d) (- a c))
* [misc]simplify:  Simplified (2 2 2) to (λ (a b c d) (* 2 (/ (* (* (- b d) (- a c)) (+ (+ b d) (+ a c))) (* (- b d) (- a c)))))
* * * * [misc]progress:  [ 17 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (+ (pow (+ b d) 3) (pow (+ a c) 3)) (+ (* (+ b d) (+ b d)) (- (* (+ a c) (+ a c)) (* (+ b d) (+ a c)))))))>
* * * * [misc]progress:  [ 18 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* 1 (+ (+ b d) (+ a c)))))>
* * * * [misc]progress:  [ 19 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (- (* (+ b d) (+ b d)) (* (+ a c) (+ a c))) (- (+ b d) (+ a c)))))>
* * * * [misc]progress:  [ 20 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* 1 (+ (+ b d) (+ a c)))))>
* [enter]simplify:  Simplifying (+ (+ b d) (+ a c))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (57 enodes)
* [exit]simplify:  Simplified to (+ (+ b c) (+ d a))
* [misc]simplify:  Simplified (2 2 2) to (λ (a b c d) (* 2 (* 1 (+ (+ b c) (+ d a)))))
* * * * [misc]progress:  [ 21 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (+ (+ b d) a) c)))>
* * * * [misc]progress:  [ 22 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ b (+ d (+ a c)))))>
* * * * [misc]progress:  [ 23 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (+ a c) (+ b d))))>
* * * * [misc]progress:  [ 24 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ b d))))>
* [enter]simplify:  Simplifying (+ a (+ b 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 (+ (+ b a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ b a) d)))
* * * * [misc]progress:  [ 25 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ c d))))>
* [enter]simplify:  Simplifying (+ a (+ 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 (+ (+ c a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c a) d)))
* * * * [misc]progress:  [ 26 / 26 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ c d))))>
* [enter]simplify:  Simplifying (+ a (+ 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 (+ (+ c a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c a) d)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a b c d) (* 2 (+ (+ (+ b d) a) c)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2 1)
* [misc]approximate:  Taking taylor expansion of (+ (+ b d) a) in (b d a) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in a
* [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 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in d
* [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 in d
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in b
* [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 in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in b
* [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 in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (+ 0 d) into d
* [misc]backup-simplify:  Simplify (+ d a) into (+ a d)
* [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]backup-simplify:  Simplify (+ a 0) into 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 0) into 1
* [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 a
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (* a (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ a (+ b d))
* [misc]approximate:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) in (b d a) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) in a
* [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) 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)) (/ 1 a)) in d
* [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) 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)) (/ 1 a)) in b
* [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) 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)) (/ 1 a)) in b
* [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) 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]backup-simplify:  Simplify (+ 1 0) into 1
* [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 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 d)) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 a) (/ 1 d))
* [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]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) 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 a) 0) into (/ 1 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]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (* (/ 1 (/ 1 d)) 1))) (* 1 (* (/ 1 (/ 1 a)) (* 1 1))))) into (+ a (+ b d))
* [misc]approximate:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) in (b d a) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) in a
* [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)) 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))) (/ 1 (- a))) in d
* [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)) 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))) (/ 1 (- a))) in b
* [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)) 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))) (/ 1 (- a))) in b
* [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)) 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]backup-simplify:  Simplify (+ -1 0) into -1
* [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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ -1 d)) into (- (/ 1 d))
* [misc]backup-simplify:  Simplify (+ (- (/ 1 d)) (/ -1 a)) into (- (+ (/ 1 a) (/ 1 d)))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d
* [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]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]taylor:  Taking taylor expansion of -1 in a
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of -1 in a
* [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)))) 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))))) 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 a) 0) into (/ 1 a)
* [misc]backup-simplify:  Simplify (- (/ 1 a)) into (- (/ 1 a))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 a)) 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]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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 (* (/ 1 (/ 1 (- d))) 1))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 1))))) into (+ a (+ b d))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (+ (+ (+ b d) a) c) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (+ b d) a) c) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in c
* [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 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 (+ (+ (+ b d) a) c) in a
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in a
* [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 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 (+ (+ (+ b d) a) c) in d
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in d
* [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 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 (+ (+ (+ b d) a) c) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in b
* [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 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 (+ (+ (+ b d) a) c) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ b d) a) in b
* [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 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]backup-simplify:  Simplify (+ 0 d) into d
* [misc]backup-simplify:  Simplify (+ d a) into (+ a d)
* [misc]backup-simplify:  Simplify (+ (+ a d) c) into (+ a (+ c d))
* [misc]taylor:  Taking taylor expansion of (+ a (+ 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 (+ 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]backup-simplify:  Simplify (+ a c) into (+ a c)
* [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 (+ 0 c) 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]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [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 a
* [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 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [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 into 1
* [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 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* a (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ a (+ b d))
* [misc]approximate:  Taking taylor expansion of (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) (/ 1 c)) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) in c
* [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) 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 (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) in a
* [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) 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 (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) (/ 1 c)) in d
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) in d
* [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) 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 (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) in b
* [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) 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 (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) in b
* [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) 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]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [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 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 d)) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 a) (/ 1 d))
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 a) (/ 1 d)) (/ 1 c)) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 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 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]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) 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 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]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
* [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 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) 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 d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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]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]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 d)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 a)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 c)) (* 1 (* 1 1)))))) into (+ a (+ c d))
* [misc]approximate:  Taking taylor expansion of (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) (/ 1 (- c))) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) (/ 1 (- c))) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) in c
* [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)) 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 (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) in a
* [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)) 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 (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) (/ 1 (- c))) in d
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) in d
* [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)) 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 (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) (/ 1 (- c))) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) in b
* [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)) 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 (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) (/ 1 (- c))) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) in b
* [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)) 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]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ -1 d)) into (- (/ 1 d))
* [misc]backup-simplify:  Simplify (+ (- (/ 1 d)) (/ -1 a)) into (- (+ (/ 1 a) (/ 1 d)))
* [misc]backup-simplify:  Simplify (+ (- (+ (/ 1 a) (/ 1 d))) (/ -1 c)) into (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 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 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]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]taylor:  Taking taylor expansion of -1 in a
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of -1 in a
* [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)))) 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) 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]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]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in a
* [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 0) into 1
* [misc]backup-simplify:  Simplify (- 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 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (- 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 (- 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))) (* 0 (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) 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]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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]backup-simplify:  Simplify (- (/ 1 c)) into (- (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) 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]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]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 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- d))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- a))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- c))) (* 1 (* 1 1)))))) into (+ a (+ c d))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (log1p (expm1 (+ (+ b d) a))) c)))>
* * * * [misc]progress:  [ 2 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (expm1 (log1p (+ (+ b d) a))) c)))>
* * * * [misc]progress:  [ 3 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (fma (* (cbrt (+ b d)) (cbrt (+ b d))) (cbrt (+ b d)) a) c)))>
* [enter]simplify:  Simplifying (* (cbrt (+ b d)) (cbrt (+ b d)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ d b)) (cbrt (+ d b)))
* [misc]simplify:  Simplified (2 2 1 1) to (λ (a b c d) (* 2 (+ (fma (* (cbrt (+ d b)) (cbrt (+ d b))) (cbrt (+ b d)) a) c)))
* * * * [misc]progress:  [ 4 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (fma (sqrt (+ b d)) (sqrt (+ b d)) a) c)))>
* [enter]simplify:  Simplifying (sqrt (+ b d))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (sqrt (+ d b))
* [misc]simplify:  Simplified (2 2 1 1) to (λ (a b c d) (* 2 (+ (fma (sqrt (+ d b)) (sqrt (+ b d)) a) c)))
* * * * [misc]progress:  [ 5 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (fma 1 (+ b d) a) c)))>
* * * * [misc]progress:  [ 6 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (pow (+ (+ b d) a) 1) c)))>
* * * * [misc]progress:  [ 7 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (exp (log (+ (+ b d) a))) c)))>
* * * * [misc]progress:  [ 8 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (log (exp (+ (+ b d) a))) c)))>
* * * * [misc]progress:  [ 9 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (* (* (cbrt (+ (+ b d) a)) (cbrt (+ (+ b d) a))) (cbrt (+ (+ b d) a))) c)))>
* * * * [misc]progress:  [ 10 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (cbrt (* (* (+ (+ b d) a) (+ (+ b d) a)) (+ (+ b d) a))) c)))>
* * * * [misc]progress:  [ 11 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (* (sqrt (+ (+ b d) a)) (sqrt (+ (+ b d) a))) c)))>
* * * * [misc]progress:  [ 12 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (/ (+ (pow (+ b d) 3) (pow a 3)) (+ (* (+ b d) (+ b d)) (- (* a a) (* (+ b d) a)))) c)))>
* * * * [misc]progress:  [ 13 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (* 1 (+ (+ b d) a)) c)))>
* * * * [misc]progress:  [ 14 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (/ (- (* (+ b d) (+ b d)) (* a a)) (- (+ b d) a)) c)))>
* * * * [misc]progress:  [ 15 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (+ b (+ d a)) c)))>
* * * * [misc]progress:  [ 16 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (+ a (+ b d)) c)))>
* * * * [misc]progress:  [ 17 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (log1p (expm1 (+ (+ (+ b d) a) c)))))>
* * * * [misc]progress:  [ 18 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (expm1 (log1p (+ (+ (+ b d) a) c)))))>
* * * * [misc]progress:  [ 19 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma (* (cbrt (+ (+ b d) a)) (cbrt (+ (+ b d) a))) (cbrt (+ (+ b d) a)) c)))>
* [enter]simplify:  Simplifying (* (cbrt (+ (+ b d) a)) (cbrt (+ (+ b d) a)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ a (+ d b))) (cbrt (+ a (+ d b))))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (* (cbrt (+ a (+ d b))) (cbrt (+ a (+ d b)))) (cbrt (+ (+ b d) a)) c)))
* * * * [misc]progress:  [ 20 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma (sqrt (+ (+ b d) a)) (sqrt (+ (+ b d) a)) c)))>
* [enter]simplify:  Simplifying (sqrt (+ (+ b d) a))
* * [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 (+ (+ a b) d))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (sqrt (+ (+ a b) d)) (sqrt (+ (+ b d) a)) c)))
* * * * [misc]progress:  [ 21 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma 1 (+ (+ b d) a) c)))>
* * * * [misc]progress:  [ 22 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (pow (+ (+ (+ b d) a) c) 1)))>
* * * * [misc]progress:  [ 23 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (exp (log (+ (+ (+ b d) a) c)))))>
* * * * [misc]progress:  [ 24 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (log (exp (+ (+ (+ b d) a) c)))))>
* * * * [misc]progress:  [ 25 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* (* (cbrt (+ (+ (+ b d) a) c)) (cbrt (+ (+ (+ b d) a) c))) (cbrt (+ (+ (+ b d) a) c)))))>
* * * * [misc]progress:  [ 26 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (cbrt (* (* (+ (+ (+ b d) a) c) (+ (+ (+ b d) a) c)) (+ (+ (+ b d) a) c)))))>
* * * * [misc]progress:  [ 27 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* (sqrt (+ (+ (+ b d) a) c)) (sqrt (+ (+ (+ b d) a) c)))))>
* * * * [misc]progress:  [ 28 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (+ (pow (+ (+ b d) a) 3) (pow c 3)) (+ (* (+ (+ b d) a) (+ (+ b d) a)) (- (* c c) (* (+ (+ b d) a) c))))))>
* * * * [misc]progress:  [ 29 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* 1 (+ (+ (+ b d) a) c))))>
* * * * [misc]progress:  [ 30 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (- (* (+ (+ b d) a) (+ (+ b d) a)) (* c c)) (- (+ (+ b d) a) c))))>
* * * * [misc]progress:  [ 31 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (+ b d) (+ a c))))>
* [enter]simplify:  Simplifying (+ b d)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ d b)
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (+ (+ d b) (+ a c))))
* * * * [misc]progress:  [ 32 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ c (+ (+ b d) a))))>
* * * * [misc]progress:  [ 33 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (+ a (+ b d)) c)))>
* [enter]simplify:  Simplifying (+ a (+ b 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 (+ (+ b a) d)
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (+ (+ (+ b a) d) c)))
* * * * [misc]progress:  [ 34 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (+ a (+ b d)) c)))>
* [enter]simplify:  Simplifying (+ a (+ b 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 (+ (+ b a) d)
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (+ (+ (+ b a) d) c)))
* * * * [misc]progress:  [ 35 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ (+ a (+ b d)) c)))>
* [enter]simplify:  Simplifying (+ a (+ b 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 (+ (+ b a) d)
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (+ (+ (+ b a) d) c)))
* * * * [misc]progress:  [ 36 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ b d))))>
* [enter]simplify:  Simplifying (+ a (+ b 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 (+ (+ b a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ b a) d)))
* * * * [misc]progress:  [ 37 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ c d))))>
* [enter]simplify:  Simplifying (+ a (+ 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 (+ (+ c a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c a) d)))
* * * * [misc]progress:  [ 38 / 38 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ c d))))>
* [enter]simplify:  Simplifying (+ a (+ 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 (+ (+ c a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c a) d)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a b c d) (* 2 (+ (+ b (+ d a)) c)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (+ (+ b (+ d a)) c) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ b (+ d a)) c) in c
* [misc]taylor:  Taking taylor expansion of (+ b (+ d a)) 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 a) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [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 (+ (+ b (+ d a)) c) in a
* [misc]taylor:  Taking taylor expansion of (+ b (+ d a)) 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 a) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [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 (+ (+ b (+ d a)) c) in d
* [misc]taylor:  Taking taylor expansion of (+ b (+ d a)) 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 a) 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]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 (+ (+ b (+ d a)) c) in b
* [misc]taylor:  Taking taylor expansion of (+ b (+ d a)) 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 a) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [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 (+ (+ b (+ d a)) c) in b
* [misc]taylor:  Taking taylor expansion of (+ b (+ d a)) 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 a) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [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]backup-simplify:  Simplify (+ d a) into (+ a d)
* [misc]backup-simplify:  Simplify (+ 0 (+ a d)) into (+ a d)
* [misc]backup-simplify:  Simplify (+ (+ a d) c) into (+ a (+ c d))
* [misc]taylor:  Taking taylor expansion of (+ a (+ 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 (+ 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]backup-simplify:  Simplify (+ a c) into (+ a c)
* [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 (+ 0 c) 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]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [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 a
* [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 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [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 into 1
* [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 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* a (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ a (+ b d))
* [misc]approximate:  Taking taylor expansion of (+ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (/ 1 c)) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 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) (/ 1 a)) 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 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 (+ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (/ 1 c)) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 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) (/ 1 a)) in a
* [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) 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 (+ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (/ 1 c)) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 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) (/ 1 a)) in 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]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 (+ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 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 a)) 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 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 (+ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (/ 1 c)) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 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 a)) 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 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]backup-simplify:  Simplify (+ 1 0) into 1
* [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 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 a) (/ 1 d))
* [misc]backup-simplify:  Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d))
* [misc]backup-simplify:  Simplify (+ (+ (/ 1 a) (/ 1 d)) (/ 1 c)) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 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 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]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in a
* [misc]backup-simplify:  Simplify 1 into 1
* [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 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) 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 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]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
* [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 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) 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 d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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]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]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 d)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 a)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 c)) (* 1 (* 1 1)))))) into (+ a (+ c d))
* [misc]approximate:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) (/ 1 (- c))) in (b d a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) (/ 1 (- c))) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) 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)) (/ 1 (- a))) in c
* [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)) 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 (+ (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) (/ 1 (- c))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) 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)) (/ 1 (- a))) in a
* [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)) 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 (+ (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) (/ 1 (- c))) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) 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)) (/ 1 (- a))) in d
* [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)) 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 (+ (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) (/ 1 (- c))) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) 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)) (/ 1 (- a))) in b
* [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)) 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 (+ (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) (/ 1 (- c))) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- d)) (/ 1 (- a)))) 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)) (/ 1 (- a))) in b
* [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)) 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]backup-simplify:  Simplify (+ -1 0) into -1
* [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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (/ -1 d) (/ -1 a)) into (- (+ (/ 1 a) (/ 1 d)))
* [misc]backup-simplify:  Simplify (+ 0 (- (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 a) (/ 1 d)))
* [misc]backup-simplify:  Simplify (+ (- (+ (/ 1 a) (/ 1 d))) (/ -1 c)) into (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 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 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]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]taylor:  Taking taylor expansion of -1 in a
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of -1 in a
* [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)))) 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) 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]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]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c)))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in a
* [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 0) into 1
* [misc]backup-simplify:  Simplify (- 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 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (- 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 (- 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 (- a) into (- a)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 a) (/ 0 (- a))) (* 0 (/ 0 (- a))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) 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]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [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]backup-simplify:  Simplify (- (/ 1 c)) into (- (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) 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]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]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 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- d))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- a))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- c))) (* 1 (* 1 1)))))) into (+ a (+ c d))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (log1p (expm1 (+ (+ b (+ d a)) c)))))>
* * * * [misc]progress:  [ 2 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (expm1 (log1p (+ (+ b (+ d a)) c)))))>
* * * * [misc]progress:  [ 3 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma (* (cbrt (+ b (+ d a))) (cbrt (+ b (+ d a)))) (cbrt (+ b (+ d a))) c)))>
* [enter]simplify:  Simplifying (* (cbrt (+ b (+ d a))) (cbrt (+ b (+ d a))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (+ d b) a)) (cbrt (+ (+ d b) a)))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (* (cbrt (+ (+ d b) a)) (cbrt (+ (+ d b) a))) (cbrt (+ b (+ d a))) c)))
* * * * [misc]progress:  [ 4 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma (sqrt (+ b (+ d a))) (sqrt (+ b (+ d a))) c)))>
* [enter]simplify:  Simplifying (sqrt (+ b (+ d a)))
* * [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 (+ a (+ d b)))
* [misc]simplify:  Simplified (2 2 1) to (λ (a b c d) (* 2 (fma (sqrt (+ a (+ d b))) (sqrt (+ b (+ d a))) c)))
* * * * [misc]progress:  [ 5 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (fma 1 (+ b (+ d a)) c)))>
* * * * [misc]progress:  [ 6 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (pow (+ (+ b (+ d a)) c) 1)))>
* * * * [misc]progress:  [ 7 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (exp (log (+ (+ b (+ d a)) c)))))>
* * * * [misc]progress:  [ 8 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (log (exp (+ (+ b (+ d a)) c)))))>
* * * * [misc]progress:  [ 9 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* (* (cbrt (+ (+ b (+ d a)) c)) (cbrt (+ (+ b (+ d a)) c))) (cbrt (+ (+ b (+ d a)) c)))))>
* * * * [misc]progress:  [ 10 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (cbrt (* (* (+ (+ b (+ d a)) c) (+ (+ b (+ d a)) c)) (+ (+ b (+ d a)) c)))))>
* * * * [misc]progress:  [ 11 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* (sqrt (+ (+ b (+ d a)) c)) (sqrt (+ (+ b (+ d a)) c)))))>
* * * * [misc]progress:  [ 12 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (+ (pow (+ b (+ d a)) 3) (pow c 3)) (+ (* (+ b (+ d a)) (+ b (+ d a))) (- (* c c) (* (+ b (+ d a)) c))))))>
* * * * [misc]progress:  [ 13 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (* 1 (+ (+ b (+ d a)) c))))>
* * * * [misc]progress:  [ 14 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (/ (- (* (+ b (+ d a)) (+ b (+ d a))) (* c c)) (- (+ b (+ d a)) c))))>
* * * * [misc]progress:  [ 15 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ b (+ (+ d a) c))))>
* * * * [misc]progress:  [ 16 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ c (+ b (+ d a)))))>
* * * * [misc]progress:  [ 17 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ b d))))>
* [enter]simplify:  Simplifying (+ a (+ b 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 (+ (+ b a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ b a) d)))
* * * * [misc]progress:  [ 18 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ c d))))>
* [enter]simplify:  Simplifying (+ a (+ 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 (+ (+ c a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c a) d)))
* * * * [misc]progress:  [ 19 / 19 ] simplifiying candidate #<alt (λ (a b c d) (* 2 (+ a (+ c d))))>
* [enter]simplify:  Simplifying (+ a (+ 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 (+ (+ c a) d)
* [misc]simplify:  Simplified (2 2) to (λ (a b c d) (* 2 (+ (+ c a) d)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 4 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (a b c d) (* 2 (+ b (+ (+ d a) c))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * [misc]progress:  generating series expansions
* * * [misc]progress:  simplifying candidates
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (* 2 (+ b (+ (+ d a) c)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (* (+ b (+ c (+ a d))) 2)
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs