20.428 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.036 * [progress]: [Phase 2 of 3] Improving. 0.036 * [simplify]: Simplifying: (* (+ a (+ b (+ c d))) 2.0) 0.036 * * [simplify]: iteration 0: 9 enodes 0.037 * * [simplify]: iteration 1: 17 enodes 0.040 * * [simplify]: iteration 2: 53 enodes 0.058 * * [simplify]: iteration 3: 146 enodes 0.115 * * [simplify]: iteration 4: 300 enodes 0.209 * * [simplify]: iteration 5: 445 enodes 0.264 * * [simplify]: iteration 6: 481 enodes 0.299 * * [simplify]: iteration complete: 481 enodes 0.300 * * [simplify]: Extracting #0: cost 1 inf + 0 0.300 * * [simplify]: Extracting #1: cost 17 inf + 0 0.300 * * [simplify]: Extracting #2: cost 30 inf + 1 0.300 * * [simplify]: Extracting #3: cost 18 inf + 33 0.300 * * [simplify]: Extracting #4: cost 0 inf + 131 0.300 * * [simplify]: Extracting #5: cost 0 inf + 129 0.300 * [simplify]: Simplified to: (* 2.0 (+ (+ (+ b d) c) a)) 0.306 * * [progress]: iteration 1 / 4 0.306 * * * [progress]: picking best candidate 0.323 * * * * [pick]: Picked # 0.323 * * * [progress]: localizing error 0.352 * * * [progress]: generating rewritten candidates 0.352 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.515 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 0.538 * * * [progress]: generating series expansions 0.538 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.538 * [backup-simplify]: Simplify (+ (+ (+ b d) c) a) into (+ a (+ b (+ c d))) 0.538 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (b d c a) around 0 0.538 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 0.538 * [taylor]: Taking taylor expansion of a in a 0.538 * [backup-simplify]: Simplify 0 into 0 0.538 * [backup-simplify]: Simplify 1 into 1 0.538 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 0.538 * [taylor]: Taking taylor expansion of b in a 0.538 * [backup-simplify]: Simplify b into b 0.538 * [taylor]: Taking taylor expansion of (+ c d) in a 0.538 * [taylor]: Taking taylor expansion of c in a 0.538 * [backup-simplify]: Simplify c into c 0.539 * [taylor]: Taking taylor expansion of d in a 0.539 * [backup-simplify]: Simplify d into d 0.539 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 0.539 * [taylor]: Taking taylor expansion of a in c 0.539 * [backup-simplify]: Simplify a into a 0.539 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.539 * [taylor]: Taking taylor expansion of b in c 0.539 * [backup-simplify]: Simplify b into b 0.539 * [taylor]: Taking taylor expansion of (+ c d) in c 0.539 * [taylor]: Taking taylor expansion of c in c 0.539 * [backup-simplify]: Simplify 0 into 0 0.539 * [backup-simplify]: Simplify 1 into 1 0.539 * [taylor]: Taking taylor expansion of d in c 0.539 * [backup-simplify]: Simplify d into d 0.539 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 0.539 * [taylor]: Taking taylor expansion of a in d 0.539 * [backup-simplify]: Simplify a into a 0.539 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.539 * [taylor]: Taking taylor expansion of b in d 0.539 * [backup-simplify]: Simplify b into b 0.539 * [taylor]: Taking taylor expansion of (+ c d) in d 0.539 * [taylor]: Taking taylor expansion of c in d 0.539 * [backup-simplify]: Simplify c into c 0.539 * [taylor]: Taking taylor expansion of d in d 0.539 * [backup-simplify]: Simplify 0 into 0 0.539 * [backup-simplify]: Simplify 1 into 1 0.539 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.539 * [taylor]: Taking taylor expansion of a in b 0.539 * [backup-simplify]: Simplify a into a 0.539 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.539 * [taylor]: Taking taylor expansion of b in b 0.539 * [backup-simplify]: Simplify 0 into 0 0.539 * [backup-simplify]: Simplify 1 into 1 0.539 * [taylor]: Taking taylor expansion of (+ c d) in b 0.539 * [taylor]: Taking taylor expansion of c in b 0.539 * [backup-simplify]: Simplify c into c 0.539 * [taylor]: Taking taylor expansion of d in b 0.539 * [backup-simplify]: Simplify d into d 0.539 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.539 * [taylor]: Taking taylor expansion of a in b 0.539 * [backup-simplify]: Simplify a into a 0.539 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.539 * [taylor]: Taking taylor expansion of b in b 0.539 * [backup-simplify]: Simplify 0 into 0 0.539 * [backup-simplify]: Simplify 1 into 1 0.539 * [taylor]: Taking taylor expansion of (+ c d) in b 0.539 * [taylor]: Taking taylor expansion of c in b 0.539 * [backup-simplify]: Simplify c into c 0.539 * [taylor]: Taking taylor expansion of d in b 0.539 * [backup-simplify]: Simplify d into d 0.539 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.539 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.539 * [backup-simplify]: Simplify (+ a (+ c d)) into (+ a (+ c d)) 0.539 * [taylor]: Taking taylor expansion of (+ a (+ c d)) in d 0.539 * [taylor]: Taking taylor expansion of a in d 0.539 * [backup-simplify]: Simplify a into a 0.539 * [taylor]: Taking taylor expansion of (+ c d) in d 0.539 * [taylor]: Taking taylor expansion of c in d 0.539 * [backup-simplify]: Simplify c into c 0.539 * [taylor]: Taking taylor expansion of d in d 0.539 * [backup-simplify]: Simplify 0 into 0 0.539 * [backup-simplify]: Simplify 1 into 1 0.539 * [backup-simplify]: Simplify (+ c 0) into c 0.540 * [backup-simplify]: Simplify (+ a c) into (+ a c) 0.540 * [taylor]: Taking taylor expansion of (+ a c) in c 0.540 * [taylor]: Taking taylor expansion of a in c 0.540 * [backup-simplify]: Simplify a into a 0.540 * [taylor]: Taking taylor expansion of c in c 0.540 * [backup-simplify]: Simplify 0 into 0 0.540 * [backup-simplify]: Simplify 1 into 1 0.540 * [backup-simplify]: Simplify (+ a 0) into a 0.540 * [taylor]: Taking taylor expansion of a in a 0.540 * [backup-simplify]: Simplify 0 into 0 0.540 * [backup-simplify]: Simplify 1 into 1 0.540 * [backup-simplify]: Simplify 0 into 0 0.540 * [backup-simplify]: Simplify (+ 0 0) into 0 0.540 * [backup-simplify]: Simplify (+ 1 0) into 1 0.541 * [backup-simplify]: Simplify (+ 0 1) into 1 0.541 * [taylor]: Taking taylor expansion of 1 in d 0.541 * [backup-simplify]: Simplify 1 into 1 0.541 * [taylor]: Taking taylor expansion of 1 in c 0.541 * [backup-simplify]: Simplify 1 into 1 0.541 * [taylor]: Taking taylor expansion of 1 in a 0.541 * [backup-simplify]: Simplify 1 into 1 0.541 * [backup-simplify]: Simplify 1 into 1 0.541 * [backup-simplify]: Simplify (+ 0 1) into 1 0.542 * [backup-simplify]: Simplify (+ 0 1) into 1 0.542 * [taylor]: Taking taylor expansion of 1 in c 0.542 * [backup-simplify]: Simplify 1 into 1 0.542 * [taylor]: Taking taylor expansion of 1 in a 0.542 * [backup-simplify]: Simplify 1 into 1 0.542 * [backup-simplify]: Simplify 1 into 1 0.542 * [backup-simplify]: Simplify (+ 0 1) into 1 0.542 * [taylor]: Taking taylor expansion of 1 in a 0.542 * [backup-simplify]: Simplify 1 into 1 0.542 * [backup-simplify]: Simplify 1 into 1 0.542 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ b (+ c d)) 0.543 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) 0.543 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (b d c a) around 0 0.543 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.543 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.543 * [taylor]: Taking taylor expansion of b in a 0.543 * [backup-simplify]: Simplify b into b 0.543 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.543 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.543 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.543 * [taylor]: Taking taylor expansion of d in a 0.543 * [backup-simplify]: Simplify d into d 0.543 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.543 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.543 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.543 * [taylor]: Taking taylor expansion of c in a 0.543 * [backup-simplify]: Simplify c into c 0.543 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.543 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.543 * [taylor]: Taking taylor expansion of a in a 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 1 into 1 0.543 * [backup-simplify]: Simplify (/ 1 1) into 1 0.543 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.543 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.543 * [taylor]: Taking taylor expansion of b in c 0.543 * [backup-simplify]: Simplify b into b 0.543 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.543 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.543 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.543 * [taylor]: Taking taylor expansion of d in c 0.543 * [backup-simplify]: Simplify d into d 0.543 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.543 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.543 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.543 * [taylor]: Taking taylor expansion of c in c 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 1 into 1 0.544 * [backup-simplify]: Simplify (/ 1 1) into 1 0.544 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.544 * [taylor]: Taking taylor expansion of a in c 0.544 * [backup-simplify]: Simplify a into a 0.544 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.544 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.544 * [taylor]: Taking taylor expansion of b in d 0.544 * [backup-simplify]: Simplify b into b 0.544 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.544 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.544 * [taylor]: Taking taylor expansion of d in d 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 1 into 1 0.544 * [backup-simplify]: Simplify (/ 1 1) into 1 0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.544 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.544 * [taylor]: Taking taylor expansion of c in d 0.544 * [backup-simplify]: Simplify c into c 0.544 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.544 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.544 * [taylor]: Taking taylor expansion of a in d 0.545 * [backup-simplify]: Simplify a into a 0.545 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.545 * [taylor]: Taking taylor expansion of b in b 0.545 * [backup-simplify]: Simplify 0 into 0 0.545 * [backup-simplify]: Simplify 1 into 1 0.545 * [backup-simplify]: Simplify (/ 1 1) into 1 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.545 * [taylor]: Taking taylor expansion of d in b 0.545 * [backup-simplify]: Simplify d into d 0.545 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.545 * [taylor]: Taking taylor expansion of c in b 0.545 * [backup-simplify]: Simplify c into c 0.545 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.545 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.545 * [taylor]: Taking taylor expansion of a in b 0.545 * [backup-simplify]: Simplify a into a 0.545 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.545 * [taylor]: Taking taylor expansion of b in b 0.545 * [backup-simplify]: Simplify 0 into 0 0.545 * [backup-simplify]: Simplify 1 into 1 0.545 * [backup-simplify]: Simplify (/ 1 1) into 1 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.545 * [taylor]: Taking taylor expansion of d in b 0.546 * [backup-simplify]: Simplify d into d 0.546 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.546 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.546 * [taylor]: Taking taylor expansion of c in b 0.546 * [backup-simplify]: Simplify c into c 0.546 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.546 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.546 * [taylor]: Taking taylor expansion of a in b 0.546 * [backup-simplify]: Simplify a into a 0.546 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.546 * [backup-simplify]: Simplify (+ 1 0) into 1 0.546 * [taylor]: Taking taylor expansion of 1 in d 0.546 * [backup-simplify]: Simplify 1 into 1 0.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.547 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c)) 0.547 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.547 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.547 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 0.547 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.547 * [taylor]: Taking taylor expansion of a in d 0.547 * [backup-simplify]: Simplify a into a 0.547 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.547 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.547 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.547 * [taylor]: Taking taylor expansion of c in d 0.547 * [backup-simplify]: Simplify c into c 0.547 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.547 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.547 * [taylor]: Taking taylor expansion of d in d 0.547 * [backup-simplify]: Simplify 0 into 0 0.547 * [backup-simplify]: Simplify 1 into 1 0.547 * [backup-simplify]: Simplify (/ 1 1) into 1 0.548 * [backup-simplify]: Simplify (+ 0 1) into 1 0.548 * [backup-simplify]: Simplify (+ 0 1) into 1 0.548 * [taylor]: Taking taylor expansion of 1 in c 0.548 * [backup-simplify]: Simplify 1 into 1 0.548 * [taylor]: Taking taylor expansion of 1 in c 0.548 * [backup-simplify]: Simplify 1 into 1 0.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.549 * [backup-simplify]: Simplify (+ 0 0) into 0 0.549 * [backup-simplify]: Simplify (+ 0 0) into 0 0.549 * [backup-simplify]: Simplify (+ 0 0) into 0 0.549 * [taylor]: Taking taylor expansion of 0 in d 0.549 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.550 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.550 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c)) 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c 0.550 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.550 * [taylor]: Taking taylor expansion of a in c 0.550 * [backup-simplify]: Simplify a into a 0.550 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.550 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.550 * [taylor]: Taking taylor expansion of c in c 0.550 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify 1 into 1 0.550 * [backup-simplify]: Simplify (/ 1 1) into 1 0.551 * [backup-simplify]: Simplify (+ 0 1) into 1 0.551 * [taylor]: Taking taylor expansion of 1 in a 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [taylor]: Taking taylor expansion of 0 in c 0.551 * [backup-simplify]: Simplify 0 into 0 0.551 * [taylor]: Taking taylor expansion of 1 in a 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [taylor]: Taking taylor expansion of 1 in a 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.552 * [backup-simplify]: Simplify (+ 0 0) into 0 0.552 * [backup-simplify]: Simplify (+ 0 0) into 0 0.552 * [backup-simplify]: Simplify (+ 0 0) into 0 0.552 * [taylor]: Taking taylor expansion of 0 in d 0.552 * [backup-simplify]: Simplify 0 into 0 0.552 * [taylor]: Taking taylor expansion of 0 in c 0.552 * [backup-simplify]: Simplify 0 into 0 0.553 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.553 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.553 * [backup-simplify]: Simplify (+ 0 0) into 0 0.554 * [backup-simplify]: Simplify (+ 0 0) into 0 0.554 * [taylor]: Taking taylor expansion of 0 in c 0.554 * [backup-simplify]: Simplify 0 into 0 0.554 * [taylor]: Taking taylor expansion of 0 in c 0.554 * [backup-simplify]: Simplify 0 into 0 0.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.554 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 0.554 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.554 * [taylor]: Taking taylor expansion of a in a 0.554 * [backup-simplify]: Simplify 0 into 0 0.554 * [backup-simplify]: Simplify 1 into 1 0.555 * [backup-simplify]: Simplify (/ 1 1) into 1 0.555 * [backup-simplify]: Simplify 1 into 1 0.555 * [taylor]: Taking taylor expansion of 0 in a 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [taylor]: Taking taylor expansion of 0 in a 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [taylor]: Taking taylor expansion of 0 in a 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [backup-simplify]: Simplify 1 into 1 0.555 * [backup-simplify]: Simplify 1 into 1 0.556 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 d)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 a)) (* 1 (* 1 1)))))) into (+ a (+ c d)) 0.558 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) 0.558 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (b d c a) around 0 0.558 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.558 * [taylor]: Taking taylor expansion of b in a 0.558 * [backup-simplify]: Simplify b into b 0.558 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.558 * [taylor]: Taking taylor expansion of d in a 0.558 * [backup-simplify]: Simplify d into d 0.558 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.558 * [taylor]: Taking taylor expansion of c in a 0.558 * [backup-simplify]: Simplify c into c 0.558 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.558 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.558 * [taylor]: Taking taylor expansion of a in a 0.558 * [backup-simplify]: Simplify 0 into 0 0.558 * [backup-simplify]: Simplify 1 into 1 0.559 * [backup-simplify]: Simplify (/ 1 1) into 1 0.559 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c 0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.559 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.559 * [taylor]: Taking taylor expansion of b in c 0.559 * [backup-simplify]: Simplify b into b 0.559 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.559 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.559 * [taylor]: Taking taylor expansion of d in c 0.559 * [backup-simplify]: Simplify d into d 0.559 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.559 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.559 * [taylor]: Taking taylor expansion of c in c 0.559 * [backup-simplify]: Simplify 0 into 0 0.559 * [backup-simplify]: Simplify 1 into 1 0.560 * [backup-simplify]: Simplify (/ 1 1) into 1 0.560 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.560 * [taylor]: Taking taylor expansion of a in c 0.560 * [backup-simplify]: Simplify a into a 0.560 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.560 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.560 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.560 * [taylor]: Taking taylor expansion of b in d 0.560 * [backup-simplify]: Simplify b into b 0.560 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.560 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.560 * [taylor]: Taking taylor expansion of d in d 0.560 * [backup-simplify]: Simplify 0 into 0 0.560 * [backup-simplify]: Simplify 1 into 1 0.560 * [backup-simplify]: Simplify (/ 1 1) into 1 0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.561 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.561 * [taylor]: Taking taylor expansion of c in d 0.561 * [backup-simplify]: Simplify c into c 0.561 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.561 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.561 * [taylor]: Taking taylor expansion of a in d 0.561 * [backup-simplify]: Simplify a into a 0.561 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.561 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.561 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.561 * [taylor]: Taking taylor expansion of b in b 0.561 * [backup-simplify]: Simplify 0 into 0 0.561 * [backup-simplify]: Simplify 1 into 1 0.561 * [backup-simplify]: Simplify (/ 1 1) into 1 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.561 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.561 * [taylor]: Taking taylor expansion of d in b 0.561 * [backup-simplify]: Simplify d into d 0.561 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.561 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.561 * [taylor]: Taking taylor expansion of c in b 0.562 * [backup-simplify]: Simplify c into c 0.562 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.562 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.562 * [taylor]: Taking taylor expansion of a in b 0.562 * [backup-simplify]: Simplify a into a 0.562 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.562 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.562 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.562 * [taylor]: Taking taylor expansion of b in b 0.562 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify 1 into 1 0.562 * [backup-simplify]: Simplify (/ 1 1) into 1 0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.562 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.562 * [taylor]: Taking taylor expansion of d in b 0.562 * [backup-simplify]: Simplify d into d 0.562 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.562 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.562 * [taylor]: Taking taylor expansion of c in b 0.562 * [backup-simplify]: Simplify c into c 0.563 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.563 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.563 * [taylor]: Taking taylor expansion of a in b 0.563 * [backup-simplify]: Simplify a into a 0.563 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.563 * [backup-simplify]: Simplify (+ 1 0) into 1 0.564 * [backup-simplify]: Simplify (- 1) into -1 0.564 * [taylor]: Taking taylor expansion of -1 in d 0.564 * [backup-simplify]: Simplify -1 into -1 0.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.564 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c)) 0.565 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.565 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.565 * [backup-simplify]: Simplify (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) 0.565 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) in d 0.565 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) in d 0.565 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.565 * [taylor]: Taking taylor expansion of a in d 0.565 * [backup-simplify]: Simplify a into a 0.565 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.565 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 0.565 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.565 * [taylor]: Taking taylor expansion of d in d 0.565 * [backup-simplify]: Simplify 0 into 0 0.565 * [backup-simplify]: Simplify 1 into 1 0.566 * [backup-simplify]: Simplify (/ 1 1) into 1 0.566 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.566 * [taylor]: Taking taylor expansion of c in d 0.566 * [backup-simplify]: Simplify c into c 0.566 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.566 * [backup-simplify]: Simplify (+ 1 0) into 1 0.567 * [backup-simplify]: Simplify (+ 0 1) into 1 0.567 * [backup-simplify]: Simplify (- 1) into -1 0.567 * [taylor]: Taking taylor expansion of -1 in c 0.567 * [backup-simplify]: Simplify -1 into -1 0.567 * [taylor]: Taking taylor expansion of -1 in c 0.567 * [backup-simplify]: Simplify -1 into -1 0.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.569 * [backup-simplify]: Simplify (+ 0 0) into 0 0.569 * [backup-simplify]: Simplify (+ 0 0) into 0 0.570 * [backup-simplify]: Simplify (+ 0 0) into 0 0.570 * [backup-simplify]: Simplify (- 0) into 0 0.570 * [taylor]: Taking taylor expansion of 0 in d 0.570 * [backup-simplify]: Simplify 0 into 0 0.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.571 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c) 0.571 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c)) 0.571 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c))) 0.571 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in c 0.571 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c 0.571 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.571 * [taylor]: Taking taylor expansion of a in c 0.571 * [backup-simplify]: Simplify a into a 0.571 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.571 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.571 * [taylor]: Taking taylor expansion of c in c 0.571 * [backup-simplify]: Simplify 0 into 0 0.571 * [backup-simplify]: Simplify 1 into 1 0.572 * [backup-simplify]: Simplify (/ 1 1) into 1 0.572 * [backup-simplify]: Simplify (+ 0 1) into 1 0.572 * [backup-simplify]: Simplify (- 1) into -1 0.572 * [taylor]: Taking taylor expansion of -1 in a 0.572 * [backup-simplify]: Simplify -1 into -1 0.572 * [taylor]: Taking taylor expansion of 0 in c 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [taylor]: Taking taylor expansion of -1 in a 0.572 * [backup-simplify]: Simplify -1 into -1 0.572 * [taylor]: Taking taylor expansion of -1 in a 0.572 * [backup-simplify]: Simplify -1 into -1 0.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.573 * [backup-simplify]: Simplify (+ 0 0) into 0 0.574 * [backup-simplify]: Simplify (+ 0 0) into 0 0.574 * [backup-simplify]: Simplify (+ 0 0) into 0 0.574 * [backup-simplify]: Simplify (- 0) into 0 0.574 * [taylor]: Taking taylor expansion of 0 in d 0.574 * [backup-simplify]: Simplify 0 into 0 0.574 * [taylor]: Taking taylor expansion of 0 in c 0.574 * [backup-simplify]: Simplify 0 into 0 0.574 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.575 * [backup-simplify]: Simplify (+ 0 0) into 0 0.575 * [backup-simplify]: Simplify (+ 0 0) into 0 0.575 * [backup-simplify]: Simplify (- 0) into 0 0.576 * [taylor]: Taking taylor expansion of 0 in c 0.576 * [backup-simplify]: Simplify 0 into 0 0.576 * [taylor]: Taking taylor expansion of 0 in c 0.576 * [backup-simplify]: Simplify 0 into 0 0.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.576 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 0.576 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 0.576 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.576 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.576 * [taylor]: Taking taylor expansion of a in a 0.576 * [backup-simplify]: Simplify 0 into 0 0.576 * [backup-simplify]: Simplify 1 into 1 0.576 * [backup-simplify]: Simplify (/ 1 1) into 1 0.577 * [backup-simplify]: Simplify (- 1) into -1 0.577 * [backup-simplify]: Simplify -1 into -1 0.577 * [taylor]: Taking taylor expansion of 0 in a 0.577 * [backup-simplify]: Simplify 0 into 0 0.577 * [taylor]: Taking taylor expansion of 0 in a 0.577 * [backup-simplify]: Simplify 0 into 0 0.577 * [taylor]: Taking taylor expansion of 0 in a 0.577 * [backup-simplify]: Simplify 0 into 0 0.577 * [backup-simplify]: Simplify -1 into -1 0.577 * [backup-simplify]: Simplify -1 into -1 0.578 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- d))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 (* 1 1)))))) into (+ a (+ c d)) 0.578 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 0.578 * [backup-simplify]: Simplify (+ (+ b d) c) into (+ b (+ c d)) 0.578 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b d c) around 0 0.578 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.578 * [taylor]: Taking taylor expansion of b in c 0.578 * [backup-simplify]: Simplify b into b 0.578 * [taylor]: Taking taylor expansion of (+ c d) in c 0.578 * [taylor]: Taking taylor expansion of c in c 0.578 * [backup-simplify]: Simplify 0 into 0 0.578 * [backup-simplify]: Simplify 1 into 1 0.578 * [taylor]: Taking taylor expansion of d in c 0.578 * [backup-simplify]: Simplify d into d 0.578 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.578 * [taylor]: Taking taylor expansion of b in d 0.578 * [backup-simplify]: Simplify b into b 0.578 * [taylor]: Taking taylor expansion of (+ c d) in d 0.578 * [taylor]: Taking taylor expansion of c in d 0.578 * [backup-simplify]: Simplify c into c 0.578 * [taylor]: Taking taylor expansion of d in d 0.578 * [backup-simplify]: Simplify 0 into 0 0.578 * [backup-simplify]: Simplify 1 into 1 0.578 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.578 * [taylor]: Taking taylor expansion of b in b 0.578 * [backup-simplify]: Simplify 0 into 0 0.578 * [backup-simplify]: Simplify 1 into 1 0.578 * [taylor]: Taking taylor expansion of (+ c d) in b 0.578 * [taylor]: Taking taylor expansion of c in b 0.578 * [backup-simplify]: Simplify c into c 0.578 * [taylor]: Taking taylor expansion of d in b 0.578 * [backup-simplify]: Simplify d into d 0.578 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.578 * [taylor]: Taking taylor expansion of b in b 0.578 * [backup-simplify]: Simplify 0 into 0 0.578 * [backup-simplify]: Simplify 1 into 1 0.578 * [taylor]: Taking taylor expansion of (+ c d) in b 0.578 * [taylor]: Taking taylor expansion of c in b 0.578 * [backup-simplify]: Simplify c into c 0.578 * [taylor]: Taking taylor expansion of d in b 0.578 * [backup-simplify]: Simplify d into d 0.578 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.578 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.578 * [taylor]: Taking taylor expansion of (+ c d) in d 0.578 * [taylor]: Taking taylor expansion of c in d 0.579 * [backup-simplify]: Simplify c into c 0.579 * [taylor]: Taking taylor expansion of d in d 0.579 * [backup-simplify]: Simplify 0 into 0 0.579 * [backup-simplify]: Simplify 1 into 1 0.579 * [backup-simplify]: Simplify (+ c 0) into c 0.579 * [taylor]: Taking taylor expansion of c in c 0.579 * [backup-simplify]: Simplify 0 into 0 0.579 * [backup-simplify]: Simplify 1 into 1 0.579 * [backup-simplify]: Simplify 0 into 0 0.579 * [backup-simplify]: Simplify (+ 0 0) into 0 0.579 * [backup-simplify]: Simplify (+ 1 0) into 1 0.579 * [taylor]: Taking taylor expansion of 1 in d 0.579 * [backup-simplify]: Simplify 1 into 1 0.579 * [taylor]: Taking taylor expansion of 1 in c 0.579 * [backup-simplify]: Simplify 1 into 1 0.579 * [backup-simplify]: Simplify 1 into 1 0.580 * [backup-simplify]: Simplify (+ 0 1) into 1 0.580 * [taylor]: Taking taylor expansion of 1 in c 0.580 * [backup-simplify]: Simplify 1 into 1 0.580 * [backup-simplify]: Simplify 1 into 1 0.580 * [backup-simplify]: Simplify 1 into 1 0.580 * [backup-simplify]: Simplify (+ (* 1 (* c (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d)) 0.580 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 0.580 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b d c) around 0 0.580 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.580 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.580 * [taylor]: Taking taylor expansion of b in c 0.580 * [backup-simplify]: Simplify b into b 0.580 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.580 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.580 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.580 * [taylor]: Taking taylor expansion of c in c 0.580 * [backup-simplify]: Simplify 0 into 0 0.580 * [backup-simplify]: Simplify 1 into 1 0.581 * [backup-simplify]: Simplify (/ 1 1) into 1 0.581 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.581 * [taylor]: Taking taylor expansion of d in c 0.581 * [backup-simplify]: Simplify d into d 0.581 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.581 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.581 * [taylor]: Taking taylor expansion of b in d 0.581 * [backup-simplify]: Simplify b into b 0.581 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.581 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.581 * [taylor]: Taking taylor expansion of c in d 0.581 * [backup-simplify]: Simplify c into c 0.581 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.581 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.581 * [taylor]: Taking taylor expansion of d in d 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [backup-simplify]: Simplify (/ 1 1) into 1 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.581 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.581 * [taylor]: Taking taylor expansion of b in b 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [backup-simplify]: Simplify (/ 1 1) into 1 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.581 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.581 * [taylor]: Taking taylor expansion of c in b 0.582 * [backup-simplify]: Simplify c into c 0.582 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.582 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.582 * [taylor]: Taking taylor expansion of d in b 0.582 * [backup-simplify]: Simplify d into d 0.582 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.582 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.582 * [taylor]: Taking taylor expansion of b in b 0.582 * [backup-simplify]: Simplify 0 into 0 0.582 * [backup-simplify]: Simplify 1 into 1 0.582 * [backup-simplify]: Simplify (/ 1 1) into 1 0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.582 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.582 * [taylor]: Taking taylor expansion of c in b 0.582 * [backup-simplify]: Simplify c into c 0.582 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.582 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.582 * [taylor]: Taking taylor expansion of d in b 0.582 * [backup-simplify]: Simplify d into d 0.582 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.582 * [backup-simplify]: Simplify (+ 1 0) into 1 0.582 * [taylor]: Taking taylor expansion of 1 in d 0.582 * [backup-simplify]: Simplify 1 into 1 0.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.583 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.583 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.583 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.583 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.583 * [taylor]: Taking taylor expansion of c in d 0.583 * [backup-simplify]: Simplify c into c 0.583 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.583 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.583 * [taylor]: Taking taylor expansion of d in d 0.583 * [backup-simplify]: Simplify 0 into 0 0.583 * [backup-simplify]: Simplify 1 into 1 0.583 * [backup-simplify]: Simplify (/ 1 1) into 1 0.584 * [backup-simplify]: Simplify (+ 0 1) into 1 0.584 * [taylor]: Taking taylor expansion of 1 in c 0.584 * [backup-simplify]: Simplify 1 into 1 0.584 * [taylor]: Taking taylor expansion of 1 in c 0.584 * [backup-simplify]: Simplify 1 into 1 0.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.585 * [backup-simplify]: Simplify (+ 0 0) into 0 0.585 * [backup-simplify]: Simplify (+ 0 0) into 0 0.585 * [taylor]: Taking taylor expansion of 0 in d 0.585 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.586 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.586 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.586 * [taylor]: Taking taylor expansion of c in c 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 1 into 1 0.586 * [backup-simplify]: Simplify (/ 1 1) into 1 0.586 * [backup-simplify]: Simplify 1 into 1 0.586 * [taylor]: Taking taylor expansion of 0 in c 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 1 into 1 0.586 * [backup-simplify]: Simplify 1 into 1 0.587 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) 1))) (* 1 (* (/ 1 (/ 1 c)) (* 1 1))))) into (+ b (+ c d)) 0.587 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 0.587 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b d c) around 0 0.587 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 0.587 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.587 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.587 * [taylor]: Taking taylor expansion of b in c 0.587 * [backup-simplify]: Simplify b into b 0.587 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.587 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.587 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.587 * [taylor]: Taking taylor expansion of c in c 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify 1 into 1 0.587 * [backup-simplify]: Simplify (/ 1 1) into 1 0.587 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.587 * [taylor]: Taking taylor expansion of d in c 0.587 * [backup-simplify]: Simplify d into d 0.587 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.587 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 0.587 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.587 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.587 * [taylor]: Taking taylor expansion of b in d 0.587 * [backup-simplify]: Simplify b into b 0.587 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.587 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.588 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.588 * [taylor]: Taking taylor expansion of c in d 0.588 * [backup-simplify]: Simplify c into c 0.588 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.588 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.588 * [taylor]: Taking taylor expansion of d in d 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 1 into 1 0.588 * [backup-simplify]: Simplify (/ 1 1) into 1 0.588 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.588 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.588 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.588 * [taylor]: Taking taylor expansion of b in b 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 1 into 1 0.588 * [backup-simplify]: Simplify (/ 1 1) into 1 0.588 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.588 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.588 * [taylor]: Taking taylor expansion of c in b 0.588 * [backup-simplify]: Simplify c into c 0.588 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.588 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.588 * [taylor]: Taking taylor expansion of d in b 0.588 * [backup-simplify]: Simplify d into d 0.588 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.588 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.588 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.588 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.588 * [taylor]: Taking taylor expansion of b in b 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 1 into 1 0.589 * [backup-simplify]: Simplify (/ 1 1) into 1 0.589 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.589 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.589 * [taylor]: Taking taylor expansion of c in b 0.589 * [backup-simplify]: Simplify c into c 0.589 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.589 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.589 * [taylor]: Taking taylor expansion of d in b 0.589 * [backup-simplify]: Simplify d into d 0.589 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.589 * [backup-simplify]: Simplify (+ 1 0) into 1 0.589 * [backup-simplify]: Simplify (- 1) into -1 0.589 * [taylor]: Taking taylor expansion of -1 in d 0.589 * [backup-simplify]: Simplify -1 into -1 0.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.590 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.590 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.590 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 0.590 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in d 0.590 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.590 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.590 * [taylor]: Taking taylor expansion of c in d 0.590 * [backup-simplify]: Simplify c into c 0.590 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.590 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.590 * [taylor]: Taking taylor expansion of d in d 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 1 into 1 0.591 * [backup-simplify]: Simplify (/ 1 1) into 1 0.591 * [backup-simplify]: Simplify (+ 0 1) into 1 0.591 * [backup-simplify]: Simplify (- 1) into -1 0.591 * [taylor]: Taking taylor expansion of -1 in c 0.591 * [backup-simplify]: Simplify -1 into -1 0.591 * [taylor]: Taking taylor expansion of -1 in c 0.591 * [backup-simplify]: Simplify -1 into -1 0.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.592 * [backup-simplify]: Simplify (+ 0 0) into 0 0.592 * [backup-simplify]: Simplify (+ 0 0) into 0 0.593 * [backup-simplify]: Simplify (- 0) into 0 0.593 * [taylor]: Taking taylor expansion of 0 in d 0.593 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.593 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.593 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c)) 0.593 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.593 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.593 * [taylor]: Taking taylor expansion of c in c 0.593 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify 1 into 1 0.594 * [backup-simplify]: Simplify (/ 1 1) into 1 0.594 * [backup-simplify]: Simplify (- 1) into -1 0.594 * [backup-simplify]: Simplify -1 into -1 0.594 * [taylor]: Taking taylor expansion of 0 in c 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify -1 into -1 0.594 * [backup-simplify]: Simplify -1 into -1 0.594 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- b)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) 1))) (* -1 (* (/ 1 (/ 1 (- c))) (* 1 1))))) into (+ b (+ c d)) 0.594 * * * [progress]: simplifying candidates 0.595 * [simplify]: Simplifying: (* (* (* (exp b) (exp d)) (exp c)) (exp a)) (* (* (exp (+ b d)) (exp c)) (exp a)) (* (exp (+ (+ b d) c)) (exp a)) (log (+ (+ (+ b d) c) a)) (exp (+ (+ (+ b d) c) a)) (* (cbrt (+ (+ (+ b d) c) a)) (cbrt (+ (+ (+ b d) c) a))) (cbrt (+ (+ (+ b d) c) a)) (* (* (+ (+ (+ b d) c) a) (+ (+ (+ b d) c) a)) (+ (+ (+ b d) c) a)) (sqrt (+ (+ (+ b d) c) a)) (sqrt (+ (+ (+ b d) c) a)) (+ (pow (+ (+ b d) c) 3) (pow a 3)) (+ (* (+ (+ b d) c) (+ (+ b d) c)) (- (* a a) (* (+ (+ b d) c) a))) (- (* (+ (+ b d) c) (+ (+ b d) c)) (* a a)) (- (+ (+ b d) c) a) (+ (+ (+ b d) c) a) (+ (+ (+ b d) c) a) (+ (+ (+ b d) c) a) (+ c a) (* (* (exp b) (exp d)) (exp c)) (* (exp (+ b d)) (exp c)) (log (+ (+ b d) c)) (exp (+ (+ b d) c)) (* (cbrt (+ (+ b d) c)) (cbrt (+ (+ b d) c))) (cbrt (+ (+ b d) c)) (* (* (+ (+ b d) c) (+ (+ b d) c)) (+ (+ b d) c)) (sqrt (+ (+ b d) c)) (sqrt (+ (+ b d) c)) (+ (pow (+ b d) 3) (pow c 3)) (+ (* (+ b d) (+ b d)) (- (* c c) (* (+ b d) c))) (- (* (+ b d) (+ b d)) (* c c)) (- (+ b d) c) (+ (+ b d) c) (+ (+ b d) c) (+ d c) (+ b (+ c d)) (+ a (+ c d)) (+ a (+ c d)) (+ b (+ c d)) (+ b (+ c d)) (+ b (+ c d)) 0.596 * * [simplify]: iteration 0: 57 enodes 0.613 * * [simplify]: iteration 1: 161 enodes 0.663 * * [simplify]: iteration 2: 819 enodes 1.078 * * [simplify]: iteration complete: 5000 enodes 1.078 * * [simplify]: Extracting #0: cost 25 inf + 0 1.079 * * [simplify]: Extracting #1: cost 475 inf + 0 1.087 * * [simplify]: Extracting #2: cost 1818 inf + 533 1.102 * * [simplify]: Extracting #3: cost 1247 inf + 10500 1.117 * * [simplify]: Extracting #4: cost 50 inf + 25332 1.131 * * [simplify]: Extracting #5: cost 29 inf + 25575 1.145 * * [simplify]: Extracting #6: cost 5 inf + 25677 1.159 * * [simplify]: Extracting #7: cost 0 inf + 25708 1.173 * [simplify]: Simplified to: (exp (+ c (+ (+ b d) a))) (exp (+ c (+ (+ b d) a))) (exp (+ c (+ (+ b d) a))) (log (+ c (+ (+ b d) a))) (exp (+ c (+ (+ b d) a))) (* (cbrt (+ c (+ (+ b d) a))) (cbrt (+ c (+ (+ b d) a)))) (cbrt (+ c (+ (+ b d) a))) (pow (+ c (+ (+ b d) a)) 3) (sqrt (+ c (+ (+ b d) a))) (sqrt (+ c (+ (+ b d) a))) (+ (pow (+ c (+ b d)) 3) (pow a 3)) (+ (* a a) (* (+ c (+ b d)) (- (+ c (+ b d)) a))) (* (+ c (+ (+ b d) a)) (- (+ c (+ b d)) a)) (- (+ c (+ b d)) a) (+ c (+ (+ b d) a)) (+ c (+ (+ b d) a)) (+ c (+ (+ b d) a)) (+ c a) (exp (+ c (+ b d))) (exp (+ c (+ b d))) (log (+ c (+ b d))) (exp (+ c (+ b d))) (* (cbrt (+ c (+ b d))) (cbrt (+ c (+ b d)))) (cbrt (+ c (+ b d))) (pow (+ c (+ b d)) 3) (sqrt (+ c (+ b d))) (sqrt (+ c (+ b d))) (+ (pow c 3) (pow (+ b d) 3)) (+ (* c c) (* (+ b d) (- (+ b d) c))) (- (* (+ b d) (+ b d)) (* c c)) (- (+ b d) c) (+ c (+ b d)) (+ c (+ b d)) (+ c d) (+ c (+ b d)) (+ a (+ c d)) (+ a (+ c d)) (+ c (+ b d)) (+ c (+ b d)) (+ c (+ b d)) 1.176 * * * [progress]: adding candidates to table 1.359 * * [progress]: iteration 2 / 4 1.359 * * * [progress]: picking best candidate 1.444 * * * * [pick]: Picked # 1.444 * * * [progress]: localizing error 1.470 * * * [progress]: generating rewritten candidates 1.470 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 2) 1.516 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.587 * * * [progress]: generating series expansions 1.587 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 2) 1.587 * [backup-simplify]: Simplify (+ (+ b d) a) into (+ a (+ b d)) 1.587 * [approximate]: Taking taylor expansion of (+ a (+ b d)) in (b d a) around 0 1.587 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in a 1.587 * [taylor]: Taking taylor expansion of a in a 1.587 * [backup-simplify]: Simplify 0 into 0 1.587 * [backup-simplify]: Simplify 1 into 1 1.587 * [taylor]: Taking taylor expansion of (+ b d) in a 1.587 * [taylor]: Taking taylor expansion of b in a 1.587 * [backup-simplify]: Simplify b into b 1.587 * [taylor]: Taking taylor expansion of d in a 1.587 * [backup-simplify]: Simplify d into d 1.587 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in d 1.588 * [taylor]: Taking taylor expansion of a in d 1.588 * [backup-simplify]: Simplify a into a 1.588 * [taylor]: Taking taylor expansion of (+ b d) in d 1.588 * [taylor]: Taking taylor expansion of b in d 1.588 * [backup-simplify]: Simplify b into b 1.588 * [taylor]: Taking taylor expansion of d in d 1.588 * [backup-simplify]: Simplify 0 into 0 1.588 * [backup-simplify]: Simplify 1 into 1 1.588 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.588 * [taylor]: Taking taylor expansion of a in b 1.588 * [backup-simplify]: Simplify a into a 1.588 * [taylor]: Taking taylor expansion of (+ b d) in b 1.588 * [taylor]: Taking taylor expansion of b in b 1.588 * [backup-simplify]: Simplify 0 into 0 1.588 * [backup-simplify]: Simplify 1 into 1 1.588 * [taylor]: Taking taylor expansion of d in b 1.588 * [backup-simplify]: Simplify d into d 1.588 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.588 * [taylor]: Taking taylor expansion of a in b 1.588 * [backup-simplify]: Simplify a into a 1.588 * [taylor]: Taking taylor expansion of (+ b d) in b 1.588 * [taylor]: Taking taylor expansion of b in b 1.588 * [backup-simplify]: Simplify 0 into 0 1.588 * [backup-simplify]: Simplify 1 into 1 1.588 * [taylor]: Taking taylor expansion of d in b 1.588 * [backup-simplify]: Simplify d into d 1.588 * [backup-simplify]: Simplify (+ 0 d) into d 1.588 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1.588 * [taylor]: Taking taylor expansion of (+ a d) in d 1.588 * [taylor]: Taking taylor expansion of a in d 1.588 * [backup-simplify]: Simplify a into a 1.588 * [taylor]: Taking taylor expansion of d in d 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify 1 into 1 1.589 * [backup-simplify]: Simplify (+ a 0) into a 1.589 * [taylor]: Taking taylor expansion of a in a 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify 1 into 1 1.589 * [backup-simplify]: Simplify 0 into 0 1.590 * [backup-simplify]: Simplify (+ 1 0) into 1 1.590 * [backup-simplify]: Simplify (+ 0 1) into 1 1.590 * [taylor]: Taking taylor expansion of 1 in d 1.590 * [backup-simplify]: Simplify 1 into 1 1.590 * [taylor]: Taking taylor expansion of 1 in a 1.590 * [backup-simplify]: Simplify 1 into 1 1.590 * [backup-simplify]: Simplify 1 into 1 1.591 * [backup-simplify]: Simplify (+ 0 1) into 1 1.591 * [taylor]: Taking taylor expansion of 1 in a 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [backup-simplify]: Simplify 1 into 1 1.592 * [backup-simplify]: Simplify (+ (* 1 (* a (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ a (+ b d)) 1.592 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.592 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in (b d a) around 0 1.592 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a 1.592 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.592 * [taylor]: Taking taylor expansion of b in a 1.592 * [backup-simplify]: Simplify b into b 1.592 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.592 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 1.592 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.592 * [taylor]: Taking taylor expansion of a in a 1.592 * [backup-simplify]: Simplify 0 into 0 1.592 * [backup-simplify]: Simplify 1 into 1 1.593 * [backup-simplify]: Simplify (/ 1 1) into 1 1.593 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.593 * [taylor]: Taking taylor expansion of d in a 1.593 * [backup-simplify]: Simplify d into d 1.593 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d 1.593 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.593 * [taylor]: Taking taylor expansion of b in d 1.593 * [backup-simplify]: Simplify b into b 1.593 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.593 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.593 * [taylor]: Taking taylor expansion of a in d 1.593 * [backup-simplify]: Simplify a into a 1.593 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.593 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.593 * [taylor]: Taking taylor expansion of d in d 1.593 * [backup-simplify]: Simplify 0 into 0 1.593 * [backup-simplify]: Simplify 1 into 1 1.594 * [backup-simplify]: Simplify (/ 1 1) into 1 1.594 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.594 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.594 * [taylor]: Taking taylor expansion of b in b 1.594 * [backup-simplify]: Simplify 0 into 0 1.594 * [backup-simplify]: Simplify 1 into 1 1.594 * [backup-simplify]: Simplify (/ 1 1) into 1 1.594 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.594 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.594 * [taylor]: Taking taylor expansion of a in b 1.594 * [backup-simplify]: Simplify a into a 1.594 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.594 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.594 * [taylor]: Taking taylor expansion of d in b 1.594 * [backup-simplify]: Simplify d into d 1.594 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.594 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.594 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.595 * [taylor]: Taking taylor expansion of b in b 1.595 * [backup-simplify]: Simplify 0 into 0 1.595 * [backup-simplify]: Simplify 1 into 1 1.595 * [backup-simplify]: Simplify (/ 1 1) into 1 1.595 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.595 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.595 * [taylor]: Taking taylor expansion of a in b 1.595 * [backup-simplify]: Simplify a into a 1.595 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.595 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.595 * [taylor]: Taking taylor expansion of d in b 1.595 * [backup-simplify]: Simplify d into d 1.595 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.596 * [backup-simplify]: Simplify (+ 1 0) into 1 1.596 * [taylor]: Taking taylor expansion of 1 in d 1.596 * [backup-simplify]: Simplify 1 into 1 1.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.597 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.597 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.597 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.597 * [taylor]: Taking taylor expansion of a in d 1.597 * [backup-simplify]: Simplify a into a 1.597 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.597 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.597 * [taylor]: Taking taylor expansion of d in d 1.597 * [backup-simplify]: Simplify 0 into 0 1.597 * [backup-simplify]: Simplify 1 into 1 1.598 * [backup-simplify]: Simplify (/ 1 1) into 1 1.598 * [backup-simplify]: Simplify (+ 0 1) into 1 1.598 * [taylor]: Taking taylor expansion of 1 in a 1.598 * [backup-simplify]: Simplify 1 into 1 1.598 * [taylor]: Taking taylor expansion of 1 in a 1.598 * [backup-simplify]: Simplify 1 into 1 1.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.600 * [backup-simplify]: Simplify (+ 0 0) into 0 1.601 * [backup-simplify]: Simplify (+ 0 0) into 0 1.601 * [taylor]: Taking taylor expansion of 0 in d 1.601 * [backup-simplify]: Simplify 0 into 0 1.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.602 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.602 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.602 * [taylor]: Taking taylor expansion of a in a 1.602 * [backup-simplify]: Simplify 0 into 0 1.602 * [backup-simplify]: Simplify 1 into 1 1.602 * [backup-simplify]: Simplify (/ 1 1) into 1 1.602 * [backup-simplify]: Simplify 1 into 1 1.602 * [taylor]: Taking taylor expansion of 0 in a 1.603 * [backup-simplify]: Simplify 0 into 0 1.603 * [backup-simplify]: Simplify 1 into 1 1.603 * [backup-simplify]: Simplify 1 into 1 1.603 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) 1))) (* 1 (* (/ 1 (/ 1 a)) (* 1 1))))) into (+ a (+ b d)) 1.604 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 1.604 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in (b d a) around 0 1.604 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in a 1.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a 1.604 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.604 * [taylor]: Taking taylor expansion of b in a 1.604 * [backup-simplify]: Simplify b into b 1.604 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.604 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 1.604 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.604 * [taylor]: Taking taylor expansion of a in a 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify 1 into 1 1.604 * [backup-simplify]: Simplify (/ 1 1) into 1 1.604 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.604 * [taylor]: Taking taylor expansion of d in a 1.604 * [backup-simplify]: Simplify d into d 1.605 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.605 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in d 1.605 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d 1.605 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.605 * [taylor]: Taking taylor expansion of b in d 1.605 * [backup-simplify]: Simplify b into b 1.605 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.605 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.605 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.605 * [taylor]: Taking taylor expansion of a in d 1.605 * [backup-simplify]: Simplify a into a 1.605 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.605 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.605 * [taylor]: Taking taylor expansion of d in d 1.605 * [backup-simplify]: Simplify 0 into 0 1.605 * [backup-simplify]: Simplify 1 into 1 1.605 * [backup-simplify]: Simplify (/ 1 1) into 1 1.605 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.606 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.606 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.606 * [taylor]: Taking taylor expansion of b in b 1.606 * [backup-simplify]: Simplify 0 into 0 1.606 * [backup-simplify]: Simplify 1 into 1 1.606 * [backup-simplify]: Simplify (/ 1 1) into 1 1.606 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.606 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.606 * [taylor]: Taking taylor expansion of a in b 1.606 * [backup-simplify]: Simplify a into a 1.606 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.606 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.606 * [taylor]: Taking taylor expansion of d in b 1.606 * [backup-simplify]: Simplify d into d 1.606 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.606 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.606 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.606 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.606 * [taylor]: Taking taylor expansion of b in b 1.606 * [backup-simplify]: Simplify 0 into 0 1.607 * [backup-simplify]: Simplify 1 into 1 1.607 * [backup-simplify]: Simplify (/ 1 1) into 1 1.607 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.607 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.607 * [taylor]: Taking taylor expansion of a in b 1.607 * [backup-simplify]: Simplify a into a 1.607 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.607 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.607 * [taylor]: Taking taylor expansion of d in b 1.607 * [backup-simplify]: Simplify d into d 1.607 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.608 * [backup-simplify]: Simplify (+ 1 0) into 1 1.608 * [backup-simplify]: Simplify (- 1) into -1 1.608 * [taylor]: Taking taylor expansion of -1 in d 1.608 * [backup-simplify]: Simplify -1 into -1 1.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.609 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.609 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.609 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1.609 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1.610 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.610 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.610 * [taylor]: Taking taylor expansion of a in d 1.610 * [backup-simplify]: Simplify a into a 1.610 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.610 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.610 * [taylor]: Taking taylor expansion of d in d 1.610 * [backup-simplify]: Simplify 0 into 0 1.610 * [backup-simplify]: Simplify 1 into 1 1.610 * [backup-simplify]: Simplify (/ 1 1) into 1 1.611 * [backup-simplify]: Simplify (+ 0 1) into 1 1.611 * [backup-simplify]: Simplify (- 1) into -1 1.611 * [taylor]: Taking taylor expansion of -1 in a 1.611 * [backup-simplify]: Simplify -1 into -1 1.611 * [taylor]: Taking taylor expansion of -1 in a 1.611 * [backup-simplify]: Simplify -1 into -1 1.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.613 * [backup-simplify]: Simplify (+ 0 0) into 0 1.613 * [backup-simplify]: Simplify (+ 0 0) into 0 1.613 * [backup-simplify]: Simplify (- 0) into 0 1.613 * [taylor]: Taking taylor expansion of 0 in d 1.613 * [backup-simplify]: Simplify 0 into 0 1.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.614 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.614 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1.614 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.615 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.615 * [taylor]: Taking taylor expansion of a in a 1.615 * [backup-simplify]: Simplify 0 into 0 1.615 * [backup-simplify]: Simplify 1 into 1 1.615 * [backup-simplify]: Simplify (/ 1 1) into 1 1.615 * [backup-simplify]: Simplify (- 1) into -1 1.615 * [backup-simplify]: Simplify -1 into -1 1.615 * [taylor]: Taking taylor expansion of 0 in a 1.615 * [backup-simplify]: Simplify 0 into 0 1.616 * [backup-simplify]: Simplify -1 into -1 1.616 * [backup-simplify]: Simplify -1 into -1 1.616 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- b)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) 1))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 1))))) into (+ a (+ b d)) 1.616 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.617 * [backup-simplify]: Simplify (+ c (+ (+ b d) a)) into (+ a (+ b (+ c d))) 1.617 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b d a) around 0 1.617 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1.617 * [taylor]: Taking taylor expansion of a in a 1.617 * [backup-simplify]: Simplify 0 into 0 1.617 * [backup-simplify]: Simplify 1 into 1 1.617 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1.617 * [taylor]: Taking taylor expansion of b in a 1.617 * [backup-simplify]: Simplify b into b 1.617 * [taylor]: Taking taylor expansion of (+ c d) in a 1.617 * [taylor]: Taking taylor expansion of c in a 1.617 * [backup-simplify]: Simplify c into c 1.617 * [taylor]: Taking taylor expansion of d in a 1.617 * [backup-simplify]: Simplify d into d 1.617 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1.617 * [taylor]: Taking taylor expansion of a in d 1.617 * [backup-simplify]: Simplify a into a 1.617 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1.617 * [taylor]: Taking taylor expansion of b in d 1.617 * [backup-simplify]: Simplify b into b 1.617 * [taylor]: Taking taylor expansion of (+ c d) in d 1.617 * [taylor]: Taking taylor expansion of c in d 1.617 * [backup-simplify]: Simplify c into c 1.617 * [taylor]: Taking taylor expansion of d in d 1.617 * [backup-simplify]: Simplify 0 into 0 1.617 * [backup-simplify]: Simplify 1 into 1 1.617 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1.617 * [taylor]: Taking taylor expansion of a in b 1.617 * [backup-simplify]: Simplify a into a 1.617 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1.617 * [taylor]: Taking taylor expansion of b in b 1.617 * [backup-simplify]: Simplify 0 into 0 1.617 * [backup-simplify]: Simplify 1 into 1 1.617 * [taylor]: Taking taylor expansion of (+ c d) in b 1.617 * [taylor]: Taking taylor expansion of c in b 1.617 * [backup-simplify]: Simplify c into c 1.617 * [taylor]: Taking taylor expansion of d in b 1.618 * [backup-simplify]: Simplify d into d 1.618 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1.618 * [taylor]: Taking taylor expansion of a in c 1.618 * [backup-simplify]: Simplify a into a 1.618 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1.618 * [taylor]: Taking taylor expansion of b in c 1.618 * [backup-simplify]: Simplify b into b 1.618 * [taylor]: Taking taylor expansion of (+ c d) in c 1.618 * [taylor]: Taking taylor expansion of c in c 1.618 * [backup-simplify]: Simplify 0 into 0 1.618 * [backup-simplify]: Simplify 1 into 1 1.618 * [taylor]: Taking taylor expansion of d in c 1.618 * [backup-simplify]: Simplify d into d 1.618 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1.618 * [taylor]: Taking taylor expansion of a in c 1.618 * [backup-simplify]: Simplify a into a 1.618 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1.618 * [taylor]: Taking taylor expansion of b in c 1.618 * [backup-simplify]: Simplify b into b 1.618 * [taylor]: Taking taylor expansion of (+ c d) in c 1.618 * [taylor]: Taking taylor expansion of c in c 1.618 * [backup-simplify]: Simplify 0 into 0 1.618 * [backup-simplify]: Simplify 1 into 1 1.618 * [taylor]: Taking taylor expansion of d in c 1.618 * [backup-simplify]: Simplify d into d 1.618 * [backup-simplify]: Simplify (+ 0 d) into d 1.618 * [backup-simplify]: Simplify (+ b d) into (+ b d) 1.618 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 1.618 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.618 * [taylor]: Taking taylor expansion of a in b 1.618 * [backup-simplify]: Simplify a into a 1.618 * [taylor]: Taking taylor expansion of (+ b d) in b 1.618 * [taylor]: Taking taylor expansion of b in b 1.619 * [backup-simplify]: Simplify 0 into 0 1.619 * [backup-simplify]: Simplify 1 into 1 1.619 * [taylor]: Taking taylor expansion of d in b 1.619 * [backup-simplify]: Simplify d into d 1.619 * [backup-simplify]: Simplify (+ 0 d) into d 1.619 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1.619 * [taylor]: Taking taylor expansion of (+ a d) in d 1.619 * [taylor]: Taking taylor expansion of a in d 1.619 * [backup-simplify]: Simplify a into a 1.619 * [taylor]: Taking taylor expansion of d in d 1.619 * [backup-simplify]: Simplify 0 into 0 1.619 * [backup-simplify]: Simplify 1 into 1 1.619 * [backup-simplify]: Simplify (+ a 0) into a 1.619 * [taylor]: Taking taylor expansion of a in a 1.619 * [backup-simplify]: Simplify 0 into 0 1.619 * [backup-simplify]: Simplify 1 into 1 1.619 * [backup-simplify]: Simplify 0 into 0 1.619 * [backup-simplify]: Simplify (+ 1 0) into 1 1.620 * [backup-simplify]: Simplify (+ 0 1) into 1 1.620 * [backup-simplify]: Simplify (+ 0 1) into 1 1.620 * [taylor]: Taking taylor expansion of 1 in b 1.620 * [backup-simplify]: Simplify 1 into 1 1.620 * [taylor]: Taking taylor expansion of 1 in d 1.620 * [backup-simplify]: Simplify 1 into 1 1.621 * [taylor]: Taking taylor expansion of 1 in a 1.621 * [backup-simplify]: Simplify 1 into 1 1.621 * [backup-simplify]: Simplify 1 into 1 1.621 * [backup-simplify]: Simplify (+ 1 0) into 1 1.621 * [backup-simplify]: Simplify (+ 0 1) into 1 1.621 * [taylor]: Taking taylor expansion of 1 in d 1.621 * [backup-simplify]: Simplify 1 into 1 1.622 * [taylor]: Taking taylor expansion of 1 in a 1.622 * [backup-simplify]: Simplify 1 into 1 1.622 * [backup-simplify]: Simplify 1 into 1 1.622 * [backup-simplify]: Simplify (+ 0 1) into 1 1.622 * [taylor]: Taking taylor expansion of 1 in a 1.622 * [backup-simplify]: Simplify 1 into 1 1.622 * [backup-simplify]: Simplify 1 into 1 1.623 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ b (+ c d)) 1.623 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 1.623 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b d a) around 0 1.623 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 1.623 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.623 * [taylor]: Taking taylor expansion of b in a 1.623 * [backup-simplify]: Simplify b into b 1.623 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.623 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 1.623 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.623 * [taylor]: Taking taylor expansion of a in a 1.623 * [backup-simplify]: Simplify 0 into 0 1.623 * [backup-simplify]: Simplify 1 into 1 1.624 * [backup-simplify]: Simplify (/ 1 1) into 1 1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1.624 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.624 * [taylor]: Taking taylor expansion of c in a 1.624 * [backup-simplify]: Simplify c into c 1.624 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.624 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.624 * [taylor]: Taking taylor expansion of d in a 1.624 * [backup-simplify]: Simplify d into d 1.624 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 1.624 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.624 * [taylor]: Taking taylor expansion of b in d 1.624 * [backup-simplify]: Simplify b into b 1.624 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 1.624 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.624 * [taylor]: Taking taylor expansion of a in d 1.624 * [backup-simplify]: Simplify a into a 1.624 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1.624 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.624 * [taylor]: Taking taylor expansion of c in d 1.624 * [backup-simplify]: Simplify c into c 1.624 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.624 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.625 * [taylor]: Taking taylor expansion of d in d 1.625 * [backup-simplify]: Simplify 0 into 0 1.625 * [backup-simplify]: Simplify 1 into 1 1.625 * [backup-simplify]: Simplify (/ 1 1) into 1 1.625 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 1.625 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.625 * [taylor]: Taking taylor expansion of b in b 1.625 * [backup-simplify]: Simplify 0 into 0 1.625 * [backup-simplify]: Simplify 1 into 1 1.625 * [backup-simplify]: Simplify (/ 1 1) into 1 1.625 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 1.625 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.625 * [taylor]: Taking taylor expansion of a in b 1.626 * [backup-simplify]: Simplify a into a 1.626 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1.626 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.626 * [taylor]: Taking taylor expansion of c in b 1.626 * [backup-simplify]: Simplify c into c 1.626 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.626 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.626 * [taylor]: Taking taylor expansion of d in b 1.626 * [backup-simplify]: Simplify d into d 1.626 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.626 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.626 * [taylor]: Taking taylor expansion of b in c 1.626 * [backup-simplify]: Simplify b into b 1.626 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.626 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.626 * [taylor]: Taking taylor expansion of a in c 1.626 * [backup-simplify]: Simplify a into a 1.626 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.626 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.626 * [taylor]: Taking taylor expansion of c in c 1.626 * [backup-simplify]: Simplify 0 into 0 1.626 * [backup-simplify]: Simplify 1 into 1 1.627 * [backup-simplify]: Simplify (/ 1 1) into 1 1.627 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.627 * [taylor]: Taking taylor expansion of d in c 1.627 * [backup-simplify]: Simplify d into d 1.627 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.627 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.627 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.627 * [taylor]: Taking taylor expansion of b in c 1.627 * [backup-simplify]: Simplify b into b 1.627 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.627 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.627 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.627 * [taylor]: Taking taylor expansion of a in c 1.627 * [backup-simplify]: Simplify a into a 1.627 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.627 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.627 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.627 * [taylor]: Taking taylor expansion of c in c 1.627 * [backup-simplify]: Simplify 0 into 0 1.627 * [backup-simplify]: Simplify 1 into 1 1.628 * [backup-simplify]: Simplify (/ 1 1) into 1 1.628 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.628 * [taylor]: Taking taylor expansion of d in c 1.628 * [backup-simplify]: Simplify d into d 1.628 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.628 * [backup-simplify]: Simplify (+ 1 0) into 1 1.629 * [backup-simplify]: Simplify (+ 0 1) into 1 1.629 * [backup-simplify]: Simplify (+ 0 1) into 1 1.629 * [taylor]: Taking taylor expansion of 1 in b 1.629 * [backup-simplify]: Simplify 1 into 1 1.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.630 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1.630 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.630 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.630 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.630 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.630 * [taylor]: Taking taylor expansion of b in b 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 1 into 1 1.631 * [backup-simplify]: Simplify (/ 1 1) into 1 1.631 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.631 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.631 * [taylor]: Taking taylor expansion of a in b 1.631 * [backup-simplify]: Simplify a into a 1.631 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.631 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.631 * [taylor]: Taking taylor expansion of d in b 1.631 * [backup-simplify]: Simplify d into d 1.631 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.631 * [backup-simplify]: Simplify (+ 1 0) into 1 1.631 * [taylor]: Taking taylor expansion of 1 in d 1.631 * [backup-simplify]: Simplify 1 into 1 1.631 * [taylor]: Taking taylor expansion of 1 in d 1.632 * [backup-simplify]: Simplify 1 into 1 1.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.633 * [backup-simplify]: Simplify (+ 0 0) into 0 1.633 * [backup-simplify]: Simplify (+ 0 0) into 0 1.634 * [backup-simplify]: Simplify (+ 0 0) into 0 1.634 * [taylor]: Taking taylor expansion of 0 in b 1.634 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.635 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.635 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.635 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.635 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.635 * [taylor]: Taking taylor expansion of a in d 1.635 * [backup-simplify]: Simplify a into a 1.635 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.635 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.635 * [taylor]: Taking taylor expansion of d in d 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 1 into 1 1.636 * [backup-simplify]: Simplify (/ 1 1) into 1 1.636 * [backup-simplify]: Simplify (+ 0 1) into 1 1.636 * [taylor]: Taking taylor expansion of 1 in a 1.636 * [backup-simplify]: Simplify 1 into 1 1.636 * [taylor]: Taking taylor expansion of 0 in d 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [taylor]: Taking taylor expansion of 1 in a 1.636 * [backup-simplify]: Simplify 1 into 1 1.636 * [taylor]: Taking taylor expansion of 1 in a 1.636 * [backup-simplify]: Simplify 1 into 1 1.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1.638 * [backup-simplify]: Simplify (+ 0 0) into 0 1.639 * [backup-simplify]: Simplify (+ 0 0) into 0 1.639 * [backup-simplify]: Simplify (+ 0 0) into 0 1.639 * [taylor]: Taking taylor expansion of 0 in b 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [taylor]: Taking taylor expansion of 0 in d 1.639 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.641 * [backup-simplify]: Simplify (+ 0 0) into 0 1.641 * [backup-simplify]: Simplify (+ 0 0) into 0 1.641 * [taylor]: Taking taylor expansion of 0 in d 1.641 * [backup-simplify]: Simplify 0 into 0 1.641 * [taylor]: Taking taylor expansion of 0 in d 1.641 * [backup-simplify]: Simplify 0 into 0 1.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.642 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.642 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.642 * [taylor]: Taking taylor expansion of a in a 1.642 * [backup-simplify]: Simplify 0 into 0 1.642 * [backup-simplify]: Simplify 1 into 1 1.643 * [backup-simplify]: Simplify (/ 1 1) into 1 1.643 * [backup-simplify]: Simplify 1 into 1 1.643 * [taylor]: Taking taylor expansion of 0 in a 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [taylor]: Taking taylor expansion of 0 in a 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [taylor]: Taking taylor expansion of 0 in a 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [backup-simplify]: Simplify 1 into 1 1.643 * [backup-simplify]: Simplify 1 into 1 1.644 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 a)) (* 1 (* 1 1)))))) into (+ a (+ b d)) 1.645 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a)))) into (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) 1.645 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b d a) around 0 1.645 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a 1.645 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 1.645 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.645 * [taylor]: Taking taylor expansion of b in a 1.645 * [backup-simplify]: Simplify b into b 1.645 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.645 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 1.645 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.645 * [taylor]: Taking taylor expansion of a in a 1.645 * [backup-simplify]: Simplify 0 into 0 1.645 * [backup-simplify]: Simplify 1 into 1 1.645 * [backup-simplify]: Simplify (/ 1 1) into 1 1.645 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1.645 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.645 * [taylor]: Taking taylor expansion of c in a 1.645 * [backup-simplify]: Simplify c into c 1.645 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.646 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.646 * [taylor]: Taking taylor expansion of d in a 1.646 * [backup-simplify]: Simplify d into d 1.646 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d 1.646 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 1.646 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.646 * [taylor]: Taking taylor expansion of b in d 1.646 * [backup-simplify]: Simplify b into b 1.646 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.646 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 1.646 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.646 * [taylor]: Taking taylor expansion of a in d 1.646 * [backup-simplify]: Simplify a into a 1.646 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.646 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1.646 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.646 * [taylor]: Taking taylor expansion of c in d 1.646 * [backup-simplify]: Simplify c into c 1.646 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.646 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.646 * [taylor]: Taking taylor expansion of d in d 1.646 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify 1 into 1 1.647 * [backup-simplify]: Simplify (/ 1 1) into 1 1.647 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b 1.647 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 1.647 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.647 * [taylor]: Taking taylor expansion of b in b 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 1 into 1 1.647 * [backup-simplify]: Simplify (/ 1 1) into 1 1.647 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 1.647 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.647 * [taylor]: Taking taylor expansion of a in b 1.647 * [backup-simplify]: Simplify a into a 1.647 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.648 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1.648 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.648 * [taylor]: Taking taylor expansion of c in b 1.648 * [backup-simplify]: Simplify c into c 1.648 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.648 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.648 * [taylor]: Taking taylor expansion of d in b 1.648 * [backup-simplify]: Simplify d into d 1.648 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.648 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 1.648 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.648 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.648 * [taylor]: Taking taylor expansion of b in c 1.648 * [backup-simplify]: Simplify b into b 1.648 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.648 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.648 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.648 * [taylor]: Taking taylor expansion of a in c 1.648 * [backup-simplify]: Simplify a into a 1.648 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.648 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.648 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.648 * [taylor]: Taking taylor expansion of c in c 1.648 * [backup-simplify]: Simplify 0 into 0 1.648 * [backup-simplify]: Simplify 1 into 1 1.649 * [backup-simplify]: Simplify (/ 1 1) into 1 1.649 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.649 * [taylor]: Taking taylor expansion of d in c 1.649 * [backup-simplify]: Simplify d into d 1.649 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.649 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 1.649 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.649 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.649 * [taylor]: Taking taylor expansion of b in c 1.649 * [backup-simplify]: Simplify b into b 1.649 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.649 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.649 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.649 * [taylor]: Taking taylor expansion of a in c 1.649 * [backup-simplify]: Simplify a into a 1.649 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.649 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.649 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.649 * [taylor]: Taking taylor expansion of c in c 1.649 * [backup-simplify]: Simplify 0 into 0 1.649 * [backup-simplify]: Simplify 1 into 1 1.650 * [backup-simplify]: Simplify (/ 1 1) into 1 1.650 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.650 * [taylor]: Taking taylor expansion of d in c 1.650 * [backup-simplify]: Simplify d into d 1.650 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.650 * [backup-simplify]: Simplify (+ 1 0) into 1 1.651 * [backup-simplify]: Simplify (+ 0 1) into 1 1.651 * [backup-simplify]: Simplify (+ 0 1) into 1 1.652 * [backup-simplify]: Simplify (- 1) into -1 1.652 * [taylor]: Taking taylor expansion of -1 in b 1.652 * [backup-simplify]: Simplify -1 into -1 1.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.653 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1.653 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.653 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.653 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 1.653 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.653 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.653 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.653 * [taylor]: Taking taylor expansion of b in b 1.653 * [backup-simplify]: Simplify 0 into 0 1.653 * [backup-simplify]: Simplify 1 into 1 1.654 * [backup-simplify]: Simplify (/ 1 1) into 1 1.654 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.654 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.654 * [taylor]: Taking taylor expansion of a in b 1.654 * [backup-simplify]: Simplify a into a 1.654 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.654 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.654 * [taylor]: Taking taylor expansion of d in b 1.654 * [backup-simplify]: Simplify d into d 1.654 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.654 * [backup-simplify]: Simplify (+ 1 0) into 1 1.655 * [backup-simplify]: Simplify (- 1) into -1 1.655 * [taylor]: Taking taylor expansion of -1 in d 1.655 * [backup-simplify]: Simplify -1 into -1 1.655 * [taylor]: Taking taylor expansion of -1 in d 1.655 * [backup-simplify]: Simplify -1 into -1 1.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.657 * [backup-simplify]: Simplify (+ 0 0) into 0 1.657 * [backup-simplify]: Simplify (+ 0 0) into 0 1.657 * [backup-simplify]: Simplify (+ 0 0) into 0 1.658 * [backup-simplify]: Simplify (- 0) into 0 1.658 * [taylor]: Taking taylor expansion of 0 in b 1.658 * [backup-simplify]: Simplify 0 into 0 1.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.659 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.659 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.659 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1.659 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1.659 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.659 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.659 * [taylor]: Taking taylor expansion of a in d 1.659 * [backup-simplify]: Simplify a into a 1.659 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.659 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.659 * [taylor]: Taking taylor expansion of d in d 1.659 * [backup-simplify]: Simplify 0 into 0 1.659 * [backup-simplify]: Simplify 1 into 1 1.660 * [backup-simplify]: Simplify (/ 1 1) into 1 1.660 * [backup-simplify]: Simplify (+ 0 1) into 1 1.660 * [backup-simplify]: Simplify (- 1) into -1 1.660 * [taylor]: Taking taylor expansion of -1 in a 1.661 * [backup-simplify]: Simplify -1 into -1 1.661 * [taylor]: Taking taylor expansion of 0 in d 1.661 * [backup-simplify]: Simplify 0 into 0 1.661 * [taylor]: Taking taylor expansion of -1 in a 1.661 * [backup-simplify]: Simplify -1 into -1 1.661 * [taylor]: Taking taylor expansion of -1 in a 1.661 * [backup-simplify]: Simplify -1 into -1 1.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1.663 * [backup-simplify]: Simplify (+ 0 0) into 0 1.663 * [backup-simplify]: Simplify (+ 0 0) into 0 1.664 * [backup-simplify]: Simplify (+ 0 0) into 0 1.664 * [backup-simplify]: Simplify (- 0) into 0 1.664 * [taylor]: Taking taylor expansion of 0 in b 1.664 * [backup-simplify]: Simplify 0 into 0 1.664 * [taylor]: Taking taylor expansion of 0 in d 1.664 * [backup-simplify]: Simplify 0 into 0 1.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.666 * [backup-simplify]: Simplify (+ 0 0) into 0 1.666 * [backup-simplify]: Simplify (+ 0 0) into 0 1.666 * [backup-simplify]: Simplify (- 0) into 0 1.666 * [taylor]: Taking taylor expansion of 0 in d 1.666 * [backup-simplify]: Simplify 0 into 0 1.666 * [taylor]: Taking taylor expansion of 0 in d 1.666 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.667 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.667 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1.667 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.668 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.668 * [taylor]: Taking taylor expansion of a in a 1.668 * [backup-simplify]: Simplify 0 into 0 1.668 * [backup-simplify]: Simplify 1 into 1 1.668 * [backup-simplify]: Simplify (/ 1 1) into 1 1.668 * [backup-simplify]: Simplify (- 1) into -1 1.668 * [backup-simplify]: Simplify -1 into -1 1.668 * [taylor]: Taking taylor expansion of 0 in a 1.668 * [backup-simplify]: Simplify 0 into 0 1.669 * [taylor]: Taking taylor expansion of 0 in a 1.669 * [backup-simplify]: Simplify 0 into 0 1.669 * [taylor]: Taking taylor expansion of 0 in a 1.669 * [backup-simplify]: Simplify 0 into 0 1.669 * [backup-simplify]: Simplify -1 into -1 1.669 * [backup-simplify]: Simplify -1 into -1 1.670 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 (* 1 1)))))) into (+ a (+ b d)) 1.670 * * * [progress]: simplifying candidates 1.671 * [simplify]: Simplifying: (* (* (exp b) (exp d)) (exp a)) (* (exp (+ b d)) (exp a)) (log (+ (+ b d) a)) (exp (+ (+ b d) a)) (* (cbrt (+ (+ b d) a)) (cbrt (+ (+ b d) a))) (cbrt (+ (+ b d) a)) (* (* (+ (+ b d) a) (+ (+ b d) a)) (+ (+ b d) a)) (sqrt (+ (+ b d) a)) (sqrt (+ (+ b d) a)) (+ (pow (+ b d) 3) (pow a 3)) (+ (* (+ b d) (+ b d)) (- (* a a) (* (+ b d) a))) (- (* (+ b d) (+ b d)) (* a a)) (- (+ b d) a) (+ (+ b d) a) (+ (+ b d) a) (+ d a) (* (exp c) (* (* (exp b) (exp d)) (exp a))) (* (exp c) (* (exp (+ b d)) (exp a))) (* (exp c) (exp (+ (+ b d) a))) (log (+ c (+ (+ b d) a))) (exp (+ c (+ (+ b d) a))) (* (cbrt (+ c (+ (+ b d) a))) (cbrt (+ c (+ (+ b d) a)))) (cbrt (+ c (+ (+ b d) a))) (* (* (+ c (+ (+ b d) a)) (+ c (+ (+ b d) a))) (+ c (+ (+ b d) a))) (sqrt (+ c (+ (+ b d) a))) (sqrt (+ c (+ (+ b d) a))) (+ (pow c 3) (pow (+ (+ b d) a) 3)) (+ (* c c) (- (* (+ (+ b d) a) (+ (+ b d) a)) (* c (+ (+ b d) a)))) (- (* c c) (* (+ (+ b d) a) (+ (+ b d) a))) (- c (+ (+ b d) a)) (+ c (+ (+ b d) a)) (+ c (+ (+ b d) a)) (+ c (+ (+ b d) a)) (+ c (+ b d)) (+ a (+ b d)) (+ a (+ b d)) (+ a (+ b d)) (+ b (+ c d)) (+ a (+ b d)) (+ a (+ b d)) 1.672 * * [simplify]: iteration 0: 57 enodes 1.691 * * [simplify]: iteration 1: 168 enodes 1.739 * * [simplify]: iteration 2: 647 enodes 2.271 * * [simplify]: iteration 3: 4212 enodes 3.280 * * [simplify]: iteration complete: 5001 enodes 3.280 * * [simplify]: Extracting #0: cost 24 inf + 0 3.281 * * [simplify]: Extracting #1: cost 334 inf + 0 3.291 * * [simplify]: Extracting #2: cost 1219 inf + 332 3.301 * * [simplify]: Extracting #3: cost 984 inf + 5806 3.312 * * [simplify]: Extracting #4: cost 205 inf + 15702 3.322 * * [simplify]: Extracting #5: cost 59 inf + 17807 3.333 * * [simplify]: Extracting #6: cost 15 inf + 18036 3.340 * * [simplify]: Extracting #7: cost 0 inf + 18117 3.345 * [simplify]: Simplified to: (exp (+ a (+ b d))) (exp (+ a (+ b d))) (log (+ a (+ b d))) (exp (+ a (+ b d))) (* (cbrt (+ a (+ b d))) (cbrt (+ a (+ b d)))) (cbrt (+ a (+ b d))) (pow (+ a (+ b d)) 3) (sqrt (+ a (+ b d))) (sqrt (+ a (+ b d))) (+ (pow (+ b d) 3) (pow a 3)) (+ (* a a) (* (+ b d) (+ b (- d a)))) (- (* (+ b d) (+ b d)) (* a a)) (+ b (- d a)) (+ a (+ b d)) (+ a (+ b d)) (+ a d) (exp (+ (+ a b) (+ c d))) (exp (+ (+ a b) (+ c d))) (exp (+ (+ a b) (+ c d))) (log (+ (+ a b) (+ c d))) (exp (+ (+ a b) (+ c d))) (* (cbrt (+ (+ a b) (+ c d))) (cbrt (+ (+ a b) (+ c d)))) (cbrt (+ (+ a b) (+ c d))) (pow (+ (+ a b) (+ c d)) 3) (sqrt (+ (+ a b) (+ c d))) (sqrt (+ (+ a b) (+ c d))) (+ (pow (+ a (+ b d)) 3) (pow c 3)) (+ (* (+ (- a c) (+ b d)) (+ a (+ b d))) (* c c)) (* (+ (+ a b) (+ c d)) (- c (+ a (+ b d)))) (- c (+ a (+ b d))) (+ (+ a b) (+ c d)) (+ (+ a b) (+ c d)) (+ (+ a b) (+ c d)) (+ (+ b d) c) (+ a (+ b d)) (+ a (+ b d)) (+ a (+ b d)) (+ (+ b d) c) (+ a (+ b d)) (+ a (+ b d)) 3.345 * * * [progress]: adding candidates to table 3.554 * * [progress]: iteration 3 / 4 3.554 * * * [progress]: picking best candidate 3.572 * * * * [pick]: Picked # 3.572 * * * [progress]: localizing error 3.584 * * * [progress]: generating rewritten candidates 3.584 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2) 3.636 * * * [progress]: generating series expansions 3.636 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2) 3.636 * [backup-simplify]: Simplify (+ c (+ b (+ a d))) into (+ a (+ b (+ c d))) 3.636 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b a d) around 0 3.636 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 3.636 * [taylor]: Taking taylor expansion of a in d 3.636 * [backup-simplify]: Simplify a into a 3.636 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 3.636 * [taylor]: Taking taylor expansion of b in d 3.636 * [backup-simplify]: Simplify b into b 3.636 * [taylor]: Taking taylor expansion of (+ c d) in d 3.636 * [taylor]: Taking taylor expansion of c in d 3.636 * [backup-simplify]: Simplify c into c 3.636 * [taylor]: Taking taylor expansion of d in d 3.636 * [backup-simplify]: Simplify 0 into 0 3.636 * [backup-simplify]: Simplify 1 into 1 3.636 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 3.636 * [taylor]: Taking taylor expansion of a in a 3.636 * [backup-simplify]: Simplify 0 into 0 3.636 * [backup-simplify]: Simplify 1 into 1 3.636 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 3.636 * [taylor]: Taking taylor expansion of b in a 3.636 * [backup-simplify]: Simplify b into b 3.636 * [taylor]: Taking taylor expansion of (+ c d) in a 3.636 * [taylor]: Taking taylor expansion of c in a 3.636 * [backup-simplify]: Simplify c into c 3.636 * [taylor]: Taking taylor expansion of d in a 3.636 * [backup-simplify]: Simplify d into d 3.636 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 3.636 * [taylor]: Taking taylor expansion of a in b 3.636 * [backup-simplify]: Simplify a into a 3.636 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 3.636 * [taylor]: Taking taylor expansion of b in b 3.636 * [backup-simplify]: Simplify 0 into 0 3.636 * [backup-simplify]: Simplify 1 into 1 3.636 * [taylor]: Taking taylor expansion of (+ c d) in b 3.636 * [taylor]: Taking taylor expansion of c in b 3.636 * [backup-simplify]: Simplify c into c 3.636 * [taylor]: Taking taylor expansion of d in b 3.636 * [backup-simplify]: Simplify d into d 3.636 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 3.636 * [taylor]: Taking taylor expansion of a in c 3.637 * [backup-simplify]: Simplify a into a 3.637 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 3.637 * [taylor]: Taking taylor expansion of b in c 3.637 * [backup-simplify]: Simplify b into b 3.637 * [taylor]: Taking taylor expansion of (+ c d) in c 3.637 * [taylor]: Taking taylor expansion of c in c 3.637 * [backup-simplify]: Simplify 0 into 0 3.637 * [backup-simplify]: Simplify 1 into 1 3.637 * [taylor]: Taking taylor expansion of d in c 3.637 * [backup-simplify]: Simplify d into d 3.637 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 3.637 * [taylor]: Taking taylor expansion of a in c 3.637 * [backup-simplify]: Simplify a into a 3.637 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 3.637 * [taylor]: Taking taylor expansion of b in c 3.637 * [backup-simplify]: Simplify b into b 3.637 * [taylor]: Taking taylor expansion of (+ c d) in c 3.637 * [taylor]: Taking taylor expansion of c in c 3.637 * [backup-simplify]: Simplify 0 into 0 3.637 * [backup-simplify]: Simplify 1 into 1 3.637 * [taylor]: Taking taylor expansion of d in c 3.637 * [backup-simplify]: Simplify d into d 3.637 * [backup-simplify]: Simplify (+ 0 d) into d 3.637 * [backup-simplify]: Simplify (+ b d) into (+ b d) 3.637 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 3.637 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 3.637 * [taylor]: Taking taylor expansion of a in b 3.637 * [backup-simplify]: Simplify a into a 3.637 * [taylor]: Taking taylor expansion of (+ b d) in b 3.637 * [taylor]: Taking taylor expansion of b in b 3.637 * [backup-simplify]: Simplify 0 into 0 3.637 * [backup-simplify]: Simplify 1 into 1 3.637 * [taylor]: Taking taylor expansion of d in b 3.637 * [backup-simplify]: Simplify d into d 3.637 * [backup-simplify]: Simplify (+ 0 d) into d 3.637 * [backup-simplify]: Simplify (+ a d) into (+ a d) 3.637 * [taylor]: Taking taylor expansion of (+ a d) in a 3.637 * [taylor]: Taking taylor expansion of a in a 3.637 * [backup-simplify]: Simplify 0 into 0 3.637 * [backup-simplify]: Simplify 1 into 1 3.637 * [taylor]: Taking taylor expansion of d in a 3.637 * [backup-simplify]: Simplify d into d 3.637 * [backup-simplify]: Simplify (+ 0 d) into d 3.637 * [taylor]: Taking taylor expansion of d in d 3.637 * [backup-simplify]: Simplify 0 into 0 3.637 * [backup-simplify]: Simplify 1 into 1 3.637 * [backup-simplify]: Simplify 0 into 0 3.638 * [backup-simplify]: Simplify (+ 1 0) into 1 3.638 * [backup-simplify]: Simplify (+ 0 1) into 1 3.638 * [backup-simplify]: Simplify (+ 0 1) into 1 3.638 * [taylor]: Taking taylor expansion of 1 in b 3.638 * [backup-simplify]: Simplify 1 into 1 3.638 * [taylor]: Taking taylor expansion of 1 in a 3.638 * [backup-simplify]: Simplify 1 into 1 3.638 * [taylor]: Taking taylor expansion of 1 in d 3.639 * [backup-simplify]: Simplify 1 into 1 3.639 * [backup-simplify]: Simplify 1 into 1 3.639 * [backup-simplify]: Simplify (+ 1 0) into 1 3.639 * [backup-simplify]: Simplify (+ 0 1) into 1 3.639 * [taylor]: Taking taylor expansion of 1 in a 3.639 * [backup-simplify]: Simplify 1 into 1 3.639 * [taylor]: Taking taylor expansion of 1 in d 3.639 * [backup-simplify]: Simplify 1 into 1 3.639 * [backup-simplify]: Simplify 1 into 1 3.639 * [backup-simplify]: Simplify (+ 1 0) into 1 3.639 * [taylor]: Taking taylor expansion of 1 in d 3.639 * [backup-simplify]: Simplify 1 into 1 3.639 * [backup-simplify]: Simplify 1 into 1 3.640 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* a (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ a (+ b c)) 3.640 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 3.640 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b a d) around 0 3.640 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 3.640 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.640 * [taylor]: Taking taylor expansion of b in d 3.640 * [backup-simplify]: Simplify b into b 3.640 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.640 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 3.640 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.640 * [taylor]: Taking taylor expansion of a in d 3.640 * [backup-simplify]: Simplify a into a 3.640 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.640 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 3.640 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.640 * [taylor]: Taking taylor expansion of c in d 3.640 * [backup-simplify]: Simplify c into c 3.640 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.640 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.640 * [taylor]: Taking taylor expansion of d in d 3.640 * [backup-simplify]: Simplify 0 into 0 3.640 * [backup-simplify]: Simplify 1 into 1 3.641 * [backup-simplify]: Simplify (/ 1 1) into 1 3.641 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 3.641 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.641 * [taylor]: Taking taylor expansion of b in a 3.641 * [backup-simplify]: Simplify b into b 3.641 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.641 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 3.641 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.641 * [taylor]: Taking taylor expansion of a in a 3.641 * [backup-simplify]: Simplify 0 into 0 3.641 * [backup-simplify]: Simplify 1 into 1 3.641 * [backup-simplify]: Simplify (/ 1 1) into 1 3.641 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 3.641 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.641 * [taylor]: Taking taylor expansion of c in a 3.641 * [backup-simplify]: Simplify c into c 3.641 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.641 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.641 * [taylor]: Taking taylor expansion of d in a 3.641 * [backup-simplify]: Simplify d into d 3.641 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.641 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 3.641 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.641 * [taylor]: Taking taylor expansion of b in b 3.641 * [backup-simplify]: Simplify 0 into 0 3.641 * [backup-simplify]: Simplify 1 into 1 3.642 * [backup-simplify]: Simplify (/ 1 1) into 1 3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 3.642 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.642 * [taylor]: Taking taylor expansion of a in b 3.642 * [backup-simplify]: Simplify a into a 3.642 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 3.642 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.642 * [taylor]: Taking taylor expansion of c in b 3.642 * [backup-simplify]: Simplify c into c 3.642 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.642 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.642 * [taylor]: Taking taylor expansion of d in b 3.642 * [backup-simplify]: Simplify d into d 3.642 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.642 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.642 * [taylor]: Taking taylor expansion of b in c 3.642 * [backup-simplify]: Simplify b into b 3.642 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.642 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.642 * [taylor]: Taking taylor expansion of a in c 3.642 * [backup-simplify]: Simplify a into a 3.642 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.642 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.642 * [taylor]: Taking taylor expansion of c in c 3.642 * [backup-simplify]: Simplify 0 into 0 3.642 * [backup-simplify]: Simplify 1 into 1 3.642 * [backup-simplify]: Simplify (/ 1 1) into 1 3.642 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.642 * [taylor]: Taking taylor expansion of d in c 3.642 * [backup-simplify]: Simplify d into d 3.642 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.642 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.643 * [taylor]: Taking taylor expansion of b in c 3.643 * [backup-simplify]: Simplify b into b 3.643 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.643 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.643 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.643 * [taylor]: Taking taylor expansion of a in c 3.643 * [backup-simplify]: Simplify a into a 3.643 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.643 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.643 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.643 * [taylor]: Taking taylor expansion of c in c 3.643 * [backup-simplify]: Simplify 0 into 0 3.643 * [backup-simplify]: Simplify 1 into 1 3.643 * [backup-simplify]: Simplify (/ 1 1) into 1 3.643 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.643 * [taylor]: Taking taylor expansion of d in c 3.643 * [backup-simplify]: Simplify d into d 3.643 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.643 * [backup-simplify]: Simplify (+ 1 0) into 1 3.644 * [backup-simplify]: Simplify (+ 0 1) into 1 3.644 * [backup-simplify]: Simplify (+ 0 1) into 1 3.644 * [taylor]: Taking taylor expansion of 1 in b 3.644 * [backup-simplify]: Simplify 1 into 1 3.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.645 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.645 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.645 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 3.645 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 3.645 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.645 * [taylor]: Taking taylor expansion of b in b 3.645 * [backup-simplify]: Simplify 0 into 0 3.645 * [backup-simplify]: Simplify 1 into 1 3.645 * [backup-simplify]: Simplify (/ 1 1) into 1 3.645 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 3.645 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.645 * [taylor]: Taking taylor expansion of a in b 3.645 * [backup-simplify]: Simplify a into a 3.645 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.645 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.645 * [taylor]: Taking taylor expansion of d in b 3.645 * [backup-simplify]: Simplify d into d 3.645 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.645 * [backup-simplify]: Simplify (+ 1 0) into 1 3.645 * [taylor]: Taking taylor expansion of 1 in a 3.645 * [backup-simplify]: Simplify 1 into 1 3.646 * [taylor]: Taking taylor expansion of 1 in a 3.646 * [backup-simplify]: Simplify 1 into 1 3.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.647 * [backup-simplify]: Simplify (+ 0 0) into 0 3.647 * [backup-simplify]: Simplify (+ 0 0) into 0 3.647 * [backup-simplify]: Simplify (+ 0 0) into 0 3.647 * [taylor]: Taking taylor expansion of 0 in b 3.647 * [backup-simplify]: Simplify 0 into 0 3.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.648 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.648 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 3.648 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 3.648 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.648 * [taylor]: Taking taylor expansion of a in a 3.648 * [backup-simplify]: Simplify 0 into 0 3.648 * [backup-simplify]: Simplify 1 into 1 3.648 * [backup-simplify]: Simplify (/ 1 1) into 1 3.648 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.648 * [taylor]: Taking taylor expansion of d in a 3.648 * [backup-simplify]: Simplify d into d 3.648 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.648 * [backup-simplify]: Simplify (+ 1 0) into 1 3.648 * [taylor]: Taking taylor expansion of 1 in d 3.648 * [backup-simplify]: Simplify 1 into 1 3.648 * [taylor]: Taking taylor expansion of 0 in a 3.648 * [backup-simplify]: Simplify 0 into 0 3.648 * [taylor]: Taking taylor expansion of 1 in d 3.648 * [backup-simplify]: Simplify 1 into 1 3.648 * [taylor]: Taking taylor expansion of 1 in d 3.648 * [backup-simplify]: Simplify 1 into 1 3.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.650 * [backup-simplify]: Simplify (+ 0 0) into 0 3.650 * [backup-simplify]: Simplify (+ 0 0) into 0 3.650 * [backup-simplify]: Simplify (+ 0 0) into 0 3.650 * [taylor]: Taking taylor expansion of 0 in b 3.650 * [backup-simplify]: Simplify 0 into 0 3.650 * [taylor]: Taking taylor expansion of 0 in a 3.650 * [backup-simplify]: Simplify 0 into 0 3.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.651 * [backup-simplify]: Simplify (+ 0 0) into 0 3.651 * [backup-simplify]: Simplify (+ 0 0) into 0 3.651 * [taylor]: Taking taylor expansion of 0 in a 3.651 * [backup-simplify]: Simplify 0 into 0 3.651 * [taylor]: Taking taylor expansion of 0 in a 3.651 * [backup-simplify]: Simplify 0 into 0 3.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.652 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.652 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.652 * [taylor]: Taking taylor expansion of d in d 3.652 * [backup-simplify]: Simplify 0 into 0 3.652 * [backup-simplify]: Simplify 1 into 1 3.652 * [backup-simplify]: Simplify (/ 1 1) into 1 3.652 * [backup-simplify]: Simplify 1 into 1 3.652 * [taylor]: Taking taylor expansion of 0 in d 3.652 * [backup-simplify]: Simplify 0 into 0 3.652 * [taylor]: Taking taylor expansion of 0 in d 3.652 * [backup-simplify]: Simplify 0 into 0 3.652 * [taylor]: Taking taylor expansion of 0 in d 3.652 * [backup-simplify]: Simplify 0 into 0 3.652 * [backup-simplify]: Simplify 1 into 1 3.652 * [backup-simplify]: Simplify 1 into 1 3.653 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 a)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ a (+ b d)) 3.653 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- d))))) into (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) 3.653 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b a d) around 0 3.653 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d 3.653 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 3.653 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.653 * [taylor]: Taking taylor expansion of b in d 3.653 * [backup-simplify]: Simplify b into b 3.653 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.653 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 3.653 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.653 * [taylor]: Taking taylor expansion of a in d 3.654 * [backup-simplify]: Simplify a into a 3.654 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.654 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 3.654 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.654 * [taylor]: Taking taylor expansion of c in d 3.654 * [backup-simplify]: Simplify c into c 3.654 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.654 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.654 * [taylor]: Taking taylor expansion of d in d 3.654 * [backup-simplify]: Simplify 0 into 0 3.654 * [backup-simplify]: Simplify 1 into 1 3.654 * [backup-simplify]: Simplify (/ 1 1) into 1 3.654 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a 3.654 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 3.654 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.654 * [taylor]: Taking taylor expansion of b in a 3.654 * [backup-simplify]: Simplify b into b 3.654 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.654 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 3.654 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.654 * [taylor]: Taking taylor expansion of a in a 3.654 * [backup-simplify]: Simplify 0 into 0 3.654 * [backup-simplify]: Simplify 1 into 1 3.654 * [backup-simplify]: Simplify (/ 1 1) into 1 3.654 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 3.654 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.654 * [taylor]: Taking taylor expansion of c in a 3.654 * [backup-simplify]: Simplify c into c 3.654 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.654 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.655 * [taylor]: Taking taylor expansion of d in a 3.655 * [backup-simplify]: Simplify d into d 3.655 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.655 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b 3.655 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 3.655 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.655 * [taylor]: Taking taylor expansion of b in b 3.655 * [backup-simplify]: Simplify 0 into 0 3.655 * [backup-simplify]: Simplify 1 into 1 3.655 * [backup-simplify]: Simplify (/ 1 1) into 1 3.655 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 3.655 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.655 * [taylor]: Taking taylor expansion of a in b 3.655 * [backup-simplify]: Simplify a into a 3.655 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.655 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 3.655 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.655 * [taylor]: Taking taylor expansion of c in b 3.655 * [backup-simplify]: Simplify c into c 3.655 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.655 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.655 * [taylor]: Taking taylor expansion of d in b 3.655 * [backup-simplify]: Simplify d into d 3.655 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.655 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 3.655 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.655 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.655 * [taylor]: Taking taylor expansion of b in c 3.655 * [backup-simplify]: Simplify b into b 3.655 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.655 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.655 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.655 * [taylor]: Taking taylor expansion of a in c 3.655 * [backup-simplify]: Simplify a into a 3.655 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.655 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.655 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.655 * [taylor]: Taking taylor expansion of c in c 3.655 * [backup-simplify]: Simplify 0 into 0 3.655 * [backup-simplify]: Simplify 1 into 1 3.656 * [backup-simplify]: Simplify (/ 1 1) into 1 3.656 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.656 * [taylor]: Taking taylor expansion of d in c 3.656 * [backup-simplify]: Simplify d into d 3.656 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.656 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 3.656 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.656 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.656 * [taylor]: Taking taylor expansion of b in c 3.656 * [backup-simplify]: Simplify b into b 3.656 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.656 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.656 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.656 * [taylor]: Taking taylor expansion of a in c 3.656 * [backup-simplify]: Simplify a into a 3.656 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.656 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.656 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.656 * [taylor]: Taking taylor expansion of c in c 3.656 * [backup-simplify]: Simplify 0 into 0 3.656 * [backup-simplify]: Simplify 1 into 1 3.656 * [backup-simplify]: Simplify (/ 1 1) into 1 3.656 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.656 * [taylor]: Taking taylor expansion of d in c 3.656 * [backup-simplify]: Simplify d into d 3.656 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.657 * [backup-simplify]: Simplify (+ 1 0) into 1 3.657 * [backup-simplify]: Simplify (+ 0 1) into 1 3.657 * [backup-simplify]: Simplify (+ 0 1) into 1 3.657 * [backup-simplify]: Simplify (- 1) into -1 3.657 * [taylor]: Taking taylor expansion of -1 in b 3.657 * [backup-simplify]: Simplify -1 into -1 3.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.658 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.658 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.658 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 3.658 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 3.658 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 3.658 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 3.658 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.658 * [taylor]: Taking taylor expansion of b in b 3.658 * [backup-simplify]: Simplify 0 into 0 3.658 * [backup-simplify]: Simplify 1 into 1 3.659 * [backup-simplify]: Simplify (/ 1 1) into 1 3.659 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 3.659 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.659 * [taylor]: Taking taylor expansion of a in b 3.659 * [backup-simplify]: Simplify a into a 3.659 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.659 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.659 * [taylor]: Taking taylor expansion of d in b 3.659 * [backup-simplify]: Simplify d into d 3.659 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.659 * [backup-simplify]: Simplify (+ 1 0) into 1 3.659 * [backup-simplify]: Simplify (- 1) into -1 3.659 * [taylor]: Taking taylor expansion of -1 in a 3.659 * [backup-simplify]: Simplify -1 into -1 3.659 * [taylor]: Taking taylor expansion of -1 in a 3.659 * [backup-simplify]: Simplify -1 into -1 3.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.660 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.661 * [backup-simplify]: Simplify (+ 0 0) into 0 3.661 * [backup-simplify]: Simplify (+ 0 0) into 0 3.662 * [backup-simplify]: Simplify (+ 0 0) into 0 3.662 * [backup-simplify]: Simplify (- 0) into 0 3.662 * [taylor]: Taking taylor expansion of 0 in b 3.662 * [backup-simplify]: Simplify 0 into 0 3.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.663 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.663 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 3.663 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 3.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in a 3.663 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 3.663 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.663 * [taylor]: Taking taylor expansion of a in a 3.663 * [backup-simplify]: Simplify 0 into 0 3.663 * [backup-simplify]: Simplify 1 into 1 3.664 * [backup-simplify]: Simplify (/ 1 1) into 1 3.664 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.664 * [taylor]: Taking taylor expansion of d in a 3.664 * [backup-simplify]: Simplify d into d 3.664 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.667 * [backup-simplify]: Simplify (+ 1 0) into 1 3.667 * [backup-simplify]: Simplify (- 1) into -1 3.667 * [taylor]: Taking taylor expansion of -1 in d 3.667 * [backup-simplify]: Simplify -1 into -1 3.668 * [taylor]: Taking taylor expansion of 0 in a 3.668 * [backup-simplify]: Simplify 0 into 0 3.668 * [taylor]: Taking taylor expansion of -1 in d 3.668 * [backup-simplify]: Simplify -1 into -1 3.668 * [taylor]: Taking taylor expansion of -1 in d 3.668 * [backup-simplify]: Simplify -1 into -1 3.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.669 * [backup-simplify]: Simplify (+ 0 0) into 0 3.669 * [backup-simplify]: Simplify (+ 0 0) into 0 3.669 * [backup-simplify]: Simplify (+ 0 0) into 0 3.669 * [backup-simplify]: Simplify (- 0) into 0 3.669 * [taylor]: Taking taylor expansion of 0 in b 3.669 * [backup-simplify]: Simplify 0 into 0 3.669 * [taylor]: Taking taylor expansion of 0 in a 3.670 * [backup-simplify]: Simplify 0 into 0 3.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.670 * [backup-simplify]: Simplify (+ 0 0) into 0 3.671 * [backup-simplify]: Simplify (+ 0 0) into 0 3.671 * [backup-simplify]: Simplify (- 0) into 0 3.671 * [taylor]: Taking taylor expansion of 0 in a 3.671 * [backup-simplify]: Simplify 0 into 0 3.671 * [taylor]: Taking taylor expansion of 0 in a 3.671 * [backup-simplify]: Simplify 0 into 0 3.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.671 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.671 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 3.672 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 3.672 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.672 * [taylor]: Taking taylor expansion of d in d 3.672 * [backup-simplify]: Simplify 0 into 0 3.672 * [backup-simplify]: Simplify 1 into 1 3.672 * [backup-simplify]: Simplify (/ 1 1) into 1 3.672 * [backup-simplify]: Simplify (- 1) into -1 3.672 * [backup-simplify]: Simplify -1 into -1 3.672 * [taylor]: Taking taylor expansion of 0 in d 3.672 * [backup-simplify]: Simplify 0 into 0 3.672 * [taylor]: Taking taylor expansion of 0 in d 3.672 * [backup-simplify]: Simplify 0 into 0 3.672 * [taylor]: Taking taylor expansion of 0 in d 3.672 * [backup-simplify]: Simplify 0 into 0 3.672 * [backup-simplify]: Simplify -1 into -1 3.672 * [backup-simplify]: Simplify -1 into -1 3.673 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- a))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ a (+ b d)) 3.673 * * * [progress]: simplifying candidates 3.674 * [simplify]: Simplifying: (* (exp c) (* (exp b) (* (exp a) (exp d)))) (* (exp c) (* (exp b) (exp (+ a d)))) (* (exp c) (exp (+ b (+ a d)))) (log (+ c (+ b (+ a d)))) (exp (+ c (+ b (+ a d)))) (* (cbrt (+ c (+ b (+ a d)))) (cbrt (+ c (+ b (+ a d))))) (cbrt (+ c (+ b (+ a d)))) (* (* (+ c (+ b (+ a d))) (+ c (+ b (+ a d)))) (+ c (+ b (+ a d)))) (sqrt (+ c (+ b (+ a d)))) (sqrt (+ c (+ b (+ a d)))) (+ (pow c 3) (pow (+ b (+ a d)) 3)) (+ (* c c) (- (* (+ b (+ a d)) (+ b (+ a d))) (* c (+ b (+ a d))))) (- (* c c) (* (+ b (+ a d)) (+ b (+ a d)))) (- c (+ b (+ a d))) (+ c (+ b (+ a d))) (+ c (+ b (+ a d))) (+ c (+ b (+ a d))) (+ c b) (+ a (+ b c)) (+ a (+ b d)) (+ a (+ b d)) 3.674 * * [simplify]: iteration 0: 42 enodes 3.681 * * [simplify]: iteration 1: 117 enodes 3.722 * * [simplify]: iteration 2: 451 enodes 4.422 * * [simplify]: iteration 3: 3770 enodes 5.524 * * [simplify]: iteration complete: 5000 enodes 5.524 * * [simplify]: Extracting #0: cost 14 inf + 0 5.525 * * [simplify]: Extracting #1: cost 269 inf + 0 5.531 * * [simplify]: Extracting #2: cost 1518 inf + 280 5.543 * * [simplify]: Extracting #3: cost 1042 inf + 10975 5.550 * * [simplify]: Extracting #4: cost 149 inf + 23044 5.556 * * [simplify]: Extracting #5: cost 45 inf + 24558 5.563 * * [simplify]: Extracting #6: cost 6 inf + 24761 5.574 * * [simplify]: Extracting #7: cost 0 inf + 24807 5.581 * [simplify]: Simplified to: (exp (+ (+ b d) (+ c a))) (exp (+ (+ b d) (+ c a))) (exp (+ (+ b d) (+ c a))) (log (+ (+ b d) (+ c a))) (exp (+ (+ b d) (+ c a))) (* (cbrt (+ (+ b d) (+ c a))) (cbrt (+ (+ b d) (+ c a)))) (cbrt (+ (+ b d) (+ c a))) (pow (+ (+ b d) (+ c a)) 3) (sqrt (+ (+ b d) (+ c a))) (sqrt (+ (+ b d) (+ c a))) (+ (pow c 3) (pow (+ (+ b d) a) 3)) (+ (* c c) (* (- (+ (+ b d) a) c) (+ (+ b d) a))) (* (+ (+ b d) (+ c a)) (- c (+ (+ b d) a))) (- c (+ (+ b d) a)) (+ (+ b d) (+ c a)) (+ (+ b d) (+ c a)) (+ (+ b d) (+ c a)) (+ c b) (+ a (+ c b)) (+ (+ b d) a) (+ (+ b d) a) 5.581 * * * [progress]: adding candidates to table 5.653 * * [progress]: iteration 4 / 4 5.653 * * * [progress]: picking best candidate 5.657 * * * * [pick]: Picked # 5.657 * * * [progress]: localizing error 5.670 * * * [progress]: generating rewritten candidates 5.670 * * * [progress]: generating series expansions 5.670 * * * [progress]: simplifying candidates 5.670 * [simplify]: Simplifying: 5.670 * * [simplify]: iteration 0: 0 enodes 5.670 * * [simplify]: iteration complete: 0 enodes 5.670 * * [simplify]: Extracting #0: cost 0 inf + 0 5.670 * [simplify]: Simplified to: 5.670 * * * [progress]: adding candidates to table 5.671 * [progress]: [Phase 3 of 3] Extracting. 5.675 * [simplify]: Simplifying: (* 2.0 (* 1 (+ (+ c b) (+ a d)))) 5.676 * * [simplify]: iteration 0: 11 enodes 5.676 * * [simplify]: iteration 1: 18 enodes 5.677 * * [simplify]: iteration 2: 19 enodes 5.677 * * [simplify]: iteration complete: 19 enodes 5.678 * * [simplify]: Extracting #0: cost 1 inf + 0 5.678 * * [simplify]: Extracting #1: cost 3 inf + 0 5.678 * * [simplify]: Extracting #2: cost 5 inf + 1 5.678 * * [simplify]: Extracting #3: cost 8 inf + 2 5.678 * * [simplify]: Extracting #4: cost 0 inf + 28 5.678 * [simplify]: Simplified to: (* (+ (+ a d) (+ b c)) 2.0) 7.160 * [regime-testing]: Baseline error score: 0 7.169 * [regime-testing]: Oracle error score: 0 7.169 * [regime-testing]: End program error score: 0 7.277 * [regime-testing]: Target error score: 3.8500164407932242