18.234 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.056 * * * [progress]: [2/2] Setting up program. 0.063 * [progress]: [Phase 2 of 3] Improving. 0.063 * [simplify]: Simplifying: (* (+ a (+ b (+ c d))) 2.0) 0.063 * * [simplify]: iteration 0: 9 enodes 0.066 * * [simplify]: iteration 1: 17 enodes 0.071 * * [simplify]: iteration 2: 53 enodes 0.092 * * [simplify]: iteration 3: 146 enodes 0.175 * * [simplify]: iteration 4: 300 enodes 0.285 * * [simplify]: iteration 5: 445 enodes 0.365 * * [simplify]: iteration 6: 481 enodes 0.392 * * [simplify]: iteration complete: 481 enodes 0.392 * * [simplify]: Extracting #0: cost 1 inf + 0 0.392 * * [simplify]: Extracting #1: cost 17 inf + 0 0.393 * * [simplify]: Extracting #2: cost 30 inf + 1 0.393 * * [simplify]: Extracting #3: cost 18 inf + 33 0.393 * * [simplify]: Extracting #4: cost 0 inf + 131 0.393 * * [simplify]: Extracting #5: cost 0 inf + 129 0.393 * [simplify]: Simplified to: (* 2.0 (+ (+ (+ b d) c) a)) 0.398 * * [progress]: iteration 1 / 4 0.398 * * * [progress]: picking best candidate 0.411 * * * * [pick]: Picked # 0.411 * * * [progress]: localizing error 0.424 * * * [progress]: generating rewritten candidates 0.424 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.587 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 0.637 * * * [progress]: generating series expansions 0.637 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.637 * [backup-simplify]: Simplify (+ (+ (+ b d) c) a) into (+ a (+ b (+ c d))) 0.637 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (b d c a) around 0 0.637 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 0.637 * [taylor]: Taking taylor expansion of a in a 0.637 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify 1 into 1 0.638 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 0.638 * [taylor]: Taking taylor expansion of b in a 0.638 * [backup-simplify]: Simplify b into b 0.638 * [taylor]: Taking taylor expansion of (+ c d) in a 0.638 * [taylor]: Taking taylor expansion of c in a 0.638 * [backup-simplify]: Simplify c into c 0.638 * [taylor]: Taking taylor expansion of d in a 0.638 * [backup-simplify]: Simplify d into d 0.638 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 0.638 * [taylor]: Taking taylor expansion of a in c 0.638 * [backup-simplify]: Simplify a into a 0.638 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.638 * [taylor]: Taking taylor expansion of b in c 0.638 * [backup-simplify]: Simplify b into b 0.638 * [taylor]: Taking taylor expansion of (+ c d) in c 0.638 * [taylor]: Taking taylor expansion of c in c 0.638 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify 1 into 1 0.638 * [taylor]: Taking taylor expansion of d in c 0.638 * [backup-simplify]: Simplify d into d 0.638 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 0.638 * [taylor]: Taking taylor expansion of a in d 0.638 * [backup-simplify]: Simplify a into a 0.638 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.638 * [taylor]: Taking taylor expansion of b in d 0.638 * [backup-simplify]: Simplify b into b 0.638 * [taylor]: Taking taylor expansion of (+ c d) in d 0.638 * [taylor]: Taking taylor expansion of c in d 0.638 * [backup-simplify]: Simplify c into c 0.638 * [taylor]: Taking taylor expansion of d in d 0.638 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify 1 into 1 0.638 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.638 * [taylor]: Taking taylor expansion of a in b 0.638 * [backup-simplify]: Simplify a into a 0.639 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.639 * [taylor]: Taking taylor expansion of b in b 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify 1 into 1 0.639 * [taylor]: Taking taylor expansion of (+ c d) in b 0.639 * [taylor]: Taking taylor expansion of c in b 0.639 * [backup-simplify]: Simplify c into c 0.639 * [taylor]: Taking taylor expansion of d in b 0.639 * [backup-simplify]: Simplify d into d 0.639 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.639 * [taylor]: Taking taylor expansion of a in b 0.639 * [backup-simplify]: Simplify a into a 0.639 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.639 * [taylor]: Taking taylor expansion of b in b 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify 1 into 1 0.639 * [taylor]: Taking taylor expansion of (+ c d) in b 0.639 * [taylor]: Taking taylor expansion of c in b 0.639 * [backup-simplify]: Simplify c into c 0.639 * [taylor]: Taking taylor expansion of d in b 0.639 * [backup-simplify]: Simplify d into d 0.639 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.639 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.639 * [backup-simplify]: Simplify (+ a (+ c d)) into (+ a (+ c d)) 0.639 * [taylor]: Taking taylor expansion of (+ a (+ c d)) in d 0.639 * [taylor]: Taking taylor expansion of a in d 0.639 * [backup-simplify]: Simplify a into a 0.639 * [taylor]: Taking taylor expansion of (+ c d) in d 0.639 * [taylor]: Taking taylor expansion of c in d 0.639 * [backup-simplify]: Simplify c into c 0.639 * [taylor]: Taking taylor expansion of d in d 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify 1 into 1 0.639 * [backup-simplify]: Simplify (+ c 0) into c 0.640 * [backup-simplify]: Simplify (+ a c) into (+ a c) 0.640 * [taylor]: Taking taylor expansion of (+ a c) in c 0.640 * [taylor]: Taking taylor expansion of a in c 0.640 * [backup-simplify]: Simplify a into a 0.640 * [taylor]: Taking taylor expansion of c in c 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [backup-simplify]: Simplify (+ a 0) into a 0.640 * [taylor]: Taking taylor expansion of a in a 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify (+ 0 0) into 0 0.641 * [backup-simplify]: Simplify (+ 1 0) into 1 0.641 * [backup-simplify]: Simplify (+ 0 1) into 1 0.641 * [taylor]: Taking taylor expansion of 1 in d 0.641 * [backup-simplify]: Simplify 1 into 1 0.642 * [taylor]: Taking taylor expansion of 1 in c 0.642 * [backup-simplify]: Simplify 1 into 1 0.642 * [taylor]: Taking taylor expansion of 1 in a 0.642 * [backup-simplify]: Simplify 1 into 1 0.642 * [backup-simplify]: Simplify 1 into 1 0.642 * [backup-simplify]: Simplify (+ 0 1) into 1 0.643 * [backup-simplify]: Simplify (+ 0 1) into 1 0.643 * [taylor]: Taking taylor expansion of 1 in c 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [taylor]: Taking taylor expansion of 1 in a 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [backup-simplify]: Simplify (+ 0 1) into 1 0.643 * [taylor]: Taking taylor expansion of 1 in a 0.643 * [backup-simplify]: Simplify 1 into 1 0.644 * [backup-simplify]: Simplify 1 into 1 0.644 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ b (+ c d)) 0.644 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) 0.644 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (b d c a) around 0 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.645 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.645 * [taylor]: Taking taylor expansion of b in a 0.645 * [backup-simplify]: Simplify b into b 0.645 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.645 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.645 * [taylor]: Taking taylor expansion of d in a 0.645 * [backup-simplify]: Simplify d into d 0.645 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.645 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.645 * [taylor]: Taking taylor expansion of c in a 0.645 * [backup-simplify]: Simplify c into c 0.645 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.645 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.645 * [taylor]: Taking taylor expansion of a in a 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify 1 into 1 0.645 * [backup-simplify]: Simplify (/ 1 1) into 1 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.646 * [taylor]: Taking taylor expansion of b in c 0.646 * [backup-simplify]: Simplify b into b 0.646 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.646 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.646 * [taylor]: Taking taylor expansion of d in c 0.646 * [backup-simplify]: Simplify d into d 0.646 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.646 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.646 * [taylor]: Taking taylor expansion of c in c 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 1 into 1 0.646 * [backup-simplify]: Simplify (/ 1 1) into 1 0.646 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.646 * [taylor]: Taking taylor expansion of a in c 0.646 * [backup-simplify]: Simplify a into a 0.646 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.647 * [taylor]: Taking taylor expansion of b in d 0.647 * [backup-simplify]: Simplify b into b 0.647 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.647 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.647 * [taylor]: Taking taylor expansion of d in d 0.647 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify 1 into 1 0.647 * [backup-simplify]: Simplify (/ 1 1) into 1 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.647 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.647 * [taylor]: Taking taylor expansion of c in d 0.647 * [backup-simplify]: Simplify c into c 0.647 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.647 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.647 * [taylor]: Taking taylor expansion of a in d 0.647 * [backup-simplify]: Simplify a into a 0.647 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.647 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.647 * [taylor]: Taking taylor expansion of b in b 0.648 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify 1 into 1 0.648 * [backup-simplify]: Simplify (/ 1 1) into 1 0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.648 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.648 * [taylor]: Taking taylor expansion of d in b 0.648 * [backup-simplify]: Simplify d into d 0.648 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.648 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.648 * [taylor]: Taking taylor expansion of c in b 0.648 * [backup-simplify]: Simplify c into c 0.648 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.648 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.648 * [taylor]: Taking taylor expansion of a in b 0.648 * [backup-simplify]: Simplify a into a 0.648 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.648 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.649 * [taylor]: Taking taylor expansion of b in b 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 1 into 1 0.649 * [backup-simplify]: Simplify (/ 1 1) into 1 0.649 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.649 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.649 * [taylor]: Taking taylor expansion of d in b 0.649 * [backup-simplify]: Simplify d into d 0.649 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.649 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.649 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.649 * [taylor]: Taking taylor expansion of c in b 0.649 * [backup-simplify]: Simplify c into c 0.649 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.649 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.649 * [taylor]: Taking taylor expansion of a in b 0.649 * [backup-simplify]: Simplify a into a 0.649 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.650 * [backup-simplify]: Simplify (+ 1 0) into 1 0.650 * [taylor]: Taking taylor expansion of 1 in d 0.650 * [backup-simplify]: Simplify 1 into 1 0.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.651 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c)) 0.651 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.651 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 0.651 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.651 * [taylor]: Taking taylor expansion of a in d 0.651 * [backup-simplify]: Simplify a into a 0.651 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.651 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.651 * [taylor]: Taking taylor expansion of c in d 0.651 * [backup-simplify]: Simplify c into c 0.651 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.651 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.651 * [taylor]: Taking taylor expansion of d in d 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 1 into 1 0.651 * [backup-simplify]: Simplify (/ 1 1) into 1 0.652 * [backup-simplify]: Simplify (+ 0 1) into 1 0.652 * [backup-simplify]: Simplify (+ 0 1) into 1 0.652 * [taylor]: Taking taylor expansion of 1 in c 0.652 * [backup-simplify]: Simplify 1 into 1 0.652 * [taylor]: Taking taylor expansion of 1 in c 0.652 * [backup-simplify]: Simplify 1 into 1 0.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.653 * [backup-simplify]: Simplify (+ 0 0) into 0 0.653 * [backup-simplify]: Simplify (+ 0 0) into 0 0.654 * [backup-simplify]: Simplify (+ 0 0) into 0 0.654 * [taylor]: Taking taylor expansion of 0 in d 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.654 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.654 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c)) 0.654 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c 0.654 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.654 * [taylor]: Taking taylor expansion of a in c 0.654 * [backup-simplify]: Simplify a into a 0.655 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.655 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.655 * [taylor]: Taking taylor expansion of c in c 0.655 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify 1 into 1 0.655 * [backup-simplify]: Simplify (/ 1 1) into 1 0.655 * [backup-simplify]: Simplify (+ 0 1) into 1 0.655 * [taylor]: Taking taylor expansion of 1 in a 0.655 * [backup-simplify]: Simplify 1 into 1 0.655 * [taylor]: Taking taylor expansion of 0 in c 0.655 * [backup-simplify]: Simplify 0 into 0 0.655 * [taylor]: Taking taylor expansion of 1 in a 0.655 * [backup-simplify]: Simplify 1 into 1 0.655 * [taylor]: Taking taylor expansion of 1 in a 0.655 * [backup-simplify]: Simplify 1 into 1 0.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.657 * [backup-simplify]: Simplify (+ 0 0) into 0 0.657 * [backup-simplify]: Simplify (+ 0 0) into 0 0.657 * [backup-simplify]: Simplify (+ 0 0) into 0 0.657 * [taylor]: Taking taylor expansion of 0 in d 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [taylor]: Taking taylor expansion of 0 in c 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.658 * [backup-simplify]: Simplify (+ 0 0) into 0 0.658 * [backup-simplify]: Simplify (+ 0 0) into 0 0.658 * [taylor]: Taking taylor expansion of 0 in c 0.658 * [backup-simplify]: Simplify 0 into 0 0.659 * [taylor]: Taking taylor expansion of 0 in c 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.659 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 0.659 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.659 * [taylor]: Taking taylor expansion of a in a 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify 1 into 1 0.659 * [backup-simplify]: Simplify (/ 1 1) into 1 0.659 * [backup-simplify]: Simplify 1 into 1 0.660 * [taylor]: Taking taylor expansion of 0 in a 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [taylor]: Taking taylor expansion of 0 in a 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [taylor]: Taking taylor expansion of 0 in a 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 1 into 1 0.660 * [backup-simplify]: Simplify 1 into 1 0.660 * [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.661 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) 0.661 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (b d c a) around 0 0.661 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.661 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.661 * [taylor]: Taking taylor expansion of b in a 0.661 * [backup-simplify]: Simplify b into b 0.661 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.661 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.661 * [taylor]: Taking taylor expansion of d in a 0.661 * [backup-simplify]: Simplify d into d 0.661 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.661 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.661 * [taylor]: Taking taylor expansion of c in a 0.661 * [backup-simplify]: Simplify c into c 0.661 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.661 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.661 * [taylor]: Taking taylor expansion of a in a 0.661 * [backup-simplify]: Simplify 0 into 0 0.661 * [backup-simplify]: Simplify 1 into 1 0.661 * [backup-simplify]: Simplify (/ 1 1) into 1 0.661 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c 0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.661 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.661 * [taylor]: Taking taylor expansion of b in c 0.661 * [backup-simplify]: Simplify b into b 0.661 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.662 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.662 * [taylor]: Taking taylor expansion of d in c 0.662 * [backup-simplify]: Simplify d into d 0.662 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.662 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.662 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.662 * [taylor]: Taking taylor expansion of c in c 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [backup-simplify]: Simplify (/ 1 1) into 1 0.662 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.662 * [taylor]: Taking taylor expansion of a in c 0.662 * [backup-simplify]: Simplify a into a 0.662 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 0.662 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.662 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.662 * [taylor]: Taking taylor expansion of b in d 0.662 * [backup-simplify]: Simplify b into b 0.662 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.662 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.662 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.662 * [taylor]: Taking taylor expansion of d in d 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (/ 1 1) into 1 0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.663 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.663 * [taylor]: Taking taylor expansion of c in d 0.663 * [backup-simplify]: Simplify c into c 0.663 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.663 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.663 * [taylor]: Taking taylor expansion of a in d 0.663 * [backup-simplify]: Simplify a into a 0.663 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.663 * [taylor]: Taking taylor expansion of b in b 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (/ 1 1) into 1 0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.663 * [taylor]: Taking taylor expansion of d in b 0.663 * [backup-simplify]: Simplify d into d 0.663 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.663 * [taylor]: Taking taylor expansion of c in b 0.663 * [backup-simplify]: Simplify c into c 0.663 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.663 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.663 * [taylor]: Taking taylor expansion of a in b 0.663 * [backup-simplify]: Simplify a into a 0.663 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.663 * [taylor]: Taking taylor expansion of b in b 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.664 * [backup-simplify]: Simplify (/ 1 1) into 1 0.664 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.664 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.664 * [taylor]: Taking taylor expansion of d in b 0.664 * [backup-simplify]: Simplify d into d 0.664 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.664 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.664 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.664 * [taylor]: Taking taylor expansion of c in b 0.664 * [backup-simplify]: Simplify c into c 0.664 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.664 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.664 * [taylor]: Taking taylor expansion of a in b 0.664 * [backup-simplify]: Simplify a into a 0.664 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.664 * [backup-simplify]: Simplify (+ 1 0) into 1 0.665 * [backup-simplify]: Simplify (- 1) into -1 0.665 * [taylor]: Taking taylor expansion of -1 in d 0.665 * [backup-simplify]: Simplify -1 into -1 0.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.665 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c)) 0.665 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.666 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.666 * [backup-simplify]: Simplify (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) 0.666 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) in d 0.666 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) in d 0.666 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.666 * [taylor]: Taking taylor expansion of a in d 0.666 * [backup-simplify]: Simplify a into a 0.666 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.666 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 0.666 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.666 * [taylor]: Taking taylor expansion of d in d 0.666 * [backup-simplify]: Simplify 0 into 0 0.666 * [backup-simplify]: Simplify 1 into 1 0.666 * [backup-simplify]: Simplify (/ 1 1) into 1 0.666 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.666 * [taylor]: Taking taylor expansion of c in d 0.666 * [backup-simplify]: Simplify c into c 0.666 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.667 * [backup-simplify]: Simplify (+ 1 0) into 1 0.667 * [backup-simplify]: Simplify (+ 0 1) into 1 0.667 * [backup-simplify]: Simplify (- 1) into -1 0.667 * [taylor]: Taking taylor expansion of -1 in c 0.667 * [backup-simplify]: Simplify -1 into -1 0.667 * [taylor]: Taking taylor expansion of -1 in c 0.667 * [backup-simplify]: Simplify -1 into -1 0.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.668 * [backup-simplify]: Simplify (+ 0 0) into 0 0.669 * [backup-simplify]: Simplify (+ 0 0) into 0 0.669 * [backup-simplify]: Simplify (+ 0 0) into 0 0.670 * [backup-simplify]: Simplify (- 0) into 0 0.670 * [taylor]: Taking taylor expansion of 0 in d 0.670 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.671 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c) 0.671 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c)) 0.671 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c))) 0.671 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in c 0.671 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c 0.671 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.671 * [taylor]: Taking taylor expansion of a in c 0.671 * [backup-simplify]: Simplify a into a 0.671 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.671 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.671 * [taylor]: Taking taylor expansion of c in c 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 1 into 1 0.671 * [backup-simplify]: Simplify (/ 1 1) into 1 0.672 * [backup-simplify]: Simplify (+ 0 1) into 1 0.672 * [backup-simplify]: Simplify (- 1) into -1 0.672 * [taylor]: Taking taylor expansion of -1 in a 0.672 * [backup-simplify]: Simplify -1 into -1 0.672 * [taylor]: Taking taylor expansion of 0 in c 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [taylor]: Taking taylor expansion of -1 in a 0.672 * [backup-simplify]: Simplify -1 into -1 0.672 * [taylor]: Taking taylor expansion of -1 in a 0.672 * [backup-simplify]: Simplify -1 into -1 0.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.673 * [backup-simplify]: Simplify (+ 0 0) into 0 0.674 * [backup-simplify]: Simplify (+ 0 0) into 0 0.674 * [backup-simplify]: Simplify (+ 0 0) into 0 0.674 * [backup-simplify]: Simplify (- 0) into 0 0.674 * [taylor]: Taking taylor expansion of 0 in d 0.674 * [backup-simplify]: Simplify 0 into 0 0.674 * [taylor]: Taking taylor expansion of 0 in c 0.674 * [backup-simplify]: Simplify 0 into 0 0.674 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.675 * [backup-simplify]: Simplify (+ 0 0) into 0 0.676 * [backup-simplify]: Simplify (+ 0 0) into 0 0.676 * [backup-simplify]: Simplify (- 0) into 0 0.676 * [taylor]: Taking taylor expansion of 0 in c 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [taylor]: Taking taylor expansion of 0 in c 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.677 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 0.677 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 0.677 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.677 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.677 * [taylor]: Taking taylor expansion of a in a 0.677 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify (/ 1 1) into 1 0.677 * [backup-simplify]: Simplify (- 1) into -1 0.677 * [backup-simplify]: Simplify -1 into -1 0.677 * [taylor]: Taking taylor expansion of 0 in a 0.677 * [backup-simplify]: Simplify 0 into 0 0.677 * [taylor]: Taking taylor expansion of 0 in a 0.677 * [backup-simplify]: Simplify 0 into 0 0.677 * [taylor]: Taking taylor expansion of 0 in a 0.677 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify -1 into -1 0.677 * [backup-simplify]: Simplify -1 into -1 0.678 * [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.678 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 0.678 * [backup-simplify]: Simplify (+ (+ b d) c) into (+ b (+ c d)) 0.678 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b d c) around 0 0.678 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.678 * [taylor]: Taking taylor expansion of b in c 0.678 * [backup-simplify]: Simplify b into b 0.678 * [taylor]: Taking taylor expansion of (+ c d) in c 0.678 * [taylor]: Taking taylor expansion of c in c 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 1 into 1 0.678 * [taylor]: Taking taylor expansion of d in c 0.679 * [backup-simplify]: Simplify d into d 0.679 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.679 * [taylor]: Taking taylor expansion of b in d 0.679 * [backup-simplify]: Simplify b into b 0.679 * [taylor]: Taking taylor expansion of (+ c d) in d 0.679 * [taylor]: Taking taylor expansion of c in d 0.679 * [backup-simplify]: Simplify c into c 0.679 * [taylor]: Taking taylor expansion of d in d 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.679 * [taylor]: Taking taylor expansion of b in b 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [taylor]: Taking taylor expansion of (+ c d) in b 0.679 * [taylor]: Taking taylor expansion of c in b 0.679 * [backup-simplify]: Simplify c into c 0.679 * [taylor]: Taking taylor expansion of d in b 0.679 * [backup-simplify]: Simplify d into d 0.679 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.679 * [taylor]: Taking taylor expansion of b in b 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [taylor]: Taking taylor expansion of (+ c d) in b 0.679 * [taylor]: Taking taylor expansion of c in b 0.679 * [backup-simplify]: Simplify c into c 0.679 * [taylor]: Taking taylor expansion of d in b 0.679 * [backup-simplify]: Simplify d into d 0.679 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.679 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.679 * [taylor]: Taking taylor expansion of (+ c d) in d 0.679 * [taylor]: Taking taylor expansion of c in d 0.679 * [backup-simplify]: Simplify c into c 0.679 * [taylor]: Taking taylor expansion of d in d 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify (+ c 0) into c 0.679 * [taylor]: Taking taylor expansion of c in c 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify (+ 0 0) into 0 0.680 * [backup-simplify]: Simplify (+ 1 0) into 1 0.680 * [taylor]: Taking taylor expansion of 1 in d 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [taylor]: Taking taylor expansion of 1 in c 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify (+ 0 1) into 1 0.680 * [taylor]: Taking taylor expansion of 1 in c 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify 1 into 1 0.681 * [backup-simplify]: Simplify (+ (* 1 (* c (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d)) 0.681 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 0.681 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b d c) around 0 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.681 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.681 * [taylor]: Taking taylor expansion of b in c 0.681 * [backup-simplify]: Simplify b into b 0.681 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.681 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.681 * [taylor]: Taking taylor expansion of c in c 0.681 * [backup-simplify]: Simplify 0 into 0 0.681 * [backup-simplify]: Simplify 1 into 1 0.681 * [backup-simplify]: Simplify (/ 1 1) into 1 0.681 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.681 * [taylor]: Taking taylor expansion of d in c 0.681 * [backup-simplify]: Simplify d into d 0.681 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.681 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.681 * [taylor]: Taking taylor expansion of b in d 0.681 * [backup-simplify]: Simplify b into b 0.681 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.681 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.681 * [taylor]: Taking taylor expansion of c in d 0.681 * [backup-simplify]: Simplify c into c 0.681 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.681 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.681 * [taylor]: Taking taylor expansion of d in d 0.681 * [backup-simplify]: Simplify 0 into 0 0.681 * [backup-simplify]: Simplify 1 into 1 0.682 * [backup-simplify]: Simplify (/ 1 1) into 1 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.682 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.682 * [taylor]: Taking taylor expansion of b in b 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 1 into 1 0.682 * [backup-simplify]: Simplify (/ 1 1) into 1 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.682 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.682 * [taylor]: Taking taylor expansion of c in b 0.682 * [backup-simplify]: Simplify c into c 0.682 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.682 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.682 * [taylor]: Taking taylor expansion of d in b 0.682 * [backup-simplify]: Simplify d into d 0.682 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.682 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.682 * [taylor]: Taking taylor expansion of b in b 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 1 into 1 0.683 * [backup-simplify]: Simplify (/ 1 1) into 1 0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.683 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.683 * [taylor]: Taking taylor expansion of c in b 0.683 * [backup-simplify]: Simplify c into c 0.683 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.683 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.683 * [taylor]: Taking taylor expansion of d in b 0.683 * [backup-simplify]: Simplify d into d 0.683 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.683 * [backup-simplify]: Simplify (+ 1 0) into 1 0.683 * [taylor]: Taking taylor expansion of 1 in d 0.683 * [backup-simplify]: Simplify 1 into 1 0.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.684 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.684 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.684 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.684 * [taylor]: Taking taylor expansion of c in d 0.684 * [backup-simplify]: Simplify c into c 0.684 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.684 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.684 * [taylor]: Taking taylor expansion of d in d 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 1 into 1 0.684 * [backup-simplify]: Simplify (/ 1 1) into 1 0.684 * [backup-simplify]: Simplify (+ 0 1) into 1 0.684 * [taylor]: Taking taylor expansion of 1 in c 0.684 * [backup-simplify]: Simplify 1 into 1 0.684 * [taylor]: Taking taylor expansion of 1 in c 0.684 * [backup-simplify]: Simplify 1 into 1 0.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.685 * [backup-simplify]: Simplify (+ 0 0) into 0 0.686 * [backup-simplify]: Simplify (+ 0 0) into 0 0.686 * [taylor]: Taking taylor expansion of 0 in d 0.686 * [backup-simplify]: Simplify 0 into 0 0.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.686 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.686 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.686 * [taylor]: Taking taylor expansion of c in c 0.686 * [backup-simplify]: Simplify 0 into 0 0.686 * [backup-simplify]: Simplify 1 into 1 0.687 * [backup-simplify]: Simplify (/ 1 1) into 1 0.687 * [backup-simplify]: Simplify 1 into 1 0.687 * [taylor]: Taking taylor expansion of 0 in c 0.687 * [backup-simplify]: Simplify 0 into 0 0.687 * [backup-simplify]: Simplify 1 into 1 0.687 * [backup-simplify]: Simplify 1 into 1 0.688 * [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.688 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 0.688 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b d c) around 0 0.688 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 0.688 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.688 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.688 * [taylor]: Taking taylor expansion of b in c 0.688 * [backup-simplify]: Simplify b into b 0.688 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.688 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.688 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.688 * [taylor]: Taking taylor expansion of c in c 0.688 * [backup-simplify]: Simplify 0 into 0 0.688 * [backup-simplify]: Simplify 1 into 1 0.689 * [backup-simplify]: Simplify (/ 1 1) into 1 0.689 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.689 * [taylor]: Taking taylor expansion of d in c 0.689 * [backup-simplify]: Simplify d into d 0.689 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.689 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 0.689 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.689 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.689 * [taylor]: Taking taylor expansion of b in d 0.689 * [backup-simplify]: Simplify b into b 0.689 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.689 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.689 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.689 * [taylor]: Taking taylor expansion of c in d 0.689 * [backup-simplify]: Simplify c into c 0.689 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.689 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.690 * [taylor]: Taking taylor expansion of d in d 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify 1 into 1 0.690 * [backup-simplify]: Simplify (/ 1 1) into 1 0.690 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.690 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.690 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.690 * [taylor]: Taking taylor expansion of b in b 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify 1 into 1 0.690 * [backup-simplify]: Simplify (/ 1 1) into 1 0.690 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.691 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.691 * [taylor]: Taking taylor expansion of c in b 0.691 * [backup-simplify]: Simplify c into c 0.691 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.691 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.691 * [taylor]: Taking taylor expansion of d in b 0.691 * [backup-simplify]: Simplify d into d 0.691 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.691 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.691 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.691 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.691 * [taylor]: Taking taylor expansion of b in b 0.691 * [backup-simplify]: Simplify 0 into 0 0.691 * [backup-simplify]: Simplify 1 into 1 0.691 * [backup-simplify]: Simplify (/ 1 1) into 1 0.691 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.691 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.691 * [taylor]: Taking taylor expansion of c in b 0.691 * [backup-simplify]: Simplify c into c 0.691 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.691 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.691 * [taylor]: Taking taylor expansion of d in b 0.691 * [backup-simplify]: Simplify d into d 0.692 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.692 * [backup-simplify]: Simplify (+ 1 0) into 1 0.692 * [backup-simplify]: Simplify (- 1) into -1 0.692 * [taylor]: Taking taylor expansion of -1 in d 0.692 * [backup-simplify]: Simplify -1 into -1 0.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.693 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.694 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.694 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 0.694 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in d 0.694 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.694 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.694 * [taylor]: Taking taylor expansion of c in d 0.694 * [backup-simplify]: Simplify c into c 0.694 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.694 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.694 * [taylor]: Taking taylor expansion of d in d 0.694 * [backup-simplify]: Simplify 0 into 0 0.694 * [backup-simplify]: Simplify 1 into 1 0.694 * [backup-simplify]: Simplify (/ 1 1) into 1 0.695 * [backup-simplify]: Simplify (+ 0 1) into 1 0.695 * [backup-simplify]: Simplify (- 1) into -1 0.695 * [taylor]: Taking taylor expansion of -1 in c 0.695 * [backup-simplify]: Simplify -1 into -1 0.695 * [taylor]: Taking taylor expansion of -1 in c 0.695 * [backup-simplify]: Simplify -1 into -1 0.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.697 * [backup-simplify]: Simplify (+ 0 0) into 0 0.697 * [backup-simplify]: Simplify (+ 0 0) into 0 0.698 * [backup-simplify]: Simplify (- 0) into 0 0.698 * [taylor]: Taking taylor expansion of 0 in d 0.698 * [backup-simplify]: Simplify 0 into 0 0.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.699 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.699 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c)) 0.699 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.699 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.699 * [taylor]: Taking taylor expansion of c in c 0.699 * [backup-simplify]: Simplify 0 into 0 0.699 * [backup-simplify]: Simplify 1 into 1 0.699 * [backup-simplify]: Simplify (/ 1 1) into 1 0.700 * [backup-simplify]: Simplify (- 1) into -1 0.700 * [backup-simplify]: Simplify -1 into -1 0.700 * [taylor]: Taking taylor expansion of 0 in c 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify -1 into -1 0.700 * [backup-simplify]: Simplify -1 into -1 0.701 * [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.701 * * * [progress]: simplifying candidates 0.702 * [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.703 * * [simplify]: iteration 0: 57 enodes 0.721 * * [simplify]: iteration 1: 161 enodes 0.768 * * [simplify]: iteration 2: 819 enodes 1.158 * * [simplify]: iteration complete: 5000 enodes 1.158 * * [simplify]: Extracting #0: cost 25 inf + 0 1.159 * * [simplify]: Extracting #1: cost 475 inf + 0 1.167 * * [simplify]: Extracting #2: cost 1818 inf + 533 1.175 * * [simplify]: Extracting #3: cost 1247 inf + 10500 1.183 * * [simplify]: Extracting #4: cost 50 inf + 25332 1.191 * * [simplify]: Extracting #5: cost 29 inf + 25575 1.199 * * [simplify]: Extracting #6: cost 5 inf + 25677 1.211 * * [simplify]: Extracting #7: cost 0 inf + 25708 1.218 * [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.218 * * * [progress]: adding candidates to table 1.385 * * [progress]: iteration 2 / 4 1.385 * * * [progress]: picking best candidate 1.451 * * * * [pick]: Picked # 1.451 * * * [progress]: localizing error 1.463 * * * [progress]: generating rewritten candidates 1.463 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 2) 1.491 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.556 * * * [progress]: generating series expansions 1.556 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 2) 1.557 * [backup-simplify]: Simplify (+ (+ b d) a) into (+ a (+ b d)) 1.557 * [approximate]: Taking taylor expansion of (+ a (+ b d)) in (b d a) around 0 1.557 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in a 1.557 * [taylor]: Taking taylor expansion of a in a 1.557 * [backup-simplify]: Simplify 0 into 0 1.557 * [backup-simplify]: Simplify 1 into 1 1.557 * [taylor]: Taking taylor expansion of (+ b d) in a 1.557 * [taylor]: Taking taylor expansion of b in a 1.557 * [backup-simplify]: Simplify b into b 1.557 * [taylor]: Taking taylor expansion of d in a 1.557 * [backup-simplify]: Simplify d into d 1.557 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in d 1.557 * [taylor]: Taking taylor expansion of a in d 1.557 * [backup-simplify]: Simplify a into a 1.557 * [taylor]: Taking taylor expansion of (+ b d) in d 1.557 * [taylor]: Taking taylor expansion of b in d 1.557 * [backup-simplify]: Simplify b into b 1.557 * [taylor]: Taking taylor expansion of d in d 1.557 * [backup-simplify]: Simplify 0 into 0 1.557 * [backup-simplify]: Simplify 1 into 1 1.557 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.557 * [taylor]: Taking taylor expansion of a in b 1.557 * [backup-simplify]: Simplify a into a 1.557 * [taylor]: Taking taylor expansion of (+ b d) in b 1.557 * [taylor]: Taking taylor expansion of b in b 1.557 * [backup-simplify]: Simplify 0 into 0 1.557 * [backup-simplify]: Simplify 1 into 1 1.557 * [taylor]: Taking taylor expansion of d in b 1.557 * [backup-simplify]: Simplify d into d 1.557 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.557 * [taylor]: Taking taylor expansion of a in b 1.557 * [backup-simplify]: Simplify a into a 1.558 * [taylor]: Taking taylor expansion of (+ b d) in b 1.558 * [taylor]: Taking taylor expansion of b in b 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify 1 into 1 1.558 * [taylor]: Taking taylor expansion of d in b 1.558 * [backup-simplify]: Simplify d into d 1.558 * [backup-simplify]: Simplify (+ 0 d) into d 1.558 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1.558 * [taylor]: Taking taylor expansion of (+ a d) in d 1.558 * [taylor]: Taking taylor expansion of a in d 1.558 * [backup-simplify]: Simplify a into a 1.558 * [taylor]: Taking taylor expansion of d in d 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify 1 into 1 1.558 * [backup-simplify]: Simplify (+ a 0) into a 1.558 * [taylor]: Taking taylor expansion of a in a 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify 1 into 1 1.558 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify (+ 1 0) into 1 1.560 * [backup-simplify]: Simplify (+ 0 1) into 1 1.560 * [taylor]: Taking taylor expansion of 1 in d 1.560 * [backup-simplify]: Simplify 1 into 1 1.560 * [taylor]: Taking taylor expansion of 1 in a 1.560 * [backup-simplify]: Simplify 1 into 1 1.560 * [backup-simplify]: Simplify 1 into 1 1.560 * [backup-simplify]: Simplify (+ 0 1) into 1 1.560 * [taylor]: Taking taylor expansion of 1 in a 1.560 * [backup-simplify]: Simplify 1 into 1 1.560 * [backup-simplify]: Simplify 1 into 1 1.561 * [backup-simplify]: Simplify 1 into 1 1.561 * [backup-simplify]: Simplify (+ (* 1 (* a (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ a (+ b d)) 1.561 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.561 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in (b d a) around 0 1.561 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a 1.562 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.562 * [taylor]: Taking taylor expansion of b in a 1.562 * [backup-simplify]: Simplify b into b 1.562 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.562 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 1.562 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.562 * [taylor]: Taking taylor expansion of a in a 1.562 * [backup-simplify]: Simplify 0 into 0 1.562 * [backup-simplify]: Simplify 1 into 1 1.562 * [backup-simplify]: Simplify (/ 1 1) into 1 1.562 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.562 * [taylor]: Taking taylor expansion of d in a 1.562 * [backup-simplify]: Simplify d into d 1.562 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.562 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d 1.562 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.563 * [taylor]: Taking taylor expansion of b in d 1.563 * [backup-simplify]: Simplify b into b 1.563 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.563 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.563 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.563 * [taylor]: Taking taylor expansion of a in d 1.563 * [backup-simplify]: Simplify a into a 1.563 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.563 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.563 * [taylor]: Taking taylor expansion of d in d 1.563 * [backup-simplify]: Simplify 0 into 0 1.563 * [backup-simplify]: Simplify 1 into 1 1.563 * [backup-simplify]: Simplify (/ 1 1) into 1 1.563 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.563 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.563 * [taylor]: Taking taylor expansion of b in b 1.563 * [backup-simplify]: Simplify 0 into 0 1.563 * [backup-simplify]: Simplify 1 into 1 1.564 * [backup-simplify]: Simplify (/ 1 1) into 1 1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.564 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.564 * [taylor]: Taking taylor expansion of a in b 1.564 * [backup-simplify]: Simplify a into a 1.564 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.564 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.564 * [taylor]: Taking taylor expansion of d in b 1.564 * [backup-simplify]: Simplify d into d 1.564 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.564 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.564 * [taylor]: Taking taylor expansion of b in b 1.564 * [backup-simplify]: Simplify 0 into 0 1.564 * [backup-simplify]: Simplify 1 into 1 1.565 * [backup-simplify]: Simplify (/ 1 1) into 1 1.565 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.565 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.565 * [taylor]: Taking taylor expansion of a in b 1.565 * [backup-simplify]: Simplify a into a 1.565 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.565 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.565 * [taylor]: Taking taylor expansion of d in b 1.565 * [backup-simplify]: Simplify d into d 1.565 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.566 * [backup-simplify]: Simplify (+ 1 0) into 1 1.566 * [taylor]: Taking taylor expansion of 1 in d 1.566 * [backup-simplify]: Simplify 1 into 1 1.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.567 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.567 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.567 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.567 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.567 * [taylor]: Taking taylor expansion of a in d 1.567 * [backup-simplify]: Simplify a into a 1.567 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.567 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.567 * [taylor]: Taking taylor expansion of d in d 1.567 * [backup-simplify]: Simplify 0 into 0 1.567 * [backup-simplify]: Simplify 1 into 1 1.567 * [backup-simplify]: Simplify (/ 1 1) into 1 1.567 * [backup-simplify]: Simplify (+ 0 1) into 1 1.567 * [taylor]: Taking taylor expansion of 1 in a 1.567 * [backup-simplify]: Simplify 1 into 1 1.567 * [taylor]: Taking taylor expansion of 1 in a 1.567 * [backup-simplify]: Simplify 1 into 1 1.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.568 * [backup-simplify]: Simplify (+ 0 0) into 0 1.569 * [backup-simplify]: Simplify (+ 0 0) into 0 1.569 * [taylor]: Taking taylor expansion of 0 in d 1.569 * [backup-simplify]: Simplify 0 into 0 1.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.569 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.569 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.569 * [taylor]: Taking taylor expansion of a in a 1.569 * [backup-simplify]: Simplify 0 into 0 1.569 * [backup-simplify]: Simplify 1 into 1 1.570 * [backup-simplify]: Simplify (/ 1 1) into 1 1.570 * [backup-simplify]: Simplify 1 into 1 1.570 * [taylor]: Taking taylor expansion of 0 in a 1.570 * [backup-simplify]: Simplify 0 into 0 1.570 * [backup-simplify]: Simplify 1 into 1 1.570 * [backup-simplify]: Simplify 1 into 1 1.570 * [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.570 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 1.570 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in (b d a) around 0 1.570 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in a 1.570 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a 1.570 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.570 * [taylor]: Taking taylor expansion of b in a 1.570 * [backup-simplify]: Simplify b into b 1.571 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.571 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 1.571 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.571 * [taylor]: Taking taylor expansion of a in a 1.571 * [backup-simplify]: Simplify 0 into 0 1.571 * [backup-simplify]: Simplify 1 into 1 1.571 * [backup-simplify]: Simplify (/ 1 1) into 1 1.571 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.571 * [taylor]: Taking taylor expansion of d in a 1.571 * [backup-simplify]: Simplify d into d 1.571 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.571 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in d 1.571 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d 1.571 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.571 * [taylor]: Taking taylor expansion of b in d 1.571 * [backup-simplify]: Simplify b into b 1.571 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.571 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.571 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.571 * [taylor]: Taking taylor expansion of a in d 1.571 * [backup-simplify]: Simplify a into a 1.571 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.571 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.571 * [taylor]: Taking taylor expansion of d in d 1.571 * [backup-simplify]: Simplify 0 into 0 1.571 * [backup-simplify]: Simplify 1 into 1 1.572 * [backup-simplify]: Simplify (/ 1 1) into 1 1.572 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.572 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.572 * [taylor]: Taking taylor expansion of b in b 1.572 * [backup-simplify]: Simplify 0 into 0 1.572 * [backup-simplify]: Simplify 1 into 1 1.572 * [backup-simplify]: Simplify (/ 1 1) into 1 1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.572 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.572 * [taylor]: Taking taylor expansion of a in b 1.572 * [backup-simplify]: Simplify a into a 1.572 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.572 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.572 * [taylor]: Taking taylor expansion of d in b 1.572 * [backup-simplify]: Simplify d into d 1.572 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.572 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.572 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.572 * [taylor]: Taking taylor expansion of b in b 1.572 * [backup-simplify]: Simplify 0 into 0 1.572 * [backup-simplify]: Simplify 1 into 1 1.572 * [backup-simplify]: Simplify (/ 1 1) into 1 1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.572 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.572 * [taylor]: Taking taylor expansion of a in b 1.573 * [backup-simplify]: Simplify a into a 1.573 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.573 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.573 * [taylor]: Taking taylor expansion of d in b 1.573 * [backup-simplify]: Simplify d into d 1.573 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.573 * [backup-simplify]: Simplify (+ 1 0) into 1 1.573 * [backup-simplify]: Simplify (- 1) into -1 1.573 * [taylor]: Taking taylor expansion of -1 in d 1.573 * [backup-simplify]: Simplify -1 into -1 1.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.574 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.574 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.574 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1.574 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1.574 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.574 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.574 * [taylor]: Taking taylor expansion of a in d 1.574 * [backup-simplify]: Simplify a into a 1.574 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.574 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.574 * [taylor]: Taking taylor expansion of d in d 1.574 * [backup-simplify]: Simplify 0 into 0 1.574 * [backup-simplify]: Simplify 1 into 1 1.574 * [backup-simplify]: Simplify (/ 1 1) into 1 1.575 * [backup-simplify]: Simplify (+ 0 1) into 1 1.575 * [backup-simplify]: Simplify (- 1) into -1 1.575 * [taylor]: Taking taylor expansion of -1 in a 1.575 * [backup-simplify]: Simplify -1 into -1 1.575 * [taylor]: Taking taylor expansion of -1 in a 1.575 * [backup-simplify]: Simplify -1 into -1 1.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.576 * [backup-simplify]: Simplify (+ 0 0) into 0 1.576 * [backup-simplify]: Simplify (+ 0 0) into 0 1.577 * [backup-simplify]: Simplify (- 0) into 0 1.577 * [taylor]: Taking taylor expansion of 0 in d 1.577 * [backup-simplify]: Simplify 0 into 0 1.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.577 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.577 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1.577 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.577 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.577 * [taylor]: Taking taylor expansion of a in a 1.577 * [backup-simplify]: Simplify 0 into 0 1.577 * [backup-simplify]: Simplify 1 into 1 1.577 * [backup-simplify]: Simplify (/ 1 1) into 1 1.578 * [backup-simplify]: Simplify (- 1) into -1 1.578 * [backup-simplify]: Simplify -1 into -1 1.578 * [taylor]: Taking taylor expansion of 0 in a 1.578 * [backup-simplify]: Simplify 0 into 0 1.578 * [backup-simplify]: Simplify -1 into -1 1.578 * [backup-simplify]: Simplify -1 into -1 1.578 * [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.578 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.579 * [backup-simplify]: Simplify (+ c (+ (+ b d) a)) into (+ a (+ b (+ c d))) 1.579 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b d a) around 0 1.579 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1.579 * [taylor]: Taking taylor expansion of a in a 1.579 * [backup-simplify]: Simplify 0 into 0 1.579 * [backup-simplify]: Simplify 1 into 1 1.579 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1.579 * [taylor]: Taking taylor expansion of b in a 1.579 * [backup-simplify]: Simplify b into b 1.579 * [taylor]: Taking taylor expansion of (+ c d) in a 1.579 * [taylor]: Taking taylor expansion of c in a 1.579 * [backup-simplify]: Simplify c into c 1.579 * [taylor]: Taking taylor expansion of d in a 1.579 * [backup-simplify]: Simplify d into d 1.579 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1.579 * [taylor]: Taking taylor expansion of a in d 1.579 * [backup-simplify]: Simplify a into a 1.579 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1.579 * [taylor]: Taking taylor expansion of b in d 1.579 * [backup-simplify]: Simplify b into b 1.579 * [taylor]: Taking taylor expansion of (+ c d) in d 1.579 * [taylor]: Taking taylor expansion of c in d 1.579 * [backup-simplify]: Simplify c into c 1.579 * [taylor]: Taking taylor expansion of d in d 1.579 * [backup-simplify]: Simplify 0 into 0 1.579 * [backup-simplify]: Simplify 1 into 1 1.579 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1.579 * [taylor]: Taking taylor expansion of a in b 1.579 * [backup-simplify]: Simplify a into a 1.579 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1.579 * [taylor]: Taking taylor expansion of b in b 1.579 * [backup-simplify]: Simplify 0 into 0 1.579 * [backup-simplify]: Simplify 1 into 1 1.579 * [taylor]: Taking taylor expansion of (+ c d) in b 1.579 * [taylor]: Taking taylor expansion of c in b 1.579 * [backup-simplify]: Simplify c into c 1.579 * [taylor]: Taking taylor expansion of d in b 1.579 * [backup-simplify]: Simplify d into d 1.579 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1.579 * [taylor]: Taking taylor expansion of a in c 1.579 * [backup-simplify]: Simplify a into a 1.579 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1.579 * [taylor]: Taking taylor expansion of b in c 1.579 * [backup-simplify]: Simplify b into b 1.579 * [taylor]: Taking taylor expansion of (+ c d) in c 1.579 * [taylor]: Taking taylor expansion of c in c 1.579 * [backup-simplify]: Simplify 0 into 0 1.579 * [backup-simplify]: Simplify 1 into 1 1.579 * [taylor]: Taking taylor expansion of d in c 1.579 * [backup-simplify]: Simplify d into d 1.579 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1.579 * [taylor]: Taking taylor expansion of a in c 1.579 * [backup-simplify]: Simplify a into a 1.579 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1.579 * [taylor]: Taking taylor expansion of b in c 1.579 * [backup-simplify]: Simplify b into b 1.579 * [taylor]: Taking taylor expansion of (+ c d) in c 1.579 * [taylor]: Taking taylor expansion of c in c 1.579 * [backup-simplify]: Simplify 0 into 0 1.579 * [backup-simplify]: Simplify 1 into 1 1.579 * [taylor]: Taking taylor expansion of d in c 1.579 * [backup-simplify]: Simplify d into d 1.579 * [backup-simplify]: Simplify (+ 0 d) into d 1.580 * [backup-simplify]: Simplify (+ b d) into (+ b d) 1.580 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 1.580 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.580 * [taylor]: Taking taylor expansion of a in b 1.580 * [backup-simplify]: Simplify a into a 1.580 * [taylor]: Taking taylor expansion of (+ b d) in b 1.580 * [taylor]: Taking taylor expansion of b in b 1.580 * [backup-simplify]: Simplify 0 into 0 1.580 * [backup-simplify]: Simplify 1 into 1 1.580 * [taylor]: Taking taylor expansion of d in b 1.580 * [backup-simplify]: Simplify d into d 1.580 * [backup-simplify]: Simplify (+ 0 d) into d 1.580 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1.580 * [taylor]: Taking taylor expansion of (+ a d) in d 1.580 * [taylor]: Taking taylor expansion of a in d 1.580 * [backup-simplify]: Simplify a into a 1.580 * [taylor]: Taking taylor expansion of d in d 1.580 * [backup-simplify]: Simplify 0 into 0 1.580 * [backup-simplify]: Simplify 1 into 1 1.580 * [backup-simplify]: Simplify (+ a 0) into a 1.580 * [taylor]: Taking taylor expansion of a in a 1.580 * [backup-simplify]: Simplify 0 into 0 1.580 * [backup-simplify]: Simplify 1 into 1 1.580 * [backup-simplify]: Simplify 0 into 0 1.580 * [backup-simplify]: Simplify (+ 1 0) into 1 1.581 * [backup-simplify]: Simplify (+ 0 1) into 1 1.581 * [backup-simplify]: Simplify (+ 0 1) into 1 1.581 * [taylor]: Taking taylor expansion of 1 in b 1.581 * [backup-simplify]: Simplify 1 into 1 1.581 * [taylor]: Taking taylor expansion of 1 in d 1.581 * [backup-simplify]: Simplify 1 into 1 1.581 * [taylor]: Taking taylor expansion of 1 in a 1.581 * [backup-simplify]: Simplify 1 into 1 1.581 * [backup-simplify]: Simplify 1 into 1 1.581 * [backup-simplify]: Simplify (+ 1 0) into 1 1.582 * [backup-simplify]: Simplify (+ 0 1) into 1 1.582 * [taylor]: Taking taylor expansion of 1 in d 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [taylor]: Taking taylor expansion of 1 in a 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify (+ 0 1) into 1 1.582 * [taylor]: Taking taylor expansion of 1 in a 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ b (+ c d)) 1.583 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 1.583 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b d a) around 0 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 1.583 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.583 * [taylor]: Taking taylor expansion of b in a 1.583 * [backup-simplify]: Simplify b into b 1.583 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 1.583 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.583 * [taylor]: Taking taylor expansion of a in a 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify 1 into 1 1.583 * [backup-simplify]: Simplify (/ 1 1) into 1 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1.583 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.583 * [taylor]: Taking taylor expansion of c in a 1.583 * [backup-simplify]: Simplify c into c 1.583 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.583 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.583 * [taylor]: Taking taylor expansion of d in a 1.583 * [backup-simplify]: Simplify d into d 1.583 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 1.583 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.583 * [taylor]: Taking taylor expansion of b in d 1.583 * [backup-simplify]: Simplify b into b 1.583 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 1.583 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.583 * [taylor]: Taking taylor expansion of a in d 1.583 * [backup-simplify]: Simplify a into a 1.583 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1.584 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.584 * [taylor]: Taking taylor expansion of c in d 1.584 * [backup-simplify]: Simplify c into c 1.584 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.584 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.584 * [taylor]: Taking taylor expansion of d in d 1.584 * [backup-simplify]: Simplify 0 into 0 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [backup-simplify]: Simplify (/ 1 1) into 1 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 1.584 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.584 * [taylor]: Taking taylor expansion of b in b 1.584 * [backup-simplify]: Simplify 0 into 0 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [backup-simplify]: Simplify (/ 1 1) into 1 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 1.584 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.584 * [taylor]: Taking taylor expansion of a in b 1.584 * [backup-simplify]: Simplify a into a 1.584 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1.584 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.584 * [taylor]: Taking taylor expansion of c in b 1.584 * [backup-simplify]: Simplify c into c 1.584 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.584 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.585 * [taylor]: Taking taylor expansion of d in b 1.585 * [backup-simplify]: Simplify d into d 1.585 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.585 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.585 * [taylor]: Taking taylor expansion of b in c 1.585 * [backup-simplify]: Simplify b into b 1.585 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.585 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.585 * [taylor]: Taking taylor expansion of a in c 1.585 * [backup-simplify]: Simplify a into a 1.585 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.585 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.585 * [taylor]: Taking taylor expansion of c in c 1.585 * [backup-simplify]: Simplify 0 into 0 1.585 * [backup-simplify]: Simplify 1 into 1 1.585 * [backup-simplify]: Simplify (/ 1 1) into 1 1.585 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.585 * [taylor]: Taking taylor expansion of d in c 1.585 * [backup-simplify]: Simplify d into d 1.585 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.585 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.585 * [taylor]: Taking taylor expansion of b in c 1.585 * [backup-simplify]: Simplify b into b 1.585 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.585 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.585 * [taylor]: Taking taylor expansion of a in c 1.585 * [backup-simplify]: Simplify a into a 1.585 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.585 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.585 * [taylor]: Taking taylor expansion of c in c 1.585 * [backup-simplify]: Simplify 0 into 0 1.585 * [backup-simplify]: Simplify 1 into 1 1.586 * [backup-simplify]: Simplify (/ 1 1) into 1 1.586 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.586 * [taylor]: Taking taylor expansion of d in c 1.586 * [backup-simplify]: Simplify d into d 1.586 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.586 * [backup-simplify]: Simplify (+ 1 0) into 1 1.586 * [backup-simplify]: Simplify (+ 0 1) into 1 1.587 * [backup-simplify]: Simplify (+ 0 1) into 1 1.587 * [taylor]: Taking taylor expansion of 1 in b 1.587 * [backup-simplify]: Simplify 1 into 1 1.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.590 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1.590 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.590 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.590 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.590 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.590 * [taylor]: Taking taylor expansion of b in b 1.590 * [backup-simplify]: Simplify 0 into 0 1.590 * [backup-simplify]: Simplify 1 into 1 1.590 * [backup-simplify]: Simplify (/ 1 1) into 1 1.590 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.590 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.590 * [taylor]: Taking taylor expansion of a in b 1.590 * [backup-simplify]: Simplify a into a 1.591 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.591 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.591 * [taylor]: Taking taylor expansion of d in b 1.591 * [backup-simplify]: Simplify d into d 1.591 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.591 * [backup-simplify]: Simplify (+ 1 0) into 1 1.591 * [taylor]: Taking taylor expansion of 1 in d 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [taylor]: Taking taylor expansion of 1 in d 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.591 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.592 * [backup-simplify]: Simplify (+ 0 0) into 0 1.592 * [backup-simplify]: Simplify (+ 0 0) into 0 1.593 * [backup-simplify]: Simplify (+ 0 0) into 0 1.593 * [taylor]: Taking taylor expansion of 0 in b 1.593 * [backup-simplify]: Simplify 0 into 0 1.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.593 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.593 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 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.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 * [backup-simplify]: Simplify (+ 0 1) into 1 1.594 * [taylor]: Taking taylor expansion of 1 in a 1.595 * [backup-simplify]: Simplify 1 into 1 1.595 * [taylor]: Taking taylor expansion of 0 in d 1.595 * [backup-simplify]: Simplify 0 into 0 1.595 * [taylor]: Taking taylor expansion of 1 in a 1.595 * [backup-simplify]: Simplify 1 into 1 1.595 * [taylor]: Taking taylor expansion of 1 in a 1.595 * [backup-simplify]: Simplify 1 into 1 1.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.596 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1.596 * [backup-simplify]: Simplify (+ 0 0) into 0 1.596 * [backup-simplify]: Simplify (+ 0 0) into 0 1.597 * [backup-simplify]: Simplify (+ 0 0) into 0 1.597 * [taylor]: Taking taylor expansion of 0 in b 1.597 * [backup-simplify]: Simplify 0 into 0 1.597 * [taylor]: Taking taylor expansion of 0 in d 1.597 * [backup-simplify]: Simplify 0 into 0 1.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.598 * [backup-simplify]: Simplify (+ 0 0) into 0 1.598 * [backup-simplify]: Simplify (+ 0 0) into 0 1.599 * [taylor]: Taking taylor expansion of 0 in d 1.599 * [backup-simplify]: Simplify 0 into 0 1.599 * [taylor]: Taking taylor expansion of 0 in d 1.599 * [backup-simplify]: Simplify 0 into 0 1.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.599 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.599 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.599 * [taylor]: Taking taylor expansion of a in a 1.599 * [backup-simplify]: Simplify 0 into 0 1.599 * [backup-simplify]: Simplify 1 into 1 1.600 * [backup-simplify]: Simplify (/ 1 1) into 1 1.600 * [backup-simplify]: Simplify 1 into 1 1.600 * [taylor]: Taking taylor expansion of 0 in a 1.600 * [backup-simplify]: Simplify 0 into 0 1.600 * [taylor]: Taking taylor expansion of 0 in a 1.600 * [backup-simplify]: Simplify 0 into 0 1.600 * [taylor]: Taking taylor expansion of 0 in a 1.600 * [backup-simplify]: Simplify 0 into 0 1.600 * [backup-simplify]: Simplify 1 into 1 1.600 * [backup-simplify]: Simplify 1 into 1 1.601 * [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.601 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a)))) into (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) 1.601 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b d a) around 0 1.601 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a 1.601 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 1.601 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.601 * [taylor]: Taking taylor expansion of b in a 1.601 * [backup-simplify]: Simplify b into b 1.601 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.601 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 1.601 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.601 * [taylor]: Taking taylor expansion of a in a 1.601 * [backup-simplify]: Simplify 0 into 0 1.601 * [backup-simplify]: Simplify 1 into 1 1.601 * [backup-simplify]: Simplify (/ 1 1) into 1 1.601 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1.601 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.601 * [taylor]: Taking taylor expansion of c in a 1.601 * [backup-simplify]: Simplify c into c 1.602 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.602 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.602 * [taylor]: Taking taylor expansion of d in a 1.602 * [backup-simplify]: Simplify d into d 1.602 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.602 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d 1.602 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 1.602 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.602 * [taylor]: Taking taylor expansion of b in d 1.602 * [backup-simplify]: Simplify b into b 1.602 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.602 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 1.602 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.602 * [taylor]: Taking taylor expansion of a in d 1.602 * [backup-simplify]: Simplify a into a 1.602 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.602 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1.602 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.602 * [taylor]: Taking taylor expansion of c in d 1.602 * [backup-simplify]: Simplify c into c 1.602 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.602 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.602 * [taylor]: Taking taylor expansion of d in d 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.603 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b 1.603 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 1.603 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.603 * [taylor]: Taking taylor expansion of b in b 1.603 * [backup-simplify]: Simplify 0 into 0 1.603 * [backup-simplify]: Simplify 1 into 1 1.603 * [backup-simplify]: Simplify (/ 1 1) into 1 1.603 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 1.603 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.603 * [taylor]: Taking taylor expansion of a in b 1.603 * [backup-simplify]: Simplify a into a 1.603 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.603 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1.603 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.603 * [taylor]: Taking taylor expansion of c in b 1.604 * [backup-simplify]: Simplify c into c 1.604 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.604 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.604 * [taylor]: Taking taylor expansion of d in b 1.604 * [backup-simplify]: Simplify d into d 1.604 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.604 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 1.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.604 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.604 * [taylor]: Taking taylor expansion of b in c 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 c) (/ 1 d))) in c 1.604 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.604 * [taylor]: Taking taylor expansion of a in c 1.604 * [backup-simplify]: Simplify a into a 1.604 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.604 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.604 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.604 * [taylor]: Taking taylor expansion of c in c 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify 1 into 1 1.605 * [backup-simplify]: Simplify (/ 1 1) into 1 1.605 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.605 * [taylor]: Taking taylor expansion of d in c 1.605 * [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 c) (/ 1 d))))) in c 1.605 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.605 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.605 * [taylor]: Taking taylor expansion of b in c 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 c) (/ 1 d))) in c 1.605 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.605 * [taylor]: Taking taylor expansion of a in c 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 c) (/ 1 d)) in c 1.605 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.606 * [taylor]: Taking taylor expansion of c in c 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 d) in c 1.606 * [taylor]: Taking taylor expansion of d in c 1.606 * [backup-simplify]: Simplify d into d 1.606 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.607 * [backup-simplify]: Simplify (+ 1 0) into 1 1.607 * [backup-simplify]: Simplify (+ 0 1) into 1 1.608 * [backup-simplify]: Simplify (+ 0 1) into 1 1.608 * [backup-simplify]: Simplify (- 1) into -1 1.608 * [taylor]: Taking taylor expansion of -1 in b 1.609 * [backup-simplify]: Simplify -1 into -1 1.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.610 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1.610 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.610 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.610 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 1.610 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.610 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.610 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.610 * [taylor]: Taking taylor expansion of b in b 1.610 * [backup-simplify]: Simplify 0 into 0 1.610 * [backup-simplify]: Simplify 1 into 1 1.611 * [backup-simplify]: Simplify (/ 1 1) into 1 1.611 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.611 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.611 * [taylor]: Taking taylor expansion of a in b 1.611 * [backup-simplify]: Simplify a into a 1.611 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.611 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.611 * [taylor]: Taking taylor expansion of d in b 1.611 * [backup-simplify]: Simplify d into d 1.611 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.612 * [backup-simplify]: Simplify (+ 1 0) into 1 1.612 * [backup-simplify]: Simplify (- 1) into -1 1.612 * [taylor]: Taking taylor expansion of -1 in d 1.612 * [backup-simplify]: Simplify -1 into -1 1.612 * [taylor]: Taking taylor expansion of -1 in d 1.612 * [backup-simplify]: Simplify -1 into -1 1.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.614 * [backup-simplify]: Simplify (+ 0 0) into 0 1.614 * [backup-simplify]: Simplify (+ 0 0) into 0 1.615 * [backup-simplify]: Simplify (+ 0 0) into 0 1.615 * [backup-simplify]: Simplify (- 0) into 0 1.615 * [taylor]: Taking taylor expansion of 0 in b 1.615 * [backup-simplify]: Simplify 0 into 0 1.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.616 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.616 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.617 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1.617 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1.617 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.617 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.617 * [taylor]: Taking taylor expansion of a in d 1.617 * [backup-simplify]: Simplify a into a 1.617 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.617 * [taylor]: Taking taylor expansion of (/ 1 d) in d 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 * [backup-simplify]: Simplify (/ 1 1) into 1 1.618 * [backup-simplify]: Simplify (+ 0 1) into 1 1.618 * [backup-simplify]: Simplify (- 1) into -1 1.618 * [taylor]: Taking taylor expansion of -1 in a 1.618 * [backup-simplify]: Simplify -1 into -1 1.618 * [taylor]: Taking taylor expansion of 0 in d 1.618 * [backup-simplify]: Simplify 0 into 0 1.618 * [taylor]: Taking taylor expansion of -1 in a 1.618 * [backup-simplify]: Simplify -1 into -1 1.618 * [taylor]: Taking taylor expansion of -1 in a 1.618 * [backup-simplify]: Simplify -1 into -1 1.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1.620 * [backup-simplify]: Simplify (- 0) into 0 1.620 * [taylor]: Taking taylor expansion of 0 in b 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [taylor]: Taking taylor expansion of 0 in d 1.620 * [backup-simplify]: Simplify 0 into 0 1.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.621 * [backup-simplify]: Simplify (+ 0 0) into 0 1.622 * [backup-simplify]: Simplify (+ 0 0) into 0 1.622 * [backup-simplify]: Simplify (- 0) into 0 1.622 * [taylor]: Taking taylor expansion of 0 in d 1.622 * [backup-simplify]: Simplify 0 into 0 1.622 * [taylor]: Taking taylor expansion of 0 in d 1.622 * [backup-simplify]: Simplify 0 into 0 1.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.622 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.622 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1.622 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.622 * [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.623 * [backup-simplify]: Simplify (/ 1 1) into 1 1.623 * [backup-simplify]: Simplify (- 1) into -1 1.623 * [backup-simplify]: Simplify -1 into -1 1.623 * [taylor]: Taking taylor expansion of 0 in a 1.623 * [backup-simplify]: Simplify 0 into 0 1.623 * [taylor]: Taking taylor expansion of 0 in a 1.623 * [backup-simplify]: Simplify 0 into 0 1.623 * [taylor]: Taking taylor expansion of 0 in a 1.623 * [backup-simplify]: Simplify 0 into 0 1.623 * [backup-simplify]: Simplify -1 into -1 1.623 * [backup-simplify]: Simplify -1 into -1 1.624 * [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.624 * * * [progress]: simplifying candidates 1.625 * [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.625 * * [simplify]: iteration 0: 57 enodes 1.634 * * [simplify]: iteration 1: 168 enodes 1.698 * * [simplify]: iteration 2: 647 enodes 2.350 * * [simplify]: iteration 3: 4212 enodes 3.130 * * [simplify]: iteration complete: 5001 enodes 3.130 * * [simplify]: Extracting #0: cost 24 inf + 0 3.132 * * [simplify]: Extracting #1: cost 334 inf + 0 3.138 * * [simplify]: Extracting #2: cost 1219 inf + 332 3.148 * * [simplify]: Extracting #3: cost 984 inf + 5806 3.170 * * [simplify]: Extracting #4: cost 205 inf + 15702 3.181 * * [simplify]: Extracting #5: cost 59 inf + 17807 3.192 * * [simplify]: Extracting #6: cost 15 inf + 18036 3.204 * * [simplify]: Extracting #7: cost 0 inf + 18117 3.214 * [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.214 * * * [progress]: adding candidates to table 3.421 * * [progress]: iteration 3 / 4 3.422 * * * [progress]: picking best candidate 3.431 * * * * [pick]: Picked # 3.432 * * * [progress]: localizing error 3.448 * * * [progress]: generating rewritten candidates 3.448 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2) 3.520 * * * [progress]: generating series expansions 3.520 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2) 3.520 * [backup-simplify]: Simplify (+ c (+ b (+ a d))) into (+ a (+ b (+ c d))) 3.520 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b a d) around 0 3.520 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 3.520 * [taylor]: Taking taylor expansion of a in d 3.520 * [backup-simplify]: Simplify a into a 3.520 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 3.520 * [taylor]: Taking taylor expansion of b in d 3.520 * [backup-simplify]: Simplify b into b 3.520 * [taylor]: Taking taylor expansion of (+ c d) in d 3.520 * [taylor]: Taking taylor expansion of c in d 3.520 * [backup-simplify]: Simplify c into c 3.520 * [taylor]: Taking taylor expansion of d in d 3.520 * [backup-simplify]: Simplify 0 into 0 3.520 * [backup-simplify]: Simplify 1 into 1 3.520 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 3.521 * [taylor]: Taking taylor expansion of a in a 3.521 * [backup-simplify]: Simplify 0 into 0 3.521 * [backup-simplify]: Simplify 1 into 1 3.521 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 3.521 * [taylor]: Taking taylor expansion of b in a 3.521 * [backup-simplify]: Simplify b into b 3.521 * [taylor]: Taking taylor expansion of (+ c d) in a 3.521 * [taylor]: Taking taylor expansion of c in a 3.521 * [backup-simplify]: Simplify c into c 3.521 * [taylor]: Taking taylor expansion of d in a 3.521 * [backup-simplify]: Simplify d into d 3.521 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 3.521 * [taylor]: Taking taylor expansion of a in b 3.521 * [backup-simplify]: Simplify a into a 3.521 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 3.521 * [taylor]: Taking taylor expansion of b in b 3.521 * [backup-simplify]: Simplify 0 into 0 3.521 * [backup-simplify]: Simplify 1 into 1 3.521 * [taylor]: Taking taylor expansion of (+ c d) in b 3.521 * [taylor]: Taking taylor expansion of c in b 3.521 * [backup-simplify]: Simplify c into c 3.521 * [taylor]: Taking taylor expansion of d in b 3.521 * [backup-simplify]: Simplify d into d 3.521 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 3.521 * [taylor]: Taking taylor expansion of a in c 3.521 * [backup-simplify]: Simplify a into a 3.521 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 3.521 * [taylor]: Taking taylor expansion of b in c 3.521 * [backup-simplify]: Simplify b into b 3.521 * [taylor]: Taking taylor expansion of (+ c d) in c 3.521 * [taylor]: Taking taylor expansion of c in c 3.521 * [backup-simplify]: Simplify 0 into 0 3.521 * [backup-simplify]: Simplify 1 into 1 3.521 * [taylor]: Taking taylor expansion of d in c 3.521 * [backup-simplify]: Simplify d into d 3.521 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 3.521 * [taylor]: Taking taylor expansion of a in c 3.521 * [backup-simplify]: Simplify a into a 3.521 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 3.521 * [taylor]: Taking taylor expansion of b in c 3.521 * [backup-simplify]: Simplify b into b 3.521 * [taylor]: Taking taylor expansion of (+ c d) in c 3.521 * [taylor]: Taking taylor expansion of c in c 3.522 * [backup-simplify]: Simplify 0 into 0 3.522 * [backup-simplify]: Simplify 1 into 1 3.522 * [taylor]: Taking taylor expansion of d in c 3.522 * [backup-simplify]: Simplify d into d 3.522 * [backup-simplify]: Simplify (+ 0 d) into d 3.522 * [backup-simplify]: Simplify (+ b d) into (+ b d) 3.522 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 3.522 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 3.522 * [taylor]: Taking taylor expansion of a in b 3.522 * [backup-simplify]: Simplify a into a 3.522 * [taylor]: Taking taylor expansion of (+ b d) in b 3.522 * [taylor]: Taking taylor expansion of b in b 3.522 * [backup-simplify]: Simplify 0 into 0 3.522 * [backup-simplify]: Simplify 1 into 1 3.522 * [taylor]: Taking taylor expansion of d in b 3.522 * [backup-simplify]: Simplify d into d 3.522 * [backup-simplify]: Simplify (+ 0 d) into d 3.522 * [backup-simplify]: Simplify (+ a d) into (+ a d) 3.522 * [taylor]: Taking taylor expansion of (+ a d) in a 3.522 * [taylor]: Taking taylor expansion of a in a 3.522 * [backup-simplify]: Simplify 0 into 0 3.522 * [backup-simplify]: Simplify 1 into 1 3.522 * [taylor]: Taking taylor expansion of d in a 3.522 * [backup-simplify]: Simplify d into d 3.522 * [backup-simplify]: Simplify (+ 0 d) into d 3.522 * [taylor]: Taking taylor expansion of d in d 3.522 * [backup-simplify]: Simplify 0 into 0 3.522 * [backup-simplify]: Simplify 1 into 1 3.522 * [backup-simplify]: Simplify 0 into 0 3.523 * [backup-simplify]: Simplify (+ 1 0) into 1 3.524 * [backup-simplify]: Simplify (+ 0 1) into 1 3.524 * [backup-simplify]: Simplify (+ 0 1) into 1 3.524 * [taylor]: Taking taylor expansion of 1 in b 3.524 * [backup-simplify]: Simplify 1 into 1 3.524 * [taylor]: Taking taylor expansion of 1 in a 3.524 * [backup-simplify]: Simplify 1 into 1 3.524 * [taylor]: Taking taylor expansion of 1 in d 3.524 * [backup-simplify]: Simplify 1 into 1 3.524 * [backup-simplify]: Simplify 1 into 1 3.525 * [backup-simplify]: Simplify (+ 1 0) into 1 3.525 * [backup-simplify]: Simplify (+ 0 1) into 1 3.525 * [taylor]: Taking taylor expansion of 1 in a 3.525 * [backup-simplify]: Simplify 1 into 1 3.525 * [taylor]: Taking taylor expansion of 1 in d 3.525 * [backup-simplify]: Simplify 1 into 1 3.525 * [backup-simplify]: Simplify 1 into 1 3.526 * [backup-simplify]: Simplify (+ 1 0) into 1 3.526 * [taylor]: Taking taylor expansion of 1 in d 3.526 * [backup-simplify]: Simplify 1 into 1 3.526 * [backup-simplify]: Simplify 1 into 1 3.526 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* a (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ a (+ b c)) 3.527 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 3.527 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b a d) around 0 3.527 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 3.527 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.527 * [taylor]: Taking taylor expansion of b in d 3.527 * [backup-simplify]: Simplify b into b 3.527 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.527 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 3.527 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.527 * [taylor]: Taking taylor expansion of a in d 3.527 * [backup-simplify]: Simplify a into a 3.527 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.527 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 3.527 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.527 * [taylor]: Taking taylor expansion of c in d 3.527 * [backup-simplify]: Simplify c into c 3.527 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.527 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.527 * [taylor]: Taking taylor expansion of d in d 3.527 * [backup-simplify]: Simplify 0 into 0 3.527 * [backup-simplify]: Simplify 1 into 1 3.528 * [backup-simplify]: Simplify (/ 1 1) into 1 3.528 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 3.528 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.528 * [taylor]: Taking taylor expansion of b in a 3.528 * [backup-simplify]: Simplify b into b 3.528 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.528 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 3.528 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.528 * [taylor]: Taking taylor expansion of a in a 3.528 * [backup-simplify]: Simplify 0 into 0 3.528 * [backup-simplify]: Simplify 1 into 1 3.528 * [backup-simplify]: Simplify (/ 1 1) into 1 3.528 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 3.528 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.528 * [taylor]: Taking taylor expansion of c in a 3.529 * [backup-simplify]: Simplify c into c 3.529 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.529 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.529 * [taylor]: Taking taylor expansion of d in a 3.529 * [backup-simplify]: Simplify d into d 3.529 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.529 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 3.529 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.529 * [taylor]: Taking taylor expansion of b in b 3.529 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify 1 into 1 3.529 * [backup-simplify]: Simplify (/ 1 1) into 1 3.529 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 3.529 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.529 * [taylor]: Taking taylor expansion of a in b 3.529 * [backup-simplify]: Simplify a into a 3.529 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.529 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 3.529 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.529 * [taylor]: Taking taylor expansion of c in b 3.529 * [backup-simplify]: Simplify c into c 3.530 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.530 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.530 * [taylor]: Taking taylor expansion of d in b 3.530 * [backup-simplify]: Simplify d into d 3.530 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.530 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.530 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.530 * [taylor]: Taking taylor expansion of b in c 3.530 * [backup-simplify]: Simplify b into b 3.530 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.530 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.530 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.530 * [taylor]: Taking taylor expansion of a in c 3.530 * [backup-simplify]: Simplify a into a 3.530 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.530 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.530 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.530 * [taylor]: Taking taylor expansion of c in c 3.530 * [backup-simplify]: Simplify 0 into 0 3.530 * [backup-simplify]: Simplify 1 into 1 3.531 * [backup-simplify]: Simplify (/ 1 1) into 1 3.531 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.531 * [taylor]: Taking taylor expansion of d in c 3.531 * [backup-simplify]: Simplify d into d 3.531 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.531 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.531 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.531 * [taylor]: Taking taylor expansion of b in c 3.531 * [backup-simplify]: Simplify b into b 3.531 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.531 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.531 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.531 * [taylor]: Taking taylor expansion of a in c 3.531 * [backup-simplify]: Simplify a into a 3.531 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.531 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.531 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.531 * [taylor]: Taking taylor expansion of c in c 3.531 * [backup-simplify]: Simplify 0 into 0 3.531 * [backup-simplify]: Simplify 1 into 1 3.531 * [backup-simplify]: Simplify (/ 1 1) into 1 3.531 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.531 * [taylor]: Taking taylor expansion of d in c 3.532 * [backup-simplify]: Simplify d into d 3.532 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.532 * [backup-simplify]: Simplify (+ 1 0) into 1 3.532 * [backup-simplify]: Simplify (+ 0 1) into 1 3.533 * [backup-simplify]: Simplify (+ 0 1) into 1 3.533 * [taylor]: Taking taylor expansion of 1 in b 3.533 * [backup-simplify]: Simplify 1 into 1 3.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.534 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.534 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.534 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 3.534 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 3.534 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.534 * [taylor]: Taking taylor expansion of b in b 3.534 * [backup-simplify]: Simplify 0 into 0 3.534 * [backup-simplify]: Simplify 1 into 1 3.535 * [backup-simplify]: Simplify (/ 1 1) into 1 3.535 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 3.535 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.535 * [taylor]: Taking taylor expansion of a in b 3.535 * [backup-simplify]: Simplify a into a 3.535 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.535 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.535 * [taylor]: Taking taylor expansion of d in b 3.535 * [backup-simplify]: Simplify d into d 3.535 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.535 * [backup-simplify]: Simplify (+ 1 0) into 1 3.535 * [taylor]: Taking taylor expansion of 1 in a 3.535 * [backup-simplify]: Simplify 1 into 1 3.535 * [taylor]: Taking taylor expansion of 1 in a 3.535 * [backup-simplify]: Simplify 1 into 1 3.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.537 * [backup-simplify]: Simplify (+ 0 0) into 0 3.537 * [backup-simplify]: Simplify (+ 0 0) into 0 3.538 * [backup-simplify]: Simplify (+ 0 0) into 0 3.538 * [taylor]: Taking taylor expansion of 0 in b 3.538 * [backup-simplify]: Simplify 0 into 0 3.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.539 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.539 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 3.539 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 3.539 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.539 * [taylor]: Taking taylor expansion of a in a 3.539 * [backup-simplify]: Simplify 0 into 0 3.539 * [backup-simplify]: Simplify 1 into 1 3.540 * [backup-simplify]: Simplify (/ 1 1) into 1 3.540 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.540 * [taylor]: Taking taylor expansion of d in a 3.540 * [backup-simplify]: Simplify d into d 3.540 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.540 * [backup-simplify]: Simplify (+ 1 0) into 1 3.540 * [taylor]: Taking taylor expansion of 1 in d 3.540 * [backup-simplify]: Simplify 1 into 1 3.540 * [taylor]: Taking taylor expansion of 0 in a 3.540 * [backup-simplify]: Simplify 0 into 0 3.540 * [taylor]: Taking taylor expansion of 1 in d 3.540 * [backup-simplify]: Simplify 1 into 1 3.540 * [taylor]: Taking taylor expansion of 1 in d 3.540 * [backup-simplify]: Simplify 1 into 1 3.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.542 * [backup-simplify]: Simplify (+ 0 0) into 0 3.543 * [backup-simplify]: Simplify (+ 0 0) into 0 3.543 * [backup-simplify]: Simplify (+ 0 0) into 0 3.543 * [taylor]: Taking taylor expansion of 0 in b 3.543 * [backup-simplify]: Simplify 0 into 0 3.543 * [taylor]: Taking taylor expansion of 0 in a 3.543 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.545 * [backup-simplify]: Simplify (+ 0 0) into 0 3.545 * [backup-simplify]: Simplify (+ 0 0) into 0 3.545 * [taylor]: Taking taylor expansion of 0 in a 3.545 * [backup-simplify]: Simplify 0 into 0 3.545 * [taylor]: Taking taylor expansion of 0 in a 3.545 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.546 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.546 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.546 * [taylor]: Taking taylor expansion of d in d 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 1 into 1 3.546 * [backup-simplify]: Simplify (/ 1 1) into 1 3.546 * [backup-simplify]: Simplify 1 into 1 3.546 * [taylor]: Taking taylor expansion of 0 in d 3.546 * [backup-simplify]: Simplify 0 into 0 3.547 * [taylor]: Taking taylor expansion of 0 in d 3.547 * [backup-simplify]: Simplify 0 into 0 3.547 * [taylor]: Taking taylor expansion of 0 in d 3.547 * [backup-simplify]: Simplify 0 into 0 3.547 * [backup-simplify]: Simplify 1 into 1 3.547 * [backup-simplify]: Simplify 1 into 1 3.548 * [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.548 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- d))))) into (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) 3.548 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b a d) around 0 3.548 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d 3.548 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 3.548 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.548 * [taylor]: Taking taylor expansion of b in d 3.548 * [backup-simplify]: Simplify b into b 3.548 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.548 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 3.548 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.549 * [taylor]: Taking taylor expansion of a in d 3.549 * [backup-simplify]: Simplify a into a 3.549 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.549 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 3.549 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.549 * [taylor]: Taking taylor expansion of c in d 3.549 * [backup-simplify]: Simplify c into c 3.549 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.549 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.549 * [taylor]: Taking taylor expansion of d in d 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [backup-simplify]: Simplify (/ 1 1) into 1 3.549 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a 3.549 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 3.549 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.549 * [taylor]: Taking taylor expansion of b in a 3.549 * [backup-simplify]: Simplify b into b 3.549 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.549 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 3.549 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.549 * [taylor]: Taking taylor expansion of a in a 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [backup-simplify]: Simplify 1 into 1 3.550 * [backup-simplify]: Simplify (/ 1 1) into 1 3.550 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 3.550 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.550 * [taylor]: Taking taylor expansion of c in a 3.550 * [backup-simplify]: Simplify c into c 3.550 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.550 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.550 * [taylor]: Taking taylor expansion of d in a 3.550 * [backup-simplify]: Simplify d into d 3.550 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.550 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b 3.550 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 3.550 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.550 * [taylor]: Taking taylor expansion of b in b 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [backup-simplify]: Simplify 1 into 1 3.551 * [backup-simplify]: Simplify (/ 1 1) into 1 3.551 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 3.551 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.551 * [taylor]: Taking taylor expansion of a in b 3.551 * [backup-simplify]: Simplify a into a 3.551 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.551 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 3.551 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.551 * [taylor]: Taking taylor expansion of c in b 3.551 * [backup-simplify]: Simplify c into c 3.551 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.551 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.551 * [taylor]: Taking taylor expansion of d in b 3.551 * [backup-simplify]: Simplify d into d 3.551 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.551 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 3.551 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.551 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.551 * [taylor]: Taking taylor expansion of b in c 3.551 * [backup-simplify]: Simplify b into b 3.551 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.551 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.551 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.551 * [taylor]: Taking taylor expansion of a in c 3.551 * [backup-simplify]: Simplify a into a 3.552 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.552 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.552 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.552 * [taylor]: Taking taylor expansion of c in c 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 1 into 1 3.552 * [backup-simplify]: Simplify (/ 1 1) into 1 3.552 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.552 * [taylor]: Taking taylor expansion of d in c 3.552 * [backup-simplify]: Simplify d into d 3.552 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.552 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 3.552 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.552 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.552 * [taylor]: Taking taylor expansion of b in c 3.552 * [backup-simplify]: Simplify b into b 3.552 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.552 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.552 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.552 * [taylor]: Taking taylor expansion of a in c 3.553 * [backup-simplify]: Simplify a into a 3.553 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.553 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.553 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.553 * [taylor]: Taking taylor expansion of c in c 3.553 * [backup-simplify]: Simplify 0 into 0 3.553 * [backup-simplify]: Simplify 1 into 1 3.553 * [backup-simplify]: Simplify (/ 1 1) into 1 3.553 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.553 * [taylor]: Taking taylor expansion of d in c 3.553 * [backup-simplify]: Simplify d into d 3.553 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.554 * [backup-simplify]: Simplify (+ 1 0) into 1 3.554 * [backup-simplify]: Simplify (+ 0 1) into 1 3.555 * [backup-simplify]: Simplify (+ 0 1) into 1 3.555 * [backup-simplify]: Simplify (- 1) into -1 3.555 * [taylor]: Taking taylor expansion of -1 in b 3.555 * [backup-simplify]: Simplify -1 into -1 3.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.556 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.556 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.556 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 3.556 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 3.556 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 3.556 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 3.556 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.557 * [taylor]: Taking taylor expansion of b in b 3.557 * [backup-simplify]: Simplify 0 into 0 3.557 * [backup-simplify]: Simplify 1 into 1 3.557 * [backup-simplify]: Simplify (/ 1 1) into 1 3.557 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 3.557 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.557 * [taylor]: Taking taylor expansion of a in b 3.557 * [backup-simplify]: Simplify a into a 3.557 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.557 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.557 * [taylor]: Taking taylor expansion of d in b 3.557 * [backup-simplify]: Simplify d into d 3.557 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.558 * [backup-simplify]: Simplify (+ 1 0) into 1 3.558 * [backup-simplify]: Simplify (- 1) into -1 3.558 * [taylor]: Taking taylor expansion of -1 in a 3.558 * [backup-simplify]: Simplify -1 into -1 3.558 * [taylor]: Taking taylor expansion of -1 in a 3.558 * [backup-simplify]: Simplify -1 into -1 3.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.560 * [backup-simplify]: Simplify (+ 0 0) into 0 3.560 * [backup-simplify]: Simplify (+ 0 0) into 0 3.561 * [backup-simplify]: Simplify (+ 0 0) into 0 3.561 * [backup-simplify]: Simplify (- 0) into 0 3.561 * [taylor]: Taking taylor expansion of 0 in b 3.561 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.562 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.562 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 3.562 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 3.563 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in a 3.563 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 3.563 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.563 * [taylor]: Taking taylor expansion of a in a 3.563 * [backup-simplify]: Simplify 0 into 0 3.563 * [backup-simplify]: Simplify 1 into 1 3.563 * [backup-simplify]: Simplify (/ 1 1) into 1 3.563 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.563 * [taylor]: Taking taylor expansion of d in a 3.563 * [backup-simplify]: Simplify d into d 3.563 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.564 * [backup-simplify]: Simplify (+ 1 0) into 1 3.564 * [backup-simplify]: Simplify (- 1) into -1 3.564 * [taylor]: Taking taylor expansion of -1 in d 3.564 * [backup-simplify]: Simplify -1 into -1 3.564 * [taylor]: Taking taylor expansion of 0 in a 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [taylor]: Taking taylor expansion of -1 in d 3.564 * [backup-simplify]: Simplify -1 into -1 3.564 * [taylor]: Taking taylor expansion of -1 in d 3.564 * [backup-simplify]: Simplify -1 into -1 3.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.566 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.566 * [backup-simplify]: Simplify (+ 0 0) into 0 3.566 * [backup-simplify]: Simplify (+ 0 0) into 0 3.567 * [backup-simplify]: Simplify (+ 0 0) into 0 3.567 * [backup-simplify]: Simplify (- 0) into 0 3.567 * [taylor]: Taking taylor expansion of 0 in b 3.567 * [backup-simplify]: Simplify 0 into 0 3.567 * [taylor]: Taking taylor expansion of 0 in a 3.567 * [backup-simplify]: Simplify 0 into 0 3.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.569 * [backup-simplify]: Simplify (+ 0 0) into 0 3.569 * [backup-simplify]: Simplify (+ 0 0) into 0 3.570 * [backup-simplify]: Simplify (- 0) into 0 3.570 * [taylor]: Taking taylor expansion of 0 in a 3.570 * [backup-simplify]: Simplify 0 into 0 3.570 * [taylor]: Taking taylor expansion of 0 in a 3.570 * [backup-simplify]: Simplify 0 into 0 3.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.571 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.571 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 3.571 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 3.571 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.571 * [taylor]: Taking taylor expansion of d in d 3.571 * [backup-simplify]: Simplify 0 into 0 3.571 * [backup-simplify]: Simplify 1 into 1 3.571 * [backup-simplify]: Simplify (/ 1 1) into 1 3.572 * [backup-simplify]: Simplify (- 1) into -1 3.572 * [backup-simplify]: Simplify -1 into -1 3.572 * [taylor]: Taking taylor expansion of 0 in d 3.572 * [backup-simplify]: Simplify 0 into 0 3.572 * [taylor]: Taking taylor expansion of 0 in d 3.572 * [backup-simplify]: Simplify 0 into 0 3.572 * [taylor]: Taking taylor expansion of 0 in d 3.572 * [backup-simplify]: Simplify 0 into 0 3.572 * [backup-simplify]: Simplify -1 into -1 3.572 * [backup-simplify]: Simplify -1 into -1 3.573 * [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.573 * * * [progress]: simplifying candidates 3.574 * [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.574 * * [simplify]: iteration 0: 42 enodes 3.589 * * [simplify]: iteration 1: 117 enodes 3.639 * * [simplify]: iteration 2: 451 enodes 4.037 * * [simplify]: iteration 3: 3770 enodes 5.357 * * [simplify]: iteration complete: 5000 enodes 5.357 * * [simplify]: Extracting #0: cost 14 inf + 0 5.358 * * [simplify]: Extracting #1: cost 269 inf + 0 5.364 * * [simplify]: Extracting #2: cost 1518 inf + 280 5.376 * * [simplify]: Extracting #3: cost 1042 inf + 10975 5.389 * * [simplify]: Extracting #4: cost 149 inf + 23044 5.401 * * [simplify]: Extracting #5: cost 45 inf + 24558 5.414 * * [simplify]: Extracting #6: cost 6 inf + 24761 5.428 * * [simplify]: Extracting #7: cost 0 inf + 24807 5.446 * [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.446 * * * [progress]: adding candidates to table 5.531 * * [progress]: iteration 4 / 4 5.531 * * * [progress]: picking best candidate 5.534 * * * * [pick]: Picked # 5.534 * * * [progress]: localizing error 5.545 * * * [progress]: generating rewritten candidates 5.545 * * * [progress]: generating series expansions 5.545 * * * [progress]: simplifying candidates 5.546 * [simplify]: Simplifying: 5.546 * * [simplify]: iteration 0: 0 enodes 5.546 * * [simplify]: iteration complete: 0 enodes 5.546 * * [simplify]: Extracting #0: cost 0 inf + 0 5.546 * [simplify]: Simplified to: 5.546 * * * [progress]: adding candidates to table 5.546 * [progress]: [Phase 3 of 3] Extracting. 5.549 * [simplify]: Simplifying: (* 2.0 (* 1 (+ (+ c b) (+ a d)))) 5.549 * * [simplify]: iteration 0: 11 enodes 5.550 * * [simplify]: iteration 1: 18 enodes 5.551 * * [simplify]: iteration 2: 19 enodes 5.552 * * [simplify]: iteration complete: 19 enodes 5.552 * * [simplify]: Extracting #0: cost 1 inf + 0 5.552 * * [simplify]: Extracting #1: cost 3 inf + 0 5.552 * * [simplify]: Extracting #2: cost 5 inf + 1 5.552 * * [simplify]: Extracting #3: cost 8 inf + 2 5.552 * * [simplify]: Extracting #4: cost 0 inf + 28 5.552 * [simplify]: Simplified to: (* (+ (+ a d) (+ b c)) 2.0) 7.475 * [regime-testing]: Baseline error score: 0 7.477 * [regime-testing]: Oracle error score: 0 7.478 * [regime-testing]: End program error score: 0 7.561 * [regime-testing]: Target error score: 3.832071131309912