17.204 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.052 * [simplify]: Simplifying: (* (+ a (+ b (+ c d))) 2.0) 0.052 * * [simplify]: iteration 0: 9 enodes 0.053 * * [simplify]: iteration 1: 17 enodes 0.056 * * [simplify]: iteration 2: 53 enodes 0.066 * * [simplify]: iteration 3: 146 enodes 0.109 * * [simplify]: iteration 4: 300 enodes 0.179 * * [simplify]: iteration 5: 445 enodes 0.220 * * [simplify]: iteration 6: 481 enodes 0.272 * * [simplify]: iteration complete: 481 enodes 0.272 * * [simplify]: Extracting #0: cost 1 inf + 0 0.273 * * [simplify]: Extracting #1: cost 17 inf + 0 0.273 * * [simplify]: Extracting #2: cost 30 inf + 1 0.273 * * [simplify]: Extracting #3: cost 18 inf + 33 0.273 * * [simplify]: Extracting #4: cost 0 inf + 131 0.274 * * [simplify]: Extracting #5: cost 0 inf + 129 0.274 * [simplify]: Simplified to: (* 2.0 (+ (+ (+ b d) c) a)) 0.284 * * [progress]: iteration 1 / 4 0.284 * * * [progress]: picking best candidate 0.292 * * * * [pick]: Picked # 0.292 * * * [progress]: localizing error 0.303 * * * [progress]: generating rewritten candidates 0.303 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.407 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 0.452 * * * [progress]: generating series expansions 0.452 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.453 * [backup-simplify]: Simplify (+ (+ (+ b d) c) a) into (+ a (+ b (+ c d))) 0.453 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (b d c a) around 0 0.453 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 0.453 * [taylor]: Taking taylor expansion of a in a 0.453 * [backup-simplify]: Simplify 0 into 0 0.453 * [backup-simplify]: Simplify 1 into 1 0.453 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 0.453 * [taylor]: Taking taylor expansion of b in a 0.453 * [backup-simplify]: Simplify b into b 0.453 * [taylor]: Taking taylor expansion of (+ c d) in a 0.453 * [taylor]: Taking taylor expansion of c in a 0.453 * [backup-simplify]: Simplify c into c 0.453 * [taylor]: Taking taylor expansion of d in a 0.453 * [backup-simplify]: Simplify d into d 0.453 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 0.453 * [taylor]: Taking taylor expansion of a in c 0.453 * [backup-simplify]: Simplify a into a 0.453 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.453 * [taylor]: Taking taylor expansion of b in c 0.453 * [backup-simplify]: Simplify b into b 0.453 * [taylor]: Taking taylor expansion of (+ c d) in c 0.453 * [taylor]: Taking taylor expansion of c in c 0.453 * [backup-simplify]: Simplify 0 into 0 0.453 * [backup-simplify]: Simplify 1 into 1 0.453 * [taylor]: Taking taylor expansion of d in c 0.453 * [backup-simplify]: Simplify d into d 0.453 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 0.454 * [taylor]: Taking taylor expansion of a in d 0.454 * [backup-simplify]: Simplify a into a 0.454 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.454 * [taylor]: Taking taylor expansion of b in d 0.454 * [backup-simplify]: Simplify b into b 0.454 * [taylor]: Taking taylor expansion of (+ c d) in d 0.454 * [taylor]: Taking taylor expansion of c in d 0.454 * [backup-simplify]: Simplify c into c 0.454 * [taylor]: Taking taylor expansion of d in d 0.454 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify 1 into 1 0.454 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.454 * [taylor]: Taking taylor expansion of a in b 0.454 * [backup-simplify]: Simplify a into a 0.454 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.454 * [taylor]: Taking taylor expansion of b in b 0.454 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify 1 into 1 0.454 * [taylor]: Taking taylor expansion of (+ c d) in b 0.454 * [taylor]: Taking taylor expansion of c in b 0.454 * [backup-simplify]: Simplify c into c 0.454 * [taylor]: Taking taylor expansion of d in b 0.454 * [backup-simplify]: Simplify d into d 0.454 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.454 * [taylor]: Taking taylor expansion of a in b 0.454 * [backup-simplify]: Simplify a into a 0.454 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.454 * [taylor]: Taking taylor expansion of b in b 0.454 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify 1 into 1 0.454 * [taylor]: Taking taylor expansion of (+ c d) in b 0.454 * [taylor]: Taking taylor expansion of c in b 0.454 * [backup-simplify]: Simplify c into c 0.454 * [taylor]: Taking taylor expansion of d in b 0.454 * [backup-simplify]: Simplify d into d 0.455 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.455 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.455 * [backup-simplify]: Simplify (+ a (+ c d)) into (+ a (+ c d)) 0.455 * [taylor]: Taking taylor expansion of (+ a (+ c d)) in d 0.455 * [taylor]: Taking taylor expansion of a in d 0.455 * [backup-simplify]: Simplify a into a 0.455 * [taylor]: Taking taylor expansion of (+ c d) in d 0.455 * [taylor]: Taking taylor expansion of c in d 0.455 * [backup-simplify]: Simplify c into c 0.455 * [taylor]: Taking taylor expansion of d in d 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 1 into 1 0.455 * [backup-simplify]: Simplify (+ c 0) into c 0.455 * [backup-simplify]: Simplify (+ a c) into (+ a c) 0.455 * [taylor]: Taking taylor expansion of (+ a c) in c 0.455 * [taylor]: Taking taylor expansion of a in c 0.455 * [backup-simplify]: Simplify a into a 0.455 * [taylor]: Taking taylor expansion of c in c 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 1 into 1 0.455 * [backup-simplify]: Simplify (+ a 0) into a 0.455 * [taylor]: Taking taylor expansion of a in a 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 1 into 1 0.455 * [backup-simplify]: Simplify 0 into 0 0.456 * [backup-simplify]: Simplify (+ 0 0) into 0 0.457 * [backup-simplify]: Simplify (+ 1 0) into 1 0.457 * [backup-simplify]: Simplify (+ 0 1) into 1 0.457 * [taylor]: Taking taylor expansion of 1 in d 0.457 * [backup-simplify]: Simplify 1 into 1 0.457 * [taylor]: Taking taylor expansion of 1 in c 0.457 * [backup-simplify]: Simplify 1 into 1 0.457 * [taylor]: Taking taylor expansion of 1 in a 0.457 * [backup-simplify]: Simplify 1 into 1 0.457 * [backup-simplify]: Simplify 1 into 1 0.458 * [backup-simplify]: Simplify (+ 0 1) into 1 0.458 * [backup-simplify]: Simplify (+ 0 1) into 1 0.458 * [taylor]: Taking taylor expansion of 1 in c 0.459 * [backup-simplify]: Simplify 1 into 1 0.459 * [taylor]: Taking taylor expansion of 1 in a 0.459 * [backup-simplify]: Simplify 1 into 1 0.459 * [backup-simplify]: Simplify 1 into 1 0.459 * [backup-simplify]: Simplify (+ 0 1) into 1 0.459 * [taylor]: Taking taylor expansion of 1 in a 0.459 * [backup-simplify]: Simplify 1 into 1 0.459 * [backup-simplify]: Simplify 1 into 1 0.460 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* d 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ b (+ c d)) 0.460 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) 0.460 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (b d c a) around 0 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.460 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.460 * [taylor]: Taking taylor expansion of b in a 0.460 * [backup-simplify]: Simplify b into b 0.460 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.460 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.460 * [taylor]: Taking taylor expansion of d in a 0.460 * [backup-simplify]: Simplify d into d 0.460 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.461 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.461 * [taylor]: Taking taylor expansion of c in a 0.461 * [backup-simplify]: Simplify c into c 0.461 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.461 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.461 * [taylor]: Taking taylor expansion of a in a 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify 1 into 1 0.461 * [backup-simplify]: Simplify (/ 1 1) into 1 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.461 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.461 * [taylor]: Taking taylor expansion of b in c 0.461 * [backup-simplify]: Simplify b into b 0.461 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.461 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.461 * [taylor]: Taking taylor expansion of d in c 0.461 * [backup-simplify]: Simplify d into d 0.461 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.461 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.461 * [taylor]: Taking taylor expansion of c in c 0.462 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify 1 into 1 0.462 * [backup-simplify]: Simplify (/ 1 1) into 1 0.462 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.462 * [taylor]: Taking taylor expansion of a in c 0.462 * [backup-simplify]: Simplify a into a 0.462 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.462 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.462 * [taylor]: Taking taylor expansion of b in d 0.462 * [backup-simplify]: Simplify b into b 0.462 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.462 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.462 * [taylor]: Taking taylor expansion of d in d 0.462 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify 1 into 1 0.463 * [backup-simplify]: Simplify (/ 1 1) into 1 0.463 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.463 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.463 * [taylor]: Taking taylor expansion of c in d 0.463 * [backup-simplify]: Simplify c into c 0.463 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.463 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.463 * [taylor]: Taking taylor expansion of a in d 0.463 * [backup-simplify]: Simplify a into a 0.463 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.463 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.463 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.463 * [taylor]: Taking taylor expansion of b in b 0.463 * [backup-simplify]: Simplify 0 into 0 0.463 * [backup-simplify]: Simplify 1 into 1 0.463 * [backup-simplify]: Simplify (/ 1 1) into 1 0.463 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.463 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.463 * [taylor]: Taking taylor expansion of d in b 0.463 * [backup-simplify]: Simplify d into d 0.463 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.464 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.464 * [taylor]: Taking taylor expansion of c in b 0.464 * [backup-simplify]: Simplify c into c 0.464 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.464 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.464 * [taylor]: Taking taylor expansion of a in b 0.464 * [backup-simplify]: Simplify a into a 0.464 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.464 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.464 * [taylor]: Taking taylor expansion of b in b 0.464 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify 1 into 1 0.464 * [backup-simplify]: Simplify (/ 1 1) into 1 0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.464 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.464 * [taylor]: Taking taylor expansion of d in b 0.464 * [backup-simplify]: Simplify d into d 0.464 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.464 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.464 * [taylor]: Taking taylor expansion of c in b 0.464 * [backup-simplify]: Simplify c into c 0.465 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.465 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.465 * [taylor]: Taking taylor expansion of a in b 0.465 * [backup-simplify]: Simplify a into a 0.465 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.465 * [backup-simplify]: Simplify (+ 1 0) into 1 0.465 * [taylor]: Taking taylor expansion of 1 in d 0.465 * [backup-simplify]: Simplify 1 into 1 0.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.466 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c)) 0.466 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.466 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 0.466 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.466 * [taylor]: Taking taylor expansion of a in d 0.466 * [backup-simplify]: Simplify a into a 0.466 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.467 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.467 * [taylor]: Taking taylor expansion of c in d 0.467 * [backup-simplify]: Simplify c into c 0.467 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.467 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.467 * [taylor]: Taking taylor expansion of d in d 0.467 * [backup-simplify]: Simplify 0 into 0 0.467 * [backup-simplify]: Simplify 1 into 1 0.467 * [backup-simplify]: Simplify (/ 1 1) into 1 0.467 * [backup-simplify]: Simplify (+ 0 1) into 1 0.468 * [backup-simplify]: Simplify (+ 0 1) into 1 0.468 * [taylor]: Taking taylor expansion of 1 in c 0.468 * [backup-simplify]: Simplify 1 into 1 0.468 * [taylor]: Taking taylor expansion of 1 in c 0.468 * [backup-simplify]: Simplify 1 into 1 0.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.469 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.469 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.469 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.469 * [backup-simplify]: Simplify (+ 0 0) into 0 0.470 * [backup-simplify]: Simplify (+ 0 0) into 0 0.470 * [backup-simplify]: Simplify (+ 0 0) into 0 0.470 * [taylor]: Taking taylor expansion of 0 in d 0.470 * [backup-simplify]: Simplify 0 into 0 0.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.471 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.471 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c)) 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c 0.471 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.471 * [taylor]: Taking taylor expansion of a in c 0.471 * [backup-simplify]: Simplify a into a 0.471 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.471 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.471 * [taylor]: Taking taylor expansion of c in c 0.471 * [backup-simplify]: Simplify 0 into 0 0.471 * [backup-simplify]: Simplify 1 into 1 0.472 * [backup-simplify]: Simplify (/ 1 1) into 1 0.472 * [backup-simplify]: Simplify (+ 0 1) into 1 0.472 * [taylor]: Taking taylor expansion of 1 in a 0.472 * [backup-simplify]: Simplify 1 into 1 0.472 * [taylor]: Taking taylor expansion of 0 in c 0.472 * [backup-simplify]: Simplify 0 into 0 0.472 * [taylor]: Taking taylor expansion of 1 in a 0.472 * [backup-simplify]: Simplify 1 into 1 0.472 * [taylor]: Taking taylor expansion of 1 in a 0.472 * [backup-simplify]: Simplify 1 into 1 0.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.474 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.474 * [backup-simplify]: Simplify (+ 0 0) into 0 0.475 * [backup-simplify]: Simplify (+ 0 0) into 0 0.475 * [backup-simplify]: Simplify (+ 0 0) into 0 0.475 * [taylor]: Taking taylor expansion of 0 in d 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [taylor]: Taking taylor expansion of 0 in c 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.476 * [backup-simplify]: Simplify (+ 0 0) into 0 0.477 * [backup-simplify]: Simplify (+ 0 0) into 0 0.477 * [taylor]: Taking taylor expansion of 0 in c 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [taylor]: Taking taylor expansion of 0 in c 0.477 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.478 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 0.478 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.478 * [taylor]: Taking taylor expansion of a in a 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 1 into 1 0.478 * [backup-simplify]: Simplify (/ 1 1) into 1 0.478 * [backup-simplify]: Simplify 1 into 1 0.478 * [taylor]: Taking taylor expansion of 0 in a 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [taylor]: Taking taylor expansion of 0 in a 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [taylor]: Taking taylor expansion of 0 in a 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 1 into 1 0.478 * [backup-simplify]: Simplify 1 into 1 0.479 * [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.480 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) 0.480 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (b d c a) around 0 0.480 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.480 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.480 * [taylor]: Taking taylor expansion of b in a 0.480 * [backup-simplify]: Simplify b into b 0.480 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.480 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.480 * [taylor]: Taking taylor expansion of d in a 0.480 * [backup-simplify]: Simplify d into d 0.480 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.480 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.480 * [taylor]: Taking taylor expansion of c in a 0.480 * [backup-simplify]: Simplify c into c 0.480 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.480 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.480 * [taylor]: Taking taylor expansion of a in a 0.480 * [backup-simplify]: Simplify 0 into 0 0.480 * [backup-simplify]: Simplify 1 into 1 0.481 * [backup-simplify]: Simplify (/ 1 1) into 1 0.481 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c 0.481 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.481 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.481 * [taylor]: Taking taylor expansion of b in c 0.481 * [backup-simplify]: Simplify b into b 0.481 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.481 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.481 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.481 * [taylor]: Taking taylor expansion of d in c 0.481 * [backup-simplify]: Simplify d into d 0.481 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.481 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.481 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.481 * [taylor]: Taking taylor expansion of c in c 0.481 * [backup-simplify]: Simplify 0 into 0 0.481 * [backup-simplify]: Simplify 1 into 1 0.482 * [backup-simplify]: Simplify (/ 1 1) into 1 0.482 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.482 * [taylor]: Taking taylor expansion of a in c 0.482 * [backup-simplify]: Simplify a into a 0.482 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.482 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.482 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.482 * [taylor]: Taking taylor expansion of b in d 0.482 * [backup-simplify]: Simplify b into b 0.482 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.482 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.482 * [taylor]: Taking taylor expansion of d in d 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify 1 into 1 0.482 * [backup-simplify]: Simplify (/ 1 1) into 1 0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.482 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.482 * [taylor]: Taking taylor expansion of c in d 0.482 * [backup-simplify]: Simplify c into c 0.482 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.482 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.483 * [taylor]: Taking taylor expansion of a in d 0.483 * [backup-simplify]: Simplify a into a 0.483 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.483 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.483 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.483 * [taylor]: Taking taylor expansion of b in b 0.483 * [backup-simplify]: Simplify 0 into 0 0.483 * [backup-simplify]: Simplify 1 into 1 0.483 * [backup-simplify]: Simplify (/ 1 1) into 1 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.483 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.483 * [taylor]: Taking taylor expansion of d in b 0.483 * [backup-simplify]: Simplify d into d 0.483 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.483 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.483 * [taylor]: Taking taylor expansion of c in b 0.483 * [backup-simplify]: Simplify c into c 0.483 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.483 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.484 * [taylor]: Taking taylor expansion of a in b 0.484 * [backup-simplify]: Simplify a into a 0.484 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.484 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.484 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.484 * [taylor]: Taking taylor expansion of b in b 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [backup-simplify]: Simplify (/ 1 1) into 1 0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.484 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.484 * [taylor]: Taking taylor expansion of d in b 0.484 * [backup-simplify]: Simplify d into d 0.484 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.484 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.484 * [taylor]: Taking taylor expansion of c in b 0.484 * [backup-simplify]: Simplify c into c 0.485 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.485 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.485 * [taylor]: Taking taylor expansion of a in b 0.485 * [backup-simplify]: Simplify a into a 0.485 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.485 * [backup-simplify]: Simplify (+ 1 0) into 1 0.485 * [backup-simplify]: Simplify (- 1) into -1 0.485 * [taylor]: Taking taylor expansion of -1 in d 0.486 * [backup-simplify]: Simplify -1 into -1 0.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.486 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 a)) into (+ (/ 1 a) (/ 1 c)) 0.487 * [backup-simplify]: Simplify (+ (/ 1 d) (+ (/ 1 a) (/ 1 c))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.487 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) 0.487 * [backup-simplify]: Simplify (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) 0.487 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) in d 0.487 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) in d 0.487 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.487 * [taylor]: Taking taylor expansion of a in d 0.487 * [backup-simplify]: Simplify a into a 0.487 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.487 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 0.487 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.487 * [taylor]: Taking taylor expansion of d in d 0.487 * [backup-simplify]: Simplify 0 into 0 0.487 * [backup-simplify]: Simplify 1 into 1 0.488 * [backup-simplify]: Simplify (/ 1 1) into 1 0.488 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.488 * [taylor]: Taking taylor expansion of c in d 0.488 * [backup-simplify]: Simplify c into c 0.488 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.488 * [backup-simplify]: Simplify (+ 1 0) into 1 0.489 * [backup-simplify]: Simplify (+ 0 1) into 1 0.489 * [backup-simplify]: Simplify (- 1) into -1 0.489 * [taylor]: Taking taylor expansion of -1 in c 0.489 * [backup-simplify]: Simplify -1 into -1 0.489 * [taylor]: Taking taylor expansion of -1 in c 0.489 * [backup-simplify]: Simplify -1 into -1 0.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.490 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.490 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.490 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.491 * [backup-simplify]: Simplify (+ 0 0) into 0 0.491 * [backup-simplify]: Simplify (+ 0 0) into 0 0.491 * [backup-simplify]: Simplify (+ 0 0) into 0 0.492 * [backup-simplify]: Simplify (- 0) into 0 0.492 * [taylor]: Taking taylor expansion of 0 in d 0.492 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.493 * [backup-simplify]: Simplify (+ 0 (/ 1 c)) into (/ 1 c) 0.493 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 c)) into (+ (/ 1 a) (/ 1 c)) 0.493 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 c))) into (- (+ (/ 1 a) (/ 1 c))) 0.493 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 c))) in c 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 c)) in c 0.493 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.493 * [taylor]: Taking taylor expansion of a in c 0.493 * [backup-simplify]: Simplify a into a 0.493 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.493 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.493 * [taylor]: Taking taylor expansion of c in c 0.493 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify 1 into 1 0.494 * [backup-simplify]: Simplify (/ 1 1) into 1 0.494 * [backup-simplify]: Simplify (+ 0 1) into 1 0.494 * [backup-simplify]: Simplify (- 1) into -1 0.494 * [taylor]: Taking taylor expansion of -1 in a 0.494 * [backup-simplify]: Simplify -1 into -1 0.494 * [taylor]: Taking taylor expansion of 0 in c 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [taylor]: Taking taylor expansion of -1 in a 0.494 * [backup-simplify]: Simplify -1 into -1 0.494 * [taylor]: Taking taylor expansion of -1 in a 0.494 * [backup-simplify]: Simplify -1 into -1 0.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.496 * [backup-simplify]: Simplify (+ 0 0) into 0 0.496 * [backup-simplify]: Simplify (+ 0 0) into 0 0.497 * [backup-simplify]: Simplify (+ 0 0) into 0 0.497 * [backup-simplify]: Simplify (- 0) into 0 0.497 * [taylor]: Taking taylor expansion of 0 in d 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [taylor]: Taking taylor expansion of 0 in c 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.499 * [backup-simplify]: Simplify (+ 0 0) into 0 0.499 * [backup-simplify]: Simplify (+ 0 0) into 0 0.499 * [backup-simplify]: Simplify (- 0) into 0 0.499 * [taylor]: Taking taylor expansion of 0 in c 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [taylor]: Taking taylor expansion of 0 in c 0.499 * [backup-simplify]: Simplify 0 into 0 0.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.500 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 0.500 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 0.500 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.500 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.500 * [taylor]: Taking taylor expansion of a in a 0.500 * [backup-simplify]: Simplify 0 into 0 0.500 * [backup-simplify]: Simplify 1 into 1 0.501 * [backup-simplify]: Simplify (/ 1 1) into 1 0.501 * [backup-simplify]: Simplify (- 1) into -1 0.501 * [backup-simplify]: Simplify -1 into -1 0.501 * [taylor]: Taking taylor expansion of 0 in a 0.501 * [backup-simplify]: Simplify 0 into 0 0.501 * [taylor]: Taking taylor expansion of 0 in a 0.501 * [backup-simplify]: Simplify 0 into 0 0.501 * [taylor]: Taking taylor expansion of 0 in a 0.501 * [backup-simplify]: Simplify 0 into 0 0.501 * [backup-simplify]: Simplify -1 into -1 0.501 * [backup-simplify]: Simplify -1 into -1 0.502 * [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.502 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 0.502 * [backup-simplify]: Simplify (+ (+ b d) c) into (+ b (+ c d)) 0.502 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b d c) around 0 0.503 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.503 * [taylor]: Taking taylor expansion of b in c 0.503 * [backup-simplify]: Simplify b into b 0.503 * [taylor]: Taking taylor expansion of (+ c d) in c 0.503 * [taylor]: Taking taylor expansion of c in c 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify 1 into 1 0.503 * [taylor]: Taking taylor expansion of d in c 0.503 * [backup-simplify]: Simplify d into d 0.503 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.503 * [taylor]: Taking taylor expansion of b in d 0.503 * [backup-simplify]: Simplify b into b 0.503 * [taylor]: Taking taylor expansion of (+ c d) in d 0.503 * [taylor]: Taking taylor expansion of c in d 0.503 * [backup-simplify]: Simplify c into c 0.503 * [taylor]: Taking taylor expansion of d in d 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify 1 into 1 0.503 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.503 * [taylor]: Taking taylor expansion of b in b 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify 1 into 1 0.503 * [taylor]: Taking taylor expansion of (+ c d) in b 0.503 * [taylor]: Taking taylor expansion of c in b 0.503 * [backup-simplify]: Simplify c into c 0.503 * [taylor]: Taking taylor expansion of d in b 0.503 * [backup-simplify]: Simplify d into d 0.503 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.503 * [taylor]: Taking taylor expansion of b in b 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify 1 into 1 0.503 * [taylor]: Taking taylor expansion of (+ c d) in b 0.503 * [taylor]: Taking taylor expansion of c in b 0.503 * [backup-simplify]: Simplify c into c 0.503 * [taylor]: Taking taylor expansion of d in b 0.503 * [backup-simplify]: Simplify d into d 0.503 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.503 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.503 * [taylor]: Taking taylor expansion of (+ c d) in d 0.503 * [taylor]: Taking taylor expansion of c in d 0.503 * [backup-simplify]: Simplify c into c 0.504 * [taylor]: Taking taylor expansion of d in d 0.504 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify 1 into 1 0.504 * [backup-simplify]: Simplify (+ c 0) into c 0.504 * [taylor]: Taking taylor expansion of c in c 0.504 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify 1 into 1 0.504 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify (+ 0 0) into 0 0.504 * [backup-simplify]: Simplify (+ 1 0) into 1 0.504 * [taylor]: Taking taylor expansion of 1 in d 0.504 * [backup-simplify]: Simplify 1 into 1 0.505 * [taylor]: Taking taylor expansion of 1 in c 0.505 * [backup-simplify]: Simplify 1 into 1 0.505 * [backup-simplify]: Simplify 1 into 1 0.505 * [backup-simplify]: Simplify (+ 0 1) into 1 0.505 * [taylor]: Taking taylor expansion of 1 in c 0.505 * [backup-simplify]: Simplify 1 into 1 0.505 * [backup-simplify]: Simplify 1 into 1 0.505 * [backup-simplify]: Simplify 1 into 1 0.506 * [backup-simplify]: Simplify (+ (* 1 (* c (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d)) 0.506 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 c)) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 0.506 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b d c) around 0 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.506 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.506 * [taylor]: Taking taylor expansion of b in c 0.506 * [backup-simplify]: Simplify b into b 0.506 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.506 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.506 * [taylor]: Taking taylor expansion of c in c 0.506 * [backup-simplify]: Simplify 0 into 0 0.506 * [backup-simplify]: Simplify 1 into 1 0.506 * [backup-simplify]: Simplify (/ 1 1) into 1 0.506 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.506 * [taylor]: Taking taylor expansion of d in c 0.506 * [backup-simplify]: Simplify d into d 0.507 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.507 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.507 * [taylor]: Taking taylor expansion of b in d 0.507 * [backup-simplify]: Simplify b into b 0.507 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.507 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.507 * [taylor]: Taking taylor expansion of c in d 0.507 * [backup-simplify]: Simplify c into c 0.507 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.507 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.507 * [taylor]: Taking taylor expansion of d in d 0.507 * [backup-simplify]: Simplify 0 into 0 0.507 * [backup-simplify]: Simplify 1 into 1 0.507 * [backup-simplify]: Simplify (/ 1 1) into 1 0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.507 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.507 * [taylor]: Taking taylor expansion of b in b 0.507 * [backup-simplify]: Simplify 0 into 0 0.507 * [backup-simplify]: Simplify 1 into 1 0.508 * [backup-simplify]: Simplify (/ 1 1) into 1 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.508 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.508 * [taylor]: Taking taylor expansion of c in b 0.508 * [backup-simplify]: Simplify c into c 0.508 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.508 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.508 * [taylor]: Taking taylor expansion of d in b 0.508 * [backup-simplify]: Simplify d into d 0.508 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.508 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.508 * [taylor]: Taking taylor expansion of b in b 0.508 * [backup-simplify]: Simplify 0 into 0 0.508 * [backup-simplify]: Simplify 1 into 1 0.508 * [backup-simplify]: Simplify (/ 1 1) into 1 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.508 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.508 * [taylor]: Taking taylor expansion of c in b 0.509 * [backup-simplify]: Simplify c into c 0.509 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.509 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.509 * [taylor]: Taking taylor expansion of d in b 0.509 * [backup-simplify]: Simplify d into d 0.509 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.509 * [backup-simplify]: Simplify (+ 1 0) into 1 0.509 * [taylor]: Taking taylor expansion of 1 in d 0.509 * [backup-simplify]: Simplify 1 into 1 0.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.510 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.510 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.510 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.510 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.510 * [taylor]: Taking taylor expansion of c in d 0.510 * [backup-simplify]: Simplify c into c 0.510 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.510 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.510 * [taylor]: Taking taylor expansion of d in d 0.510 * [backup-simplify]: Simplify 0 into 0 0.510 * [backup-simplify]: Simplify 1 into 1 0.513 * [backup-simplify]: Simplify (/ 1 1) into 1 0.514 * [backup-simplify]: Simplify (+ 0 1) into 1 0.514 * [taylor]: Taking taylor expansion of 1 in c 0.515 * [backup-simplify]: Simplify 1 into 1 0.515 * [taylor]: Taking taylor expansion of 1 in c 0.515 * [backup-simplify]: Simplify 1 into 1 0.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.517 * [backup-simplify]: Simplify (+ 0 0) into 0 0.518 * [backup-simplify]: Simplify (+ 0 0) into 0 0.518 * [taylor]: Taking taylor expansion of 0 in d 0.518 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.519 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.519 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.519 * [taylor]: Taking taylor expansion of c in c 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify 1 into 1 0.519 * [backup-simplify]: Simplify (/ 1 1) into 1 0.519 * [backup-simplify]: Simplify 1 into 1 0.519 * [taylor]: Taking taylor expansion of 0 in c 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify 1 into 1 0.519 * [backup-simplify]: Simplify 1 into 1 0.520 * [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.520 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- c))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 0.521 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b d c) around 0 0.521 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 0.521 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.521 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.521 * [taylor]: Taking taylor expansion of b in c 0.521 * [backup-simplify]: Simplify b into b 0.521 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.521 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.521 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.521 * [taylor]: Taking taylor expansion of c in c 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 1 into 1 0.521 * [backup-simplify]: Simplify (/ 1 1) into 1 0.521 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.521 * [taylor]: Taking taylor expansion of d in c 0.521 * [backup-simplify]: Simplify d into d 0.521 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.521 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.522 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.522 * [taylor]: Taking taylor expansion of b in d 0.522 * [backup-simplify]: Simplify b into b 0.522 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.522 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.522 * [taylor]: Taking taylor expansion of c in d 0.522 * [backup-simplify]: Simplify c into c 0.522 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.522 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.522 * [taylor]: Taking taylor expansion of d in d 0.522 * [backup-simplify]: Simplify 0 into 0 0.522 * [backup-simplify]: Simplify 1 into 1 0.522 * [backup-simplify]: Simplify (/ 1 1) into 1 0.522 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.522 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.522 * [taylor]: Taking taylor expansion of b in b 0.522 * [backup-simplify]: Simplify 0 into 0 0.522 * [backup-simplify]: Simplify 1 into 1 0.523 * [backup-simplify]: Simplify (/ 1 1) into 1 0.523 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.523 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.523 * [taylor]: Taking taylor expansion of c in b 0.523 * [backup-simplify]: Simplify c into c 0.523 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.523 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.523 * [taylor]: Taking taylor expansion of d in b 0.523 * [backup-simplify]: Simplify d into d 0.523 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.523 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.523 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.523 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.523 * [taylor]: Taking taylor expansion of b in b 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify 1 into 1 0.524 * [backup-simplify]: Simplify (/ 1 1) into 1 0.524 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.524 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.525 * [taylor]: Taking taylor expansion of c in b 0.525 * [backup-simplify]: Simplify c into c 0.525 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.525 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.525 * [taylor]: Taking taylor expansion of d in b 0.525 * [backup-simplify]: Simplify d into d 0.525 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.526 * [backup-simplify]: Simplify (+ 1 0) into 1 0.526 * [backup-simplify]: Simplify (- 1) into -1 0.526 * [taylor]: Taking taylor expansion of -1 in d 0.526 * [backup-simplify]: Simplify -1 into -1 0.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.527 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.527 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.527 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 0.527 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in d 0.527 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.527 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.527 * [taylor]: Taking taylor expansion of c in d 0.527 * [backup-simplify]: Simplify c into c 0.527 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.527 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.527 * [taylor]: Taking taylor expansion of d in d 0.527 * [backup-simplify]: Simplify 0 into 0 0.527 * [backup-simplify]: Simplify 1 into 1 0.528 * [backup-simplify]: Simplify (/ 1 1) into 1 0.528 * [backup-simplify]: Simplify (+ 0 1) into 1 0.529 * [backup-simplify]: Simplify (- 1) into -1 0.529 * [taylor]: Taking taylor expansion of -1 in c 0.529 * [backup-simplify]: Simplify -1 into -1 0.529 * [taylor]: Taking taylor expansion of -1 in c 0.529 * [backup-simplify]: Simplify -1 into -1 0.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.530 * [backup-simplify]: Simplify (+ 0 0) into 0 0.531 * [backup-simplify]: Simplify (+ 0 0) into 0 0.531 * [backup-simplify]: Simplify (- 0) into 0 0.531 * [taylor]: Taking taylor expansion of 0 in d 0.531 * [backup-simplify]: Simplify 0 into 0 0.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.532 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 0.532 * [backup-simplify]: Simplify (- (/ 1 c)) into (- (/ 1 c)) 0.532 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.532 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.532 * [taylor]: Taking taylor expansion of c in c 0.532 * [backup-simplify]: Simplify 0 into 0 0.532 * [backup-simplify]: Simplify 1 into 1 0.533 * [backup-simplify]: Simplify (/ 1 1) into 1 0.533 * [backup-simplify]: Simplify (- 1) into -1 0.533 * [backup-simplify]: Simplify -1 into -1 0.533 * [taylor]: Taking taylor expansion of 0 in c 0.533 * [backup-simplify]: Simplify 0 into 0 0.533 * [backup-simplify]: Simplify -1 into -1 0.533 * [backup-simplify]: Simplify -1 into -1 0.534 * [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.534 * * * [progress]: simplifying candidates 0.535 * [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.536 * * [simplify]: iteration 0: 57 enodes 0.557 * * [simplify]: iteration 1: 161 enodes 0.638 * * [simplify]: iteration 2: 819 enodes 1.070 * * [simplify]: iteration complete: 5000 enodes 1.070 * * [simplify]: Extracting #0: cost 25 inf + 0 1.071 * * [simplify]: Extracting #1: cost 475 inf + 0 1.079 * * [simplify]: Extracting #2: cost 1818 inf + 533 1.092 * * [simplify]: Extracting #3: cost 1247 inf + 10500 1.518 * * [simplify]: Extracting #4: cost 50 inf + 25332 1.527 * * [simplify]: Extracting #5: cost 29 inf + 25575 1.535 * * [simplify]: Extracting #6: cost 5 inf + 25677 1.542 * * [simplify]: Extracting #7: cost 0 inf + 25708 1.549 * [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.549 * * * [progress]: adding candidates to table 1.691 * * [progress]: iteration 2 / 4 1.691 * * * [progress]: picking best candidate 1.766 * * * * [pick]: Picked # 1.767 * * * [progress]: localizing error 1.779 * * * [progress]: generating rewritten candidates 1.779 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 2) 1.816 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.880 * * * [progress]: generating series expansions 1.880 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 2) 1.880 * [backup-simplify]: Simplify (+ (+ b d) a) into (+ a (+ b d)) 1.880 * [approximate]: Taking taylor expansion of (+ a (+ b d)) in (b d a) around 0 1.880 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in a 1.880 * [taylor]: Taking taylor expansion of a in a 1.880 * [backup-simplify]: Simplify 0 into 0 1.880 * [backup-simplify]: Simplify 1 into 1 1.880 * [taylor]: Taking taylor expansion of (+ b d) in a 1.880 * [taylor]: Taking taylor expansion of b in a 1.880 * [backup-simplify]: Simplify b into b 1.880 * [taylor]: Taking taylor expansion of d in a 1.880 * [backup-simplify]: Simplify d into d 1.880 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in d 1.880 * [taylor]: Taking taylor expansion of a in d 1.880 * [backup-simplify]: Simplify a into a 1.880 * [taylor]: Taking taylor expansion of (+ b d) in d 1.880 * [taylor]: Taking taylor expansion of b in d 1.880 * [backup-simplify]: Simplify b into b 1.880 * [taylor]: Taking taylor expansion of d in d 1.880 * [backup-simplify]: Simplify 0 into 0 1.880 * [backup-simplify]: Simplify 1 into 1 1.880 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.880 * [taylor]: Taking taylor expansion of a in b 1.880 * [backup-simplify]: Simplify a into a 1.880 * [taylor]: Taking taylor expansion of (+ b d) in b 1.880 * [taylor]: Taking taylor expansion of b in b 1.880 * [backup-simplify]: Simplify 0 into 0 1.880 * [backup-simplify]: Simplify 1 into 1 1.880 * [taylor]: Taking taylor expansion of d in b 1.880 * [backup-simplify]: Simplify d into d 1.880 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.880 * [taylor]: Taking taylor expansion of a in b 1.880 * [backup-simplify]: Simplify a into a 1.880 * [taylor]: Taking taylor expansion of (+ b d) in b 1.880 * [taylor]: Taking taylor expansion of b in b 1.880 * [backup-simplify]: Simplify 0 into 0 1.880 * [backup-simplify]: Simplify 1 into 1 1.880 * [taylor]: Taking taylor expansion of d in b 1.880 * [backup-simplify]: Simplify d into d 1.880 * [backup-simplify]: Simplify (+ 0 d) into d 1.881 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1.881 * [taylor]: Taking taylor expansion of (+ a d) in d 1.881 * [taylor]: Taking taylor expansion of a in d 1.881 * [backup-simplify]: Simplify a into a 1.881 * [taylor]: Taking taylor expansion of d in d 1.881 * [backup-simplify]: Simplify 0 into 0 1.881 * [backup-simplify]: Simplify 1 into 1 1.881 * [backup-simplify]: Simplify (+ a 0) into a 1.881 * [taylor]: Taking taylor expansion of a in a 1.881 * [backup-simplify]: Simplify 0 into 0 1.881 * [backup-simplify]: Simplify 1 into 1 1.881 * [backup-simplify]: Simplify 0 into 0 1.881 * [backup-simplify]: Simplify (+ 1 0) into 1 1.882 * [backup-simplify]: Simplify (+ 0 1) into 1 1.882 * [taylor]: Taking taylor expansion of 1 in d 1.882 * [backup-simplify]: Simplify 1 into 1 1.882 * [taylor]: Taking taylor expansion of 1 in a 1.882 * [backup-simplify]: Simplify 1 into 1 1.882 * [backup-simplify]: Simplify 1 into 1 1.882 * [backup-simplify]: Simplify (+ 0 1) into 1 1.882 * [taylor]: Taking taylor expansion of 1 in a 1.882 * [backup-simplify]: Simplify 1 into 1 1.882 * [backup-simplify]: Simplify 1 into 1 1.882 * [backup-simplify]: Simplify 1 into 1 1.883 * [backup-simplify]: Simplify (+ (* 1 (* a (* 1 1))) (+ (* 1 (* 1 (* d 1))) (* 1 (* 1 (* 1 b))))) into (+ a (+ b d)) 1.883 * [backup-simplify]: Simplify (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.883 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in (b d a) around 0 1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a 1.883 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.883 * [taylor]: Taking taylor expansion of b in a 1.883 * [backup-simplify]: Simplify b into b 1.883 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 1.883 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.883 * [taylor]: Taking taylor expansion of a in a 1.883 * [backup-simplify]: Simplify 0 into 0 1.883 * [backup-simplify]: Simplify 1 into 1 1.883 * [backup-simplify]: Simplify (/ 1 1) into 1 1.883 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.883 * [taylor]: Taking taylor expansion of d in a 1.883 * [backup-simplify]: Simplify d into d 1.883 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d 1.883 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.883 * [taylor]: Taking taylor expansion of b in d 1.883 * [backup-simplify]: Simplify b into b 1.883 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.883 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.883 * [taylor]: Taking taylor expansion of a in d 1.883 * [backup-simplify]: Simplify a into a 1.883 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.883 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.883 * [taylor]: Taking taylor expansion of d in d 1.883 * [backup-simplify]: Simplify 0 into 0 1.883 * [backup-simplify]: Simplify 1 into 1 1.884 * [backup-simplify]: Simplify (/ 1 1) into 1 1.884 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.884 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.884 * [taylor]: Taking taylor expansion of b in b 1.884 * [backup-simplify]: Simplify 0 into 0 1.884 * [backup-simplify]: Simplify 1 into 1 1.884 * [backup-simplify]: Simplify (/ 1 1) into 1 1.884 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.884 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.884 * [taylor]: Taking taylor expansion of a in b 1.884 * [backup-simplify]: Simplify a into a 1.884 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.884 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.884 * [taylor]: Taking taylor expansion of d in b 1.884 * [backup-simplify]: Simplify d into d 1.884 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.884 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.884 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.884 * [taylor]: Taking taylor expansion of b in b 1.884 * [backup-simplify]: Simplify 0 into 0 1.884 * [backup-simplify]: Simplify 1 into 1 1.885 * [backup-simplify]: Simplify (/ 1 1) into 1 1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.885 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.885 * [taylor]: Taking taylor expansion of a in b 1.885 * [backup-simplify]: Simplify a into a 1.885 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.885 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.885 * [taylor]: Taking taylor expansion of d in b 1.885 * [backup-simplify]: Simplify d into d 1.885 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.885 * [backup-simplify]: Simplify (+ 1 0) into 1 1.885 * [taylor]: Taking taylor expansion of 1 in d 1.885 * [backup-simplify]: Simplify 1 into 1 1.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.886 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.886 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.886 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.886 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.886 * [taylor]: Taking taylor expansion of a in d 1.886 * [backup-simplify]: Simplify a into a 1.886 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.886 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.886 * [taylor]: Taking taylor expansion of d in d 1.886 * [backup-simplify]: Simplify 0 into 0 1.886 * [backup-simplify]: Simplify 1 into 1 1.886 * [backup-simplify]: Simplify (/ 1 1) into 1 1.887 * [backup-simplify]: Simplify (+ 0 1) into 1 1.887 * [taylor]: Taking taylor expansion of 1 in a 1.887 * [backup-simplify]: Simplify 1 into 1 1.887 * [taylor]: Taking taylor expansion of 1 in a 1.887 * [backup-simplify]: Simplify 1 into 1 1.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.888 * [backup-simplify]: Simplify (+ 0 0) into 0 1.888 * [backup-simplify]: Simplify (+ 0 0) into 0 1.888 * [taylor]: Taking taylor expansion of 0 in d 1.888 * [backup-simplify]: Simplify 0 into 0 1.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.889 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.889 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.889 * [taylor]: Taking taylor expansion of a in a 1.889 * [backup-simplify]: Simplify 0 into 0 1.889 * [backup-simplify]: Simplify 1 into 1 1.889 * [backup-simplify]: Simplify (/ 1 1) into 1 1.889 * [backup-simplify]: Simplify 1 into 1 1.889 * [taylor]: Taking taylor expansion of 0 in a 1.889 * [backup-simplify]: Simplify 0 into 0 1.889 * [backup-simplify]: Simplify 1 into 1 1.889 * [backup-simplify]: Simplify 1 into 1 1.889 * [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.890 * [backup-simplify]: Simplify (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 1.890 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in (b d a) around 0 1.890 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in a 1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in a 1.890 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.890 * [taylor]: Taking taylor expansion of b in a 1.890 * [backup-simplify]: Simplify b into b 1.890 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 1.890 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.890 * [taylor]: Taking taylor expansion of a in a 1.890 * [backup-simplify]: Simplify 0 into 0 1.890 * [backup-simplify]: Simplify 1 into 1 1.890 * [backup-simplify]: Simplify (/ 1 1) into 1 1.890 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.890 * [taylor]: Taking taylor expansion of d in a 1.890 * [backup-simplify]: Simplify d into d 1.890 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.890 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in d 1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in d 1.890 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.890 * [taylor]: Taking taylor expansion of b in d 1.890 * [backup-simplify]: Simplify b into b 1.890 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.890 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.890 * [taylor]: Taking taylor expansion of a in d 1.890 * [backup-simplify]: Simplify a into a 1.890 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.890 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.890 * [taylor]: Taking taylor expansion of d in d 1.890 * [backup-simplify]: Simplify 0 into 0 1.890 * [backup-simplify]: Simplify 1 into 1 1.891 * [backup-simplify]: Simplify (/ 1 1) into 1 1.891 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.891 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.891 * [taylor]: Taking taylor expansion of b in b 1.891 * [backup-simplify]: Simplify 0 into 0 1.891 * [backup-simplify]: Simplify 1 into 1 1.891 * [backup-simplify]: Simplify (/ 1 1) into 1 1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.891 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.891 * [taylor]: Taking taylor expansion of a in b 1.891 * [backup-simplify]: Simplify a into a 1.891 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.891 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.891 * [taylor]: Taking taylor expansion of d in b 1.891 * [backup-simplify]: Simplify d into d 1.891 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.891 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.891 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.891 * [taylor]: Taking taylor expansion of b in b 1.891 * [backup-simplify]: Simplify 0 into 0 1.891 * [backup-simplify]: Simplify 1 into 1 1.892 * [backup-simplify]: Simplify (/ 1 1) into 1 1.892 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.892 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.892 * [taylor]: Taking taylor expansion of a in b 1.892 * [backup-simplify]: Simplify a into a 1.892 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.892 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.892 * [taylor]: Taking taylor expansion of d in b 1.892 * [backup-simplify]: Simplify d into d 1.892 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.892 * [backup-simplify]: Simplify (+ 1 0) into 1 1.892 * [backup-simplify]: Simplify (- 1) into -1 1.892 * [taylor]: Taking taylor expansion of -1 in d 1.892 * [backup-simplify]: Simplify -1 into -1 1.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.893 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.893 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.893 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1.893 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1.893 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.893 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.893 * [taylor]: Taking taylor expansion of a in d 1.893 * [backup-simplify]: Simplify a into a 1.893 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.893 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.893 * [taylor]: Taking taylor expansion of d in d 1.893 * [backup-simplify]: Simplify 0 into 0 1.893 * [backup-simplify]: Simplify 1 into 1 1.894 * [backup-simplify]: Simplify (/ 1 1) into 1 1.894 * [backup-simplify]: Simplify (+ 0 1) into 1 1.894 * [backup-simplify]: Simplify (- 1) into -1 1.894 * [taylor]: Taking taylor expansion of -1 in a 1.894 * [backup-simplify]: Simplify -1 into -1 1.894 * [taylor]: Taking taylor expansion of -1 in a 1.894 * [backup-simplify]: Simplify -1 into -1 1.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.895 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.895 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.895 * [backup-simplify]: Simplify (+ 0 0) into 0 1.895 * [backup-simplify]: Simplify (+ 0 0) into 0 1.896 * [backup-simplify]: Simplify (- 0) into 0 1.896 * [taylor]: Taking taylor expansion of 0 in d 1.896 * [backup-simplify]: Simplify 0 into 0 1.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.896 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.896 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1.896 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.896 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.896 * [taylor]: Taking taylor expansion of a in a 1.896 * [backup-simplify]: Simplify 0 into 0 1.896 * [backup-simplify]: Simplify 1 into 1 1.897 * [backup-simplify]: Simplify (/ 1 1) into 1 1.897 * [backup-simplify]: Simplify (- 1) into -1 1.897 * [backup-simplify]: Simplify -1 into -1 1.897 * [taylor]: Taking taylor expansion of 0 in a 1.897 * [backup-simplify]: Simplify 0 into 0 1.897 * [backup-simplify]: Simplify -1 into -1 1.897 * [backup-simplify]: Simplify -1 into -1 1.897 * [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.898 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.898 * [backup-simplify]: Simplify (+ c (+ (+ b d) a)) into (+ a (+ b (+ c d))) 1.898 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b d a) around 0 1.898 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 1.898 * [taylor]: Taking taylor expansion of a in a 1.898 * [backup-simplify]: Simplify 0 into 0 1.898 * [backup-simplify]: Simplify 1 into 1 1.898 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 1.898 * [taylor]: Taking taylor expansion of b in a 1.898 * [backup-simplify]: Simplify b into b 1.898 * [taylor]: Taking taylor expansion of (+ c d) in a 1.898 * [taylor]: Taking taylor expansion of c in a 1.898 * [backup-simplify]: Simplify c into c 1.898 * [taylor]: Taking taylor expansion of d in a 1.898 * [backup-simplify]: Simplify d into d 1.898 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 1.898 * [taylor]: Taking taylor expansion of a in d 1.898 * [backup-simplify]: Simplify a into a 1.898 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 1.898 * [taylor]: Taking taylor expansion of b in d 1.898 * [backup-simplify]: Simplify b into b 1.898 * [taylor]: Taking taylor expansion of (+ c d) in d 1.898 * [taylor]: Taking taylor expansion of c in d 1.898 * [backup-simplify]: Simplify c into c 1.898 * [taylor]: Taking taylor expansion of d in d 1.898 * [backup-simplify]: Simplify 0 into 0 1.898 * [backup-simplify]: Simplify 1 into 1 1.898 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 1.898 * [taylor]: Taking taylor expansion of a in b 1.898 * [backup-simplify]: Simplify a into a 1.898 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 1.898 * [taylor]: Taking taylor expansion of b in b 1.898 * [backup-simplify]: Simplify 0 into 0 1.898 * [backup-simplify]: Simplify 1 into 1 1.898 * [taylor]: Taking taylor expansion of (+ c d) in b 1.898 * [taylor]: Taking taylor expansion of c in b 1.898 * [backup-simplify]: Simplify c into c 1.898 * [taylor]: Taking taylor expansion of d in b 1.898 * [backup-simplify]: Simplify d into d 1.898 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1.898 * [taylor]: Taking taylor expansion of a in c 1.898 * [backup-simplify]: Simplify a into a 1.898 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1.898 * [taylor]: Taking taylor expansion of b in c 1.898 * [backup-simplify]: Simplify b into b 1.898 * [taylor]: Taking taylor expansion of (+ c d) in c 1.898 * [taylor]: Taking taylor expansion of c in c 1.898 * [backup-simplify]: Simplify 0 into 0 1.898 * [backup-simplify]: Simplify 1 into 1 1.898 * [taylor]: Taking taylor expansion of d in c 1.898 * [backup-simplify]: Simplify d into d 1.898 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 1.898 * [taylor]: Taking taylor expansion of a in c 1.898 * [backup-simplify]: Simplify a into a 1.898 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 1.898 * [taylor]: Taking taylor expansion of b in c 1.898 * [backup-simplify]: Simplify b into b 1.898 * [taylor]: Taking taylor expansion of (+ c d) in c 1.898 * [taylor]: Taking taylor expansion of c in c 1.898 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify 1 into 1 1.899 * [taylor]: Taking taylor expansion of d in c 1.899 * [backup-simplify]: Simplify d into d 1.899 * [backup-simplify]: Simplify (+ 0 d) into d 1.899 * [backup-simplify]: Simplify (+ b d) into (+ b d) 1.899 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 1.899 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 1.899 * [taylor]: Taking taylor expansion of a in b 1.899 * [backup-simplify]: Simplify a into a 1.899 * [taylor]: Taking taylor expansion of (+ b d) in b 1.899 * [taylor]: Taking taylor expansion of b in b 1.899 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify 1 into 1 1.899 * [taylor]: Taking taylor expansion of d in b 1.899 * [backup-simplify]: Simplify d into d 1.899 * [backup-simplify]: Simplify (+ 0 d) into d 1.899 * [backup-simplify]: Simplify (+ a d) into (+ a d) 1.899 * [taylor]: Taking taylor expansion of (+ a d) in d 1.899 * [taylor]: Taking taylor expansion of a in d 1.899 * [backup-simplify]: Simplify a into a 1.899 * [taylor]: Taking taylor expansion of d in d 1.899 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify 1 into 1 1.899 * [backup-simplify]: Simplify (+ a 0) into a 1.899 * [taylor]: Taking taylor expansion of a in a 1.899 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify 1 into 1 1.899 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify (+ 1 0) into 1 1.900 * [backup-simplify]: Simplify (+ 0 1) into 1 1.900 * [backup-simplify]: Simplify (+ 0 1) into 1 1.900 * [taylor]: Taking taylor expansion of 1 in b 1.900 * [backup-simplify]: Simplify 1 into 1 1.900 * [taylor]: Taking taylor expansion of 1 in d 1.900 * [backup-simplify]: Simplify 1 into 1 1.900 * [taylor]: Taking taylor expansion of 1 in a 1.900 * [backup-simplify]: Simplify 1 into 1 1.900 * [backup-simplify]: Simplify 1 into 1 1.900 * [backup-simplify]: Simplify (+ 1 0) into 1 1.901 * [backup-simplify]: Simplify (+ 0 1) into 1 1.901 * [taylor]: Taking taylor expansion of 1 in d 1.901 * [backup-simplify]: Simplify 1 into 1 1.901 * [taylor]: Taking taylor expansion of 1 in a 1.901 * [backup-simplify]: Simplify 1 into 1 1.901 * [backup-simplify]: Simplify 1 into 1 1.901 * [backup-simplify]: Simplify (+ 0 1) into 1 1.901 * [taylor]: Taking taylor expansion of 1 in a 1.901 * [backup-simplify]: Simplify 1 into 1 1.901 * [backup-simplify]: Simplify 1 into 1 1.902 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ b (+ c d)) 1.902 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (+ (/ 1 b) (/ 1 d)) (/ 1 a))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 1.902 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b d a) around 0 1.902 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 1.902 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.902 * [taylor]: Taking taylor expansion of b in a 1.902 * [backup-simplify]: Simplify b into b 1.902 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.902 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 1.902 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.902 * [taylor]: Taking taylor expansion of a in a 1.902 * [backup-simplify]: Simplify 0 into 0 1.902 * [backup-simplify]: Simplify 1 into 1 1.902 * [backup-simplify]: Simplify (/ 1 1) into 1 1.902 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1.902 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.902 * [taylor]: Taking taylor expansion of c in a 1.902 * [backup-simplify]: Simplify c into c 1.902 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.902 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.902 * [taylor]: Taking taylor expansion of d in a 1.903 * [backup-simplify]: Simplify d into d 1.903 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.903 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 1.903 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.903 * [taylor]: Taking taylor expansion of b in d 1.903 * [backup-simplify]: Simplify b into b 1.903 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.903 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 1.903 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.903 * [taylor]: Taking taylor expansion of a in d 1.903 * [backup-simplify]: Simplify a into a 1.903 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.903 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1.903 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.903 * [taylor]: Taking taylor expansion of c in d 1.903 * [backup-simplify]: Simplify c into c 1.903 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.903 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.903 * [taylor]: Taking taylor expansion of d in d 1.903 * [backup-simplify]: Simplify 0 into 0 1.903 * [backup-simplify]: Simplify 1 into 1 1.903 * [backup-simplify]: Simplify (/ 1 1) into 1 1.903 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 1.903 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.903 * [taylor]: Taking taylor expansion of b in b 1.903 * [backup-simplify]: Simplify 0 into 0 1.903 * [backup-simplify]: Simplify 1 into 1 1.904 * [backup-simplify]: Simplify (/ 1 1) into 1 1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 1.904 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.904 * [taylor]: Taking taylor expansion of a in b 1.904 * [backup-simplify]: Simplify a into a 1.904 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1.904 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.904 * [taylor]: Taking taylor expansion of c in b 1.904 * [backup-simplify]: Simplify c into c 1.904 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.904 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.904 * [taylor]: Taking taylor expansion of d in b 1.904 * [backup-simplify]: Simplify d into d 1.904 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.904 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.905 * [taylor]: Taking taylor expansion of b in c 1.905 * [backup-simplify]: Simplify b into b 1.905 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.905 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.905 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.905 * [taylor]: Taking taylor expansion of a in c 1.905 * [backup-simplify]: Simplify a into a 1.905 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.905 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.905 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.905 * [taylor]: Taking taylor expansion of c in c 1.905 * [backup-simplify]: Simplify 0 into 0 1.905 * [backup-simplify]: Simplify 1 into 1 1.905 * [backup-simplify]: Simplify (/ 1 1) into 1 1.905 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.905 * [taylor]: Taking taylor expansion of d in c 1.906 * [backup-simplify]: Simplify d into d 1.906 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.906 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.906 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.906 * [taylor]: Taking taylor expansion of b in c 1.906 * [backup-simplify]: Simplify b into b 1.906 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.906 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.906 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.906 * [taylor]: Taking taylor expansion of a in c 1.906 * [backup-simplify]: Simplify a into a 1.906 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.906 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.906 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.906 * [taylor]: Taking taylor expansion of c in c 1.906 * [backup-simplify]: Simplify 0 into 0 1.906 * [backup-simplify]: Simplify 1 into 1 1.907 * [backup-simplify]: Simplify (/ 1 1) into 1 1.907 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.907 * [taylor]: Taking taylor expansion of d in c 1.907 * [backup-simplify]: Simplify d into d 1.907 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.907 * [backup-simplify]: Simplify (+ 1 0) into 1 1.908 * [backup-simplify]: Simplify (+ 0 1) into 1 1.908 * [backup-simplify]: Simplify (+ 0 1) into 1 1.908 * [taylor]: Taking taylor expansion of 1 in b 1.908 * [backup-simplify]: Simplify 1 into 1 1.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.909 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1.910 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.910 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.910 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.910 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.910 * [taylor]: Taking taylor expansion of b in b 1.910 * [backup-simplify]: Simplify 0 into 0 1.910 * [backup-simplify]: Simplify 1 into 1 1.911 * [backup-simplify]: Simplify (/ 1 1) into 1 1.911 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.911 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.911 * [taylor]: Taking taylor expansion of a in b 1.911 * [backup-simplify]: Simplify a into a 1.911 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.911 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.911 * [taylor]: Taking taylor expansion of d in b 1.911 * [backup-simplify]: Simplify d into d 1.911 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.911 * [backup-simplify]: Simplify (+ 1 0) into 1 1.912 * [taylor]: Taking taylor expansion of 1 in d 1.912 * [backup-simplify]: Simplify 1 into 1 1.912 * [taylor]: Taking taylor expansion of 1 in d 1.912 * [backup-simplify]: Simplify 1 into 1 1.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.913 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.914 * [backup-simplify]: Simplify (+ 0 0) into 0 1.914 * [backup-simplify]: Simplify (+ 0 0) into 0 1.915 * [backup-simplify]: Simplify (+ 0 0) into 0 1.915 * [taylor]: Taking taylor expansion of 0 in b 1.915 * [backup-simplify]: Simplify 0 into 0 1.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.916 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.916 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.916 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.916 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.916 * [taylor]: Taking taylor expansion of a in d 1.916 * [backup-simplify]: Simplify a into a 1.916 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.916 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.916 * [taylor]: Taking taylor expansion of d in d 1.916 * [backup-simplify]: Simplify 0 into 0 1.916 * [backup-simplify]: Simplify 1 into 1 1.917 * [backup-simplify]: Simplify (/ 1 1) into 1 1.917 * [backup-simplify]: Simplify (+ 0 1) into 1 1.917 * [taylor]: Taking taylor expansion of 1 in a 1.917 * [backup-simplify]: Simplify 1 into 1 1.917 * [taylor]: Taking taylor expansion of 0 in d 1.917 * [backup-simplify]: Simplify 0 into 0 1.917 * [taylor]: Taking taylor expansion of 1 in a 1.917 * [backup-simplify]: Simplify 1 into 1 1.918 * [taylor]: Taking taylor expansion of 1 in a 1.918 * [backup-simplify]: Simplify 1 into 1 1.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1.920 * [backup-simplify]: Simplify (+ 0 0) into 0 1.920 * [backup-simplify]: Simplify (+ 0 0) into 0 1.921 * [backup-simplify]: Simplify (+ 0 0) into 0 1.921 * [taylor]: Taking taylor expansion of 0 in b 1.921 * [backup-simplify]: Simplify 0 into 0 1.921 * [taylor]: Taking taylor expansion of 0 in d 1.921 * [backup-simplify]: Simplify 0 into 0 1.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.922 * [backup-simplify]: Simplify (+ 0 0) into 0 1.923 * [backup-simplify]: Simplify (+ 0 0) into 0 1.923 * [taylor]: Taking taylor expansion of 0 in d 1.923 * [backup-simplify]: Simplify 0 into 0 1.923 * [taylor]: Taking taylor expansion of 0 in d 1.923 * [backup-simplify]: Simplify 0 into 0 1.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.924 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.924 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.924 * [taylor]: Taking taylor expansion of a in a 1.924 * [backup-simplify]: Simplify 0 into 0 1.924 * [backup-simplify]: Simplify 1 into 1 1.924 * [backup-simplify]: Simplify (/ 1 1) into 1 1.924 * [backup-simplify]: Simplify 1 into 1 1.924 * [taylor]: Taking taylor expansion of 0 in a 1.924 * [backup-simplify]: Simplify 0 into 0 1.925 * [taylor]: Taking taylor expansion of 0 in a 1.925 * [backup-simplify]: Simplify 0 into 0 1.925 * [taylor]: Taking taylor expansion of 0 in a 1.925 * [backup-simplify]: Simplify 0 into 0 1.925 * [backup-simplify]: Simplify 1 into 1 1.925 * [backup-simplify]: Simplify 1 into 1 1.926 * [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.927 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (+ (/ 1 (- b)) (/ 1 (- d))) (/ 1 (- a)))) into (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) 1.927 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b d a) around 0 1.927 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a 1.927 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 1.927 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.927 * [taylor]: Taking taylor expansion of b in a 1.927 * [backup-simplify]: Simplify b into b 1.927 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.927 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 1.927 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.927 * [taylor]: Taking taylor expansion of a in a 1.927 * [backup-simplify]: Simplify 0 into 0 1.927 * [backup-simplify]: Simplify 1 into 1 1.928 * [backup-simplify]: Simplify (/ 1 1) into 1 1.928 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 1.928 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.928 * [taylor]: Taking taylor expansion of c in a 1.928 * [backup-simplify]: Simplify c into c 1.928 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.928 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.928 * [taylor]: Taking taylor expansion of d in a 1.928 * [backup-simplify]: Simplify d into d 1.928 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.928 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d 1.928 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 1.928 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.928 * [taylor]: Taking taylor expansion of b in d 1.928 * [backup-simplify]: Simplify b into b 1.928 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.928 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 1.928 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.928 * [taylor]: Taking taylor expansion of a in d 1.928 * [backup-simplify]: Simplify a into a 1.928 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.928 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 1.928 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.928 * [taylor]: Taking taylor expansion of c in d 1.928 * [backup-simplify]: Simplify c into c 1.928 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.928 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.928 * [taylor]: Taking taylor expansion of d in d 1.929 * [backup-simplify]: Simplify 0 into 0 1.929 * [backup-simplify]: Simplify 1 into 1 1.929 * [backup-simplify]: Simplify (/ 1 1) into 1 1.929 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b 1.929 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 1.929 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.929 * [taylor]: Taking taylor expansion of b in b 1.929 * [backup-simplify]: Simplify 0 into 0 1.929 * [backup-simplify]: Simplify 1 into 1 1.930 * [backup-simplify]: Simplify (/ 1 1) into 1 1.930 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 1.930 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.930 * [taylor]: Taking taylor expansion of a in b 1.930 * [backup-simplify]: Simplify a into a 1.930 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.930 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 1.930 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.930 * [taylor]: Taking taylor expansion of c in b 1.930 * [backup-simplify]: Simplify c into c 1.930 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 1.930 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.930 * [taylor]: Taking taylor expansion of d in b 1.930 * [backup-simplify]: Simplify d into d 1.930 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.930 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 1.930 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.930 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.930 * [taylor]: Taking taylor expansion of b in c 1.930 * [backup-simplify]: Simplify b into b 1.930 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.930 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.930 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.930 * [taylor]: Taking taylor expansion of a in c 1.930 * [backup-simplify]: Simplify a into a 1.931 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.931 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.931 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.931 * [taylor]: Taking taylor expansion of c in c 1.931 * [backup-simplify]: Simplify 0 into 0 1.931 * [backup-simplify]: Simplify 1 into 1 1.931 * [backup-simplify]: Simplify (/ 1 1) into 1 1.931 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.931 * [taylor]: Taking taylor expansion of d in c 1.931 * [backup-simplify]: Simplify d into d 1.931 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.931 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 1.931 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 1.931 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.931 * [taylor]: Taking taylor expansion of b in c 1.931 * [backup-simplify]: Simplify b into b 1.931 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.931 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 1.932 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.932 * [taylor]: Taking taylor expansion of a in c 1.932 * [backup-simplify]: Simplify a into a 1.932 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.932 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 1.932 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.932 * [taylor]: Taking taylor expansion of c in c 1.932 * [backup-simplify]: Simplify 0 into 0 1.932 * [backup-simplify]: Simplify 1 into 1 1.932 * [backup-simplify]: Simplify (/ 1 1) into 1 1.932 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.932 * [taylor]: Taking taylor expansion of d in c 1.932 * [backup-simplify]: Simplify d into d 1.932 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.933 * [backup-simplify]: Simplify (+ 1 0) into 1 1.933 * [backup-simplify]: Simplify (+ 0 1) into 1 1.934 * [backup-simplify]: Simplify (+ 0 1) into 1 1.934 * [backup-simplify]: Simplify (- 1) into -1 1.934 * [taylor]: Taking taylor expansion of -1 in b 1.934 * [backup-simplify]: Simplify -1 into -1 1.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.936 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 1.936 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.936 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 1.936 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 1.936 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 1.936 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 1.936 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.936 * [taylor]: Taking taylor expansion of b in b 1.936 * [backup-simplify]: Simplify 0 into 0 1.936 * [backup-simplify]: Simplify 1 into 1 1.937 * [backup-simplify]: Simplify (/ 1 1) into 1 1.937 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 1.937 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.937 * [taylor]: Taking taylor expansion of a in b 1.937 * [backup-simplify]: Simplify a into a 1.937 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.937 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.937 * [taylor]: Taking taylor expansion of d in b 1.937 * [backup-simplify]: Simplify d into d 1.937 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 1.938 * [backup-simplify]: Simplify (+ 1 0) into 1 1.938 * [backup-simplify]: Simplify (- 1) into -1 1.938 * [taylor]: Taking taylor expansion of -1 in d 1.938 * [backup-simplify]: Simplify -1 into -1 1.938 * [taylor]: Taking taylor expansion of -1 in d 1.938 * [backup-simplify]: Simplify -1 into -1 1.938 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.940 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.940 * [backup-simplify]: Simplify (+ 0 0) into 0 1.940 * [backup-simplify]: Simplify (+ 0 0) into 0 1.941 * [backup-simplify]: Simplify (+ 0 0) into 0 1.941 * [backup-simplify]: Simplify (- 0) into 0 1.941 * [taylor]: Taking taylor expansion of 0 in b 1.941 * [backup-simplify]: Simplify 0 into 0 1.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.942 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 1.942 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 1.943 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 1.943 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 1.943 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 1.943 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.943 * [taylor]: Taking taylor expansion of a in d 1.943 * [backup-simplify]: Simplify a into a 1.943 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.943 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.943 * [taylor]: Taking taylor expansion of d in d 1.943 * [backup-simplify]: Simplify 0 into 0 1.943 * [backup-simplify]: Simplify 1 into 1 1.943 * [backup-simplify]: Simplify (/ 1 1) into 1 1.944 * [backup-simplify]: Simplify (+ 0 1) into 1 1.944 * [backup-simplify]: Simplify (- 1) into -1 1.944 * [taylor]: Taking taylor expansion of -1 in a 1.944 * [backup-simplify]: Simplify -1 into -1 1.944 * [taylor]: Taking taylor expansion of 0 in d 1.944 * [backup-simplify]: Simplify 0 into 0 1.944 * [taylor]: Taking taylor expansion of -1 in a 1.944 * [backup-simplify]: Simplify -1 into -1 1.944 * [taylor]: Taking taylor expansion of -1 in a 1.944 * [backup-simplify]: Simplify -1 into -1 1.945 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.945 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.946 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 1.947 * [backup-simplify]: Simplify (+ 0 0) into 0 1.947 * [backup-simplify]: Simplify (+ 0 0) into 0 1.947 * [backup-simplify]: Simplify (+ 0 0) into 0 1.948 * [backup-simplify]: Simplify (- 0) into 0 1.948 * [taylor]: Taking taylor expansion of 0 in b 1.948 * [backup-simplify]: Simplify 0 into 0 1.948 * [taylor]: Taking taylor expansion of 0 in d 1.948 * [backup-simplify]: Simplify 0 into 0 1.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 1.950 * [backup-simplify]: Simplify (+ 0 0) into 0 1.950 * [backup-simplify]: Simplify (+ 0 0) into 0 1.950 * [backup-simplify]: Simplify (- 0) into 0 1.950 * [taylor]: Taking taylor expansion of 0 in d 1.950 * [backup-simplify]: Simplify 0 into 0 1.950 * [taylor]: Taking taylor expansion of 0 in d 1.951 * [backup-simplify]: Simplify 0 into 0 1.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.952 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.952 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 1.952 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.952 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.952 * [taylor]: Taking taylor expansion of a in a 1.952 * [backup-simplify]: Simplify 0 into 0 1.952 * [backup-simplify]: Simplify 1 into 1 1.952 * [backup-simplify]: Simplify (/ 1 1) into 1 1.953 * [backup-simplify]: Simplify (- 1) into -1 1.953 * [backup-simplify]: Simplify -1 into -1 1.953 * [taylor]: Taking taylor expansion of 0 in a 1.953 * [backup-simplify]: Simplify 0 into 0 1.953 * [taylor]: Taking taylor expansion of 0 in a 1.953 * [backup-simplify]: Simplify 0 into 0 1.953 * [taylor]: Taking taylor expansion of 0 in a 1.953 * [backup-simplify]: Simplify 0 into 0 1.953 * [backup-simplify]: Simplify -1 into -1 1.953 * [backup-simplify]: Simplify -1 into -1 1.954 * [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.954 * * * [progress]: simplifying candidates 1.955 * [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.956 * * [simplify]: iteration 0: 57 enodes 1.976 * * [simplify]: iteration 1: 168 enodes 2.052 * * [simplify]: iteration 2: 647 enodes 2.645 * * [simplify]: iteration 3: 4212 enodes 3.637 * * [simplify]: iteration complete: 5001 enodes 3.637 * * [simplify]: Extracting #0: cost 24 inf + 0 3.638 * * [simplify]: Extracting #1: cost 334 inf + 0 3.641 * * [simplify]: Extracting #2: cost 1219 inf + 332 3.647 * * [simplify]: Extracting #3: cost 984 inf + 5806 3.654 * * [simplify]: Extracting #4: cost 205 inf + 15702 3.664 * * [simplify]: Extracting #5: cost 59 inf + 17807 3.675 * * [simplify]: Extracting #6: cost 15 inf + 18036 3.692 * * [simplify]: Extracting #7: cost 0 inf + 18117 3.699 * [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.700 * * * [progress]: adding candidates to table 3.840 * * [progress]: iteration 3 / 4 3.840 * * * [progress]: picking best candidate 3.859 * * * * [pick]: Picked # 3.859 * * * [progress]: localizing error 3.885 * * * [progress]: generating rewritten candidates 3.885 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2) 3.927 * * * [progress]: generating series expansions 3.927 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2) 3.927 * [backup-simplify]: Simplify (+ c (+ b (+ a d))) into (+ a (+ b (+ c d))) 3.927 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (c b a d) around 0 3.927 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 3.927 * [taylor]: Taking taylor expansion of a in d 3.927 * [backup-simplify]: Simplify a into a 3.927 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 3.927 * [taylor]: Taking taylor expansion of b in d 3.927 * [backup-simplify]: Simplify b into b 3.927 * [taylor]: Taking taylor expansion of (+ c d) in d 3.927 * [taylor]: Taking taylor expansion of c in d 3.927 * [backup-simplify]: Simplify c into c 3.927 * [taylor]: Taking taylor expansion of d in d 3.927 * [backup-simplify]: Simplify 0 into 0 3.927 * [backup-simplify]: Simplify 1 into 1 3.927 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 3.927 * [taylor]: Taking taylor expansion of a in a 3.927 * [backup-simplify]: Simplify 0 into 0 3.927 * [backup-simplify]: Simplify 1 into 1 3.927 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 3.927 * [taylor]: Taking taylor expansion of b in a 3.927 * [backup-simplify]: Simplify b into b 3.927 * [taylor]: Taking taylor expansion of (+ c d) in a 3.927 * [taylor]: Taking taylor expansion of c in a 3.928 * [backup-simplify]: Simplify c into c 3.928 * [taylor]: Taking taylor expansion of d in a 3.928 * [backup-simplify]: Simplify d into d 3.928 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 3.928 * [taylor]: Taking taylor expansion of a in b 3.928 * [backup-simplify]: Simplify a into a 3.928 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 3.928 * [taylor]: Taking taylor expansion of b in b 3.928 * [backup-simplify]: Simplify 0 into 0 3.928 * [backup-simplify]: Simplify 1 into 1 3.928 * [taylor]: Taking taylor expansion of (+ c d) in b 3.928 * [taylor]: Taking taylor expansion of c in b 3.928 * [backup-simplify]: Simplify c into c 3.928 * [taylor]: Taking taylor expansion of d in b 3.928 * [backup-simplify]: Simplify d into d 3.928 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 3.928 * [taylor]: Taking taylor expansion of a in c 3.928 * [backup-simplify]: Simplify a into a 3.928 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 3.928 * [taylor]: Taking taylor expansion of b in c 3.928 * [backup-simplify]: Simplify b into b 3.928 * [taylor]: Taking taylor expansion of (+ c d) in c 3.928 * [taylor]: Taking taylor expansion of c in c 3.928 * [backup-simplify]: Simplify 0 into 0 3.928 * [backup-simplify]: Simplify 1 into 1 3.928 * [taylor]: Taking taylor expansion of d in c 3.928 * [backup-simplify]: Simplify d into d 3.928 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 3.928 * [taylor]: Taking taylor expansion of a in c 3.928 * [backup-simplify]: Simplify a into a 3.928 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 3.928 * [taylor]: Taking taylor expansion of b in c 3.928 * [backup-simplify]: Simplify b into b 3.928 * [taylor]: Taking taylor expansion of (+ c d) in c 3.928 * [taylor]: Taking taylor expansion of c in c 3.928 * [backup-simplify]: Simplify 0 into 0 3.928 * [backup-simplify]: Simplify 1 into 1 3.928 * [taylor]: Taking taylor expansion of d in c 3.928 * [backup-simplify]: Simplify d into d 3.928 * [backup-simplify]: Simplify (+ 0 d) into d 3.928 * [backup-simplify]: Simplify (+ b d) into (+ b d) 3.929 * [backup-simplify]: Simplify (+ a (+ b d)) into (+ a (+ b d)) 3.929 * [taylor]: Taking taylor expansion of (+ a (+ b d)) in b 3.929 * [taylor]: Taking taylor expansion of a in b 3.929 * [backup-simplify]: Simplify a into a 3.929 * [taylor]: Taking taylor expansion of (+ b d) in b 3.929 * [taylor]: Taking taylor expansion of b in b 3.929 * [backup-simplify]: Simplify 0 into 0 3.929 * [backup-simplify]: Simplify 1 into 1 3.929 * [taylor]: Taking taylor expansion of d in b 3.929 * [backup-simplify]: Simplify d into d 3.929 * [backup-simplify]: Simplify (+ 0 d) into d 3.929 * [backup-simplify]: Simplify (+ a d) into (+ a d) 3.929 * [taylor]: Taking taylor expansion of (+ a d) in a 3.929 * [taylor]: Taking taylor expansion of a in a 3.929 * [backup-simplify]: Simplify 0 into 0 3.929 * [backup-simplify]: Simplify 1 into 1 3.929 * [taylor]: Taking taylor expansion of d in a 3.929 * [backup-simplify]: Simplify d into d 3.929 * [backup-simplify]: Simplify (+ 0 d) into d 3.929 * [taylor]: Taking taylor expansion of d in d 3.929 * [backup-simplify]: Simplify 0 into 0 3.929 * [backup-simplify]: Simplify 1 into 1 3.929 * [backup-simplify]: Simplify 0 into 0 3.930 * [backup-simplify]: Simplify (+ 1 0) into 1 3.930 * [backup-simplify]: Simplify (+ 0 1) into 1 3.931 * [backup-simplify]: Simplify (+ 0 1) into 1 3.931 * [taylor]: Taking taylor expansion of 1 in b 3.931 * [backup-simplify]: Simplify 1 into 1 3.931 * [taylor]: Taking taylor expansion of 1 in a 3.931 * [backup-simplify]: Simplify 1 into 1 3.931 * [taylor]: Taking taylor expansion of 1 in d 3.931 * [backup-simplify]: Simplify 1 into 1 3.931 * [backup-simplify]: Simplify 1 into 1 3.932 * [backup-simplify]: Simplify (+ 1 0) into 1 3.932 * [backup-simplify]: Simplify (+ 0 1) into 1 3.932 * [taylor]: Taking taylor expansion of 1 in a 3.932 * [backup-simplify]: Simplify 1 into 1 3.932 * [taylor]: Taking taylor expansion of 1 in d 3.932 * [backup-simplify]: Simplify 1 into 1 3.932 * [backup-simplify]: Simplify 1 into 1 3.933 * [backup-simplify]: Simplify (+ 1 0) into 1 3.933 * [taylor]: Taking taylor expansion of 1 in d 3.933 * [backup-simplify]: Simplify 1 into 1 3.933 * [backup-simplify]: Simplify 1 into 1 3.933 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* a (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 c)))))) into (+ a (+ b c)) 3.934 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 3.934 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in (c b a d) around 0 3.934 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 3.934 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.934 * [taylor]: Taking taylor expansion of b in d 3.934 * [backup-simplify]: Simplify b into b 3.934 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.934 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 3.934 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.934 * [taylor]: Taking taylor expansion of a in d 3.934 * [backup-simplify]: Simplify a into a 3.934 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.934 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 3.934 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.934 * [taylor]: Taking taylor expansion of c in d 3.934 * [backup-simplify]: Simplify c into c 3.934 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.934 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.934 * [taylor]: Taking taylor expansion of d in d 3.934 * [backup-simplify]: Simplify 0 into 0 3.934 * [backup-simplify]: Simplify 1 into 1 3.935 * [backup-simplify]: Simplify (/ 1 1) into 1 3.935 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 3.935 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.935 * [taylor]: Taking taylor expansion of b in a 3.935 * [backup-simplify]: Simplify b into b 3.935 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.935 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 3.935 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.935 * [taylor]: Taking taylor expansion of a in a 3.935 * [backup-simplify]: Simplify 0 into 0 3.935 * [backup-simplify]: Simplify 1 into 1 3.935 * [backup-simplify]: Simplify (/ 1 1) into 1 3.935 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 3.935 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.935 * [taylor]: Taking taylor expansion of c in a 3.935 * [backup-simplify]: Simplify c into c 3.935 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.935 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.935 * [taylor]: Taking taylor expansion of d in a 3.935 * [backup-simplify]: Simplify d into d 3.935 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.936 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 3.936 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.936 * [taylor]: Taking taylor expansion of b in b 3.936 * [backup-simplify]: Simplify 0 into 0 3.936 * [backup-simplify]: Simplify 1 into 1 3.936 * [backup-simplify]: Simplify (/ 1 1) into 1 3.936 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 3.936 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.936 * [taylor]: Taking taylor expansion of a in b 3.936 * [backup-simplify]: Simplify a into a 3.936 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.936 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 3.936 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.936 * [taylor]: Taking taylor expansion of c in b 3.936 * [backup-simplify]: Simplify c into c 3.936 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.936 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.936 * [taylor]: Taking taylor expansion of d in b 3.936 * [backup-simplify]: Simplify d into d 3.936 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.936 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.936 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.936 * [taylor]: Taking taylor expansion of b in c 3.937 * [backup-simplify]: Simplify b into b 3.937 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.937 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.937 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.937 * [taylor]: Taking taylor expansion of a in c 3.937 * [backup-simplify]: Simplify a into a 3.937 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.937 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.937 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.937 * [taylor]: Taking taylor expansion of c in c 3.937 * [backup-simplify]: Simplify 0 into 0 3.937 * [backup-simplify]: Simplify 1 into 1 3.937 * [backup-simplify]: Simplify (/ 1 1) into 1 3.937 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.937 * [taylor]: Taking taylor expansion of d in c 3.937 * [backup-simplify]: Simplify d into d 3.937 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.937 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.937 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.937 * [taylor]: Taking taylor expansion of b in c 3.937 * [backup-simplify]: Simplify b into b 3.937 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.937 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.937 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.937 * [taylor]: Taking taylor expansion of a in c 3.938 * [backup-simplify]: Simplify a into a 3.938 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.938 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.938 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.938 * [taylor]: Taking taylor expansion of c in c 3.938 * [backup-simplify]: Simplify 0 into 0 3.938 * [backup-simplify]: Simplify 1 into 1 3.938 * [backup-simplify]: Simplify (/ 1 1) into 1 3.938 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.938 * [taylor]: Taking taylor expansion of d in c 3.938 * [backup-simplify]: Simplify d into d 3.938 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.939 * [backup-simplify]: Simplify (+ 1 0) into 1 3.939 * [backup-simplify]: Simplify (+ 0 1) into 1 3.940 * [backup-simplify]: Simplify (+ 0 1) into 1 3.940 * [taylor]: Taking taylor expansion of 1 in b 3.940 * [backup-simplify]: Simplify 1 into 1 3.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.941 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.941 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.941 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 3.941 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 3.941 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.941 * [taylor]: Taking taylor expansion of b in b 3.941 * [backup-simplify]: Simplify 0 into 0 3.941 * [backup-simplify]: Simplify 1 into 1 3.942 * [backup-simplify]: Simplify (/ 1 1) into 1 3.942 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 3.942 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.942 * [taylor]: Taking taylor expansion of a in b 3.942 * [backup-simplify]: Simplify a into a 3.942 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.942 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.942 * [taylor]: Taking taylor expansion of d in b 3.942 * [backup-simplify]: Simplify d into d 3.942 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.943 * [backup-simplify]: Simplify (+ 1 0) into 1 3.943 * [taylor]: Taking taylor expansion of 1 in a 3.943 * [backup-simplify]: Simplify 1 into 1 3.943 * [taylor]: Taking taylor expansion of 1 in a 3.943 * [backup-simplify]: Simplify 1 into 1 3.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.945 * [backup-simplify]: Simplify (+ 0 0) into 0 3.945 * [backup-simplify]: Simplify (+ 0 0) into 0 3.945 * [backup-simplify]: Simplify (+ 0 0) into 0 3.945 * [taylor]: Taking taylor expansion of 0 in b 3.945 * [backup-simplify]: Simplify 0 into 0 3.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.946 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.946 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 3.946 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 3.946 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.946 * [taylor]: Taking taylor expansion of a in a 3.946 * [backup-simplify]: Simplify 0 into 0 3.946 * [backup-simplify]: Simplify 1 into 1 3.946 * [backup-simplify]: Simplify (/ 1 1) into 1 3.946 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.947 * [taylor]: Taking taylor expansion of d in a 3.947 * [backup-simplify]: Simplify d into d 3.947 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.947 * [backup-simplify]: Simplify (+ 1 0) into 1 3.947 * [taylor]: Taking taylor expansion of 1 in d 3.947 * [backup-simplify]: Simplify 1 into 1 3.947 * [taylor]: Taking taylor expansion of 0 in a 3.947 * [backup-simplify]: Simplify 0 into 0 3.947 * [taylor]: Taking taylor expansion of 1 in d 3.947 * [backup-simplify]: Simplify 1 into 1 3.947 * [taylor]: Taking taylor expansion of 1 in d 3.947 * [backup-simplify]: Simplify 1 into 1 3.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.948 * [backup-simplify]: Simplify (+ 0 0) into 0 3.949 * [backup-simplify]: Simplify (+ 0 0) into 0 3.949 * [backup-simplify]: Simplify (+ 0 0) into 0 3.949 * [taylor]: Taking taylor expansion of 0 in b 3.949 * [backup-simplify]: Simplify 0 into 0 3.949 * [taylor]: Taking taylor expansion of 0 in a 3.949 * [backup-simplify]: Simplify 0 into 0 3.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.950 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.950 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.950 * [backup-simplify]: Simplify (+ 0 0) into 0 3.950 * [backup-simplify]: Simplify (+ 0 0) into 0 3.950 * [taylor]: Taking taylor expansion of 0 in a 3.950 * [backup-simplify]: Simplify 0 into 0 3.950 * [taylor]: Taking taylor expansion of 0 in a 3.950 * [backup-simplify]: Simplify 0 into 0 3.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.951 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.951 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.951 * [taylor]: Taking taylor expansion of d in d 3.951 * [backup-simplify]: Simplify 0 into 0 3.951 * [backup-simplify]: Simplify 1 into 1 3.951 * [backup-simplify]: Simplify (/ 1 1) into 1 3.951 * [backup-simplify]: Simplify 1 into 1 3.951 * [taylor]: Taking taylor expansion of 0 in d 3.951 * [backup-simplify]: Simplify 0 into 0 3.951 * [taylor]: Taking taylor expansion of 0 in d 3.951 * [backup-simplify]: Simplify 0 into 0 3.951 * [taylor]: Taking taylor expansion of 0 in d 3.951 * [backup-simplify]: Simplify 0 into 0 3.951 * [backup-simplify]: Simplify 1 into 1 3.951 * [backup-simplify]: Simplify 1 into 1 3.952 * [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.952 * [backup-simplify]: Simplify (+ (/ 1 (- c)) (+ (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- d))))) into (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) 3.952 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in (c b a d) around 0 3.952 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in d 3.952 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in d 3.952 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.952 * [taylor]: Taking taylor expansion of b in d 3.952 * [backup-simplify]: Simplify b into b 3.953 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.953 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in d 3.953 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.953 * [taylor]: Taking taylor expansion of a in d 3.953 * [backup-simplify]: Simplify a into a 3.953 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.953 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 3.953 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.953 * [taylor]: Taking taylor expansion of c in d 3.953 * [backup-simplify]: Simplify c into c 3.953 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.953 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.953 * [taylor]: Taking taylor expansion of d in d 3.953 * [backup-simplify]: Simplify 0 into 0 3.953 * [backup-simplify]: Simplify 1 into 1 3.953 * [backup-simplify]: Simplify (/ 1 1) into 1 3.953 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in a 3.953 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in a 3.953 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.953 * [taylor]: Taking taylor expansion of b in a 3.953 * [backup-simplify]: Simplify b into b 3.953 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.953 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in a 3.953 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.953 * [taylor]: Taking taylor expansion of a in a 3.953 * [backup-simplify]: Simplify 0 into 0 3.953 * [backup-simplify]: Simplify 1 into 1 3.953 * [backup-simplify]: Simplify (/ 1 1) into 1 3.953 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 3.953 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.954 * [taylor]: Taking taylor expansion of c in a 3.954 * [backup-simplify]: Simplify c into c 3.954 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.954 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.954 * [taylor]: Taking taylor expansion of d in a 3.954 * [backup-simplify]: Simplify d into d 3.954 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.954 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in b 3.954 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in b 3.954 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.954 * [taylor]: Taking taylor expansion of b in b 3.954 * [backup-simplify]: Simplify 0 into 0 3.954 * [backup-simplify]: Simplify 1 into 1 3.954 * [backup-simplify]: Simplify (/ 1 1) into 1 3.954 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in b 3.954 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.954 * [taylor]: Taking taylor expansion of a in b 3.954 * [backup-simplify]: Simplify a into a 3.954 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.954 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 3.954 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.954 * [taylor]: Taking taylor expansion of c in b 3.954 * [backup-simplify]: Simplify c into c 3.954 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 3.954 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.954 * [taylor]: Taking taylor expansion of d in b 3.954 * [backup-simplify]: Simplify d into d 3.954 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.954 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 3.954 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.954 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.954 * [taylor]: Taking taylor expansion of b in c 3.954 * [backup-simplify]: Simplify b into b 3.954 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.954 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.954 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.954 * [taylor]: Taking taylor expansion of a in c 3.954 * [backup-simplify]: Simplify a into a 3.954 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.954 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.954 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.955 * [taylor]: Taking taylor expansion of c in c 3.955 * [backup-simplify]: Simplify 0 into 0 3.955 * [backup-simplify]: Simplify 1 into 1 3.955 * [backup-simplify]: Simplify (/ 1 1) into 1 3.955 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.955 * [taylor]: Taking taylor expansion of d in c 3.955 * [backup-simplify]: Simplify d into d 3.955 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.955 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))))) in c 3.955 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 3.955 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.955 * [taylor]: Taking taylor expansion of b in c 3.955 * [backup-simplify]: Simplify b into b 3.955 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.955 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 3.955 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.955 * [taylor]: Taking taylor expansion of a in c 3.955 * [backup-simplify]: Simplify a into a 3.955 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.955 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 3.955 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.955 * [taylor]: Taking taylor expansion of c in c 3.955 * [backup-simplify]: Simplify 0 into 0 3.955 * [backup-simplify]: Simplify 1 into 1 3.955 * [backup-simplify]: Simplify (/ 1 1) into 1 3.955 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.955 * [taylor]: Taking taylor expansion of d in c 3.955 * [backup-simplify]: Simplify d into d 3.956 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.956 * [backup-simplify]: Simplify (+ 1 0) into 1 3.956 * [backup-simplify]: Simplify (+ 0 1) into 1 3.956 * [backup-simplify]: Simplify (+ 0 1) into 1 3.957 * [backup-simplify]: Simplify (- 1) into -1 3.957 * [taylor]: Taking taylor expansion of -1 in b 3.957 * [backup-simplify]: Simplify -1 into -1 3.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.957 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.957 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.957 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) 3.957 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) 3.957 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (/ 1 d)))) in b 3.957 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (/ 1 d))) in b 3.957 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.958 * [taylor]: Taking taylor expansion of b in b 3.958 * [backup-simplify]: Simplify 0 into 0 3.958 * [backup-simplify]: Simplify 1 into 1 3.958 * [backup-simplify]: Simplify (/ 1 1) into 1 3.958 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in b 3.958 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.958 * [taylor]: Taking taylor expansion of a in b 3.958 * [backup-simplify]: Simplify a into a 3.958 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.958 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.958 * [taylor]: Taking taylor expansion of d in b 3.958 * [backup-simplify]: Simplify d into d 3.958 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.958 * [backup-simplify]: Simplify (+ 1 0) into 1 3.958 * [backup-simplify]: Simplify (- 1) into -1 3.958 * [taylor]: Taking taylor expansion of -1 in a 3.958 * [backup-simplify]: Simplify -1 into -1 3.959 * [taylor]: Taking taylor expansion of -1 in a 3.959 * [backup-simplify]: Simplify -1 into -1 3.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.960 * [backup-simplify]: Simplify (+ 0 0) into 0 3.960 * [backup-simplify]: Simplify (+ 0 0) into 0 3.960 * [backup-simplify]: Simplify (+ 0 0) into 0 3.960 * [backup-simplify]: Simplify (- 0) into 0 3.960 * [taylor]: Taking taylor expansion of 0 in b 3.960 * [backup-simplify]: Simplify 0 into 0 3.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.961 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 3.961 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (/ 1 d)) 3.961 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 3.961 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in a 3.961 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in a 3.961 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.961 * [taylor]: Taking taylor expansion of a in a 3.961 * [backup-simplify]: Simplify 0 into 0 3.961 * [backup-simplify]: Simplify 1 into 1 3.961 * [backup-simplify]: Simplify (/ 1 1) into 1 3.961 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.961 * [taylor]: Taking taylor expansion of d in a 3.961 * [backup-simplify]: Simplify d into d 3.961 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 3.962 * [backup-simplify]: Simplify (+ 1 0) into 1 3.962 * [backup-simplify]: Simplify (- 1) into -1 3.962 * [taylor]: Taking taylor expansion of -1 in d 3.962 * [backup-simplify]: Simplify -1 into -1 3.962 * [taylor]: Taking taylor expansion of 0 in a 3.962 * [backup-simplify]: Simplify 0 into 0 3.962 * [taylor]: Taking taylor expansion of -1 in d 3.962 * [backup-simplify]: Simplify -1 into -1 3.962 * [taylor]: Taking taylor expansion of -1 in d 3.962 * [backup-simplify]: Simplify -1 into -1 3.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 3.963 * [backup-simplify]: Simplify (+ 0 0) into 0 3.963 * [backup-simplify]: Simplify (+ 0 0) into 0 3.964 * [backup-simplify]: Simplify (+ 0 0) into 0 3.964 * [backup-simplify]: Simplify (- 0) into 0 3.964 * [taylor]: Taking taylor expansion of 0 in b 3.964 * [backup-simplify]: Simplify 0 into 0 3.964 * [taylor]: Taking taylor expansion of 0 in a 3.964 * [backup-simplify]: Simplify 0 into 0 3.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 3.965 * [backup-simplify]: Simplify (+ 0 0) into 0 3.968 * [backup-simplify]: Simplify (+ 0 0) into 0 3.968 * [backup-simplify]: Simplify (- 0) into 0 3.968 * [taylor]: Taking taylor expansion of 0 in a 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [taylor]: Taking taylor expansion of 0 in a 3.968 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.969 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 3.969 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 3.969 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 3.969 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.969 * [taylor]: Taking taylor expansion of d in d 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 1 into 1 3.969 * [backup-simplify]: Simplify (/ 1 1) into 1 3.969 * [backup-simplify]: Simplify (- 1) into -1 3.969 * [backup-simplify]: Simplify -1 into -1 3.969 * [taylor]: Taking taylor expansion of 0 in d 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [taylor]: Taking taylor expansion of 0 in d 3.969 * [backup-simplify]: Simplify 0 into 0 3.970 * [taylor]: Taking taylor expansion of 0 in d 3.970 * [backup-simplify]: Simplify 0 into 0 3.970 * [backup-simplify]: Simplify -1 into -1 3.970 * [backup-simplify]: Simplify -1 into -1 3.970 * [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.970 * * * [progress]: simplifying candidates 3.971 * [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.971 * * [simplify]: iteration 0: 42 enodes 3.980 * * [simplify]: iteration 1: 117 enodes 4.023 * * [simplify]: iteration 2: 451 enodes 4.450 * * [simplify]: iteration 3: 3770 enodes 5.860 * * [simplify]: iteration complete: 5000 enodes 5.860 * * [simplify]: Extracting #0: cost 14 inf + 0 5.861 * * [simplify]: Extracting #1: cost 269 inf + 0 5.865 * * [simplify]: Extracting #2: cost 1518 inf + 280 5.871 * * [simplify]: Extracting #3: cost 1042 inf + 10975 5.894 * * [simplify]: Extracting #4: cost 149 inf + 23044 5.904 * * [simplify]: Extracting #5: cost 45 inf + 24558 5.911 * * [simplify]: Extracting #6: cost 6 inf + 24761 5.917 * * [simplify]: Extracting #7: cost 0 inf + 24807 5.923 * [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.924 * * * [progress]: adding candidates to table 5.996 * * [progress]: iteration 4 / 4 5.996 * * * [progress]: picking best candidate 6.000 * * * * [pick]: Picked # 6.000 * * * [progress]: localizing error 6.011 * * * [progress]: generating rewritten candidates 6.011 * * * [progress]: generating series expansions 6.011 * * * [progress]: simplifying candidates 6.011 * [simplify]: Simplifying: 6.011 * * [simplify]: iteration 0: 0 enodes 6.011 * * [simplify]: iteration complete: 0 enodes 6.011 * * [simplify]: Extracting #0: cost 0 inf + 0 6.011 * [simplify]: Simplified to: 6.011 * * * [progress]: adding candidates to table 6.012 * [progress]: [Phase 3 of 3] Extracting. 6.015 * [simplify]: Simplifying: (* 2.0 (* 1 (+ (+ c b) (+ a d)))) 6.015 * * [simplify]: iteration 0: 11 enodes 6.016 * * [simplify]: iteration 1: 18 enodes 6.017 * * [simplify]: iteration 2: 19 enodes 6.017 * * [simplify]: iteration complete: 19 enodes 6.017 * * [simplify]: Extracting #0: cost 1 inf + 0 6.017 * * [simplify]: Extracting #1: cost 3 inf + 0 6.017 * * [simplify]: Extracting #2: cost 5 inf + 1 6.017 * * [simplify]: Extracting #3: cost 8 inf + 2 6.017 * * [simplify]: Extracting #4: cost 0 inf + 28 6.017 * [simplify]: Simplified to: (* (+ (+ a d) (+ b c)) 2.0) 7.672 * [regime-testing]: Baseline error score: 0 7.674 * [regime-testing]: Oracle error score: 0 7.674 * [regime-testing]: End program error score: 0 7.771 * [regime-testing]: Target error score: 3.832071131309912