* [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 (301 enodes)
* * [misc]simplify:  iters left: 1 (407 enodes)
* [exit]simplify:  Simplified to (* 2 (+ (+ c d) (+ a b)))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (a b c d) (* (+ a (+ b (+ c d))) 2))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (+ a (+ b (+ c d))) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ a (+ b (+ c d))) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [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]taylor:  Taking taylor expansion of (+ a (+ b (+ c d))) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of (+ c d) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ a (+ b (+ c d))) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ c d) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ a (+ b (+ c d))) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of (+ c d) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ a (+ b (+ c d))) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in a
* [misc]taylor:  Taking taylor expansion of b in a
* [misc]backup-simplify:  Simplify b into b
* [misc]taylor:  Taking taylor expansion of (+ c d) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ c d) into (+ d c)
* [misc]backup-simplify:  Simplify (+ b (+ d c)) into (+ d (+ b c))
* [misc]backup-simplify:  Simplify (+ d (+ b c)) into (+ d (+ b c))
* [misc]taylor:  Taking taylor expansion of (+ d (+ b c)) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ b c) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (+ d c) into (+ d c)
* [misc]taylor:  Taking taylor expansion of (+ d c) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [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 d into d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in b
* [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 1 in d
* [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 into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ c (+ b a)) into (+ a (+ b c))
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 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 c) (/ 1 d)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 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 c) (/ 1 d)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in b
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) 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 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 into 1
* [misc]backup-simplify:  Simplify 1 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 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 b) (/ 0 b)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d) (/ 0 d)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 b) (/ 0 b)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d) (/ 0 d)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d) (/ 0 d)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in 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 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (/ 1 (/ 1 b)) (+ (/ 1 (/ 1 c)) (/ 1 (/ 1 d)))) into (+ d (+ b c))
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) in (a b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in d
* [misc]taylor:  Taking taylor expansion of (- a) in d
* [misc]taylor:  Taking taylor expansion of a in d
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in d
* [misc]taylor:  Taking taylor expansion of (- b) in d
* [misc]taylor:  Taking taylor expansion of b in d
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- d))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in d
* [misc]taylor:  Taking taylor expansion of (- c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in d
* [misc]taylor:  Taking taylor expansion of (- d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in c
* [misc]taylor:  Taking taylor expansion of (- b) in c
* [misc]taylor:  Taking taylor expansion of b in c
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- d))) in c
* [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 into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in c
* [misc]taylor:  Taking taylor expansion of (- d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in b
* [misc]taylor:  Taking taylor expansion of (- a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) 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 into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in b
* [misc]taylor:  Taking taylor expansion of (- c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in b
* [misc]taylor:  Taking taylor expansion of (- d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 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 (- c)) (/ 1 (- d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in a
* [misc]taylor:  Taking taylor expansion of (- d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 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 (- c)) (/ 1 (- d))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in a
* [misc]taylor:  Taking taylor expansion of (- c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in a
* [misc]taylor:  Taking taylor expansion of (- d) in a
* [misc]taylor:  Taking taylor expansion of d in a
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of -1 in b
* [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 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) into (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) 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 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 into 1
* [misc]backup-simplify:  Simplify 1 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 -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 0 into 0
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (* (/ 1 b) (/ 0 b)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify 0 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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of -1 in d
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -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 0 into 0
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (* (/ 1 b) (/ 0 b)) 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)) 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)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d) (/ 0 d)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in 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 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (/ 1 (/ 1 (- b))) (+ (/ 1 (/ 1 (- c))) (/ 1 (/ 1 (- d))))) into (- (+ d (+ b c)))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 2)
* [misc]approximate:  Taking taylor expansion of (+ b (+ c d)) in (b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ b (+ c 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 (+ 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]taylor:  Taking taylor expansion of (+ b (+ c 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 (+ c d) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ c d) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]taylor:  Taking taylor expansion of (+ b (+ c d)) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ c d) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ c d) into (+ d c)
* [misc]backup-simplify:  Simplify (+ d c) into (+ d c)
* [misc]taylor:  Taking taylor expansion of (+ d c) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [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 d into d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [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 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ d (+ c b)) into (+ d (+ b c))
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 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 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 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 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 c) (/ 1 d)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify 1 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 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d) (/ 0 d)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (/ 1 (/ 1 b)) (+ (/ 1 (/ 1 c)) (/ 1 (/ 1 d)))) into (+ d (+ b c))
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) in (b c d) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 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 (- 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]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in d
* [misc]taylor:  Taking taylor expansion of (- d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 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 (- c)) (/ 1 (- d))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in c
* [misc]taylor:  Taking taylor expansion of (- c) in c
* [misc]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 into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in c
* [misc]taylor:  Taking taylor expansion of (- d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]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 into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in b
* [misc]taylor:  Taking taylor expansion of (- c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in b
* [misc]taylor:  Taking taylor expansion of (- d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]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 into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- d))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- c)) in b
* [misc]taylor:  Taking taylor expansion of (- c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d)) in b
* [misc]taylor:  Taking taylor expansion of (- d) in b
* [misc]taylor:  Taking taylor expansion of d in b
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]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 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in c
* [misc]taylor:  Taking taylor expansion of d in c
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of -1 in d
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -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 0 into 0
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (* (/ 1 d) (/ 0 d)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]taylor:  Taking taylor expansion of (/ 1 d) in d
* [misc]taylor:  Taking taylor expansion of d in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (/ 1 (- b)))) (+ (/ 1 (/ 1 (- c))) (/ 1 (/ 1 (- d))))) into (- b (+ d c))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (log1p (expm1 (+ a (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (expm1 (+ a (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (70 enodes)
* [exit]simplify:  Simplified to (expm1 (+ (+ a b) (+ c d)))
* [exit]simplify:  Simplified to (expm1 (+ (+ a b) (+ c d)))
* * * * [misc]progress:  [ 2 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (expm1 (log1p (+ a (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (log1p (+ a (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (70 enodes)
* [exit]simplify:  Simplified to (log1p (+ (+ a b) (+ c d)))
* [exit]simplify:  Simplified to (log1p (+ (+ a b) (+ c d)))
* * * * [misc]progress:  [ 3 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (pow (+ a (+ b (+ c d))) 1) 2))>
* * * * [misc]progress:  [ 4 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (exp (log (+ a (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (log (+ a (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (70 enodes)
* [exit]simplify:  Simplified to (log (+ (+ a b) (+ c d)))
* [exit]simplify:  Simplified to (log (+ (+ a b) (+ c d)))
* * * * [misc]progress:  [ 5 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (log (exp (+ a (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (exp (+ a (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (102 enodes)
* * [misc]simplify:  iters left: 2 (155 enodes)
* * [misc]simplify:  iters left: 1 (168 enodes)
* [exit]simplify:  Simplified to (exp (+ (+ c d) (+ a b)))
* [exit]simplify:  Simplified to (exp (+ (+ c d) (+ a b)))
* * * * [misc]progress:  [ 6 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (* (cbrt (+ a (+ b (+ c d)))) (cbrt (+ a (+ b (+ c d))))) (cbrt (+ a (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (* (cbrt (+ a (+ b (+ c d)))) (cbrt (+ a (+ b (+ c d)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (60 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (+ c d) (+ a b))) (cbrt (+ (+ c d) (+ a b))))
* [exit]simplify:  Simplified to (* (cbrt (+ (+ c d) (+ a b))) (cbrt (+ (+ c d) (+ a b))))
* [enter]simplify:  Simplifying (cbrt (+ a (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (70 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ a b) (+ c d)))
* [exit]simplify:  Simplified to (cbrt (+ (+ a b) (+ c d)))
* * * * [misc]progress:  [ 7 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (cbrt (* (* (+ a (+ b (+ c d))) (+ a (+ b (+ c d)))) (+ a (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (* (* (+ a (+ b (+ c d))) (+ a (+ b (+ c d)))) (+ a (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (153 enodes)
* [exit]simplify:  Simplified to (pow (+ (+ c b) (+ d a)) 3)
* [exit]simplify:  Simplified to (pow (+ (+ c b) (+ d a)) 3)
* * * * [misc]progress:  [ 8 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (sqrt (+ a (+ b (+ c d)))) (sqrt (+ a (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (sqrt (+ a (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (70 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ a b) (+ c d)))
* [exit]simplify:  Simplified to (sqrt (+ (+ a b) (+ c d)))
* [enter]simplify:  Simplifying (sqrt (+ a (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (70 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ a b) (+ c d)))
* [exit]simplify:  Simplified to (sqrt (+ (+ a b) (+ c d)))
* * * * [misc]progress:  [ 9 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (/ (+ (pow a 3) (pow (+ b (+ c d)) 3)) (+ (* a a) (- (* (+ b (+ c d)) (+ b (+ c d))) (* a (+ b (+ c d)))))) 2))>
* [enter]simplify:  Simplifying (+ (pow a 3) (pow (+ b (+ c d)) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (59 enodes)
* * [misc]simplify:  iters left: 3 (358 enodes)
* [exit]simplify:  Simplified to (fma a (* a a) (pow (+ c (+ b d)) 3))
* [exit]simplify:  Simplified to (fma a (* a a) (pow (+ c (+ b d)) 3))
* [enter]simplify:  Simplifying (+ (* a a) (- (* (+ b (+ c d)) (+ b (+ c d))) (* a (+ b (+ c d)))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (37 enodes)
* * [misc]simplify:  iters left: 4 (146 enodes)
* [exit]simplify:  Simplified to (fma (+ b (+ d c)) (+ (+ d b) (- c a)) (* a a))
* [exit]simplify:  Simplified to (fma (+ b (+ d c)) (+ (+ d b) (- c a)) (* a a))
* * * * [misc]progress:  [ 10 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* 1 (+ a (+ b (+ c d)))) 2))>
* * * * [misc]progress:  [ 11 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (/ (- (* a a) (* (+ b (+ c d)) (+ b (+ c d)))) (- a (+ b (+ c d)))) 2))>
* [enter]simplify:  Simplifying (- (* a a) (* (+ b (+ c d)) (+ b (+ c d))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (98 enodes)
* * [misc]simplify:  iters left: 3 (472 enodes)
* [exit]simplify:  Simplified to (fma (- (- c) (+ d b)) (+ c (+ d b)) (* a a))
* [exit]simplify:  Simplified to (fma (- (- c) (+ d b)) (+ c (+ d b)) (* a a))
* [enter]simplify:  Simplifying (- a (+ b (+ c d)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (77 enodes)
* * [misc]simplify:  iters left: 2 (159 enodes)
* * [misc]simplify:  iters left: 1 (280 enodes)
* [exit]simplify:  Simplified to (- (- a c) (+ d b))
* [exit]simplify:  Simplified to (- (- a c) (+ d b))
* * * * [misc]progress:  [ 12 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ (+ a b) (+ c d)) 2))>
* [enter]simplify:  Simplifying (+ a b)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ a b)
* [exit]simplify:  Simplified to (+ a b)
* * * * [misc]progress:  [ 13 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ (+ b (+ c d)) a) 2))>
* * * * [misc]progress:  [ 14 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (log1p (expm1 (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (expm1 (+ b (+ c d)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (expm1 (+ (+ d c) b))
* [exit]simplify:  Simplified to (expm1 (+ (+ d c) b))
* * * * [misc]progress:  [ 15 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (expm1 (log1p (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (log1p (+ b (+ c d)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (log1p (+ (+ d c) b))
* [exit]simplify:  Simplified to (log1p (+ (+ d c) b))
* * * * [misc]progress:  [ 16 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (pow (+ b (+ c d)) 1)) 2))>
* * * * [misc]progress:  [ 17 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (exp (log (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (log (+ b (+ c d)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (log (+ (+ d c) b))
* [exit]simplify:  Simplified to (log (+ (+ d c) b))
* * * * [misc]progress:  [ 18 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (log (exp (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (exp (+ b (+ c d)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (41 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (exp (+ (+ b c) d))
* [exit]simplify:  Simplified to (exp (+ (+ b c) d))
* * * * [misc]progress:  [ 19 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (* (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d)))) (cbrt (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d))))
* * [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 c))) (cbrt (+ d (+ b c))))
* [exit]simplify:  Simplified to (* (cbrt (+ d (+ b c))) (cbrt (+ d (+ b c))))
* [enter]simplify:  Simplifying (cbrt (+ b (+ c d)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ d c) b))
* [exit]simplify:  Simplified to (cbrt (+ (+ d c) b))
* * * * [misc]progress:  [ 20 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (cbrt (* (* (+ b (+ c d)) (+ b (+ c d))) (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (* (* (+ b (+ c d)) (+ b (+ c d))) (+ b (+ c d)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (122 enodes)
* [exit]simplify:  Simplified to (pow (+ d (+ b c)) 3)
* [exit]simplify:  Simplified to (pow (+ d (+ b c)) 3)
* * * * [misc]progress:  [ 21 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (* (sqrt (+ b (+ c d))) (sqrt (+ b (+ c d))))) 2))>
* [enter]simplify:  Simplifying (sqrt (+ b (+ c d)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ d c) b))
* [exit]simplify:  Simplified to (sqrt (+ (+ d c) b))
* [enter]simplify:  Simplifying (sqrt (+ b (+ c d)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ d c) b))
* [exit]simplify:  Simplified to (sqrt (+ (+ d c) b))
* * * * [misc]progress:  [ 22 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (/ (+ (pow b 3) (pow (+ c d) 3)) (+ (* b b) (- (* (+ c d) (+ c d)) (* b (+ c d)))))) 2))>
* [enter]simplify:  Simplifying (+ (pow b 3) (pow (+ c d) 3))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (114 enodes)
* * [misc]simplify:  iters left: 1 (371 enodes)
* [exit]simplify:  Simplified to (fma (* (+ d c) (+ d c)) (+ d c) (pow b 3))
* [exit]simplify:  Simplified to (fma (* (+ d c) (+ d c)) (+ d c) (pow b 3))
* [enter]simplify:  Simplifying (+ (* b b) (- (* (+ c d) (+ c d)) (* b (+ c d))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (32 enodes)
* * [misc]simplify:  iters left: 4 (99 enodes)
* * [misc]simplify:  iters left: 3 (311 enodes)
* [exit]simplify:  Simplified to (- (fma (+ c d) (+ c d) (* b b)) (* (+ c d) b))
* [exit]simplify:  Simplified to (- (fma (+ c d) (+ c d) (* b b)) (* (+ c d) b))
* * * * [misc]progress:  [ 23 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (* 1 (+ b (+ c d)))) 2))>
* * * * [misc]progress:  [ 24 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (/ (- (* b b) (* (+ c d) (+ c d))) (- b (+ c d)))) 2))>
* [enter]simplify:  Simplifying (- (* b b) (* (+ c d) (+ c d)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (61 enodes)
* * [misc]simplify:  iters left: 3 (183 enodes)
* * [misc]simplify:  iters left: 2 (465 enodes)
* [exit]simplify:  Simplified to (- (* b b) (* (+ c d) (+ c d)))
* [exit]simplify:  Simplified to (- (* b b) (* (+ c d) (+ c d)))
* [enter]simplify:  Simplifying (- b (+ c d))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (- b (+ d c))
* [exit]simplify:  Simplified to (- b (+ d c))
* * * * [misc]progress:  [ 25 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (+ (+ b c) d)) 2))>
* [enter]simplify:  Simplifying (+ b c)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ b c)
* [exit]simplify:  Simplified to (+ b c)
* * * * [misc]progress:  [ 26 / 32 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ a (+ (+ c d) b)) 2))>
* * * * [misc]progress:  [ 27 / 32 ] simplifiying candidate #<alt-event (λ (a b c d) (* (+ a (+ b c)) 2))>
* [enter]simplify:  Simplifying (* (+ a (+ b c)) 2)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (84 enodes)
* * [misc]simplify:  iters left: 1 (90 enodes)
* [exit]simplify:  Simplified to (fma 2 (+ a b) (* 2 c))
* * * * [misc]progress:  [ 28 / 32 ] simplifiying candidate #<alt-event (λ (a b c d) (* (+ d (+ b c)) 2))>
* [enter]simplify:  Simplifying (* (+ d (+ b c)) 2)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (84 enodes)
* * [misc]simplify:  iters left: 1 (90 enodes)
* [exit]simplify:  Simplified to (fma 2 (+ d b) (* 2 c))
* * * * [misc]progress:  [ 29 / 32 ] simplifiying candidate #<alt-event (λ (a b c d) (* (- (+ d (+ b c))) 2))>
* [enter]simplify:  Simplifying (* (- (+ d (+ b c))) 2)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (106 enodes)
* * [misc]simplify:  iters left: 2 (225 enodes)
* * [misc]simplify:  iters left: 1 (307 enodes)
* [exit]simplify:  Simplified to (* (- (- c) (+ b d)) 2)
* * * * [misc]progress:  [ 30 / 32 ] simplifiying candidate #<alt-event (λ (a b c d) (* (+ a (+ d (+ b c))) 2))>
* [enter]simplify:  Simplifying (* (+ a (+ d (+ b c))) 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 (301 enodes)
* * [misc]simplify:  iters left: 1 (407 enodes)
* [exit]simplify:  Simplified to (* 2 (+ (+ b c) (+ a d)))
* * * * [misc]progress:  [ 31 / 32 ] simplifiying candidate #<alt-event (λ (a b c d) (* (+ a (+ d (+ b c))) 2))>
* [enter]simplify:  Simplifying (* (+ a (+ d (+ b c))) 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 (301 enodes)
* * [misc]simplify:  iters left: 1 (407 enodes)
* [exit]simplify:  Simplified to (* 2 (+ (+ b c) (+ a d)))
* * * * [misc]progress:  [ 32 / 32 ] simplifiying candidate #<alt-event (λ (a b c d) (* (+ a (- b (+ d c))) 2))>
* [enter]simplify:  Simplifying (* (+ a (- b (+ d c))) 2)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (102 enodes)
* * [misc]simplify:  iters left: 2 (238 enodes)
* * [misc]simplify:  iters left: 1 (491 enodes)
* [exit]simplify:  Simplified to (* 2 (+ (- b d) (- a c)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (a b c d) (* (cbrt (pow (+ (+ c b) (+ d a)) 3)) 2))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (cbrt (pow (+ (+ c b) (+ d a)) 3)) in (c b d a) around 0
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ c b) (+ d a)) 3)) in a
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ c b) (+ d a)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3)))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ c b) (+ d a)) 3)) in a
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ c b) (+ d a)) 3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ c b) (+ d a))))) in a
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ c b) (+ d a)))) in a
* [misc]taylor:  Taking taylor expansion of 3 in a
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ c b) (+ d a))) in a
* [misc]taylor:  Taking taylor expansion of (+ (+ c b) (+ d a)) in a
* [misc]taylor:  Taking taylor expansion of (+ c b) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [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]backup-simplify:  Simplify (+ c b) into (+ b c)
* [misc]backup-simplify:  Simplify d into d
* [misc]backup-simplify:  Simplify (+ (+ b c) d) into (+ d (+ b c))
* [misc]backup-simplify:  Simplify (log (+ d (+ b c))) into (log (+ d (+ b c)))
* [misc]backup-simplify:  Simplify (* 3 (log (+ d (+ b c)))) into (* 3 (log (+ d (+ b c))))
* [misc]backup-simplify:  Simplify (exp (* 3 (log (+ d (+ b c))))) into (pow (+ d (+ b c)) 3)
* [misc]backup-simplify:  Simplify (log (pow (+ d (+ b c)) 3)) into (log (pow (+ d (+ b c)) 3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (+ d (+ b c)) 3))) into (* 1/3 (log (pow (+ d (+ b c)) 3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (+ d (+ b c)) 3)))) into (pow (pow (+ d (+ b c)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ c b) (+ d a)) 3)) in d
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ c b) (+ d a)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3)))) in d
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3))) in d
* [misc]taylor:  Taking taylor expansion of 1/3 in d
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ c b) (+ d a)) 3)) in d
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ c b) (+ d a)) 3) in d
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ c b) (+ d a))))) in d
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ c b) (+ d a)))) in d
* [misc]taylor:  Taking taylor expansion of 3 in d
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ c b) (+ d a))) in d
* [misc]taylor:  Taking taylor expansion of (+ (+ c b) (+ d a)) in d
* [misc]taylor:  Taking taylor expansion of (+ c b) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [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]backup-simplify:  Simplify (+ c b) into (+ b c)
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (+ (+ b c) a) into (+ a (+ b c))
* [misc]backup-simplify:  Simplify (log (+ a (+ b c))) into (log (+ a (+ b c)))
* [misc]backup-simplify:  Simplify (* 3 (log (+ a (+ b c)))) into (* 3 (log (+ a (+ b c))))
* [misc]backup-simplify:  Simplify (exp (* 3 (log (+ a (+ b c))))) into (pow (+ a (+ b c)) 3)
* [misc]backup-simplify:  Simplify (log (pow (+ a (+ b c)) 3)) into (log (pow (+ a (+ b c)) 3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (+ a (+ b c)) 3))) into (* 1/3 (log (pow (+ a (+ b c)) 3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (+ a (+ b c)) 3)))) into (pow (pow (+ a (+ b c)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ c b) (+ d a)) 3)) in b
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ c b) (+ d a)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3)))) in b
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3))) in b
* [misc]taylor:  Taking taylor expansion of 1/3 in b
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ c b) (+ d a)) 3)) in b
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ c b) (+ d a)) 3) in b
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ c b) (+ d a))))) in b
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ c b) (+ d a)))) in b
* [misc]taylor:  Taking taylor expansion of 3 in b
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ c b) (+ d a))) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ c b) (+ d a)) in b
* [misc]taylor:  Taking taylor expansion of (+ c b) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]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]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (+ d a) into (+ d a)
* [misc]backup-simplify:  Simplify (+ c (+ d a)) into (+ d (+ a c))
* [misc]backup-simplify:  Simplify (log (+ d (+ a c))) into (log (+ d (+ a c)))
* [misc]backup-simplify:  Simplify (* 3 (log (+ d (+ a c)))) into (* 3 (log (+ d (+ a c))))
* [misc]backup-simplify:  Simplify (exp (* 3 (log (+ d (+ a c))))) into (pow (+ d (+ a c)) 3)
* [misc]backup-simplify:  Simplify (log (pow (+ d (+ a c)) 3)) into (log (pow (+ d (+ a c)) 3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (+ d (+ a c)) 3))) into (* 1/3 (log (pow (+ d (+ a c)) 3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (+ d (+ a c)) 3)))) into (pow (pow (+ d (+ a c)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ c b) (+ d a)) 3)) in c
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ c b) (+ d a)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ c b) (+ d a)) 3)) in c
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ c b) (+ d a)) 3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ c b) (+ d a))))) in c
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ c b) (+ d a)))) in c
* [misc]taylor:  Taking taylor expansion of 3 in c
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ c b) (+ d a))) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ c b) (+ d a)) in c
* [misc]taylor:  Taking taylor expansion of (+ c b) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 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]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (+ d a) into (+ d a)
* [misc]backup-simplify:  Simplify (+ b (+ d a)) into (+ d (+ a b))
* [misc]backup-simplify:  Simplify (log (+ d (+ a b))) into (log (+ d (+ a b)))
* [misc]backup-simplify:  Simplify (* 3 (log (+ d (+ a b)))) into (* 3 (log (+ d (+ a b))))
* [misc]backup-simplify:  Simplify (exp (* 3 (log (+ d (+ a b))))) into (pow (+ d (+ a b)) 3)
* [misc]backup-simplify:  Simplify (log (pow (+ d (+ a b)) 3)) into (log (pow (+ d (+ a b)) 3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (+ d (+ a b)) 3))) into (* 1/3 (log (pow (+ d (+ a b)) 3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (+ d (+ a b)) 3)))) into (pow (pow (+ d (+ a b)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ c b) (+ d a)) 3)) in c
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ c b) (+ d a)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ c b) (+ d a)) 3))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ c b) (+ d a)) 3)) in c
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ c b) (+ d a)) 3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ c b) (+ d a))))) in c
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ c b) (+ d a)))) in c
* [misc]taylor:  Taking taylor expansion of 3 in c
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ c b) (+ d a))) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ c b) (+ d a)) in c
* [misc]taylor:  Taking taylor expansion of (+ c b) in c
* [misc]taylor:  Taking taylor expansion of c in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 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]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (+ d a) into (+ d a)
* [misc]backup-simplify:  Simplify (+ b (+ d a)) into (+ d (+ a b))
* [misc]backup-simplify:  Simplify (log (+ d (+ a b))) into (log (+ d (+ a b)))
* [misc]backup-simplify:  Simplify (* 3 (log (+ d (+ a b)))) into (* 3 (log (+ d (+ a b))))
* [misc]backup-simplify:  Simplify (exp (* 3 (log (+ d (+ a b))))) into (pow (+ d (+ a b)) 3)
* [misc]backup-simplify:  Simplify (log (pow (+ d (+ a b)) 3)) into (log (pow (+ d (+ a b)) 3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (+ d (+ a b)) 3))) into (* 1/3 (log (pow (+ d (+ a b)) 3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (+ d (+ a b)) 3)))) into (pow (pow (+ d (+ a b)) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (pow (+ d (+ a b)) 3) 1/3) in b
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ d (+ a b)) 3)))) in b
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ d (+ a b)) 3))) in b
* [misc]taylor:  Taking taylor expansion of 1/3 in b
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ d (+ a b)) 3)) in b
* [misc]taylor:  Taking taylor expansion of (pow (+ d (+ a b)) 3) in b
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ d (+ a b))))) in b
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ d (+ a b)))) in b
* [misc]taylor:  Taking taylor expansion of 3 in b
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ d (+ a b))) in b
* [misc]taylor:  Taking taylor expansion of (+ d (+ a b)) 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 b) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (+ d a) into (+ d a)
* [misc]backup-simplify:  Simplify (log (+ d a)) into (log (+ d a))
* [misc]backup-simplify:  Simplify (* 3 (log (+ d a))) into (* 3 (log (+ d a)))
* [misc]backup-simplify:  Simplify (exp (* 3 (log (+ d a)))) into (pow (+ d a) 3)
* [misc]backup-simplify:  Simplify (log (pow (+ d a) 3)) into (log (pow (+ d a) 3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow (+ d a) 3))) into (* 1/3 (log (pow (+ d a) 3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (+ d a) 3)))) into (pow (pow (+ d a) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (pow (+ d a) 3) 1/3) in d
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ d a) 3)))) in d
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ d a) 3))) in d
* [misc]taylor:  Taking taylor expansion of 1/3 in d
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ d a) 3)) in d
* [misc]taylor:  Taking taylor expansion of (pow (+ d a) 3) in d
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ d a)))) in d
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ d a))) in d
* [misc]taylor:  Taking taylor expansion of 3 in d
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ d a)) in d
* [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]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (log a) into (log a)
* [misc]backup-simplify:  Simplify (* 3 (log a)) into (* 3 (log a))
* [misc]backup-simplify:  Simplify (exp (* 3 (log a))) into (pow a 3)
* [misc]backup-simplify:  Simplify (log (pow a 3)) into (log (pow a 3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow a 3))) into (* 1/3 (log (pow a 3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow a 3)))) into (pow (pow a 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (pow a 3) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow a 3)))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow a 3))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow a 3)) in a
* [misc]taylor:  Taking taylor expansion of (pow a 3) in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 3 (log a)) into (* 3 (log a))
* [misc]backup-simplify:  Simplify (* 1/3 (* 3 (log a))) into (log a)
* [misc]backup-simplify:  Simplify (exp (log a)) into a
* [misc]backup-simplify:  Simplify a into 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 (/ 1 (+ d (+ a b))) into (/ 1 (+ d (+ a b)))
* [misc]backup-simplify:  Simplify (* 3 (/ 1 (+ d (+ a b)))) into (/ 3 (+ d (+ a b)))
* [misc]backup-simplify:  Simplify (* (pow (+ d (+ a b)) 3) (/ 3 (+ d (+ a b)))) into (* 3 (pow (+ d (+ a b)) 2))
* [misc]backup-simplify:  Simplify (/ (* 3 (pow (+ d (+ a b)) 2)) (pow (+ d (+ a b)) 3)) into (/ 3 (+ d (+ a b)))
* [misc]backup-simplify:  Simplify (* 1/3 (/ 3 (+ d (+ a b)))) into (/ 1 (+ d (+ a b)))
* [misc]backup-simplify:  Simplify (* (pow (pow (+ d (+ a b)) 3) 1/3) (/ 1 (+ d (+ a b)))) into 1
* [misc]taylor:  Taking taylor expansion of 1 in b
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in d
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in 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 into 1
* [misc]backup-simplify:  Simplify (/ 1 (+ d a)) into (/ 1 (+ d a))
* [misc]backup-simplify:  Simplify (* 3 (/ 1 (+ d a))) into (/ 3 (+ d a))
* [misc]backup-simplify:  Simplify (* (pow (+ d a) 3) (/ 3 (+ d a))) into (* 3 (pow (+ d a) 2))
* [misc]backup-simplify:  Simplify (/ (* 3 (pow (+ d a) 2)) (pow (+ d a) 3)) into (/ 3 (+ d a))
* [misc]backup-simplify:  Simplify (* 1/3 (/ 3 (+ d a))) into (/ 1 (+ d a))
* [misc]backup-simplify:  Simplify (* (pow (pow (+ d a) 3) 1/3) (/ 1 (+ d a))) 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 (+ b (+ c a)) into (+ a (+ b c))
* [misc]approximate:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in (c b d a) around 0
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in a
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in a
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))))) in a
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of 3 in a
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))) in a
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
* [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) 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 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (log a)) into (* -1 (log a))
* [misc]backup-simplify:  Simplify (* 3 (* -1 (log a))) into (* -3 (log a))
* [misc]backup-simplify:  Simplify (exp (* -3 (log a))) into (pow a -3)
* [misc]backup-simplify:  Simplify (log (pow a -3)) into (log (pow a -3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow a -3))) into (* 1/3 (log (pow a -3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow a -3)))) into (pow (pow a -3) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in d
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)))) in d
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3))) in d
* [misc]taylor:  Taking taylor expansion of 1/3 in d
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in d
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) in d
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))))) in d
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))))) in d
* [misc]taylor:  Taking taylor expansion of 3 in d
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))) in d
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) 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 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 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]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (log d)) into (* -1 (log d))
* [misc]backup-simplify:  Simplify (* 3 (* -1 (log d))) into (* -3 (log d))
* [misc]backup-simplify:  Simplify (exp (* -3 (log d))) into (pow d -3)
* [misc]backup-simplify:  Simplify (log (pow d -3)) into (log (pow d -3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow d -3))) into (* 1/3 (log (pow d -3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow d -3)))) into (pow (pow d -3) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in b
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)))) in b
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3))) in b
* [misc]taylor:  Taking taylor expansion of 1/3 in b
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in b
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) in b
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))))) in b
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))))) in b
* [misc]taylor:  Taking taylor expansion of 3 in b
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 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 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]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (log b)) into (* -1 (log b))
* [misc]backup-simplify:  Simplify (* 3 (* -1 (log b))) into (* -3 (log b))
* [misc]backup-simplify:  Simplify (exp (* -3 (log b))) into (pow b -3)
* [misc]backup-simplify:  Simplify (log (pow b -3)) into (log (pow b -3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow b -3))) into (* 1/3 (log (pow b -3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow b -3)))) into (pow (pow b -3) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in c
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in c
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))))) in c
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of 3 in c
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) 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 into 1
* [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]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (log c)) into (* -1 (log c))
* [misc]backup-simplify:  Simplify (* 3 (* -1 (log c))) into (* -3 (log c))
* [misc]backup-simplify:  Simplify (exp (* -3 (log c))) into (pow c -3)
* [misc]backup-simplify:  Simplify (log (pow c -3)) into (log (pow c -3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow c -3))) into (* 1/3 (log (pow c -3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow c -3)))) into (pow (pow c -3) 1/3)
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in c
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3)) in c
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) 3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))))) in c
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))))) in c
* [misc]taylor:  Taking taylor expansion of 3 in c
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 c) (/ 1 b)) (+ (/ 1 d) (/ 1 a))) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) 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 into 1
* [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]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (log c)) into (* -1 (log c))
* [misc]backup-simplify:  Simplify (* 3 (* -1 (log c))) into (* -3 (log c))
* [misc]backup-simplify:  Simplify (exp (* -3 (log c))) into (pow c -3)
* [misc]backup-simplify:  Simplify (log (pow c -3)) into (log (pow c -3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow c -3))) into (* 1/3 (log (pow c -3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow c -3)))) into (pow (pow c -3) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (pow c -3) 1/3) in b
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow c -3)))) in b
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow c -3))) in b
* [misc]taylor:  Taking taylor expansion of 1/3 in b
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow c -3)) in b
* [misc]taylor:  Taking taylor expansion of (pow c -3) in b
* [misc]taylor:  Taking taylor expansion of (exp (* -3 (log c))) in b
* [misc]taylor:  Taking taylor expansion of (* -3 (log c)) in b
* [misc]taylor:  Taking taylor expansion of -3 in b
* [misc]backup-simplify:  Simplify -3 into -3
* [misc]taylor:  Taking taylor expansion of (log c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (* -3 (log c)) into (* -3 (log c))
* [misc]backup-simplify:  Simplify (exp (* -3 (log c))) into (pow c -3)
* [misc]backup-simplify:  Simplify (log (pow c -3)) into (log (pow c -3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow c -3))) into (* 1/3 (log (pow c -3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow c -3)))) into (pow (pow c -3) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (pow c -3) 1/3) in d
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow c -3)))) in d
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow c -3))) in d
* [misc]taylor:  Taking taylor expansion of 1/3 in d
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow c -3)) in d
* [misc]taylor:  Taking taylor expansion of (pow c -3) in d
* [misc]taylor:  Taking taylor expansion of (exp (* -3 (log c))) in d
* [misc]taylor:  Taking taylor expansion of (* -3 (log c)) in d
* [misc]taylor:  Taking taylor expansion of -3 in d
* [misc]backup-simplify:  Simplify -3 into -3
* [misc]taylor:  Taking taylor expansion of (log c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (* -3 (log c)) into (* -3 (log c))
* [misc]backup-simplify:  Simplify (exp (* -3 (log c))) into (pow c -3)
* [misc]backup-simplify:  Simplify (log (pow c -3)) into (log (pow c -3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow c -3))) into (* 1/3 (log (pow c -3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow c -3)))) into (pow (pow c -3) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (pow c -3) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow c -3)))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow c -3))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow c -3)) in a
* [misc]taylor:  Taking taylor expansion of (pow c -3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* -3 (log c))) in a
* [misc]taylor:  Taking taylor expansion of (* -3 (log c)) in a
* [misc]taylor:  Taking taylor expansion of -3 in a
* [misc]backup-simplify:  Simplify -3 into -3
* [misc]taylor:  Taking taylor expansion of (log c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (* -3 (log c)) into (* -3 (log c))
* [misc]backup-simplify:  Simplify (exp (* -3 (log c))) into (pow c -3)
* [misc]backup-simplify:  Simplify (log (pow c -3)) into (log (pow c -3))
* [misc]backup-simplify:  Simplify (* 1/3 (log (pow c -3))) into (* 1/3 (log (pow c -3)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow c -3)))) into (pow (pow c -3) 1/3)
* [misc]backup-simplify:  Simplify (pow (pow c -3) 1/3) into (pow (pow c -3) 1/3)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 b) into (/ 1 b)
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 d) (/ 1 a))
* [misc]backup-simplify:  Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 b)))
* [misc]backup-simplify:  Simplify (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 a)))
* [misc]backup-simplify:  Simplify (* -1 (log c)) into (* -1 (log c))
* [misc]backup-simplify:  Simplify (* 3 (+ (/ 1 b) (+ (/ 1 d) (/ 1 a)))) into (* 3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))))
* [misc]backup-simplify:  Simplify (* (pow c -3) (* 3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))))) into (* 3 (/ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (pow c 3)))
* [misc]backup-simplify:  Simplify (/ (* 3 (/ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (pow c 3))) (pow c -3)) into (* 3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))))
* [misc]backup-simplify:  Simplify (* 1/3 (* 3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 a)))
* [misc]backup-simplify:  Simplify (* (pow (pow c -3) 1/3) (+ (/ 1 b) (+ (/ 1 d) (/ 1 a)))) into (/ (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) c)
* [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) c) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) 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 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 into 1
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 d) (/ 1 a))
* [misc]backup-simplify:  Simplify (+ (/ (+ (/ 1 d) (/ 1 a)) c) (* (/ 1 c) (/ 0 c))) into (+ (/ 1 (* d c)) (/ 1 (* a c)))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* d c)) (/ 1 (* a c))) in d
* [misc]taylor:  Taking taylor expansion of (/ 1 (* d c)) in d
* [misc]taylor:  Taking taylor expansion of (* d c) 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 c in d
* [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) into (/ 1 c)
* [misc]taylor:  Taking taylor expansion of (/ 1 (* a c)) in d
* [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]backup-simplify:  Simplify (* a c) into (* a c)
* [misc]backup-simplify:  Simplify (/ 1 (* a c)) into (/ 1 (* a c))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* a c)) into (/ 1 (* a c))
* [misc]taylor:  Taking taylor expansion of (/ 1 (* a c)) in a
* [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 into 0
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (/ 1 c) into (/ 1 c)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 c) (/ 0 c)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (pow c -3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (pow c -3)) into 0
* [misc]backup-simplify:  Simplify 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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 (pow c -3)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 b) (/ 0 b)) into 0
* [misc]backup-simplify:  Simplify 0 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (* -1 (pow (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) 2)) 2) into (* -1/2 (pow (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 2))
* [misc]backup-simplify:  Simplify (* -1 (log c)) into (* -1 (log c))
* [misc]backup-simplify:  Simplify (* 3 (* -1/2 (pow (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 2))) into (* -3/2 (pow (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) 2))
* [misc]backup-simplify:  Simplify (* (pow c -3) (+ (/ (pow (* 3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b)))) 2) 2) (* -3/2 (pow (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) 2)))) into (/ (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))) (pow c 3))
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (pow (* 3 (/ (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) (pow c 3))) 2) (pow (pow c -3) 2))) (/ (* 2 (/ (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))) (pow c 3))) (pow c -3))) 2) into (* -1/2 (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))))
* [misc]backup-simplify:  Simplify (* 1/3 (* -1/2 (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))))) into (* -1/6 (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))))
* [misc]backup-simplify:  Simplify (* (pow (pow c -3) 1/3) (+ (/ (pow (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 2) 2) (* -1/6 (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2))))))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 a) (/ 0 a)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d) (/ 0 d)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (/ 0 c) (+ (* (/ 1 c) (/ 0 c)) (* (+ (/ 1 (* d c)) (/ 1 (* a c))) (/ 0 c)))) 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 0 into 0
* [misc]backup-simplify:  Simplify (pow (pow (/ 1 c) -3) 1/3) into (pow (pow (/ 1 c) -3) 1/3)
* [misc]approximate:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in (c b d a) around 0
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in a
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in a
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))))) in a
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of 3 in a
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))) in a
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- b))) in a
* [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)) 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 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* -1 (log a)) (log -1)) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (* 3 (- (log -1) (log a))) into (* 3 (- (log -1) (log a)))
* [misc]backup-simplify:  Simplify (exp (* 3 (- (log -1) (log a)))) into (exp (* 3 (- (log -1) (log a))))
* [misc]backup-simplify:  Simplify (log (exp (* 3 (- (log -1) (log a))))) into (* 3 (- (log -1) (log a)))
* [misc]backup-simplify:  Simplify (* 1/3 (* 3 (- (log -1) (log a)))) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a)))
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in d
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)))) in d
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3))) in d
* [misc]taylor:  Taking taylor expansion of 1/3 in d
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in d
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) in d
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))))) in d
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))))) in d
* [misc]taylor:  Taking taylor expansion of 3 in d
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))) in d
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) in d
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- b))) in d
* [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)) 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 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]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* -1 (log d)) (log -1)) into (- (log -1) (log d))
* [misc]backup-simplify:  Simplify (* 3 (- (log -1) (log d))) into (* 3 (- (log -1) (log d)))
* [misc]backup-simplify:  Simplify (exp (* 3 (- (log -1) (log d)))) into (exp (* 3 (- (log -1) (log d))))
* [misc]backup-simplify:  Simplify (log (exp (* 3 (- (log -1) (log d))))) into (* 3 (- (log -1) (log d)))
* [misc]backup-simplify:  Simplify (* 1/3 (* 3 (- (log -1) (log d)))) into (- (log -1) (log d))
* [misc]backup-simplify:  Simplify (exp (- (log -1) (log d))) into (exp (- (log -1) (log d)))
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in b
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)))) in b
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3))) in b
* [misc]taylor:  Taking taylor expansion of 1/3 in b
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in b
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) in b
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))))) in b
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))))) in b
* [misc]taylor:  Taking taylor expansion of 3 in b
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))) in b
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- b))) in b
* [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)) 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 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]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* -1 (log b)) (log -1)) into (- (log -1) (log b))
* [misc]backup-simplify:  Simplify (* 3 (- (log -1) (log b))) into (* 3 (- (log -1) (log b)))
* [misc]backup-simplify:  Simplify (exp (* 3 (- (log -1) (log b)))) into (exp (* 3 (- (log -1) (log b))))
* [misc]backup-simplify:  Simplify (log (exp (* 3 (- (log -1) (log b))))) into (* 3 (- (log -1) (log b)))
* [misc]backup-simplify:  Simplify (* 1/3 (* 3 (- (log -1) (log b)))) into (- (log -1) (log b))
* [misc]backup-simplify:  Simplify (exp (- (log -1) (log b))) into (exp (- (log -1) (log b)))
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in c
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in c
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))))) in c
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of 3 in c
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- b))) in c
* [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 into -1
* [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]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* -1 (log c)) (log -1)) into (- (log -1) (log c))
* [misc]backup-simplify:  Simplify (* 3 (- (log -1) (log c))) into (* 3 (- (log -1) (log c)))
* [misc]backup-simplify:  Simplify (exp (* 3 (- (log -1) (log c)))) into (exp (* 3 (- (log -1) (log c))))
* [misc]backup-simplify:  Simplify (log (exp (* 3 (- (log -1) (log c))))) into (* 3 (- (log -1) (log c)))
* [misc]backup-simplify:  Simplify (* 1/3 (* 3 (- (log -1) (log c)))) into (- (log -1) (log c))
* [misc]backup-simplify:  Simplify (exp (- (log -1) (log c))) into (exp (- (log -1) (log c)))
* [misc]taylor:  Taking taylor expansion of (cbrt (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in c
* [misc]taylor:  Rewrote expression to (pow (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) 1/3)
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3)) in c
* [misc]taylor:  Taking taylor expansion of (pow (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) 3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))))) in c
* [misc]taylor:  Taking taylor expansion of (* 3 (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))))) in c
* [misc]taylor:  Taking taylor expansion of 3 in c
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]taylor:  Taking taylor expansion of (log (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a))))) in c
* [misc]taylor:  Taking taylor expansion of (+ (+ (/ 1 (- c)) (/ 1 (- b))) (+ (/ 1 (- d)) (/ 1 (- a)))) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- c)) (/ 1 (- b))) in c
* [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 into -1
* [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]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* -1 (log c)) (log -1)) into (- (log -1) (log c))
* [misc]backup-simplify:  Simplify (* 3 (- (log -1) (log c))) into (* 3 (- (log -1) (log c)))
* [misc]backup-simplify:  Simplify (exp (* 3 (- (log -1) (log c)))) into (exp (* 3 (- (log -1) (log c))))
* [misc]backup-simplify:  Simplify (log (exp (* 3 (- (log -1) (log c))))) into (* 3 (- (log -1) (log c)))
* [misc]backup-simplify:  Simplify (* 1/3 (* 3 (- (log -1) (log c)))) into (- (log -1) (log c))
* [misc]backup-simplify:  Simplify (exp (- (log -1) (log c))) into (exp (- (log -1) (log c)))
* [misc]taylor:  Taking taylor expansion of (exp (- (log -1) (log c))) in b
* [misc]taylor:  Taking taylor expansion of (- (log -1) (log c)) in b
* [misc]taylor:  Taking taylor expansion of (log -1) in b
* [misc]taylor:  Taking taylor expansion of -1 in b
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (+ (log -1) (log c)) into (+ (log -1) (log c))
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [misc]taylor:  Taking taylor expansion of (exp (+ (log -1) (log c))) in d
* [misc]taylor:  Taking taylor expansion of (+ (log -1) (log c)) in d
* [misc]taylor:  Taking taylor expansion of (log -1) in d
* [misc]taylor:  Taking taylor expansion of -1 in d
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (+ (log -1) (log c)) into (+ (log -1) (log c))
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [misc]taylor:  Taking taylor expansion of (exp (+ (log -1) (log c))) in a
* [misc]taylor:  Taking taylor expansion of (+ (log -1) (log c)) in a
* [misc]taylor:  Taking taylor expansion of (log -1) in a
* [misc]taylor:  Taking taylor expansion of -1 in a
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (+ (log -1) (log c)) into (+ (log -1) (log c))
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log 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 b) into (/ 1 b)
* [misc]backup-simplify:  Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 d) (/ 1 a))
* [misc]backup-simplify:  Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 b)))
* [misc]backup-simplify:  Simplify (/ (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) -1) into (* -1 (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))))
* [misc]backup-simplify:  Simplify (+ (* -1 (log c)) (log -1)) into (- (log -1) (log c))
* [misc]backup-simplify:  Simplify (* 3 (* -1 (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))))) into (* -3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))))
* [misc]backup-simplify:  Simplify (* (exp (* 3 (- (log -1) (log c)))) (* -3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))))) into (* -3 (* (exp (* 3 (- (log -1) (log c)))) (+ (/ 1 b) (+ (/ 1 d) (/ 1 a)))))
* [misc]backup-simplify:  Simplify (/ (* -3 (* (exp (* 3 (- (log -1) (log c)))) (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))))) (exp (* 3 (- (log -1) (log c))))) into (* -3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))))
* [misc]backup-simplify:  Simplify (* 1/3 (* -3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))))) into (* -1 (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))))
* [misc]backup-simplify:  Simplify (* (exp (- (log -1) (log c))) (* -1 (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))))) into (* -1 (* (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) (exp (- (log -1) (log c)))))
* [misc]taylor:  Taking taylor expansion of (* -1 (* (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) (exp (- (log -1) (log c))))) in b
* [misc]taylor:  Taking taylor expansion of -1 in b
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) (exp (- (log -1) (log c)))) in b
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in b
* [misc]taylor:  Taking taylor expansion of a in b
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) 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 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 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (log -1) (log c))) in b
* [misc]taylor:  Taking taylor expansion of (- (log -1) (log c)) in b
* [misc]taylor:  Taking taylor expansion of (log -1) in b
* [misc]taylor:  Taking taylor expansion of -1 in b
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log c) in b
* [misc]taylor:  Taking taylor expansion of c in b
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (+ (log -1) (log c)) into (+ (log -1) (log c))
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 d) into (/ 1 d)
* [misc]backup-simplify:  Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 d) (/ 1 a))
* [misc]backup-simplify:  Simplify (* (+ (/ 1 d) (/ 1 a)) (exp (+ (log -1) (log c)))) into (* (exp (+ (log -1) (log c))) (+ (/ 1 d) (/ 1 a)))
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [misc]backup-simplify:  Simplify (* -1 (* (exp (+ (log -1) (log c))) (+ (/ 1 d) (/ 1 a)))) into (* -1 (* (exp (+ (log -1) (log c))) (+ (/ 1 d) (/ 1 a))))
* [misc]taylor:  Taking taylor expansion of (* -1 (* (exp (+ (log -1) (log c))) (+ (/ 1 d) (/ 1 a)))) in d
* [misc]taylor:  Taking taylor expansion of -1 in d
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* (exp (+ (log -1) (log c))) (+ (/ 1 d) (/ 1 a))) in d
* [misc]taylor:  Taking taylor expansion of (exp (+ (log -1) (log c))) in d
* [misc]taylor:  Taking taylor expansion of (+ (log -1) (log c)) in d
* [misc]taylor:  Taking taylor expansion of (log -1) in d
* [misc]taylor:  Taking taylor expansion of -1 in d
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log c) in d
* [misc]taylor:  Taking taylor expansion of c in d
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (+ (log -1) (log c)) into (+ (log -1) (log c))
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [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 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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (exp (+ (log -1) (log c))) (/ 1 a)) into (/ (exp (+ (log -1) (log c))) a)
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [misc]backup-simplify:  Simplify (* -1 (/ (exp (+ (log -1) (log c))) a)) into (* -1 (/ (exp (+ (log -1) (log c))) a))
* [misc]taylor:  Taking taylor expansion of (* -1 (/ (exp (+ (log -1) (log c))) a)) in a
* [misc]taylor:  Taking taylor expansion of -1 in a
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (/ (exp (+ (log -1) (log c))) a) in a
* [misc]taylor:  Taking taylor expansion of (exp (+ (log -1) (log c))) in a
* [misc]taylor:  Taking taylor expansion of (+ (log -1) (log c)) in a
* [misc]taylor:  Taking taylor expansion of (log -1) in a
* [misc]taylor:  Taking taylor expansion of -1 in a
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log c) in a
* [misc]taylor:  Taking taylor expansion of c in a
* [misc]backup-simplify:  Simplify c into c
* [misc]backup-simplify:  Simplify (log c) into (log c)
* [misc]backup-simplify:  Simplify (+ (log -1) (log c)) into (+ (log -1) (log c))
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [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 (exp (+ (log -1) (log c))) into (exp (+ (log -1) (log c)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in 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 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 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]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ 0 c) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -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 0 into 0
* [misc]backup-simplify:  Simplify b into b
* [misc]backup-simplify:  Simplify (* (/ 1 b) (/ 0 b)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 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 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (* -1 (pow (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) 2)) 2) into (* -1/2 (pow (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 2))
* [misc]backup-simplify:  Simplify (+ (* -1 (log c)) (log -1)) into (- (log -1) (log c))
* [misc]backup-simplify:  Simplify (* 3 (* -1/2 (pow (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))) 2))) into (* -3/2 (pow (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) 2))
* [misc]backup-simplify:  Simplify (* (exp (* 3 (- (log -1) (log c)))) (+ (/ (pow (* -3 (+ (/ 1 a) (+ (/ 1 d) (/ 1 b)))) 2) 2) (* -3/2 (pow (+ (/ 1 a) (+ (/ 1 d) (/ 1 b))) 2)))) into (* (exp (* 3 (- (log -1) (log c)))) (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))))
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (pow (* -3 (* (exp (* 3 (- (log -1) (log c)))) (+ (/ 1 b) (+ (/ 1 d) (/ 1 a))))) 2) (pow (exp (* 3 (- (log -1) (log c)))) 2))) (/ (* 2 (* (exp (* 3 (- (log -1) (log c)))) (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))))) (exp (* 3 (- (log -1) (log c)))))) 2) into (* -1/2 (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))))
* [misc]backup-simplify:  Simplify (* 1/3 (* -1/2 (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))))) into (* -1/6 (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2)))))))))
* [misc]backup-simplify:  Simplify (* (exp (- (log -1) (log c))) (+ (/ (pow (* -1 (+ (/ 1 b) (+ (/ 1 d) (/ 1 a)))) 2) 2) (* -1/6 (+ (* 3 (/ 1 (pow b 2))) (+ (* 6 (/ 1 (* a b))) (+ (* 6 (/ 1 (* d b))) (+ (* 3 (/ 1 (pow a 2))) (+ (* 6 (/ 1 (* d a))) (* 3 (/ 1 (pow d 2))))))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ 0 (pow c 2))) (/ 0 c)) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (/ 1 a) (/ 0 a)) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 d) (/ 0 d)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 0 into 0
* [misc]backup-simplify:  Simplify (exp (+ (log -1) (log (/ 1 (- c))))) into (exp (+ (log -1) (log (/ -1 c))))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (log1p (expm1 (cbrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (expm1 (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (88 enodes)
* [exit]simplify:  Simplified to (expm1 (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (expm1 (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 2 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (expm1 (log1p (cbrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (log1p (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (88 enodes)
* [exit]simplify:  Simplified to (log1p (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (log1p (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 3 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (pow (pow (+ (+ c b) (+ d a)) 3) 1/3) 2))>
* * * * [misc]progress:  [ 4 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (pow (cbrt (pow (+ (+ c b) (+ d a)) 3)) 1) 2))>
* * * * [misc]progress:  [ 5 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (exp (log (cbrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (log (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (88 enodes)
* [exit]simplify:  Simplified to (log (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (log (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 6 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (log (exp (cbrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (exp (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (98 enodes)
* [exit]simplify:  Simplified to (exp (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (exp (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 7 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (pow (* (cbrt (+ (+ c b) (+ d a))) (cbrt (+ (+ c b) (+ d a)))) 3)) (cbrt (pow (cbrt (+ (+ c b) (+ d a))) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (* (cbrt (+ (+ c b) (+ d a))) (cbrt (+ (+ c b) (+ d a)))) 3))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (130 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (+ c b) (+ a d))) (cbrt (+ (+ c b) (+ a d))))
* [exit]simplify:  Simplified to (* (cbrt (+ (+ c b) (+ a d))) (cbrt (+ (+ c b) (+ a d))))
* [enter]simplify:  Simplifying (cbrt (pow (cbrt (+ (+ c b) (+ d a))) 3))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (72 enodes)
* * [misc]simplify:  iters left: 2 (90 enodes)
* * [misc]simplify:  iters left: 1 (93 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 8 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (pow (sqrt (+ (+ c b) (+ d a))) 3)) (cbrt (pow (sqrt (+ (+ c b) (+ d a))) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (sqrt (+ (+ c b) (+ d a))) 3))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (108 enodes)
* * [misc]simplify:  iters left: 2 (232 enodes)
* * [misc]simplify:  iters left: 1 (383 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [enter]simplify:  Simplifying (cbrt (pow (sqrt (+ (+ c b) (+ d a))) 3))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (108 enodes)
* * [misc]simplify:  iters left: 2 (232 enodes)
* * [misc]simplify:  iters left: 1 (383 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 9 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (pow 1 3)) (cbrt (pow (+ (+ c b) (+ d a)) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow 1 3))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (cbrt 1)
* [exit]simplify:  Simplified to (cbrt 1)
* [enter]simplify:  Simplifying (cbrt (pow (+ (+ c b) (+ d a)) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (87 enodes)
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* * * * [misc]progress:  [ 10 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (pow 1 3)) (cbrt (pow (+ (+ c b) (+ d a)) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow 1 3))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (cbrt 1)
* [exit]simplify:  Simplified to (cbrt 1)
* [enter]simplify:  Simplifying (cbrt (pow (+ (+ c b) (+ d a)) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (87 enodes)
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* * * * [misc]progress:  [ 11 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (* (+ (+ c b) (+ d a)) (+ (+ c b) (+ d a)))) (cbrt (+ (+ c b) (+ d a)))) 2))>
* [enter]simplify:  Simplifying (cbrt (* (+ (+ c b) (+ d a)) (+ (+ c b) (+ d a))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (101 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ (+ c b) (+ a d)) (+ (+ c b) (+ a d))))
* [exit]simplify:  Simplified to (cbrt (* (+ (+ c b) (+ a d)) (+ (+ c b) (+ a d))))
* [enter]simplify:  Simplifying (cbrt (+ (+ c b) (+ d a)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (58 enodes)
* * [misc]simplify:  iters left: 1 (80 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 12 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (* (cbrt (pow (+ (+ c b) (+ d a)) 3)) (cbrt (pow (+ (+ c b) (+ d a)) 3)))) (cbrt (cbrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (cbrt (* (cbrt (pow (+ (+ c b) (+ d a)) 3)) (cbrt (pow (+ (+ c b) (+ d a)) 3))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (63 enodes)
* * [misc]simplify:  iters left: 3 (431 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ (+ d c) (+ a b)) (+ (+ d c) (+ a b))))
* [exit]simplify:  Simplified to (cbrt (* (+ (+ d c) (+ a b)) (+ (+ d c) (+ a b))))
* [enter]simplify:  Simplifying (cbrt (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (88 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 13 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (pow (* (cbrt (+ (+ c b) (+ d a))) (cbrt (+ (+ c b) (+ d a)))) 3)) (cbrt (pow (cbrt (+ (+ c b) (+ d a))) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (* (cbrt (+ (+ c b) (+ d a))) (cbrt (+ (+ c b) (+ d a)))) 3))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (130 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (+ c b) (+ a d))) (cbrt (+ (+ c b) (+ a d))))
* [exit]simplify:  Simplified to (* (cbrt (+ (+ c b) (+ a d))) (cbrt (+ (+ c b) (+ a d))))
* [enter]simplify:  Simplifying (cbrt (pow (cbrt (+ (+ c b) (+ d a))) 3))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (72 enodes)
* * [misc]simplify:  iters left: 2 (90 enodes)
* * [misc]simplify:  iters left: 1 (93 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 14 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (pow (sqrt (+ (+ c b) (+ d a))) 3)) (cbrt (pow (sqrt (+ (+ c b) (+ d a))) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (sqrt (+ (+ c b) (+ d a))) 3))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (108 enodes)
* * [misc]simplify:  iters left: 2 (232 enodes)
* * [misc]simplify:  iters left: 1 (383 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [enter]simplify:  Simplifying (cbrt (pow (sqrt (+ (+ c b) (+ d a))) 3))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (108 enodes)
* * [misc]simplify:  iters left: 2 (232 enodes)
* * [misc]simplify:  iters left: 1 (383 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 15 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (pow 1 3)) (cbrt (pow (+ (+ c b) (+ d a)) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow 1 3))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (cbrt 1)
* [exit]simplify:  Simplified to (cbrt 1)
* [enter]simplify:  Simplifying (cbrt (pow (+ (+ c b) (+ d a)) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (87 enodes)
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* * * * [misc]progress:  [ 16 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (pow 1 3)) (cbrt (pow (+ (+ c b) (+ d a)) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow 1 3))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (cbrt 1)
* [exit]simplify:  Simplified to (cbrt 1)
* [enter]simplify:  Simplifying (cbrt (pow (+ (+ c b) (+ d a)) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (87 enodes)
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* * * * [misc]progress:  [ 17 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (+ (+ c b) (+ d a))) (cbrt (* (+ (+ c b) (+ d a)) (+ (+ c b) (+ d a))))) 2))>
* [enter]simplify:  Simplifying (cbrt (+ (+ c b) (+ d a)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (58 enodes)
* * [misc]simplify:  iters left: 1 (80 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* [enter]simplify:  Simplifying (cbrt (* (+ (+ c b) (+ d a)) (+ (+ c b) (+ d a))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (101 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ (+ c b) (+ a d)) (+ (+ c b) (+ a d))))
* [exit]simplify:  Simplified to (cbrt (* (+ (+ c b) (+ a d)) (+ (+ c b) (+ a d))))
* * * * [misc]progress:  [ 18 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt (sqrt (pow (+ (+ c b) (+ d a)) 3))) (cbrt (sqrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (cbrt (sqrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (80 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (pow (+ (+ c b) (+ a d)) 3)))
* [exit]simplify:  Simplified to (cbrt (sqrt (pow (+ (+ c b) (+ a d)) 3)))
* [enter]simplify:  Simplifying (cbrt (sqrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (80 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (pow (+ (+ c b) (+ a d)) 3)))
* [exit]simplify:  Simplified to (cbrt (sqrt (pow (+ (+ c b) (+ a d)) 3)))
* * * * [misc]progress:  [ 19 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (cbrt 1) (cbrt (pow (+ (+ c b) (+ d a)) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cbrt 1)
* [exit]simplify:  Simplified to (cbrt 1)
* [enter]simplify:  Simplifying (cbrt (pow (+ (+ c b) (+ d a)) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (87 enodes)
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* [exit]simplify:  Simplified to (+ (+ c b) (+ a d))
* * * * [misc]progress:  [ 20 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (/ (cbrt (pow (+ (* (+ (pow c 3) (pow b 3)) (+ (* d d) (- (* a a) (* d a)))) (* (+ (* c c) (- (* b b) (* c b))) (+ (pow d 3) (pow a 3)))) 3)) (cbrt (pow (* (+ (* c c) (- (* b b) (* c b))) (+ (* d d) (- (* a a) (* d a)))) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (+ (* (+ (pow c 3) (pow b 3)) (+ (* d d) (- (* a a) (* d a)))) (* (+ (* c c) (- (* b b) (* c b))) (+ (pow d 3) (pow a 3)))) 3))
* * [misc]simplify:  iters left: 6 (26 enodes)
* * [misc]simplify:  iters left: 5 (75 enodes)
* * [misc]simplify:  iters left: 4 (238 enodes)
* [exit]simplify:  Simplified to (fma (fma (* c c) c (pow b 3)) (fma a (- a d) (* d d)) (* (fma b (- b c) (* c c)) (fma (* d d) d (pow a 3))))
* [exit]simplify:  Simplified to (fma (fma (* c c) c (pow b 3)) (fma a (- a d) (* d d)) (* (fma b (- b c) (* c c)) (fma (* d d) d (pow a 3))))
* [enter]simplify:  Simplifying (cbrt (pow (* (+ (* c c) (- (* b b) (* c b))) (+ (* d d) (- (* a a) (* d a)))) 3))
* * [misc]simplify:  iters left: 6 (18 enodes)
* * [misc]simplify:  iters left: 5 (51 enodes)
* * [misc]simplify:  iters left: 4 (177 enodes)
* [exit]simplify:  Simplified to (* (fma (- b c) b (* c c)) (fma a (- a d) (* d d)))
* [exit]simplify:  Simplified to (* (fma (- b c) b (* c c)) (fma a (- a d) (* d d)))
* * * * [misc]progress:  [ 21 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (/ (cbrt (pow (+ (* (+ (pow c 3) (pow b 3)) (- d a)) (* (+ (* c c) (- (* b b) (* c b))) (- (* d d) (* a a)))) 3)) (cbrt (pow (* (+ (* c c) (- (* b b) (* c b))) (- d a)) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (+ (* (+ (pow c 3) (pow b 3)) (- d a)) (* (+ (* c c) (- (* b b) (* c b))) (- (* d d) (* a a)))) 3))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (51 enodes)
* * [misc]simplify:  iters left: 4 (135 enodes)
* [exit]simplify:  Simplified to (fma (- (* d d) (* a a)) (fma (- b c) b (* c c)) (* (fma b (* b b) (pow c 3)) (- d a)))
* [exit]simplify:  Simplified to (fma (- (* d d) (* a a)) (fma (- b c) b (* c c)) (* (fma b (* b b) (pow c 3)) (- d a)))
* [enter]simplify:  Simplifying (cbrt (pow (* (+ (* c c) (- (* b b) (* c b))) (- d a)) 3))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (33 enodes)
* * [misc]simplify:  iters left: 4 (92 enodes)
* [exit]simplify:  Simplified to (* (- d a) (fma (- b c) b (* c c)))
* [exit]simplify:  Simplified to (* (- d a) (fma (- b c) b (* c c)))
* * * * [misc]progress:  [ 22 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (/ (cbrt (pow (+ (* (- (* c c) (* b b)) (+ (* d d) (- (* a a) (* d a)))) (* (- c b) (+ (pow d 3) (pow a 3)))) 3)) (cbrt (pow (* (- c b) (+ (* d d) (- (* a a) (* d a)))) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (+ (* (- (* c c) (* b b)) (+ (* d d) (- (* a a) (* d a)))) (* (- c b) (+ (pow d 3) (pow a 3)))) 3))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (63 enodes)
* * [misc]simplify:  iters left: 4 (216 enodes)
* [exit]simplify:  Simplified to (fma (fma a (* a a) (pow d 3)) (- c b) (* (fma (- a d) a (* d d)) (* (+ b c) (- c b))))
* [exit]simplify:  Simplified to (fma (fma a (* a a) (pow d 3)) (- c b) (* (fma (- a d) a (* d d)) (* (+ b c) (- c b))))
* [enter]simplify:  Simplifying (cbrt (pow (* (- c b) (+ (* d d) (- (* a a) (* d a)))) 3))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (39 enodes)
* * [misc]simplify:  iters left: 4 (143 enodes)
* [exit]simplify:  Simplified to (* (fma (- a d) a (* d d)) (- c b))
* [exit]simplify:  Simplified to (* (fma (- a d) a (* d d)) (- c b))
* * * * [misc]progress:  [ 23 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (/ (cbrt (pow (+ (* (- (* c c) (* b b)) (- d a)) (* (- c b) (- (* d d) (* a a)))) 3)) (cbrt (pow (* (- c b) (- d a)) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (+ (* (- (* c c) (* b b)) (- d a)) (* (- c b) (- (* d d) (* a a)))) 3))
* * [misc]simplify:  iters left: 6 (18 enodes)
* * [misc]simplify:  iters left: 5 (39 enodes)
* * [misc]simplify:  iters left: 4 (114 enodes)
* [exit]simplify:  Simplified to (* (- c b) (+ (* (- d a) (+ b c)) (* (- d a) (+ d a))))
* [exit]simplify:  Simplified to (* (- c b) (+ (* (- d a) (+ b c)) (* (- d a) (+ d a))))
* [enter]simplify:  Simplifying (cbrt (pow (* (- c b) (- d a)) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (62 enodes)
* * [misc]simplify:  iters left: 3 (324 enodes)
* [exit]simplify:  Simplified to (* (- d a) (- c b))
* [exit]simplify:  Simplified to (* (- d a) (- c b))
* * * * [misc]progress:  [ 24 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (/ (cbrt (pow (+ (pow (+ c b) 3) (pow (+ d a) 3)) 3)) (cbrt (pow (+ (* (+ c b) (+ c b)) (- (* (+ d a) (+ d a)) (* (+ c b) (+ d a)))) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (+ (pow (+ c b) 3) (pow (+ d a) 3)) 3))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (84 enodes)
* * [misc]simplify:  iters left: 3 (425 enodes)
* [exit]simplify:  Simplified to (fma (* (+ c b) (+ c b)) (+ c b) (pow (+ d a) 3))
* [exit]simplify:  Simplified to (fma (* (+ c b) (+ c b)) (+ c b) (pow (+ d a) 3))
* [enter]simplify:  Simplifying (cbrt (pow (+ (* (+ c b) (+ c b)) (- (* (+ d a) (+ d a)) (* (+ c b) (+ d a)))) 3))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (47 enodes)
* * [misc]simplify:  iters left: 4 (186 enodes)
* [exit]simplify:  Simplified to (fma (- (+ a d) (+ c b)) (+ a d) (* (+ c b) (+ c b)))
* [exit]simplify:  Simplified to (fma (- (+ a d) (+ c b)) (+ a d) (* (+ c b) (+ c b)))
* * * * [misc]progress:  [ 25 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (/ (cbrt (pow (- (* (+ c b) (+ c b)) (* (+ d a) (+ d a))) 3)) (cbrt (pow (- (+ c b) (+ d a)) 3))) 2))>
* [enter]simplify:  Simplifying (cbrt (pow (- (* (+ c b) (+ c b)) (* (+ d a) (+ d a))) 3))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (35 enodes)
* * [misc]simplify:  iters left: 4 (131 enodes)
* [exit]simplify:  Simplified to (* (+ (+ a d) (+ c b)) (- (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (* (+ (+ a d) (+ c b)) (- (+ c b) (+ a d)))
* [enter]simplify:  Simplifying (cbrt (pow (- (+ c b) (+ d a)) 3))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (71 enodes)
* * [misc]simplify:  iters left: 3 (395 enodes)
* [exit]simplify:  Simplified to (+ (- b a) (- c d))
* [exit]simplify:  Simplified to (+ (- b a) (- c d))
* * * * [misc]progress:  [ 26 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (* (cbrt (cbrt (pow (+ (+ c b) (+ d a)) 3))) (cbrt (cbrt (pow (+ (+ c b) (+ d a)) 3)))) (cbrt (cbrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (* (cbrt (cbrt (pow (+ (+ c b) (+ d a)) 3))) (cbrt (cbrt (pow (+ (+ c b) (+ d a)) 3))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (89 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (+ a b) (+ d c))) (cbrt (+ (+ a b) (+ d c))))
* [exit]simplify:  Simplified to (* (cbrt (+ (+ a b) (+ d c))) (cbrt (+ (+ a b) (+ d c))))
* [enter]simplify:  Simplifying (cbrt (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (88 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (cbrt (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 27 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (cbrt (* (* (cbrt (pow (+ (+ c b) (+ d a)) 3)) (cbrt (pow (+ (+ c b) (+ d a)) 3))) (cbrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (* (* (cbrt (pow (+ (+ c b) (+ d a)) 3)) (cbrt (pow (+ (+ c b) (+ d a)) 3))) (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (81 enodes)
* [exit]simplify:  Simplified to (pow (+ (+ c b) (+ a d)) 3)
* [exit]simplify:  Simplified to (pow (+ (+ c b) (+ a d)) 3)
* * * * [misc]progress:  [ 28 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (+ (+ c b) (+ d a)) 2))>
* * * * [misc]progress:  [ 29 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* (sqrt (cbrt (pow (+ (+ c b) (+ d a)) 3))) (sqrt (cbrt (pow (+ (+ c b) (+ d a)) 3)))) 2))>
* [enter]simplify:  Simplifying (sqrt (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (88 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [enter]simplify:  Simplifying (sqrt (cbrt (pow (+ (+ c b) (+ d a)) 3)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (88 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* [exit]simplify:  Simplified to (sqrt (+ (+ c b) (+ a d)))
* * * * [misc]progress:  [ 30 / 33 ] simplifiying candidate #<alt-delta (λ (a b c d) (* (* 1 (cbrt (pow (+ (+ c b) (+ d a)) 3))) 2))>
* * * * [misc]progress:  [ 31 / 33 ] simplifiying candidate #<alt-event (λ (a b c d) (* (+ a (+ b c)) 2))>
* [enter]simplify:  Simplifying (* (+ a (+ b c)) 2)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (84 enodes)
* * [misc]simplify:  iters left: 1 (90 enodes)
* [exit]simplify:  Simplified to (fma 2 (+ a b) (* 2 c))
* * * * [misc]progress:  [ 32 / 33 ] simplifiying candidate #<alt-event (λ (a b c d) (* (pow (pow (/ 1 c) -3) 1/3) 2))>
* [enter]simplify:  Simplifying (* (pow (pow (/ 1 c) -3) 1/3) 2)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (* 2 (cbrt (pow (/ 1 c) -3)))
* * * * [misc]progress:  [ 33 / 33 ] simplifiying candidate #<alt-event (λ (a b c d) (* (exp (+ (log -1) (log (/ -1 c)))) 2))>
* [enter]simplify:  Simplifying (* (exp (+ (log -1) (log (/ -1 c)))) 2)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (60 enodes)
* * [misc]simplify:  iters left: 2 (111 enodes)
* * [misc]simplify:  iters left: 1 (293 enodes)
* [exit]simplify:  Simplified to (/ 2 c)
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (a b c d) (* (* (cbrt 1) (+ (+ c b) (+ a d))) 2))>
* * * [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 (+ c b)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ c b)
* [exit]simplify:  Simplified to (+ c b)
* [enter]simplify:  Simplifying (+ a d)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ a d)
* [exit]simplify:  Simplified to (+ a d)
* * * * [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