10.656 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.059 * * * [progress]: [2/2] Setting up program. 0.066 * [progress]: [Phase 2 of 3] Improving. 0.066 * [simplify]: Simplifying: (* (+ a (+ b (+ c d))) 2.0) 0.066 * * [simplify]: iteration 0: 9 enodes 0.069 * * [simplify]: iteration 1: 17 enodes 0.074 * * [simplify]: iteration 2: 53 enodes 0.095 * * [simplify]: iteration 3: 146 enodes 0.146 * * [simplify]: iteration 4: 300 enodes 0.224 * * [simplify]: iteration 5: 445 enodes 0.289 * * [simplify]: iteration 6: 481 enodes 0.344 * * [simplify]: iteration complete: 481 enodes 0.344 * * [simplify]: Extracting #0: cost 1 inf + 0 0.344 * * [simplify]: Extracting #1: cost 17 inf + 0 0.345 * * [simplify]: Extracting #2: cost 30 inf + 1 0.345 * * [simplify]: Extracting #3: cost 18 inf + 33 0.345 * * [simplify]: Extracting #4: cost 0 inf + 131 0.345 * * [simplify]: Extracting #5: cost 0 inf + 129 0.346 * [simplify]: Simplified to: (* 2.0 (+ (+ (+ b d) c) a)) 0.355 * * [progress]: iteration 1 / 4 0.355 * * * [progress]: picking best candidate 0.362 * * * * [pick]: Picked # 0.362 * * * [progress]: localizing error 0.372 * * * [progress]: generating rewritten candidates 0.372 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.517 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 0.560 * * * [progress]: generating series expansions 0.560 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.561 * [backup-simplify]: Simplify (+ (+ (+ b d) c) a) into (+ a (+ b (+ c d))) 0.561 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (b d c a) around 0 0.561 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 0.561 * [taylor]: Taking taylor expansion of a in a 0.561 * [backup-simplify]: Simplify 0 into 0 0.561 * [backup-simplify]: Simplify 1 into 1 0.561 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 0.561 * [taylor]: Taking taylor expansion of b in a 0.561 * [backup-simplify]: Simplify b into b 0.561 * [taylor]: Taking taylor expansion of (+ c d) in a 0.561 * [taylor]: Taking taylor expansion of c in a 0.561 * [backup-simplify]: Simplify c into c 0.561 * [taylor]: Taking taylor expansion of d in a 0.561 * [backup-simplify]: Simplify d into d 0.561 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 0.561 * [taylor]: Taking taylor expansion of a in c 0.561 * [backup-simplify]: Simplify a into a 0.561 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.561 * [taylor]: Taking taylor expansion of b in c 0.561 * [backup-simplify]: Simplify b into b 0.561 * [taylor]: Taking taylor expansion of (+ c d) in c 0.561 * [taylor]: Taking taylor expansion of c in c 0.561 * [backup-simplify]: Simplify 0 into 0 0.561 * [backup-simplify]: Simplify 1 into 1 0.561 * [taylor]: Taking taylor expansion of d in c 0.561 * [backup-simplify]: Simplify d into d 0.561 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 0.561 * [taylor]: Taking taylor expansion of a in d 0.561 * [backup-simplify]: Simplify a into a 0.561 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.561 * [taylor]: Taking taylor expansion of b in d 0.561 * [backup-simplify]: Simplify b into b 0.561 * [taylor]: Taking taylor expansion of (+ c d) in d 0.561 * [taylor]: Taking taylor expansion of c in d 0.561 * [backup-simplify]: Simplify c into c 0.561 * [taylor]: Taking taylor expansion of d in d 0.562 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify 1 into 1 0.562 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.562 * [taylor]: Taking taylor expansion of a in b 0.562 * [backup-simplify]: Simplify a into a 0.562 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.562 * [taylor]: Taking taylor expansion of b in b 0.562 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify 1 into 1 0.562 * [taylor]: Taking taylor expansion of (+ c d) in b 0.562 * [taylor]: Taking taylor expansion of c in b 0.562 * [backup-simplify]: Simplify c into c 0.562 * [taylor]: Taking taylor expansion of d in b 0.562 * [backup-simplify]: Simplify d into d 0.562 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.562 * [taylor]: Taking taylor expansion of a in b 0.562 * [backup-simplify]: Simplify a into a 0.562 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.562 * [taylor]: Taking taylor expansion of b in b 0.562 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify 1 into 1 0.562 * [taylor]: Taking taylor expansion of (+ c d) in b 0.562 * [taylor]: Taking taylor expansion of c in b 0.562 * [backup-simplify]: Simplify c into c 0.562 * [taylor]: Taking taylor expansion of d in b 0.562 * [backup-simplify]: Simplify d into d 0.562 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.562 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.562 * [backup-simplify]: Simplify (+ a (+ c d)) into (+ a (+ c d)) 0.562 * [taylor]: Taking taylor expansion of (+ a (+ c d)) in d 0.562 * [taylor]: Taking taylor expansion of a in d 0.562 * [backup-simplify]: Simplify a into a 0.562 * [taylor]: Taking taylor expansion of (+ c d) in d 0.563 * [taylor]: Taking taylor expansion of c in d 0.563 * [backup-simplify]: Simplify c into c 0.563 * [taylor]: Taking taylor expansion of d in d 0.563 * [backup-simplify]: Simplify 0 into 0 0.563 * [backup-simplify]: Simplify 1 into 1 0.563 * [backup-simplify]: Simplify (+ c 0) into c 0.563 * [backup-simplify]: Simplify (+ a c) into (+ a c) 0.563 * [taylor]: Taking taylor expansion of (+ a c) in c 0.563 * [taylor]: Taking taylor expansion of a in c 0.563 * [backup-simplify]: Simplify a into a 0.563 * [taylor]: Taking taylor expansion of c in c 0.563 * [backup-simplify]: Simplify 0 into 0 0.563 * [backup-simplify]: Simplify 1 into 1 0.563 * [backup-simplify]: Simplify (+ a 0) into a 0.563 * [taylor]: Taking taylor expansion of a in a 0.563 * [backup-simplify]: Simplify 0 into 0 0.563 * [backup-simplify]: Simplify 1 into 1 0.563 * [backup-simplify]: Simplify 0 into 0 0.564 * [backup-simplify]: Simplify (+ 0 0) into 0 0.564 * [backup-simplify]: Simplify (+ 1 0) into 1 0.565 * [backup-simplify]: Simplify (+ 0 1) into 1 0.565 * [taylor]: Taking taylor expansion of 1 in d 0.565 * [backup-simplify]: Simplify 1 into 1 0.565 * [taylor]: Taking taylor expansion of 1 in c 0.565 * [backup-simplify]: Simplify 1 into 1 0.565 * [taylor]: Taking taylor expansion of 1 in a 0.565 * [backup-simplify]: Simplify 1 into 1 0.565 * [backup-simplify]: Simplify 1 into 1 0.566 * [backup-simplify]: Simplify (+ 0 1) into 1 0.566 * [backup-simplify]: Simplify (+ 0 1) into 1 0.566 * [taylor]: Taking taylor expansion of 1 in c 0.566 * [backup-simplify]: Simplify 1 into 1 0.566 * [taylor]: Taking taylor expansion of 1 in a 0.566 * [backup-simplify]: Simplify 1 into 1 0.566 * [backup-simplify]: Simplify 1 into 1 0.567 * [backup-simplify]: Simplify (+ 0 1) into 1 0.567 * [taylor]: Taking taylor expansion of 1 in a 0.567 * [backup-simplify]: Simplify 1 into 1 0.567 * [backup-simplify]: Simplify 1 into 1 0.568 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ b (+ c d)) 0.568 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) 0.568 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (b d c a) around 0 0.568 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.568 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.568 * [taylor]: Taking taylor expansion of b in a 0.568 * [backup-simplify]: Simplify b into b 0.568 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.568 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.568 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.568 * [taylor]: Taking taylor expansion of d in a 0.568 * [backup-simplify]: Simplify d into d 0.568 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.568 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.568 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.568 * [taylor]: Taking taylor expansion of c in a 0.568 * [backup-simplify]: Simplify c into c 0.568 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.568 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.568 * [taylor]: Taking taylor expansion of a in a 0.568 * [backup-simplify]: Simplify 0 into 0 0.568 * [backup-simplify]: Simplify 1 into 1 0.569 * [backup-simplify]: Simplify (/ 1 1) into 1 0.569 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.569 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.569 * [taylor]: Taking taylor expansion of b in c 0.569 * [backup-simplify]: Simplify b into b 0.569 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.569 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.569 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.569 * [taylor]: Taking taylor expansion of d in c 0.569 * [backup-simplify]: Simplify d into d 0.569 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.569 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.569 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.569 * [taylor]: Taking taylor expansion of c in c 0.569 * [backup-simplify]: Simplify 0 into 0 0.569 * [backup-simplify]: Simplify 1 into 1 0.570 * [backup-simplify]: Simplify (/ 1 1) into 1 0.570 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.570 * [taylor]: Taking taylor expansion of a in c 0.570 * [backup-simplify]: Simplify a into a 0.570 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.570 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.570 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.570 * [taylor]: Taking taylor expansion of b in d 0.570 * [backup-simplify]: Simplify b into b 0.570 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.570 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.570 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.570 * [taylor]: Taking taylor expansion of d in d 0.570 * [backup-simplify]: Simplify 0 into 0 0.570 * [backup-simplify]: Simplify 1 into 1 0.571 * [backup-simplify]: Simplify (/ 1 1) into 1 0.571 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.571 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.571 * [taylor]: Taking taylor expansion of c in d 0.571 * [backup-simplify]: Simplify c into c 0.571 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.571 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.571 * [taylor]: Taking taylor expansion of a in d 0.571 * [backup-simplify]: Simplify a into a 0.571 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.571 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.571 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.571 * [taylor]: Taking taylor expansion of b in b 0.571 * [backup-simplify]: Simplify 0 into 0 0.571 * [backup-simplify]: Simplify 1 into 1 0.571 * [backup-simplify]: Simplify (/ 1 1) into 1 0.571 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.571 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.572 * [taylor]: Taking taylor expansion of d in b 0.572 * [backup-simplify]: Simplify d into d 0.572 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.572 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.572 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.572 * [taylor]: Taking taylor expansion of c in b 0.572 * [backup-simplify]: Simplify c into c 0.572 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.572 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.572 * [taylor]: Taking taylor expansion of a in b 0.572 * [backup-simplify]: Simplify a into a 0.572 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.572 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.572 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.572 * [taylor]: Taking taylor expansion of b in b 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify 1 into 1 0.572 * [backup-simplify]: Simplify (/ 1 1) into 1 0.573 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.573 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.573 * [taylor]: Taking taylor expansion of d in b 0.573 * [backup-simplify]: Simplify d into d 0.573 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.573 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.573 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.573 * [taylor]: Taking taylor expansion of c in b 0.573 * [backup-simplify]: Simplify c into c 0.573 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.573 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.573 * [taylor]: Taking taylor expansion of a in b 0.573 * [backup-simplify]: Simplify a into a 0.573 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.573 * [backup-simplify]: Simplify (+ 1 0) into 1 0.574 * [taylor]: Taking taylor expansion of 1 in d 0.574 * [backup-simplify]: Simplify 1 into 1 0.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.575 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c)) 0.575 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.575 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 0.575 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.575 * [taylor]: Taking taylor expansion of a in d 0.575 * [backup-simplify]: Simplify a into a 0.575 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.575 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.575 * [taylor]: Taking taylor expansion of c in d 0.575 * [backup-simplify]: Simplify c into c 0.575 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.575 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.575 * [taylor]: Taking taylor expansion of d in d 0.575 * [backup-simplify]: Simplify 0 into 0 0.575 * [backup-simplify]: Simplify 1 into 1 0.576 * [backup-simplify]: Simplify (/ 1 1) into 1 0.576 * [backup-simplify]: Simplify (+ 0 1) into 1 0.577 * [backup-simplify]: Simplify (+ 0 1) into 1 0.577 * [taylor]: Taking taylor expansion of 1 in c 0.577 * [backup-simplify]: Simplify 1 into 1 0.577 * [taylor]: Taking taylor expansion of 1 in c 0.577 * [backup-simplify]: Simplify 1 into 1 0.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.579 * [backup-simplify]: Simplify (+ 0 0) into 0 0.579 * [backup-simplify]: Simplify (+ 0 0) into 0 0.580 * [backup-simplify]: Simplify (+ 0 0) into 0 0.580 * [taylor]: Taking taylor expansion of 0 in d 0.580 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.581 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.581 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c)) 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c 0.581 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.581 * [taylor]: Taking taylor expansion of a in c 0.581 * [backup-simplify]: Simplify a into a 0.581 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.581 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.581 * [taylor]: Taking taylor expansion of c in c 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [backup-simplify]: Simplify (/ 1 1) into 1 0.582 * [backup-simplify]: Simplify (+ 0 1) into 1 0.582 * [taylor]: Taking taylor expansion of 1 in a 0.582 * [backup-simplify]: Simplify 1 into 1 0.582 * [taylor]: Taking taylor expansion of 0 in c 0.582 * [backup-simplify]: Simplify 0 into 0 0.582 * [taylor]: Taking taylor expansion of 1 in a 0.582 * [backup-simplify]: Simplify 1 into 1 0.582 * [taylor]: Taking taylor expansion of 1 in a 0.582 * [backup-simplify]: Simplify 1 into 1 0.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.584 * [backup-simplify]: Simplify (+ 0 0) into 0 0.585 * [backup-simplify]: Simplify (+ 0 0) into 0 0.585 * [backup-simplify]: Simplify (+ 0 0) into 0 0.585 * [taylor]: Taking taylor expansion of 0 in d 0.585 * [backup-simplify]: Simplify 0 into 0 0.585 * [taylor]: Taking taylor expansion of 0 in c 0.585 * [backup-simplify]: Simplify 0 into 0 0.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.586 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.587 * [backup-simplify]: Simplify (+ 0 0) into 0 0.587 * [backup-simplify]: Simplify (+ 0 0) into 0 0.587 * [taylor]: Taking taylor expansion of 0 in c 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [taylor]: Taking taylor expansion of 0 in c 0.587 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.588 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 0.588 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.588 * [taylor]: Taking taylor expansion of a in a 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 1 into 1 0.589 * [backup-simplify]: Simplify (/ 1 1) into 1 0.589 * [backup-simplify]: Simplify 1 into 1 0.589 * [taylor]: Taking taylor expansion of 0 in a 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [taylor]: Taking taylor expansion of 0 in a 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [taylor]: Taking taylor expansion of 0 in a 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 1 into 1 0.589 * [backup-simplify]: Simplify 1 into 1 0.590 * [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.591 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) 0.591 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (b d c a) around 0 0.591 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.591 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.591 * [taylor]: Taking taylor expansion of b in a 0.591 * [backup-simplify]: Simplify b into b 0.591 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.591 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.591 * [taylor]: Taking taylor expansion of d in a 0.591 * [backup-simplify]: Simplify d into d 0.591 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.591 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.591 * [taylor]: Taking taylor expansion of c in a 0.591 * [backup-simplify]: Simplify c into c 0.591 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.591 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.591 * [taylor]: Taking taylor expansion of a in a 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.592 * [backup-simplify]: Simplify (/ 1 1) into 1 0.592 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c 0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.592 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.592 * [taylor]: Taking taylor expansion of b in c 0.592 * [backup-simplify]: Simplify b into b 0.592 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.592 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.592 * [taylor]: Taking taylor expansion of d in c 0.592 * [backup-simplify]: Simplify d into d 0.592 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.592 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.592 * [taylor]: Taking taylor expansion of c in c 0.592 * [backup-simplify]: Simplify 0 into 0 0.592 * [backup-simplify]: Simplify 1 into 1 0.593 * [backup-simplify]: Simplify (/ 1 1) into 1 0.593 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.593 * [taylor]: Taking taylor expansion of a in c 0.593 * [backup-simplify]: Simplify a into a 0.593 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.593 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.593 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.593 * [taylor]: Taking taylor expansion of b in d 0.593 * [backup-simplify]: Simplify b into b 0.593 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.593 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.593 * [taylor]: Taking taylor expansion of d in d 0.593 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify 1 into 1 0.593 * [backup-simplify]: Simplify (/ 1 1) into 1 0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.594 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.594 * [taylor]: Taking taylor expansion of c in d 0.594 * [backup-simplify]: Simplify c into c 0.594 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.594 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.594 * [taylor]: Taking taylor expansion of a in d 0.594 * [backup-simplify]: Simplify a into a 0.594 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.594 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.594 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.594 * [taylor]: Taking taylor expansion of b in b 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify 1 into 1 0.594 * [backup-simplify]: Simplify (/ 1 1) into 1 0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.594 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.594 * [taylor]: Taking taylor expansion of d in b 0.595 * [backup-simplify]: Simplify d into d 0.595 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.595 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.595 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.595 * [taylor]: Taking taylor expansion of c in b 0.595 * [backup-simplify]: Simplify c into c 0.595 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.595 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.595 * [taylor]: Taking taylor expansion of a in b 0.595 * [backup-simplify]: Simplify a into a 0.595 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.595 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.595 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.595 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.595 * [taylor]: Taking taylor expansion of b in b 0.595 * [backup-simplify]: Simplify 0 into 0 0.595 * [backup-simplify]: Simplify 1 into 1 0.595 * [backup-simplify]: Simplify (/ 1 1) into 1 0.595 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.595 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.595 * [taylor]: Taking taylor expansion of d in b 0.596 * [backup-simplify]: Simplify d into d 0.596 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.596 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.596 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.596 * [taylor]: Taking taylor expansion of c in b 0.596 * [backup-simplify]: Simplify c into c 0.596 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.596 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.596 * [taylor]: Taking taylor expansion of a in b 0.596 * [backup-simplify]: Simplify a into a 0.596 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.596 * [backup-simplify]: Simplify (+ 1 0) into 1 0.597 * [backup-simplify]: Simplify (- 1) into -1 0.597 * [taylor]: Taking taylor expansion of -1 in d 0.597 * [backup-simplify]: Simplify -1 into -1 0.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.598 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c)) 0.598 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.598 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.598 * [backup-simplify]: Simplify (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) 0.598 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) in d 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) in d 0.598 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.598 * [taylor]: Taking taylor expansion of a in d 0.598 * [backup-simplify]: Simplify a into a 0.599 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 0.599 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.599 * [taylor]: Taking taylor expansion of d in d 0.599 * [backup-simplify]: Simplify 0 into 0 0.599 * [backup-simplify]: Simplify 1 into 1 0.599 * [backup-simplify]: Simplify (/ 1 1) into 1 0.599 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.599 * [taylor]: Taking taylor expansion of c in d 0.599 * [backup-simplify]: Simplify c into c 0.599 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.600 * [backup-simplify]: Simplify (+ 1 0) into 1 0.600 * [backup-simplify]: Simplify (+ 0 1) into 1 0.600 * [backup-simplify]: Simplify (- 1) into -1 0.600 * [taylor]: Taking taylor expansion of -1 in c 0.601 * [backup-simplify]: Simplify -1 into -1 0.601 * [taylor]: Taking taylor expansion of -1 in c 0.601 * [backup-simplify]: Simplify -1 into -1 0.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.602 * [backup-simplify]: Simplify (+ 0 0) into 0 0.603 * [backup-simplify]: Simplify (+ 0 0) into 0 0.603 * [backup-simplify]: Simplify (+ 0 0) into 0 0.603 * [backup-simplify]: Simplify (- 0) into 0 0.603 * [taylor]: Taking taylor expansion of 0 in d 0.603 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.604 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c) 0.604 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c)) 0.605 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c))) 0.605 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in c 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c 0.605 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.605 * [taylor]: Taking taylor expansion of a in c 0.605 * [backup-simplify]: Simplify a into a 0.605 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.605 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.605 * [taylor]: Taking taylor expansion of c in c 0.605 * [backup-simplify]: Simplify 0 into 0 0.605 * [backup-simplify]: Simplify 1 into 1 0.605 * [backup-simplify]: Simplify (/ 1 1) into 1 0.606 * [backup-simplify]: Simplify (+ 0 1) into 1 0.606 * [backup-simplify]: Simplify (- 1) into -1 0.606 * [taylor]: Taking taylor expansion of -1 in a 0.606 * [backup-simplify]: Simplify -1 into -1 0.606 * [taylor]: Taking taylor expansion of 0 in c 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [taylor]: Taking taylor expansion of -1 in a 0.606 * [backup-simplify]: Simplify -1 into -1 0.606 * [taylor]: Taking taylor expansion of -1 in a 0.606 * [backup-simplify]: Simplify -1 into -1 0.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.608 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (- 0) into 0 0.609 * [taylor]: Taking taylor expansion of 0 in d 0.609 * [backup-simplify]: Simplify 0 into 0 0.609 * [taylor]: Taking taylor expansion of 0 in c 0.609 * [backup-simplify]: Simplify 0 into 0 0.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.611 * [backup-simplify]: Simplify (+ 0 0) into 0 0.611 * [backup-simplify]: Simplify (+ 0 0) into 0 0.612 * [backup-simplify]: Simplify (- 0) into 0 0.612 * [taylor]: Taking taylor expansion of 0 in c 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [taylor]: Taking taylor expansion of 0 in c 0.612 * [backup-simplify]: Simplify 0 into 0 0.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.613 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 0.613 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 0.613 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.613 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.613 * [taylor]: Taking taylor expansion of a in a 0.613 * [backup-simplify]: Simplify 0 into 0 0.613 * [backup-simplify]: Simplify 1 into 1 0.613 * [backup-simplify]: Simplify (/ 1 1) into 1 0.614 * [backup-simplify]: Simplify (- 1) into -1 0.614 * [backup-simplify]: Simplify -1 into -1 0.614 * [taylor]: Taking taylor expansion of 0 in a 0.614 * [backup-simplify]: Simplify 0 into 0 0.614 * [taylor]: Taking taylor expansion of 0 in a 0.614 * [backup-simplify]: Simplify 0 into 0 0.614 * [taylor]: Taking taylor expansion of 0 in a 0.614 * [backup-simplify]: Simplify 0 into 0 0.614 * [backup-simplify]: Simplify -1 into -1 0.614 * [backup-simplify]: Simplify -1 into -1 0.615 * [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.615 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 0.615 * [backup-simplify]: Simplify (+ (+ b d) c) into (+ b (+ c d)) 0.615 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b d c) around 0 0.615 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.615 * [taylor]: Taking taylor expansion of b in c 0.616 * [backup-simplify]: Simplify b into b 0.616 * [taylor]: Taking taylor expansion of (+ c d) in c 0.616 * [taylor]: Taking taylor expansion of c in c 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [taylor]: Taking taylor expansion of d in c 0.616 * [backup-simplify]: Simplify d into d 0.616 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.616 * [taylor]: Taking taylor expansion of b in d 0.616 * [backup-simplify]: Simplify b into b 0.616 * [taylor]: Taking taylor expansion of (+ c d) in d 0.616 * [taylor]: Taking taylor expansion of c in d 0.616 * [backup-simplify]: Simplify c into c 0.616 * [taylor]: Taking taylor expansion of d in d 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.616 * [taylor]: Taking taylor expansion of b in b 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [taylor]: Taking taylor expansion of (+ c d) in b 0.616 * [taylor]: Taking taylor expansion of c in b 0.616 * [backup-simplify]: Simplify c into c 0.616 * [taylor]: Taking taylor expansion of d in b 0.616 * [backup-simplify]: Simplify d into d 0.616 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.616 * [taylor]: Taking taylor expansion of b in b 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [taylor]: Taking taylor expansion of (+ c d) in b 0.616 * [taylor]: Taking taylor expansion of c in b 0.616 * [backup-simplify]: Simplify c into c 0.616 * [taylor]: Taking taylor expansion of d in b 0.616 * [backup-simplify]: Simplify d into d 0.616 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.617 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.617 * [taylor]: Taking taylor expansion of (+ c d) in d 0.617 * [taylor]: Taking taylor expansion of c in d 0.617 * [backup-simplify]: Simplify c into c 0.617 * [taylor]: Taking taylor expansion of d in d 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.617 * [backup-simplify]: Simplify (+ c 0) into c 0.617 * [taylor]: Taking taylor expansion of c in c 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify (+ 0 0) into 0 0.618 * [backup-simplify]: Simplify (+ 1 0) into 1 0.618 * [taylor]: Taking taylor expansion of 1 in d 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [taylor]: Taking taylor expansion of 1 in c 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify (+ 0 1) into 1 0.618 * [taylor]: Taking taylor expansion of 1 in c 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify 1 into 1 0.619 * [backup-simplify]: Simplify (+ (* 1 (* c (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d)) 0.619 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 0.619 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b d c) around 0 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.619 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.619 * [taylor]: Taking taylor expansion of b in c 0.619 * [backup-simplify]: Simplify b into b 0.619 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.620 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.620 * [taylor]: Taking taylor expansion of c in c 0.620 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify 1 into 1 0.620 * [backup-simplify]: Simplify (/ 1 1) into 1 0.620 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.620 * [taylor]: Taking taylor expansion of d in c 0.620 * [backup-simplify]: Simplify d into d 0.620 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.620 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.620 * [taylor]: Taking taylor expansion of b in d 0.620 * [backup-simplify]: Simplify b into b 0.620 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.620 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.620 * [taylor]: Taking taylor expansion of c in d 0.620 * [backup-simplify]: Simplify c into c 0.620 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.621 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.621 * [taylor]: Taking taylor expansion of d in d 0.621 * [backup-simplify]: Simplify 0 into 0 0.621 * [backup-simplify]: Simplify 1 into 1 0.621 * [backup-simplify]: Simplify (/ 1 1) into 1 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.621 * [taylor]: Taking taylor expansion of b in b 0.621 * [backup-simplify]: Simplify 0 into 0 0.621 * [backup-simplify]: Simplify 1 into 1 0.621 * [backup-simplify]: Simplify (/ 1 1) into 1 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.622 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.622 * [taylor]: Taking taylor expansion of c in b 0.622 * [backup-simplify]: Simplify c into c 0.622 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.622 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.622 * [taylor]: Taking taylor expansion of d in b 0.622 * [backup-simplify]: Simplify d into d 0.622 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.622 * [taylor]: Taking taylor expansion of b in b 0.622 * [backup-simplify]: Simplify 0 into 0 0.622 * [backup-simplify]: Simplify 1 into 1 0.622 * [backup-simplify]: Simplify (/ 1 1) into 1 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.622 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.622 * [taylor]: Taking taylor expansion of c in b 0.622 * [backup-simplify]: Simplify c into c 0.622 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.623 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.623 * [taylor]: Taking taylor expansion of d in b 0.623 * [backup-simplify]: Simplify d into d 0.623 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.623 * [backup-simplify]: Simplify (+ 1 0) into 1 0.623 * [taylor]: Taking taylor expansion of 1 in d 0.623 * [backup-simplify]: Simplify 1 into 1 0.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.624 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.624 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.624 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.624 * [taylor]: Taking taylor expansion of c in d 0.624 * [backup-simplify]: Simplify c into c 0.624 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.624 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.624 * [taylor]: Taking taylor expansion of d in d 0.624 * [backup-simplify]: Simplify 0 into 0 0.624 * [backup-simplify]: Simplify 1 into 1 0.625 * [backup-simplify]: Simplify (/ 1 1) into 1 0.625 * [backup-simplify]: Simplify (+ 0 1) into 1 0.625 * [taylor]: Taking taylor expansion of 1 in c 0.625 * [backup-simplify]: Simplify 1 into 1 0.625 * [taylor]: Taking taylor expansion of 1 in c 0.625 * [backup-simplify]: Simplify 1 into 1 0.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.627 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.627 * [backup-simplify]: Simplify (+ 0 0) into 0 0.627 * [backup-simplify]: Simplify (+ 0 0) into 0 0.627 * [taylor]: Taking taylor expansion of 0 in d 0.627 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.628 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.628 * [taylor]: Taking taylor expansion of c in c 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 1 into 1 0.629 * [backup-simplify]: Simplify (/ 1 1) into 1 0.629 * [backup-simplify]: Simplify 1 into 1 0.629 * [taylor]: Taking taylor expansion of 0 in c 0.629 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify 1 into 1 0.629 * [backup-simplify]: Simplify 1 into 1 0.630 * [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.630 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 0.630 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b d c) around 0 0.630 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.630 * [taylor]: Taking taylor expansion of b in c 0.630 * [backup-simplify]: Simplify b into b 0.630 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.630 * [taylor]: Taking taylor expansion of c in c 0.630 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify 1 into 1 0.631 * [backup-simplify]: Simplify (/ 1 1) into 1 0.631 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.631 * [taylor]: Taking taylor expansion of d in c 0.631 * [backup-simplify]: Simplify d into d 0.631 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.631 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 0.631 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.631 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.631 * [taylor]: Taking taylor expansion of b in d 0.631 * [backup-simplify]: Simplify b into b 0.631 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.631 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.631 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.631 * [taylor]: Taking taylor expansion of c in d 0.631 * [backup-simplify]: Simplify c into c 0.631 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.631 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.631 * [taylor]: Taking taylor expansion of d in d 0.631 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify 1 into 1 0.632 * [backup-simplify]: Simplify (/ 1 1) into 1 0.632 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.632 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.632 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.632 * [taylor]: Taking taylor expansion of b in b 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify 1 into 1 0.633 * [backup-simplify]: Simplify (/ 1 1) into 1 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.633 * [taylor]: Taking taylor expansion of c in b 0.633 * [backup-simplify]: Simplify c into c 0.633 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.633 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.633 * [taylor]: Taking taylor expansion of d in b 0.633 * [backup-simplify]: Simplify d into d 0.633 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.633 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.633 * [taylor]: Taking taylor expansion of b in b 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify 1 into 1 0.633 * [backup-simplify]: Simplify (/ 1 1) into 1 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.634 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.634 * [taylor]: Taking taylor expansion of c in b 0.634 * [backup-simplify]: Simplify c into c 0.634 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.634 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.634 * [taylor]: Taking taylor expansion of d in b 0.634 * [backup-simplify]: Simplify d into d 0.634 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.634 * [backup-simplify]: Simplify (+ 1 0) into 1 0.635 * [backup-simplify]: Simplify (- 1) into -1 0.635 * [taylor]: Taking taylor expansion of -1 in d 0.635 * [backup-simplify]: Simplify -1 into -1 0.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.636 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.636 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.636 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 0.636 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in d 0.636 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.636 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.636 * [taylor]: Taking taylor expansion of c in d 0.636 * [backup-simplify]: Simplify c into c 0.636 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.636 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.636 * [taylor]: Taking taylor expansion of d in d 0.636 * [backup-simplify]: Simplify 0 into 0 0.636 * [backup-simplify]: Simplify 1 into 1 0.637 * [backup-simplify]: Simplify (/ 1 1) into 1 0.637 * [backup-simplify]: Simplify (+ 0 1) into 1 0.637 * [backup-simplify]: Simplify (- 1) into -1 0.637 * [taylor]: Taking taylor expansion of -1 in c 0.637 * [backup-simplify]: Simplify -1 into -1 0.637 * [taylor]: Taking taylor expansion of -1 in c 0.637 * [backup-simplify]: Simplify -1 into -1 0.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.639 * [backup-simplify]: Simplify (+ 0 0) into 0 0.640 * [backup-simplify]: Simplify (+ 0 0) into 0 0.640 * [backup-simplify]: Simplify (- 0) into 0 0.640 * [taylor]: Taking taylor expansion of 0 in d 0.640 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.641 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.641 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c)) 0.641 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.641 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.641 * [taylor]: Taking taylor expansion of c in c 0.641 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify 1 into 1 0.641 * [backup-simplify]: Simplify (/ 1 1) into 1 0.642 * [backup-simplify]: Simplify (- 1) into -1 0.642 * [backup-simplify]: Simplify -1 into -1 0.642 * [taylor]: Taking taylor expansion of 0 in c 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify -1 into -1 0.642 * [backup-simplify]: Simplify -1 into -1 0.643 * [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.643 * * * [progress]: simplifying candidates 0.644 * [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.645 * * [simplify]: iteration 0: 57 enodes 0.657 * * [simplify]: iteration 1: 161 enodes 0.715 * * [simplify]: iteration 2: 819 enodes 1.190 * * [simplify]: iteration complete: 5000 enodes 1.190 * * [simplify]: Extracting #0: cost 25 inf + 0 1.192 * * [simplify]: Extracting #1: cost 475 inf + 0 1.197 * * [simplify]: Extracting #2: cost 1818 inf + 533 1.203 * * [simplify]: Extracting #3: cost 1247 inf + 10500 1.211 * * [simplify]: Extracting #4: cost 50 inf + 25332 1.221 * * [simplify]: Extracting #5: cost 29 inf + 25575 1.228 * * [simplify]: Extracting #6: cost 5 inf + 25677 1.234 * * [simplify]: Extracting #7: cost 0 inf + 25708 1.241 * [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.241 * * * [progress]: adding candidates to table 1.403 * * [progress]: iteration 2 / 4 1.403 * * * [progress]: picking best candidate 1.471 * * * * [pick]: Picked # 1.471 * * * [progress]: localizing error 1.485 * * * [progress]: generating rewritten candidates 1.485 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 2) 1.506 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.573 * * * [progress]: generating series expansions 1.573 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 2) 1.573 * [backup-simplify]: Simplify (+ (+ b d) a) into (+ a (+ b d)) 1.573 * [approximate]: Taking taylor expansion of (+ a (+ b d)) in (b d a) around 0 1.573 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in a 1.573 * [taylor]: Taking taylor expansion of a in a 1.574 * [backup-simplify]: Simplify 0 into 0 1.574 * [backup-simplify]: Simplify 1 into 1 1.574 * [taylor]: Taking taylor expansion of (+ b d) in a 1.574 * [taylor]: Taking taylor expansion of b in a 1.574 * [backup-simplify]: Simplify b into b 1.574 * [taylor]: Taking taylor expansion of d in a 1.574 * [backup-simplify]: Simplify d into d 1.574 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in d 1.574 * [taylor]: Taking taylor expansion of a in d 1.574 * [backup-simplify]: Simplify a into a 1.574 * [taylor]: Taking taylor expansion of (+ b d) in d 1.574 * [taylor]: Taking taylor expansion of b in d 1.574 * [backup-simplify]: Simplify b into b 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 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.574 * [taylor]: Taking taylor expansion of a in b 1.574 * [backup-simplify]: Simplify a into a 1.574 * [taylor]: Taking taylor expansion of (+ b d) in b 1.574 * [taylor]: Taking taylor expansion of b in b 1.574 * [backup-simplify]: Simplify 0 into 0 1.574 * [backup-simplify]: Simplify 1 into 1 1.574 * [taylor]: Taking taylor expansion of d in b 1.574 * [backup-simplify]: Simplify d into d 1.574 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.574 * [taylor]: Taking taylor expansion of a in b 1.574 * [backup-simplify]: Simplify a into a 1.574 * [taylor]: Taking taylor expansion of (+ b d) in b 1.574 * [taylor]: Taking taylor expansion of b in b 1.574 * [backup-simplify]: Simplify 0 into 0 1.574 * [backup-simplify]: Simplify 1 into 1 1.574 * [taylor]: Taking taylor expansion of d in b 1.574 * [backup-simplify]: Simplify d into d 1.574 * [backup-simplify]: Simplify (+ 0 d) into d 1.574 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1.574 * [taylor]: Taking taylor expansion of (+ a d) in d 1.574 * [taylor]: Taking taylor expansion of a in d 1.574 * [backup-simplify]: Simplify a into a 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 (+ a 0) into a 1.574 * [taylor]: Taking taylor expansion of a in a 1.574 * [backup-simplify]: Simplify 0 into 0 1.574 * [backup-simplify]: Simplify 1 into 1 1.574 * [backup-simplify]: Simplify 0 into 0 1.575 * [backup-simplify]: Simplify (+ 1 0) into 1 1.575 * [backup-simplify]: Simplify (+ 0 1) into 1 1.575 * [taylor]: Taking taylor expansion of 1 in d 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 * [backup-simplify]: Simplify 1 into 1 1.575 * [backup-simplify]: Simplify (+ 0 1) into 1 1.575 * [taylor]: Taking taylor expansion of 1 in a 1.576 * [backup-simplify]: Simplify 1 into 1 1.576 * [backup-simplify]: Simplify 1 into 1 1.576 * [backup-simplify]: Simplify 1 into 1 1.576 * [backup-simplify]: Simplify (+ (* 1 (* a (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ a (+ b d)) 1.576 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.576 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in (b d a) around 0 1.576 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a 1.576 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.576 * [taylor]: Taking taylor expansion of b in a 1.576 * [backup-simplify]: Simplify b into b 1.576 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.576 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 1.576 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.576 * [taylor]: Taking taylor expansion of a in a 1.576 * [backup-simplify]: Simplify 0 into 0 1.576 * [backup-simplify]: Simplify 1 into 1 1.576 * [backup-simplify]: Simplify (/ 1 1) into 1 1.577 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.577 * [taylor]: Taking taylor expansion of d in a 1.577 * [backup-simplify]: Simplify d into d 1.577 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.577 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d 1.577 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.577 * [taylor]: Taking taylor expansion of b in d 1.577 * [backup-simplify]: Simplify b into b 1.577 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.577 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.577 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.577 * [taylor]: Taking taylor expansion of a in d 1.577 * [backup-simplify]: Simplify a into a 1.577 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.577 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.577 * [taylor]: Taking taylor expansion of d in d 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.577 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.577 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.577 * [taylor]: Taking taylor expansion of b in b 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.577 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.577 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.577 * [taylor]: Taking taylor expansion of a in b 1.577 * [backup-simplify]: Simplify a into a 1.577 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.578 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.578 * [taylor]: Taking taylor expansion of d in b 1.578 * [backup-simplify]: Simplify d into d 1.578 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.578 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.578 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.578 * [taylor]: Taking taylor expansion of b in b 1.578 * [backup-simplify]: Simplify 0 into 0 1.578 * [backup-simplify]: Simplify 1 into 1 1.578 * [backup-simplify]: Simplify (/ 1 1) into 1 1.578 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.578 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.578 * [taylor]: Taking taylor expansion of a in b 1.578 * [backup-simplify]: Simplify a into a 1.578 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.578 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.578 * [taylor]: Taking taylor expansion of d in b 1.578 * [backup-simplify]: Simplify d into d 1.578 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.578 * [backup-simplify]: Simplify (+ 1 0) into 1 1.578 * [taylor]: Taking taylor expansion of 1 in d 1.578 * [backup-simplify]: Simplify 1 into 1 1.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.579 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.579 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.579 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.579 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.579 * [taylor]: Taking taylor expansion of a in d 1.579 * [backup-simplify]: Simplify a into a 1.579 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.579 * [taylor]: Taking taylor expansion of (/ 1 d) in d 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.580 * [backup-simplify]: Simplify (/ 1 1) into 1 1.580 * [backup-simplify]: Simplify (+ 0 1) into 1 1.580 * [taylor]: Taking taylor expansion of 1 in a 1.580 * [backup-simplify]: Simplify 1 into 1 1.580 * [taylor]: Taking taylor expansion of 1 in a 1.580 * [backup-simplify]: Simplify 1 into 1 1.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.581 * [backup-simplify]: Simplify (+ 0 0) into 0 1.581 * [backup-simplify]: Simplify (+ 0 0) into 0 1.581 * [taylor]: Taking taylor expansion of 0 in d 1.581 * [backup-simplify]: Simplify 0 into 0 1.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.582 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.582 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.582 * [taylor]: Taking taylor expansion of a in a 1.582 * [backup-simplify]: Simplify 0 into 0 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify (/ 1 1) into 1 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [taylor]: Taking taylor expansion of 0 in a 1.582 * [backup-simplify]: Simplify 0 into 0 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [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.583 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 1.583 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in (b d a) around 0 1.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in a 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 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 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 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 d)))) in d 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 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 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.583 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.583 * [taylor]: Taking taylor expansion of d in d 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [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 d)))) in b 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 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 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 d) in b 1.584 * [taylor]: Taking taylor expansion of d in b 1.584 * [backup-simplify]: Simplify d into d 1.584 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.584 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 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 d)) in b 1.585 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.585 * [taylor]: Taking taylor expansion of a in b 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 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 * [backup-simplify]: Simplify (+ 1 0) into 1 1.585 * [backup-simplify]: Simplify (- 1) into -1 1.585 * [taylor]: Taking taylor expansion of -1 in d 1.585 * [backup-simplify]: Simplify -1 into -1 1.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.586 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.586 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.586 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1.586 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.586 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.586 * [taylor]: Taking taylor expansion of a in d 1.586 * [backup-simplify]: Simplify a into a 1.586 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.586 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.586 * [taylor]: Taking taylor expansion of d in d 1.586 * [backup-simplify]: Simplify 0 into 0 1.586 * [backup-simplify]: Simplify 1 into 1 1.586 * [backup-simplify]: Simplify (/ 1 1) into 1 1.587 * [backup-simplify]: Simplify (+ 0 1) into 1 1.587 * [backup-simplify]: Simplify (- 1) into -1 1.587 * [taylor]: Taking taylor expansion of -1 in a 1.587 * [backup-simplify]: Simplify -1 into -1 1.587 * [taylor]: Taking taylor expansion of -1 in a 1.587 * [backup-simplify]: Simplify -1 into -1 1.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.588 * [backup-simplify]: Simplify (+ 0 0) into 0 1.588 * [backup-simplify]: Simplify (+ 0 0) into 0 1.589 * [backup-simplify]: Simplify (- 0) into 0 1.589 * [taylor]: Taking taylor expansion of 0 in d 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.589 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.589 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1.589 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.589 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.589 * [taylor]: Taking taylor expansion of a in a 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify 1 into 1 1.589 * [backup-simplify]: Simplify (/ 1 1) into 1 1.590 * [backup-simplify]: Simplify (- 1) into -1 1.590 * [backup-simplify]: Simplify -1 into -1 1.590 * [taylor]: Taking taylor expansion of 0 in a 1.590 * [backup-simplify]: Simplify 0 into 0 1.590 * [backup-simplify]: Simplify -1 into -1 1.590 * [backup-simplify]: Simplify -1 into -1 1.590 * [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.590 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.590 * [backup-simplify]: Simplify (+ c (+ (+ b d) a)) into (+ a (+ b (+ c d))) 1.590 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b d a) around 0 1.590 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1.591 * [taylor]: Taking taylor expansion of a in a 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1.591 * [taylor]: Taking taylor expansion of b in a 1.591 * [backup-simplify]: Simplify b into b 1.591 * [taylor]: Taking taylor expansion of (+ c d) in a 1.591 * [taylor]: Taking taylor expansion of c in a 1.591 * [backup-simplify]: Simplify c into c 1.591 * [taylor]: Taking taylor expansion of d in a 1.591 * [backup-simplify]: Simplify d into d 1.591 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1.591 * [taylor]: Taking taylor expansion of a in d 1.591 * [backup-simplify]: Simplify a into a 1.591 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1.591 * [taylor]: Taking taylor expansion of b in d 1.591 * [backup-simplify]: Simplify b into b 1.591 * [taylor]: Taking taylor expansion of (+ c d) in d 1.591 * [taylor]: Taking taylor expansion of c in d 1.591 * [backup-simplify]: Simplify c into c 1.591 * [taylor]: Taking taylor expansion of d in d 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1.591 * [taylor]: Taking taylor expansion of a in b 1.591 * [backup-simplify]: Simplify a into a 1.591 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1.591 * [taylor]: Taking taylor expansion of b in b 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [taylor]: Taking taylor expansion of (+ c d) in b 1.591 * [taylor]: Taking taylor expansion of c in b 1.591 * [backup-simplify]: Simplify c into c 1.591 * [taylor]: Taking taylor expansion of d in b 1.591 * [backup-simplify]: Simplify d into d 1.591 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1.591 * [taylor]: Taking taylor expansion of a in c 1.591 * [backup-simplify]: Simplify a into a 1.591 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1.591 * [taylor]: Taking taylor expansion of b in c 1.591 * [backup-simplify]: Simplify b into b 1.591 * [taylor]: Taking taylor expansion of (+ c d) in c 1.591 * [taylor]: Taking taylor expansion of c in c 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [taylor]: Taking taylor expansion of d in c 1.591 * [backup-simplify]: Simplify d into d 1.591 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1.591 * [taylor]: Taking taylor expansion of a in c 1.591 * [backup-simplify]: Simplify a into a 1.591 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1.591 * [taylor]: Taking taylor expansion of b in c 1.591 * [backup-simplify]: Simplify b into b 1.591 * [taylor]: Taking taylor expansion of (+ c d) in c 1.591 * [taylor]: Taking taylor expansion of c in c 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [taylor]: Taking taylor expansion of d in c 1.591 * [backup-simplify]: Simplify d into d 1.591 * [backup-simplify]: Simplify (+ 0 d) into d 1.591 * [backup-simplify]: Simplify (+ b d) into (+ b d) 1.591 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 1.591 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.591 * [taylor]: Taking taylor expansion of a in b 1.591 * [backup-simplify]: Simplify a into a 1.591 * [taylor]: Taking taylor expansion of (+ b d) in b 1.592 * [taylor]: Taking taylor expansion of b in b 1.592 * [backup-simplify]: Simplify 0 into 0 1.592 * [backup-simplify]: Simplify 1 into 1 1.592 * [taylor]: Taking taylor expansion of d in b 1.592 * [backup-simplify]: Simplify d into d 1.592 * [backup-simplify]: Simplify (+ 0 d) into d 1.592 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1.592 * [taylor]: Taking taylor expansion of (+ a d) in d 1.592 * [taylor]: Taking taylor expansion of a in d 1.592 * [backup-simplify]: Simplify a into a 1.592 * [taylor]: Taking taylor expansion of d in d 1.592 * [backup-simplify]: Simplify 0 into 0 1.592 * [backup-simplify]: Simplify 1 into 1 1.592 * [backup-simplify]: Simplify (+ a 0) into a 1.592 * [taylor]: Taking taylor expansion of a in a 1.592 * [backup-simplify]: Simplify 0 into 0 1.592 * [backup-simplify]: Simplify 1 into 1 1.592 * [backup-simplify]: Simplify 0 into 0 1.592 * [backup-simplify]: Simplify (+ 1 0) into 1 1.592 * [backup-simplify]: Simplify (+ 0 1) into 1 1.593 * [backup-simplify]: Simplify (+ 0 1) into 1 1.593 * [taylor]: Taking taylor expansion of 1 in b 1.593 * [backup-simplify]: Simplify 1 into 1 1.593 * [taylor]: Taking taylor expansion of 1 in d 1.593 * [backup-simplify]: Simplify 1 into 1 1.593 * [taylor]: Taking taylor expansion of 1 in a 1.593 * [backup-simplify]: Simplify 1 into 1 1.593 * [backup-simplify]: Simplify 1 into 1 1.593 * [backup-simplify]: Simplify (+ 1 0) into 1 1.593 * [backup-simplify]: Simplify (+ 0 1) into 1 1.593 * [taylor]: Taking taylor expansion of 1 in d 1.593 * [backup-simplify]: Simplify 1 into 1 1.593 * [taylor]: Taking taylor expansion of 1 in a 1.593 * [backup-simplify]: Simplify 1 into 1 1.593 * [backup-simplify]: Simplify 1 into 1 1.594 * [backup-simplify]: Simplify (+ 0 1) into 1 1.594 * [taylor]: Taking taylor expansion of 1 in a 1.594 * [backup-simplify]: Simplify 1 into 1 1.594 * [backup-simplify]: Simplify 1 into 1 1.595 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ b (+ c d)) 1.595 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 1.595 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b d a) around 0 1.595 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 1.595 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.595 * [taylor]: Taking taylor expansion of b in a 1.595 * [backup-simplify]: Simplify b into b 1.595 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.595 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 1.595 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.595 * [taylor]: Taking taylor expansion of a in a 1.595 * [backup-simplify]: Simplify 0 into 0 1.595 * [backup-simplify]: Simplify 1 into 1 1.596 * [backup-simplify]: Simplify (/ 1 1) into 1 1.596 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1.596 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.596 * [taylor]: Taking taylor expansion of c in a 1.596 * [backup-simplify]: Simplify c into c 1.596 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.596 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.596 * [taylor]: Taking taylor expansion of d in a 1.596 * [backup-simplify]: Simplify d into d 1.596 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.596 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 1.596 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.596 * [taylor]: Taking taylor expansion of b in d 1.596 * [backup-simplify]: Simplify b into b 1.596 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.596 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 1.596 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.596 * [taylor]: Taking taylor expansion of a in d 1.596 * [backup-simplify]: Simplify a into a 1.596 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.596 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1.596 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.596 * [taylor]: Taking taylor expansion of c in d 1.596 * [backup-simplify]: Simplify c into c 1.596 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.596 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.596 * [taylor]: Taking taylor expansion of d in d 1.597 * [backup-simplify]: Simplify 0 into 0 1.597 * [backup-simplify]: Simplify 1 into 1 1.597 * [backup-simplify]: Simplify (/ 1 1) into 1 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 1.597 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.597 * [taylor]: Taking taylor expansion of b in b 1.597 * [backup-simplify]: Simplify 0 into 0 1.597 * [backup-simplify]: Simplify 1 into 1 1.597 * [backup-simplify]: Simplify (/ 1 1) into 1 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 1.598 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.598 * [taylor]: Taking taylor expansion of a in b 1.598 * [backup-simplify]: Simplify a into a 1.598 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.598 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1.598 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.598 * [taylor]: Taking taylor expansion of c in b 1.598 * [backup-simplify]: Simplify c into c 1.598 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.598 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.598 * [taylor]: Taking taylor expansion of d in b 1.598 * [backup-simplify]: Simplify d into d 1.598 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.598 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.598 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.598 * [taylor]: Taking taylor expansion of b in c 1.598 * [backup-simplify]: Simplify b into b 1.598 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.598 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.598 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.598 * [taylor]: Taking taylor expansion of a in c 1.598 * [backup-simplify]: Simplify a into a 1.598 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.598 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.598 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.598 * [taylor]: Taking taylor expansion of c in c 1.598 * [backup-simplify]: Simplify 0 into 0 1.598 * [backup-simplify]: Simplify 1 into 1 1.599 * [backup-simplify]: Simplify (/ 1 1) into 1 1.599 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.599 * [taylor]: Taking taylor expansion of d in c 1.599 * [backup-simplify]: Simplify d into d 1.599 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.599 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.599 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.599 * [taylor]: Taking taylor expansion of b in c 1.599 * [backup-simplify]: Simplify b into b 1.599 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.599 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.599 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.599 * [taylor]: Taking taylor expansion of a in c 1.599 * [backup-simplify]: Simplify a into a 1.599 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.599 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.599 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.599 * [taylor]: Taking taylor expansion of c in c 1.599 * [backup-simplify]: Simplify 0 into 0 1.600 * [backup-simplify]: Simplify 1 into 1 1.600 * [backup-simplify]: Simplify (/ 1 1) into 1 1.600 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.600 * [taylor]: Taking taylor expansion of d in c 1.600 * [backup-simplify]: Simplify d into d 1.600 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.601 * [backup-simplify]: Simplify (+ 1 0) into 1 1.601 * [backup-simplify]: Simplify (+ 0 1) into 1 1.602 * [backup-simplify]: Simplify (+ 0 1) into 1 1.602 * [taylor]: Taking taylor expansion of 1 in b 1.602 * [backup-simplify]: Simplify 1 into 1 1.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.603 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1.603 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.603 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.603 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 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.604 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.604 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.604 * [taylor]: Taking taylor expansion of a in b 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 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 * [backup-simplify]: Simplify (+ 1 0) into 1 1.604 * [taylor]: Taking taylor expansion of 1 in d 1.604 * [backup-simplify]: Simplify 1 into 1 1.604 * [taylor]: Taking taylor expansion of 1 in d 1.604 * [backup-simplify]: Simplify 1 into 1 1.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.606 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.606 * [backup-simplify]: Simplify (+ 0 0) into 0 1.607 * [backup-simplify]: Simplify (+ 0 0) into 0 1.607 * [backup-simplify]: Simplify (+ 0 0) into 0 1.607 * [taylor]: Taking taylor expansion of 0 in b 1.607 * [backup-simplify]: Simplify 0 into 0 1.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.608 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.608 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.608 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.608 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.608 * [taylor]: Taking taylor expansion of a in d 1.608 * [backup-simplify]: Simplify a into a 1.608 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.608 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.608 * [taylor]: Taking taylor expansion of d in d 1.608 * [backup-simplify]: Simplify 0 into 0 1.608 * [backup-simplify]: Simplify 1 into 1 1.609 * [backup-simplify]: Simplify (/ 1 1) into 1 1.609 * [backup-simplify]: Simplify (+ 0 1) into 1 1.609 * [taylor]: Taking taylor expansion of 1 in a 1.609 * [backup-simplify]: Simplify 1 into 1 1.609 * [taylor]: Taking taylor expansion of 0 in d 1.609 * [backup-simplify]: Simplify 0 into 0 1.609 * [taylor]: Taking taylor expansion of 1 in a 1.609 * [backup-simplify]: Simplify 1 into 1 1.609 * [taylor]: Taking taylor expansion of 1 in a 1.609 * [backup-simplify]: Simplify 1 into 1 1.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1.611 * [backup-simplify]: Simplify (+ 0 0) into 0 1.612 * [backup-simplify]: Simplify (+ 0 0) into 0 1.612 * [backup-simplify]: Simplify (+ 0 0) into 0 1.612 * [taylor]: Taking taylor expansion of 0 in b 1.612 * [backup-simplify]: Simplify 0 into 0 1.612 * [taylor]: Taking taylor expansion of 0 in d 1.612 * [backup-simplify]: Simplify 0 into 0 1.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.613 * [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.614 * [taylor]: Taking taylor expansion of 0 in d 1.614 * [backup-simplify]: Simplify 0 into 0 1.614 * [taylor]: Taking taylor expansion of 0 in d 1.614 * [backup-simplify]: Simplify 0 into 0 1.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.615 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.615 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.615 * [taylor]: Taking taylor expansion of a in a 1.615 * [backup-simplify]: Simplify 0 into 0 1.615 * [backup-simplify]: Simplify 1 into 1 1.616 * [backup-simplify]: Simplify (/ 1 1) into 1 1.616 * [backup-simplify]: Simplify 1 into 1 1.616 * [taylor]: Taking taylor expansion of 0 in a 1.616 * [backup-simplify]: Simplify 0 into 0 1.616 * [taylor]: Taking taylor expansion of 0 in a 1.616 * [backup-simplify]: Simplify 0 into 0 1.616 * [taylor]: Taking taylor expansion of 0 in a 1.616 * [backup-simplify]: Simplify 0 into 0 1.616 * [backup-simplify]: Simplify 1 into 1 1.616 * [backup-simplify]: Simplify 1 into 1 1.617 * [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.618 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a)))) into (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) 1.618 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b d a) around 0 1.618 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a 1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 1.618 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.618 * [taylor]: Taking taylor expansion of b in a 1.618 * [backup-simplify]: Simplify b into b 1.618 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 1.618 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.618 * [taylor]: Taking taylor expansion of a in a 1.618 * [backup-simplify]: Simplify 0 into 0 1.618 * [backup-simplify]: Simplify 1 into 1 1.618 * [backup-simplify]: Simplify (/ 1 1) into 1 1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1.618 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.618 * [taylor]: Taking taylor expansion of c in a 1.618 * [backup-simplify]: Simplify c into c 1.618 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.618 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.618 * [taylor]: Taking taylor expansion of d in a 1.618 * [backup-simplify]: Simplify d into d 1.619 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.619 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d 1.619 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 1.619 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.619 * [taylor]: Taking taylor expansion of b in d 1.619 * [backup-simplify]: Simplify b into b 1.619 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.619 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 1.619 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.619 * [taylor]: Taking taylor expansion of a in d 1.619 * [backup-simplify]: Simplify a into a 1.619 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.619 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1.619 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.619 * [taylor]: Taking taylor expansion of c in d 1.619 * [backup-simplify]: Simplify c into c 1.619 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.619 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.619 * [taylor]: Taking taylor expansion of d in d 1.619 * [backup-simplify]: Simplify 0 into 0 1.619 * [backup-simplify]: Simplify 1 into 1 1.620 * [backup-simplify]: Simplify (/ 1 1) into 1 1.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b 1.620 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 1.620 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.620 * [taylor]: Taking taylor expansion of b in b 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify 1 into 1 1.620 * [backup-simplify]: Simplify (/ 1 1) into 1 1.620 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 1.620 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.620 * [taylor]: Taking taylor expansion of a in b 1.620 * [backup-simplify]: Simplify a into a 1.620 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.620 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1.620 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.620 * [taylor]: Taking taylor expansion of c in b 1.620 * [backup-simplify]: Simplify c into c 1.620 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.621 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.621 * [taylor]: Taking taylor expansion of d in b 1.621 * [backup-simplify]: Simplify d into d 1.621 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.621 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 1.621 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.621 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.621 * [taylor]: Taking taylor expansion of b in c 1.621 * [backup-simplify]: Simplify b into b 1.621 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.621 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.621 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.621 * [taylor]: Taking taylor expansion of a in c 1.621 * [backup-simplify]: Simplify a into a 1.621 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.621 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.621 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.621 * [taylor]: Taking taylor expansion of c in c 1.621 * [backup-simplify]: Simplify 0 into 0 1.621 * [backup-simplify]: Simplify 1 into 1 1.622 * [backup-simplify]: Simplify (/ 1 1) into 1 1.622 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.622 * [taylor]: Taking taylor expansion of d in c 1.622 * [backup-simplify]: Simplify d into d 1.622 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.622 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 1.622 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.622 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.622 * [taylor]: Taking taylor expansion of b in c 1.622 * [backup-simplify]: Simplify b into b 1.622 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.622 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.622 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.622 * [taylor]: Taking taylor expansion of a in c 1.622 * [backup-simplify]: Simplify a into a 1.622 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.622 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.622 * [taylor]: Taking taylor expansion of c in c 1.622 * [backup-simplify]: Simplify 0 into 0 1.622 * [backup-simplify]: Simplify 1 into 1 1.622 * [backup-simplify]: Simplify (/ 1 1) into 1 1.622 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.622 * [taylor]: Taking taylor expansion of d in c 1.622 * [backup-simplify]: Simplify d into d 1.622 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.623 * [backup-simplify]: Simplify (+ 1 0) into 1 1.623 * [backup-simplify]: Simplify (+ 0 1) into 1 1.623 * [backup-simplify]: Simplify (+ 0 1) into 1 1.623 * [backup-simplify]: Simplify (- 1) into -1 1.623 * [taylor]: Taking taylor expansion of -1 in b 1.623 * [backup-simplify]: Simplify -1 into -1 1.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.624 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1.624 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.624 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.624 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 1.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.624 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.624 * [taylor]: Taking taylor expansion of b in b 1.624 * [backup-simplify]: Simplify 0 into 0 1.624 * [backup-simplify]: Simplify 1 into 1 1.625 * [backup-simplify]: Simplify (/ 1 1) into 1 1.625 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.625 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.625 * [taylor]: Taking taylor expansion of a in b 1.625 * [backup-simplify]: Simplify a into a 1.625 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.625 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.625 * [taylor]: Taking taylor expansion of d in b 1.625 * [backup-simplify]: Simplify d into d 1.625 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.625 * [backup-simplify]: Simplify (+ 1 0) into 1 1.625 * [backup-simplify]: Simplify (- 1) into -1 1.625 * [taylor]: Taking taylor expansion of -1 in d 1.625 * [backup-simplify]: Simplify -1 into -1 1.625 * [taylor]: Taking taylor expansion of -1 in d 1.625 * [backup-simplify]: Simplify -1 into -1 1.625 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.626 * [backup-simplify]: Simplify (+ 0 0) into 0 1.627 * [backup-simplify]: Simplify (+ 0 0) into 0 1.627 * [backup-simplify]: Simplify (+ 0 0) into 0 1.627 * [backup-simplify]: Simplify (- 0) into 0 1.627 * [taylor]: Taking taylor expansion of 0 in b 1.627 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.628 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.628 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.628 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1.628 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1.628 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.628 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.628 * [taylor]: Taking taylor expansion of a in d 1.628 * [backup-simplify]: Simplify a into a 1.628 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.628 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.628 * [taylor]: Taking taylor expansion of d in d 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 1 into 1 1.628 * [backup-simplify]: Simplify (/ 1 1) into 1 1.629 * [backup-simplify]: Simplify (+ 0 1) into 1 1.629 * [backup-simplify]: Simplify (- 1) into -1 1.629 * [taylor]: Taking taylor expansion of -1 in a 1.629 * [backup-simplify]: Simplify -1 into -1 1.629 * [taylor]: Taking taylor expansion of 0 in d 1.629 * [backup-simplify]: Simplify 0 into 0 1.629 * [taylor]: Taking taylor expansion of -1 in a 1.629 * [backup-simplify]: Simplify -1 into -1 1.629 * [taylor]: Taking taylor expansion of -1 in a 1.629 * [backup-simplify]: Simplify -1 into -1 1.629 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.629 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1.630 * [backup-simplify]: Simplify (+ 0 0) into 0 1.630 * [backup-simplify]: Simplify (+ 0 0) into 0 1.631 * [backup-simplify]: Simplify (+ 0 0) into 0 1.631 * [backup-simplify]: Simplify (- 0) into 0 1.631 * [taylor]: Taking taylor expansion of 0 in b 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [taylor]: Taking taylor expansion of 0 in d 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.632 * [backup-simplify]: Simplify (+ 0 0) into 0 1.632 * [backup-simplify]: Simplify (+ 0 0) into 0 1.632 * [backup-simplify]: Simplify (- 0) into 0 1.632 * [taylor]: Taking taylor expansion of 0 in d 1.632 * [backup-simplify]: Simplify 0 into 0 1.632 * [taylor]: Taking taylor expansion of 0 in d 1.632 * [backup-simplify]: Simplify 0 into 0 1.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.633 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.633 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1.633 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.633 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.633 * [taylor]: Taking taylor expansion of a in a 1.633 * [backup-simplify]: Simplify 0 into 0 1.633 * [backup-simplify]: Simplify 1 into 1 1.633 * [backup-simplify]: Simplify (/ 1 1) into 1 1.634 * [backup-simplify]: Simplify (- 1) into -1 1.634 * [backup-simplify]: Simplify -1 into -1 1.634 * [taylor]: Taking taylor expansion of 0 in a 1.634 * [backup-simplify]: Simplify 0 into 0 1.634 * [taylor]: Taking taylor expansion of 0 in a 1.634 * [backup-simplify]: Simplify 0 into 0 1.634 * [taylor]: Taking taylor expansion of 0 in a 1.634 * [backup-simplify]: Simplify 0 into 0 1.634 * [backup-simplify]: Simplify -1 into -1 1.634 * [backup-simplify]: Simplify -1 into -1 1.635 * [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.635 * * * [progress]: simplifying candidates 1.635 * [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.636 * * [simplify]: iteration 0: 57 enodes 1.645 * * [simplify]: iteration 1: 168 enodes 1.706 * * [simplify]: iteration 2: 647 enodes 2.254 * * [simplify]: iteration 3: 4212 enodes 3.284 * * [simplify]: iteration complete: 5001 enodes 3.285 * * [simplify]: Extracting #0: cost 24 inf + 0 3.285 * * [simplify]: Extracting #1: cost 334 inf + 0 3.288 * * [simplify]: Extracting #2: cost 1219 inf + 332 3.293 * * [simplify]: Extracting #3: cost 984 inf + 5806 3.299 * * [simplify]: Extracting #4: cost 205 inf + 15702 3.304 * * [simplify]: Extracting #5: cost 59 inf + 17807 3.310 * * [simplify]: Extracting #6: cost 15 inf + 18036 3.316 * * [simplify]: Extracting #7: cost 0 inf + 18117 3.325 * [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.326 * * * [progress]: adding candidates to table 3.439 * * [progress]: iteration 3 / 4 3.439 * * * [progress]: picking best candidate 3.461 * * * * [pick]: Picked # 3.461 * * * [progress]: localizing error 3.484 * * * [progress]: generating rewritten candidates 3.484 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2) 3.548 * * * [progress]: generating series expansions 3.548 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2) 3.548 * [backup-simplify]: Simplify (+ c (+ b (+ a d))) into (+ a (+ b (+ c d))) 3.548 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b a d) around 0 3.548 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 3.548 * [taylor]: Taking taylor expansion of a in d 3.548 * [backup-simplify]: Simplify a into a 3.548 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 3.548 * [taylor]: Taking taylor expansion of b in d 3.548 * [backup-simplify]: Simplify b into b 3.548 * [taylor]: Taking taylor expansion of (+ c d) in d 3.548 * [taylor]: Taking taylor expansion of c in d 3.548 * [backup-simplify]: Simplify c into c 3.548 * [taylor]: Taking taylor expansion of d in d 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 1 into 1 3.548 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 3.548 * [taylor]: Taking taylor expansion of a in a 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 1 into 1 3.548 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 3.548 * [taylor]: Taking taylor expansion of b in a 3.548 * [backup-simplify]: Simplify b into b 3.548 * [taylor]: Taking taylor expansion of (+ c d) in a 3.548 * [taylor]: Taking taylor expansion of c in a 3.548 * [backup-simplify]: Simplify c into c 3.548 * [taylor]: Taking taylor expansion of d in a 3.548 * [backup-simplify]: Simplify d into d 3.548 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 3.548 * [taylor]: Taking taylor expansion of a in b 3.548 * [backup-simplify]: Simplify a into a 3.548 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 3.548 * [taylor]: Taking taylor expansion of b in b 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 1 into 1 3.548 * [taylor]: Taking taylor expansion of (+ c d) in b 3.548 * [taylor]: Taking taylor expansion of c in b 3.548 * [backup-simplify]: Simplify c into c 3.548 * [taylor]: Taking taylor expansion of d in b 3.549 * [backup-simplify]: Simplify d into d 3.549 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 3.549 * [taylor]: Taking taylor expansion of a in c 3.549 * [backup-simplify]: Simplify a into a 3.549 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 3.549 * [taylor]: Taking taylor expansion of b in c 3.549 * [backup-simplify]: Simplify b into b 3.549 * [taylor]: Taking taylor expansion of (+ c d) in c 3.549 * [taylor]: Taking taylor expansion of c in c 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [taylor]: Taking taylor expansion of d in c 3.549 * [backup-simplify]: Simplify d into d 3.549 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 3.549 * [taylor]: Taking taylor expansion of a in c 3.549 * [backup-simplify]: Simplify a into a 3.549 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 3.549 * [taylor]: Taking taylor expansion of b in c 3.549 * [backup-simplify]: Simplify b into b 3.549 * [taylor]: Taking taylor expansion of (+ c d) in c 3.549 * [taylor]: Taking taylor expansion of c in c 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [taylor]: Taking taylor expansion of d in c 3.549 * [backup-simplify]: Simplify d into d 3.549 * [backup-simplify]: Simplify (+ 0 d) into d 3.549 * [backup-simplify]: Simplify (+ b d) into (+ b d) 3.549 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 3.549 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 3.549 * [taylor]: Taking taylor expansion of a in b 3.549 * [backup-simplify]: Simplify a into a 3.549 * [taylor]: Taking taylor expansion of (+ b d) in b 3.549 * [taylor]: Taking taylor expansion of b in b 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [taylor]: Taking taylor expansion of d in b 3.549 * [backup-simplify]: Simplify d into d 3.549 * [backup-simplify]: Simplify (+ 0 d) into d 3.549 * [backup-simplify]: Simplify (+ a d) into (+ a d) 3.549 * [taylor]: Taking taylor expansion of (+ a d) in a 3.549 * [taylor]: Taking taylor expansion of a in a 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [taylor]: Taking taylor expansion of d in a 3.549 * [backup-simplify]: Simplify d into d 3.549 * [backup-simplify]: Simplify (+ 0 d) into 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 0 into 0 3.550 * [backup-simplify]: Simplify (+ 1 0) into 1 3.550 * [backup-simplify]: Simplify (+ 0 1) into 1 3.551 * [backup-simplify]: Simplify (+ 0 1) into 1 3.551 * [taylor]: Taking taylor expansion of 1 in b 3.551 * [backup-simplify]: Simplify 1 into 1 3.551 * [taylor]: Taking taylor expansion of 1 in a 3.551 * [backup-simplify]: Simplify 1 into 1 3.551 * [taylor]: Taking taylor expansion of 1 in d 3.551 * [backup-simplify]: Simplify 1 into 1 3.551 * [backup-simplify]: Simplify 1 into 1 3.551 * [backup-simplify]: Simplify (+ 1 0) into 1 3.551 * [backup-simplify]: Simplify (+ 0 1) into 1 3.551 * [taylor]: Taking taylor expansion of 1 in a 3.551 * [backup-simplify]: Simplify 1 into 1 3.551 * [taylor]: Taking taylor expansion of 1 in d 3.551 * [backup-simplify]: Simplify 1 into 1 3.551 * [backup-simplify]: Simplify 1 into 1 3.552 * [backup-simplify]: Simplify (+ 1 0) into 1 3.552 * [taylor]: Taking taylor expansion of 1 in d 3.552 * [backup-simplify]: Simplify 1 into 1 3.552 * [backup-simplify]: Simplify 1 into 1 3.552 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* a (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ a (+ b c)) 3.552 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 3.552 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b a d) around 0 3.552 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 3.552 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.552 * [taylor]: Taking taylor expansion of b in d 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 d 3.552 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.553 * [taylor]: Taking taylor expansion of a in d 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 d 3.553 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.553 * [taylor]: Taking taylor expansion of c in d 3.553 * [backup-simplify]: Simplify c into c 3.553 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.553 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.553 * [taylor]: Taking taylor expansion of d in d 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 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 3.553 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.553 * [taylor]: Taking taylor expansion of b in a 3.553 * [backup-simplify]: Simplify b into b 3.553 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.553 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 3.553 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.553 * [taylor]: Taking taylor expansion of a in a 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 c) (/ 1 d)) in a 3.553 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.553 * [taylor]: Taking taylor expansion of c in a 3.553 * [backup-simplify]: Simplify c into c 3.553 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.554 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.554 * [taylor]: Taking taylor expansion of d in a 3.554 * [backup-simplify]: Simplify d into d 3.554 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 3.554 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.554 * [taylor]: Taking taylor expansion of b in b 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 1 into 1 3.554 * [backup-simplify]: Simplify (/ 1 1) into 1 3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 3.554 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.554 * [taylor]: Taking taylor expansion of a in b 3.554 * [backup-simplify]: Simplify a into a 3.554 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 3.554 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.554 * [taylor]: Taking taylor expansion of c in b 3.554 * [backup-simplify]: Simplify c into c 3.554 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.554 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.554 * [taylor]: Taking taylor expansion of d in b 3.554 * [backup-simplify]: Simplify d into d 3.554 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.554 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.554 * [taylor]: Taking taylor expansion of b in c 3.554 * [backup-simplify]: Simplify b into b 3.554 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.554 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.554 * [taylor]: Taking taylor expansion of a in c 3.554 * [backup-simplify]: Simplify a into a 3.554 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.554 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.554 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.554 * [taylor]: Taking taylor expansion of c in c 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 1 into 1 3.555 * [backup-simplify]: Simplify (/ 1 1) into 1 3.555 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.555 * [taylor]: Taking taylor expansion of d in c 3.555 * [backup-simplify]: Simplify d into d 3.555 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.555 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.555 * [taylor]: Taking taylor expansion of b in c 3.555 * [backup-simplify]: Simplify b into b 3.555 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.555 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.555 * [taylor]: Taking taylor expansion of a in c 3.555 * [backup-simplify]: Simplify a into a 3.555 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.555 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.555 * [taylor]: Taking taylor expansion of c in c 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.555 * [backup-simplify]: Simplify (/ 1 1) into 1 3.555 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.555 * [taylor]: Taking taylor expansion of d in c 3.555 * [backup-simplify]: Simplify d into d 3.555 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.556 * [backup-simplify]: Simplify (+ 1 0) into 1 3.556 * [backup-simplify]: Simplify (+ 0 1) into 1 3.556 * [backup-simplify]: Simplify (+ 0 1) into 1 3.556 * [taylor]: Taking taylor expansion of 1 in b 3.556 * [backup-simplify]: Simplify 1 into 1 3.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.557 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.557 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.557 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 3.557 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 3.557 * [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 * [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.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.559 * [backup-simplify]: Simplify (+ 0 0) into 0 3.559 * [backup-simplify]: Simplify (+ 0 0) into 0 3.559 * [backup-simplify]: Simplify (+ 0 0) into 0 3.559 * [taylor]: Taking taylor expansion of 0 in b 3.559 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.560 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.560 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 3.560 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 3.560 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.560 * [taylor]: Taking taylor expansion of a in a 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify 1 into 1 3.560 * [backup-simplify]: Simplify (/ 1 1) into 1 3.560 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.560 * [taylor]: Taking taylor expansion of d in a 3.560 * [backup-simplify]: Simplify d into d 3.560 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.561 * [backup-simplify]: Simplify (+ 1 0) into 1 3.561 * [taylor]: Taking taylor expansion of 1 in d 3.561 * [backup-simplify]: Simplify 1 into 1 3.561 * [taylor]: Taking taylor expansion of 0 in a 3.561 * [backup-simplify]: Simplify 0 into 0 3.561 * [taylor]: Taking taylor expansion of 1 in d 3.561 * [backup-simplify]: Simplify 1 into 1 3.561 * [taylor]: Taking taylor expansion of 1 in d 3.561 * [backup-simplify]: Simplify 1 into 1 3.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.562 * [backup-simplify]: Simplify (+ 0 0) into 0 3.562 * [backup-simplify]: Simplify (+ 0 0) into 0 3.562 * [backup-simplify]: Simplify (+ 0 0) into 0 3.562 * [taylor]: Taking taylor expansion of 0 in b 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [taylor]: Taking taylor expansion of 0 in a 3.563 * [backup-simplify]: Simplify 0 into 0 3.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.563 * [backup-simplify]: Simplify (+ 0 0) into 0 3.564 * [backup-simplify]: Simplify (+ 0 0) into 0 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 0 in a 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.564 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.564 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.564 * [taylor]: Taking taylor expansion of d in d 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify 1 into 1 3.565 * [backup-simplify]: Simplify (/ 1 1) into 1 3.565 * [backup-simplify]: Simplify 1 into 1 3.565 * [taylor]: Taking taylor expansion of 0 in d 3.565 * [backup-simplify]: Simplify 0 into 0 3.565 * [taylor]: Taking taylor expansion of 0 in d 3.565 * [backup-simplify]: Simplify 0 into 0 3.565 * [taylor]: Taking taylor expansion of 0 in d 3.565 * [backup-simplify]: Simplify 0 into 0 3.565 * [backup-simplify]: Simplify 1 into 1 3.565 * [backup-simplify]: Simplify 1 into 1 3.566 * [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.566 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- d))))) into (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) 3.566 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b a d) around 0 3.566 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d 3.566 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 3.566 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.566 * [taylor]: Taking taylor expansion of b in d 3.566 * [backup-simplify]: Simplify b into b 3.566 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.566 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 3.566 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.566 * [taylor]: Taking taylor expansion of a in d 3.566 * [backup-simplify]: Simplify a into a 3.566 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.566 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 3.566 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.566 * [taylor]: Taking taylor expansion of c in d 3.566 * [backup-simplify]: Simplify c into c 3.566 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.566 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.566 * [taylor]: Taking taylor expansion of d in d 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 1 into 1 3.567 * [backup-simplify]: Simplify (/ 1 1) into 1 3.567 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a 3.567 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 3.567 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.567 * [taylor]: Taking taylor expansion of b in a 3.567 * [backup-simplify]: Simplify b into b 3.567 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.567 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 3.567 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.567 * [taylor]: Taking taylor expansion of a in a 3.567 * [backup-simplify]: Simplify 0 into 0 3.567 * [backup-simplify]: Simplify 1 into 1 3.567 * [backup-simplify]: Simplify (/ 1 1) into 1 3.567 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 3.567 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.567 * [taylor]: Taking taylor expansion of c in a 3.567 * [backup-simplify]: Simplify c into c 3.567 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.567 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.567 * [taylor]: Taking taylor expansion of d in a 3.567 * [backup-simplify]: Simplify d into d 3.567 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.567 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b 3.567 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 3.567 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.567 * [taylor]: Taking taylor expansion of b in b 3.567 * [backup-simplify]: Simplify 0 into 0 3.567 * [backup-simplify]: Simplify 1 into 1 3.568 * [backup-simplify]: Simplify (/ 1 1) into 1 3.568 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 3.568 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.568 * [taylor]: Taking taylor expansion of a in b 3.568 * [backup-simplify]: Simplify a into a 3.568 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.568 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 3.568 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.568 * [taylor]: Taking taylor expansion of c in b 3.568 * [backup-simplify]: Simplify c into c 3.568 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.568 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.568 * [taylor]: Taking taylor expansion of d in b 3.568 * [backup-simplify]: Simplify d into d 3.568 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.568 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 3.568 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.568 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.568 * [taylor]: Taking taylor expansion of b in c 3.568 * [backup-simplify]: Simplify b into b 3.568 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.568 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.568 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.568 * [taylor]: Taking taylor expansion of a in c 3.568 * [backup-simplify]: Simplify a into a 3.568 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.568 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.568 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.568 * [taylor]: Taking taylor expansion of c in c 3.568 * [backup-simplify]: Simplify 0 into 0 3.568 * [backup-simplify]: Simplify 1 into 1 3.568 * [backup-simplify]: Simplify (/ 1 1) into 1 3.568 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.568 * [taylor]: Taking taylor expansion of d in c 3.568 * [backup-simplify]: Simplify d into d 3.568 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.569 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 3.569 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.569 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.569 * [taylor]: Taking taylor expansion of b in c 3.569 * [backup-simplify]: Simplify b into b 3.569 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.569 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.569 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.569 * [taylor]: Taking taylor expansion of a in c 3.569 * [backup-simplify]: Simplify a into a 3.569 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.569 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.569 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.569 * [taylor]: Taking taylor expansion of c in c 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 1 into 1 3.569 * [backup-simplify]: Simplify (/ 1 1) into 1 3.569 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.569 * [taylor]: Taking taylor expansion of d in c 3.569 * [backup-simplify]: Simplify d into d 3.569 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.570 * [backup-simplify]: Simplify (+ 1 0) into 1 3.570 * [backup-simplify]: Simplify (+ 0 1) into 1 3.570 * [backup-simplify]: Simplify (+ 0 1) into 1 3.570 * [backup-simplify]: Simplify (- 1) into -1 3.570 * [taylor]: Taking taylor expansion of -1 in b 3.570 * [backup-simplify]: Simplify -1 into -1 3.571 * [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 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.571 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 3.571 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 3.571 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 3.571 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 3.571 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.571 * [taylor]: Taking taylor expansion of b in b 3.571 * [backup-simplify]: Simplify 0 into 0 3.571 * [backup-simplify]: Simplify 1 into 1 3.572 * [backup-simplify]: Simplify (/ 1 1) into 1 3.572 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 3.572 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.572 * [taylor]: Taking taylor expansion of a in b 3.572 * [backup-simplify]: Simplify a into a 3.572 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.572 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.572 * [taylor]: Taking taylor expansion of d in b 3.572 * [backup-simplify]: Simplify d into d 3.572 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.572 * [backup-simplify]: Simplify (+ 1 0) into 1 3.572 * [backup-simplify]: Simplify (- 1) into -1 3.572 * [taylor]: Taking taylor expansion of -1 in a 3.572 * [backup-simplify]: Simplify -1 into -1 3.572 * [taylor]: Taking taylor expansion of -1 in a 3.572 * [backup-simplify]: Simplify -1 into -1 3.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.573 * [backup-simplify]: Simplify (+ 0 0) into 0 3.574 * [backup-simplify]: Simplify (+ 0 0) into 0 3.574 * [backup-simplify]: Simplify (+ 0 0) into 0 3.574 * [backup-simplify]: Simplify (- 0) into 0 3.574 * [taylor]: Taking taylor expansion of 0 in b 3.574 * [backup-simplify]: Simplify 0 into 0 3.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.575 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.575 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 3.575 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 3.575 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in a 3.575 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 3.575 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.575 * [taylor]: Taking taylor expansion of a in a 3.575 * [backup-simplify]: Simplify 0 into 0 3.575 * [backup-simplify]: Simplify 1 into 1 3.575 * [backup-simplify]: Simplify (/ 1 1) into 1 3.575 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.575 * [taylor]: Taking taylor expansion of d in a 3.575 * [backup-simplify]: Simplify d into d 3.575 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.576 * [backup-simplify]: Simplify (+ 1 0) into 1 3.576 * [backup-simplify]: Simplify (- 1) into -1 3.576 * [taylor]: Taking taylor expansion of -1 in d 3.576 * [backup-simplify]: Simplify -1 into -1 3.576 * [taylor]: Taking taylor expansion of 0 in a 3.576 * [backup-simplify]: Simplify 0 into 0 3.576 * [taylor]: Taking taylor expansion of -1 in d 3.576 * [backup-simplify]: Simplify -1 into -1 3.576 * [taylor]: Taking taylor expansion of -1 in d 3.576 * [backup-simplify]: Simplify -1 into -1 3.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.577 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.577 * [backup-simplify]: Simplify (+ 0 0) into 0 3.577 * [backup-simplify]: Simplify (+ 0 0) into 0 3.578 * [backup-simplify]: Simplify (+ 0 0) into 0 3.578 * [backup-simplify]: Simplify (- 0) into 0 3.578 * [taylor]: Taking taylor expansion of 0 in b 3.578 * [backup-simplify]: Simplify 0 into 0 3.578 * [taylor]: Taking taylor expansion of 0 in a 3.578 * [backup-simplify]: Simplify 0 into 0 3.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.580 * [backup-simplify]: Simplify (+ 0 0) into 0 3.580 * [backup-simplify]: Simplify (+ 0 0) into 0 3.581 * [backup-simplify]: Simplify (- 0) into 0 3.581 * [taylor]: Taking taylor expansion of 0 in a 3.581 * [backup-simplify]: Simplify 0 into 0 3.581 * [taylor]: Taking taylor expansion of 0 in a 3.581 * [backup-simplify]: Simplify 0 into 0 3.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.582 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.582 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 3.582 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 3.582 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.582 * [taylor]: Taking taylor expansion of d in d 3.582 * [backup-simplify]: Simplify 0 into 0 3.582 * [backup-simplify]: Simplify 1 into 1 3.582 * [backup-simplify]: Simplify (/ 1 1) into 1 3.583 * [backup-simplify]: Simplify (- 1) into -1 3.583 * [backup-simplify]: Simplify -1 into -1 3.583 * [taylor]: Taking taylor expansion of 0 in d 3.583 * [backup-simplify]: Simplify 0 into 0 3.583 * [taylor]: Taking taylor expansion of 0 in d 3.583 * [backup-simplify]: Simplify 0 into 0 3.583 * [taylor]: Taking taylor expansion of 0 in d 3.583 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify -1 into -1 3.583 * [backup-simplify]: Simplify -1 into -1 3.584 * [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.584 * * * [progress]: simplifying candidates 3.585 * [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.586 * * [simplify]: iteration 0: 42 enodes 3.601 * * [simplify]: iteration 1: 117 enodes 3.656 * * [simplify]: iteration 2: 451 enodes 4.029 * * [simplify]: iteration 3: 3770 enodes 5.379 * * [simplify]: iteration complete: 5000 enodes 5.379 * * [simplify]: Extracting #0: cost 14 inf + 0 5.379 * * [simplify]: Extracting #1: cost 269 inf + 0 5.383 * * [simplify]: Extracting #2: cost 1518 inf + 280 5.389 * * [simplify]: Extracting #3: cost 1042 inf + 10975 5.403 * * [simplify]: Extracting #4: cost 149 inf + 23044 5.424 * * [simplify]: Extracting #5: cost 45 inf + 24558 5.431 * * [simplify]: Extracting #6: cost 6 inf + 24761 5.437 * * [simplify]: Extracting #7: cost 0 inf + 24807 5.443 * [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.444 * * * [progress]: adding candidates to table 5.522 * * [progress]: iteration 4 / 4 5.522 * * * [progress]: picking best candidate 5.528 * * * * [pick]: Picked # 5.528 * * * [progress]: localizing error 5.550 * * * [progress]: generating rewritten candidates 5.550 * * * [progress]: generating series expansions 5.550 * * * [progress]: simplifying candidates 5.551 * [simplify]: Simplifying: 5.551 * * [simplify]: iteration 0: 0 enodes 5.551 * * [simplify]: iteration complete: 0 enodes 5.551 * * [simplify]: Extracting #0: cost 0 inf + 0 5.551 * [simplify]: Simplified to: 5.551 * * * [progress]: adding candidates to table 5.552 * [progress]: [Phase 3 of 3] Extracting. 5.559 * [simplify]: Simplifying: (* 2.0 (* 1 (+ (+ c b) (+ a d)))) 5.559 * * [simplify]: iteration 0: 11 enodes 5.560 * * [simplify]: iteration 1: 18 enodes 5.561 * * [simplify]: iteration 2: 19 enodes 5.562 * * [simplify]: iteration complete: 19 enodes 5.563 * * [simplify]: Extracting #0: cost 1 inf + 0 5.563 * * [simplify]: Extracting #1: cost 3 inf + 0 5.563 * * [simplify]: Extracting #2: cost 5 inf + 1 5.563 * * [simplify]: Extracting #3: cost 8 inf + 2 5.563 * * [simplify]: Extracting #4: cost 0 inf + 28 5.563 * [simplify]: Simplified to: (* (+ (+ a d) (+ b c)) 2.0) 7.225 * [regime-testing]: Baseline error score: 0 7.227 * [regime-testing]: Oracle error score: 0 7.228 * [regime-testing]: End program error score: 0 7.331 * [regime-testing]: Target error score: 3.835251518281787