0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.075 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.078 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.078 * [simplify]: Simplifying (* (+ a (+ b (+ c d))) 2) 0.078 * * [simplify]: iteration 1: (9 enodes) 0.081 * * [simplify]: iteration 2: (35 enodes) 0.086 * * [simplify]: iteration 3: (73 enodes) 0.100 * * [simplify]: iteration 4: (178 enodes) 0.164 * * [simplify]: iteration 5: (375 enodes) 0.299 * * [simplify]: iteration 6: (497 enodes) 0.435 * * [simplify]: iteration 7: (501 enodes) 0.509 * * [simplify]: Extracting #0: cost 1 inf + 0 0.509 * * [simplify]: Extracting #1: cost 32 inf + 0 0.510 * * [simplify]: Extracting #2: cost 44 inf + 520 0.513 * * [simplify]: Extracting #3: cost 5 inf + 3500 0.518 * * [simplify]: Extracting #4: cost 0 inf + 4075 0.522 * [simplify]: Simplified to (* 2 (+ (+ (+ b d) a) c)) 0.523 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.523 * [simplify]: Simplified (2) to (λ (a b c d) (* 2 (+ (+ (+ b d) a) c))) 0.529 * * [progress]: iteration 1 / 4 0.529 * * * [progress]: picking best candidate 0.534 * * * * [pick]: Picked # 0.534 * * * [progress]: localizing error 0.558 * * * [progress]: generating rewritten candidates 0.558 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.622 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 0.639 * * * [progress]: generating series expansions 0.639 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.640 * [backup-simplify]: Simplify (+ a (+ b (+ c d))) into (+ a (+ b (+ c d))) 0.640 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (a b c d) around 0 0.640 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 0.640 * [taylor]: Taking taylor expansion of a in d 0.640 * [backup-simplify]: Simplify a into a 0.640 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.640 * [taylor]: Taking taylor expansion of b in d 0.640 * [backup-simplify]: Simplify b into b 0.640 * [taylor]: Taking taylor expansion of (+ c d) in d 0.640 * [taylor]: Taking taylor expansion of c in d 0.640 * [backup-simplify]: Simplify c into c 0.640 * [taylor]: Taking taylor expansion of d in d 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 0.640 * [taylor]: Taking taylor expansion of a in c 0.640 * [backup-simplify]: Simplify a into a 0.640 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.640 * [taylor]: Taking taylor expansion of b in c 0.640 * [backup-simplify]: Simplify b into b 0.640 * [taylor]: Taking taylor expansion of (+ c d) in c 0.640 * [taylor]: Taking taylor expansion of c in c 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [taylor]: Taking taylor expansion of d in c 0.640 * [backup-simplify]: Simplify d into d 0.640 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 0.640 * [taylor]: Taking taylor expansion of a in b 0.640 * [backup-simplify]: Simplify a into a 0.640 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.640 * [taylor]: Taking taylor expansion of b in b 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [taylor]: Taking taylor expansion of (+ c d) in b 0.640 * [taylor]: Taking taylor expansion of c in b 0.640 * [backup-simplify]: Simplify c into c 0.640 * [taylor]: Taking taylor expansion of d in b 0.640 * [backup-simplify]: Simplify d into d 0.640 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 0.640 * [taylor]: Taking taylor expansion of a in a 0.641 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify 1 into 1 0.641 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 0.641 * [taylor]: Taking taylor expansion of b in a 0.641 * [backup-simplify]: Simplify b into b 0.641 * [taylor]: Taking taylor expansion of (+ c d) in a 0.641 * [taylor]: Taking taylor expansion of c in a 0.641 * [backup-simplify]: Simplify c into c 0.641 * [taylor]: Taking taylor expansion of d in a 0.641 * [backup-simplify]: Simplify d into d 0.641 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 0.641 * [taylor]: Taking taylor expansion of a in a 0.641 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify 1 into 1 0.641 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 0.641 * [taylor]: Taking taylor expansion of b in a 0.641 * [backup-simplify]: Simplify b into b 0.641 * [taylor]: Taking taylor expansion of (+ c d) in a 0.641 * [taylor]: Taking taylor expansion of c in a 0.641 * [backup-simplify]: Simplify c into c 0.641 * [taylor]: Taking taylor expansion of d in a 0.641 * [backup-simplify]: Simplify d into d 0.641 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.641 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 0.641 * [backup-simplify]: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 0.641 * [taylor]: Taking taylor expansion of (+ c (+ b d)) in b 0.641 * [taylor]: Taking taylor expansion of c in b 0.641 * [backup-simplify]: Simplify c into c 0.641 * [taylor]: Taking taylor expansion of (+ b d) in b 0.641 * [taylor]: Taking taylor expansion of b in b 0.641 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify 1 into 1 0.641 * [taylor]: Taking taylor expansion of d in b 0.641 * [backup-simplify]: Simplify d into d 0.641 * [backup-simplify]: Simplify (+ 0 d) into d 0.641 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.641 * [taylor]: Taking taylor expansion of (+ c d) in c 0.641 * [taylor]: Taking taylor expansion of c in c 0.641 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify 1 into 1 0.641 * [taylor]: Taking taylor expansion of d in c 0.641 * [backup-simplify]: Simplify d into d 0.641 * [backup-simplify]: Simplify (+ 0 d) into d 0.641 * [taylor]: Taking taylor expansion of d in d 0.641 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify 1 into 1 0.641 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify (+ 0 0) into 0 0.642 * [backup-simplify]: Simplify (+ 0 0) into 0 0.642 * [backup-simplify]: Simplify (+ 1 0) into 1 0.643 * [taylor]: Taking taylor expansion of 1 in b 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [taylor]: Taking taylor expansion of 1 in c 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [taylor]: Taking taylor expansion of 1 in d 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [backup-simplify]: Simplify (+ 1 0) into 1 0.643 * [backup-simplify]: Simplify (+ 0 1) into 1 0.643 * [taylor]: Taking taylor expansion of 1 in c 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [taylor]: Taking taylor expansion of 1 in d 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [backup-simplify]: Simplify 1 into 1 0.644 * [backup-simplify]: Simplify (+ 1 0) into 1 0.644 * [taylor]: Taking taylor expansion of 1 in d 0.644 * [backup-simplify]: Simplify 1 into 1 0.644 * [backup-simplify]: Simplify 1 into 1 0.644 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 0.645 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 0.645 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (a b c d) around 0 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 0.645 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.645 * [taylor]: Taking taylor expansion of a in d 0.645 * [backup-simplify]: Simplify a into a 0.645 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.645 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.645 * [taylor]: Taking taylor expansion of b in d 0.645 * [backup-simplify]: Simplify b into b 0.645 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.645 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.645 * [taylor]: Taking taylor expansion of c in d 0.645 * [backup-simplify]: Simplify c into c 0.645 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.645 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.645 * [taylor]: Taking taylor expansion of d in d 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify 1 into 1 0.645 * [backup-simplify]: Simplify (/ 1 1) into 1 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 0.645 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.645 * [taylor]: Taking taylor expansion of a in c 0.645 * [backup-simplify]: Simplify a into a 0.645 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.645 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.645 * [taylor]: Taking taylor expansion of b in c 0.645 * [backup-simplify]: Simplify b into b 0.645 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.645 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.645 * [taylor]: Taking taylor expansion of c in c 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify 1 into 1 0.646 * [backup-simplify]: Simplify (/ 1 1) into 1 0.646 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.646 * [taylor]: Taking taylor expansion of d in c 0.646 * [backup-simplify]: Simplify d into d 0.646 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.646 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.646 * [taylor]: Taking taylor expansion of a in b 0.646 * [backup-simplify]: Simplify a into a 0.646 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.646 * [taylor]: Taking taylor expansion of b in b 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 1 into 1 0.646 * [backup-simplify]: Simplify (/ 1 1) into 1 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.646 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.646 * [taylor]: Taking taylor expansion of c in b 0.646 * [backup-simplify]: Simplify c into c 0.646 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.646 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.646 * [taylor]: Taking taylor expansion of d in b 0.646 * [backup-simplify]: Simplify d into d 0.646 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 0.646 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.646 * [taylor]: Taking taylor expansion of a in a 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 1 into 1 0.647 * [backup-simplify]: Simplify (/ 1 1) into 1 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 0.647 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.647 * [taylor]: Taking taylor expansion of b in a 0.647 * [backup-simplify]: Simplify b into b 0.647 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 0.647 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.647 * [taylor]: Taking taylor expansion of c in a 0.647 * [backup-simplify]: Simplify c into c 0.647 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.647 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.647 * [taylor]: Taking taylor expansion of d in a 0.647 * [backup-simplify]: Simplify d into d 0.647 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 0.647 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.647 * [taylor]: Taking taylor expansion of a in a 0.647 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify 1 into 1 0.647 * [backup-simplify]: Simplify (/ 1 1) into 1 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 0.647 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.647 * [taylor]: Taking taylor expansion of b in a 0.647 * [backup-simplify]: Simplify b into b 0.647 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.647 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 0.647 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.647 * [taylor]: Taking taylor expansion of c in a 0.648 * [backup-simplify]: Simplify c into c 0.648 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.648 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.648 * [taylor]: Taking taylor expansion of d in a 0.648 * [backup-simplify]: Simplify d into d 0.648 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.648 * [backup-simplify]: Simplify (+ 1 0) into 1 0.648 * [taylor]: Taking taylor expansion of 1 in b 0.648 * [backup-simplify]: Simplify 1 into 1 0.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.649 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.649 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 0.649 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 0.649 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 0.649 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.649 * [taylor]: Taking taylor expansion of b in b 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 1 into 1 0.649 * [backup-simplify]: Simplify (/ 1 1) into 1 0.649 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 0.649 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.649 * [taylor]: Taking taylor expansion of d in b 0.649 * [backup-simplify]: Simplify d into d 0.649 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.649 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.649 * [taylor]: Taking taylor expansion of c in b 0.649 * [backup-simplify]: Simplify c into c 0.649 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.650 * [backup-simplify]: Simplify (+ 1 0) into 1 0.650 * [taylor]: Taking taylor expansion of 1 in c 0.650 * [backup-simplify]: Simplify 1 into 1 0.650 * [taylor]: Taking taylor expansion of 1 in c 0.650 * [backup-simplify]: Simplify 1 into 1 0.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.651 * [backup-simplify]: Simplify (+ 0 0) into 0 0.651 * [backup-simplify]: Simplify (+ 0 0) into 0 0.651 * [backup-simplify]: Simplify (+ 0 0) into 0 0.651 * [taylor]: Taking taylor expansion of 0 in b 0.651 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.652 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 0.652 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c)) 0.652 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.652 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.652 * [taylor]: Taking taylor expansion of d in c 0.652 * [backup-simplify]: Simplify d into d 0.652 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.652 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.652 * [taylor]: Taking taylor expansion of c in c 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 1 into 1 0.652 * [backup-simplify]: Simplify (/ 1 1) into 1 0.652 * [backup-simplify]: Simplify (+ 0 1) into 1 0.652 * [taylor]: Taking taylor expansion of 1 in d 0.652 * [backup-simplify]: Simplify 1 into 1 0.653 * [taylor]: Taking taylor expansion of 0 in c 0.653 * [backup-simplify]: Simplify 0 into 0 0.653 * [taylor]: Taking taylor expansion of 1 in d 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [taylor]: Taking taylor expansion of 1 in d 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.654 * [backup-simplify]: Simplify (+ 0 0) into 0 0.654 * [backup-simplify]: Simplify (+ 0 0) into 0 0.654 * [backup-simplify]: Simplify (+ 0 0) into 0 0.654 * [taylor]: Taking taylor expansion of 0 in b 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [taylor]: Taking taylor expansion of 0 in c 0.654 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.655 * [backup-simplify]: Simplify (+ 0 0) into 0 0.655 * [backup-simplify]: Simplify (+ 0 0) into 0 0.655 * [taylor]: Taking taylor expansion of 0 in c 0.655 * [backup-simplify]: Simplify 0 into 0 0.656 * [taylor]: Taking taylor expansion of 0 in c 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.656 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 0.656 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.656 * [taylor]: Taking taylor expansion of d in d 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify 1 into 1 0.656 * [backup-simplify]: Simplify (/ 1 1) into 1 0.656 * [backup-simplify]: Simplify 1 into 1 0.656 * [taylor]: Taking taylor expansion of 0 in d 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [taylor]: Taking taylor expansion of 0 in d 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [taylor]: Taking taylor expansion of 0 in d 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify 1 into 1 0.657 * [backup-simplify]: Simplify 1 into 1 0.657 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 0.658 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d))))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) 0.658 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in (a b c d) around 0 0.658 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in d 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 0.658 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.658 * [taylor]: Taking taylor expansion of a in d 0.658 * [backup-simplify]: Simplify a into a 0.658 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.658 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.658 * [taylor]: Taking taylor expansion of b in d 0.658 * [backup-simplify]: Simplify b into b 0.658 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.658 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.658 * [taylor]: Taking taylor expansion of c in d 0.658 * [backup-simplify]: Simplify c into c 0.658 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.658 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.658 * [taylor]: Taking taylor expansion of d in d 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.658 * [backup-simplify]: Simplify (/ 1 1) into 1 0.658 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in c 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 0.658 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.658 * [taylor]: Taking taylor expansion of a in c 0.658 * [backup-simplify]: Simplify a into a 0.658 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.658 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.658 * [taylor]: Taking taylor expansion of b in c 0.658 * [backup-simplify]: Simplify b into b 0.658 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.658 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.658 * [taylor]: Taking taylor expansion of c in c 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify 1 into 1 0.659 * [backup-simplify]: Simplify (/ 1 1) into 1 0.659 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.659 * [taylor]: Taking taylor expansion of d in c 0.659 * [backup-simplify]: Simplify d into d 0.659 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.659 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in b 0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.659 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.659 * [taylor]: Taking taylor expansion of a in b 0.659 * [backup-simplify]: Simplify a into a 0.659 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.659 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.659 * [taylor]: Taking taylor expansion of b in b 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify 1 into 1 0.659 * [backup-simplify]: Simplify (/ 1 1) into 1 0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.659 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.659 * [taylor]: Taking taylor expansion of c in b 0.659 * [backup-simplify]: Simplify c into c 0.659 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.660 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.660 * [taylor]: Taking taylor expansion of d in b 0.660 * [backup-simplify]: Simplify d into d 0.660 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.660 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.660 * [taylor]: Taking taylor expansion of a in a 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 1 into 1 0.660 * [backup-simplify]: Simplify (/ 1 1) into 1 0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.660 * [taylor]: Taking taylor expansion of b in a 0.660 * [backup-simplify]: Simplify b into b 0.660 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.660 * [taylor]: Taking taylor expansion of c in a 0.660 * [backup-simplify]: Simplify c into c 0.660 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.660 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.660 * [taylor]: Taking taylor expansion of d in a 0.660 * [backup-simplify]: Simplify d into d 0.660 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.660 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))))) in a 0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.660 * [taylor]: Taking taylor expansion of a in a 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 1 into 1 0.661 * [backup-simplify]: Simplify (/ 1 1) into 1 0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in a 0.661 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.661 * [taylor]: Taking taylor expansion of b in a 0.661 * [backup-simplify]: Simplify b into b 0.661 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in a 0.661 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.661 * [taylor]: Taking taylor expansion of c in a 0.661 * [backup-simplify]: Simplify c into c 0.661 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.661 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.661 * [taylor]: Taking taylor expansion of d in a 0.661 * [backup-simplify]: Simplify d into d 0.661 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.661 * [backup-simplify]: Simplify (+ 1 0) into 1 0.662 * [backup-simplify]: Simplify (- 1) into -1 0.662 * [taylor]: Taking taylor expansion of -1 in b 0.662 * [backup-simplify]: Simplify -1 into -1 0.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.662 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.662 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 0.662 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) 0.663 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 0.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.663 * [taylor]: Taking taylor expansion of b in b 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (/ 1 1) into 1 0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.663 * [taylor]: Taking taylor expansion of c in b 0.663 * [backup-simplify]: Simplify c into c 0.663 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.663 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.663 * [taylor]: Taking taylor expansion of d in b 0.663 * [backup-simplify]: Simplify d into d 0.663 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.663 * [backup-simplify]: Simplify (+ 1 0) into 1 0.664 * [backup-simplify]: Simplify (- 1) into -1 0.664 * [taylor]: Taking taylor expansion of -1 in c 0.664 * [backup-simplify]: Simplify -1 into -1 0.664 * [taylor]: Taking taylor expansion of -1 in c 0.664 * [backup-simplify]: Simplify -1 into -1 0.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.665 * [backup-simplify]: Simplify (+ 0 0) into 0 0.665 * [backup-simplify]: Simplify (+ 0 0) into 0 0.665 * [backup-simplify]: Simplify (+ 0 0) into 0 0.665 * [backup-simplify]: Simplify (- 0) into 0 0.665 * [taylor]: Taking taylor expansion of 0 in b 0.665 * [backup-simplify]: Simplify 0 into 0 0.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.666 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.666 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.666 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 0.666 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in c 0.666 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.666 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.666 * [taylor]: Taking taylor expansion of c in c 0.666 * [backup-simplify]: Simplify 0 into 0 0.666 * [backup-simplify]: Simplify 1 into 1 0.667 * [backup-simplify]: Simplify (/ 1 1) into 1 0.667 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.667 * [taylor]: Taking taylor expansion of d in c 0.667 * [backup-simplify]: Simplify d into d 0.667 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.667 * [backup-simplify]: Simplify (+ 1 0) into 1 0.667 * [backup-simplify]: Simplify (- 1) into -1 0.667 * [taylor]: Taking taylor expansion of -1 in d 0.667 * [backup-simplify]: Simplify -1 into -1 0.667 * [taylor]: Taking taylor expansion of 0 in c 0.667 * [backup-simplify]: Simplify 0 into 0 0.667 * [taylor]: Taking taylor expansion of -1 in d 0.667 * [backup-simplify]: Simplify -1 into -1 0.668 * [taylor]: Taking taylor expansion of -1 in d 0.668 * [backup-simplify]: Simplify -1 into -1 0.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 0.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 0.669 * [backup-simplify]: Simplify (+ 0 0) into 0 0.669 * [backup-simplify]: Simplify (+ 0 0) into 0 0.669 * [backup-simplify]: Simplify (+ 0 0) into 0 0.669 * [backup-simplify]: Simplify (- 0) into 0 0.669 * [taylor]: Taking taylor expansion of 0 in b 0.669 * [backup-simplify]: Simplify 0 into 0 0.669 * [taylor]: Taking taylor expansion of 0 in c 0.669 * [backup-simplify]: Simplify 0 into 0 0.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.670 * [backup-simplify]: Simplify (+ 0 0) into 0 0.671 * [backup-simplify]: Simplify (+ 0 0) into 0 0.671 * [backup-simplify]: Simplify (- 0) into 0 0.671 * [taylor]: Taking taylor expansion of 0 in c 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [taylor]: Taking taylor expansion of 0 in c 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.671 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 0.671 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 0.672 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 0.672 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.672 * [taylor]: Taking taylor expansion of d in d 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 1 into 1 0.674 * [backup-simplify]: Simplify (/ 1 1) into 1 0.674 * [backup-simplify]: Simplify (- 1) into -1 0.674 * [backup-simplify]: Simplify -1 into -1 0.674 * [taylor]: Taking taylor expansion of 0 in d 0.674 * [backup-simplify]: Simplify 0 into 0 0.674 * [taylor]: Taking taylor expansion of 0 in d 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [taylor]: Taking taylor expansion of 0 in d 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify -1 into -1 0.675 * [backup-simplify]: Simplify -1 into -1 0.675 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 0.675 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 0.675 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 0.676 * [approximate]: Taking taylor expansion of (+ b (+ c d)) in (b c d) around 0 0.676 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 0.676 * [taylor]: Taking taylor expansion of b in d 0.676 * [backup-simplify]: Simplify b into b 0.676 * [taylor]: Taking taylor expansion of (+ c d) in d 0.676 * [taylor]: Taking taylor expansion of c in d 0.676 * [backup-simplify]: Simplify c into c 0.676 * [taylor]: Taking taylor expansion of d in d 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify 1 into 1 0.676 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 0.676 * [taylor]: Taking taylor expansion of b in c 0.676 * [backup-simplify]: Simplify b into b 0.676 * [taylor]: Taking taylor expansion of (+ c d) in c 0.676 * [taylor]: Taking taylor expansion of c in c 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify 1 into 1 0.676 * [taylor]: Taking taylor expansion of d in c 0.676 * [backup-simplify]: Simplify d into d 0.676 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.676 * [taylor]: Taking taylor expansion of b in b 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify 1 into 1 0.676 * [taylor]: Taking taylor expansion of (+ c d) in b 0.676 * [taylor]: Taking taylor expansion of c in b 0.676 * [backup-simplify]: Simplify c into c 0.676 * [taylor]: Taking taylor expansion of d in b 0.676 * [backup-simplify]: Simplify d into d 0.676 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 0.676 * [taylor]: Taking taylor expansion of b in b 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify 1 into 1 0.676 * [taylor]: Taking taylor expansion of (+ c d) in b 0.676 * [taylor]: Taking taylor expansion of c in b 0.676 * [backup-simplify]: Simplify c into c 0.676 * [taylor]: Taking taylor expansion of d in b 0.676 * [backup-simplify]: Simplify d into d 0.676 * [backup-simplify]: Simplify (+ c d) into (+ c d) 0.676 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 0.676 * [taylor]: Taking taylor expansion of (+ c d) in c 0.676 * [taylor]: Taking taylor expansion of c in c 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify 1 into 1 0.676 * [taylor]: Taking taylor expansion of d in c 0.676 * [backup-simplify]: Simplify d into d 0.676 * [backup-simplify]: Simplify (+ 0 d) into d 0.676 * [taylor]: Taking taylor expansion of d in d 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify 1 into 1 0.676 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify (+ 0 0) into 0 0.677 * [backup-simplify]: Simplify (+ 1 0) into 1 0.677 * [taylor]: Taking taylor expansion of 1 in c 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [taylor]: Taking taylor expansion of 1 in d 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify (+ 1 0) into 1 0.677 * [taylor]: Taking taylor expansion of 1 in d 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify 1 into 1 0.678 * [backup-simplify]: Simplify (+ (* 1 (* d (* 1 1))) (+ (* 1 (* 1 (* c 1))) (* 1 (* 1 (* 1 b))))) into (+ b (+ c d)) 0.678 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 0.678 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in (b c d) around 0 0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.678 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.678 * [taylor]: Taking taylor expansion of b in d 0.678 * [backup-simplify]: Simplify b into b 0.678 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.678 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.678 * [taylor]: Taking taylor expansion of c in d 0.678 * [backup-simplify]: Simplify c into c 0.678 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.678 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.678 * [taylor]: Taking taylor expansion of d in d 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 1 into 1 0.678 * [backup-simplify]: Simplify (/ 1 1) into 1 0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.678 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.678 * [taylor]: Taking taylor expansion of b in c 0.678 * [backup-simplify]: Simplify b into b 0.678 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.678 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.679 * [taylor]: Taking taylor expansion of c in c 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify (/ 1 1) into 1 0.679 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.679 * [taylor]: Taking taylor expansion of d in c 0.679 * [backup-simplify]: Simplify d into d 0.679 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.679 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.679 * [taylor]: Taking taylor expansion of b in b 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify (/ 1 1) into 1 0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.679 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.679 * [taylor]: Taking taylor expansion of c in b 0.679 * [backup-simplify]: Simplify c into c 0.679 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.679 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.679 * [taylor]: Taking taylor expansion of d in b 0.679 * [backup-simplify]: Simplify d into d 0.679 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.679 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.679 * [taylor]: Taking taylor expansion of b in b 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify (/ 1 1) into 1 0.680 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.680 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.680 * [taylor]: Taking taylor expansion of c in b 0.680 * [backup-simplify]: Simplify c into c 0.680 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.680 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.680 * [taylor]: Taking taylor expansion of d in b 0.680 * [backup-simplify]: Simplify d into d 0.680 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.680 * [backup-simplify]: Simplify (+ 1 0) into 1 0.680 * [taylor]: Taking taylor expansion of 1 in c 0.680 * [backup-simplify]: Simplify 1 into 1 0.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.681 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.681 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.681 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.681 * [taylor]: Taking taylor expansion of c in c 0.681 * [backup-simplify]: Simplify 0 into 0 0.681 * [backup-simplify]: Simplify 1 into 1 0.681 * [backup-simplify]: Simplify (/ 1 1) into 1 0.681 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.681 * [taylor]: Taking taylor expansion of d in c 0.681 * [backup-simplify]: Simplify d into d 0.681 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.682 * [backup-simplify]: Simplify (+ 1 0) into 1 0.682 * [taylor]: Taking taylor expansion of 1 in d 0.682 * [backup-simplify]: Simplify 1 into 1 0.682 * [taylor]: Taking taylor expansion of 1 in d 0.682 * [backup-simplify]: Simplify 1 into 1 0.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.683 * [backup-simplify]: Simplify (+ 0 0) into 0 0.683 * [backup-simplify]: Simplify (+ 0 0) into 0 0.683 * [taylor]: Taking taylor expansion of 0 in c 0.683 * [backup-simplify]: Simplify 0 into 0 0.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.683 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 0.683 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.683 * [taylor]: Taking taylor expansion of d in d 0.683 * [backup-simplify]: Simplify 0 into 0 0.683 * [backup-simplify]: Simplify 1 into 1 0.684 * [backup-simplify]: Simplify (/ 1 1) into 1 0.684 * [backup-simplify]: Simplify 1 into 1 0.684 * [taylor]: Taking taylor expansion of 0 in d 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 1 into 1 0.684 * [backup-simplify]: Simplify 1 into 1 0.684 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 b))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) 1))) (* 1 (* (/ 1 (/ 1 d)) (* 1 1))))) into (+ b (+ c d)) 0.684 * [backup-simplify]: Simplify (+ (/ 1 (- b)) (+ (/ 1 (- c)) (/ 1 (- d)))) into (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) 0.684 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in (b c d) around 0 0.684 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in d 0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in d 0.684 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.684 * [taylor]: Taking taylor expansion of b in d 0.684 * [backup-simplify]: Simplify b into b 0.684 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in d 0.685 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.685 * [taylor]: Taking taylor expansion of c in d 0.685 * [backup-simplify]: Simplify c into c 0.685 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.685 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.685 * [taylor]: Taking taylor expansion of d in d 0.685 * [backup-simplify]: Simplify 0 into 0 0.685 * [backup-simplify]: Simplify 1 into 1 0.685 * [backup-simplify]: Simplify (/ 1 1) into 1 0.685 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in c 0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in c 0.685 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.685 * [taylor]: Taking taylor expansion of b in c 0.685 * [backup-simplify]: Simplify b into b 0.685 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.685 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.685 * [taylor]: Taking taylor expansion of c in c 0.685 * [backup-simplify]: Simplify 0 into 0 0.685 * [backup-simplify]: Simplify 1 into 1 0.685 * [backup-simplify]: Simplify (/ 1 1) into 1 0.686 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.686 * [taylor]: Taking taylor expansion of d in c 0.686 * [backup-simplify]: Simplify d into d 0.686 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.686 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.686 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.686 * [taylor]: Taking taylor expansion of b in b 0.686 * [backup-simplify]: Simplify 0 into 0 0.686 * [backup-simplify]: Simplify 1 into 1 0.686 * [backup-simplify]: Simplify (/ 1 1) into 1 0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.686 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.686 * [taylor]: Taking taylor expansion of c in b 0.686 * [backup-simplify]: Simplify c into c 0.686 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.686 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.686 * [taylor]: Taking taylor expansion of d in b 0.686 * [backup-simplify]: Simplify d into d 0.687 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.687 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) in b 0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 0.687 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.687 * [taylor]: Taking taylor expansion of b in b 0.687 * [backup-simplify]: Simplify 0 into 0 0.687 * [backup-simplify]: Simplify 1 into 1 0.687 * [backup-simplify]: Simplify (/ 1 1) into 1 0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 0.687 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.687 * [taylor]: Taking taylor expansion of c in b 0.687 * [backup-simplify]: Simplify c into c 0.687 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 0.687 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.687 * [taylor]: Taking taylor expansion of d in b 0.687 * [backup-simplify]: Simplify d into d 0.687 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.688 * [backup-simplify]: Simplify (+ 1 0) into 1 0.688 * [backup-simplify]: Simplify (- 1) into -1 0.688 * [taylor]: Taking taylor expansion of -1 in c 0.688 * [backup-simplify]: Simplify -1 into -1 0.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.689 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 0.689 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 0.689 * [backup-simplify]: Simplify (- (+ (/ 1 c) (/ 1 d))) into (- (+ (/ 1 c) (/ 1 d))) 0.689 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 d))) in c 0.690 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 0.690 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.690 * [taylor]: Taking taylor expansion of c in c 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify 1 into 1 0.690 * [backup-simplify]: Simplify (/ 1 1) into 1 0.690 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.690 * [taylor]: Taking taylor expansion of d in c 0.690 * [backup-simplify]: Simplify d into d 0.690 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 0.691 * [backup-simplify]: Simplify (+ 1 0) into 1 0.691 * [backup-simplify]: Simplify (- 1) into -1 0.691 * [taylor]: Taking taylor expansion of -1 in d 0.691 * [backup-simplify]: Simplify -1 into -1 0.691 * [taylor]: Taking taylor expansion of -1 in d 0.691 * [backup-simplify]: Simplify -1 into -1 0.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.692 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 0.692 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 0.693 * [backup-simplify]: Simplify (+ 0 0) into 0 0.693 * [backup-simplify]: Simplify (+ 0 0) into 0 0.693 * [backup-simplify]: Simplify (- 0) into 0 0.693 * [taylor]: Taking taylor expansion of 0 in c 0.693 * [backup-simplify]: Simplify 0 into 0 0.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.694 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 0.694 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 0.694 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 0.694 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.694 * [taylor]: Taking taylor expansion of d in d 0.694 * [backup-simplify]: Simplify 0 into 0 0.694 * [backup-simplify]: Simplify 1 into 1 0.695 * [backup-simplify]: Simplify (/ 1 1) into 1 0.696 * [backup-simplify]: Simplify (- 1) into -1 0.696 * [backup-simplify]: Simplify -1 into -1 0.696 * [taylor]: Taking taylor expansion of 0 in d 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify -1 into -1 0.696 * [backup-simplify]: Simplify -1 into -1 0.696 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- b)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) 1))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 1))))) into (+ b (+ c d)) 0.697 * * * [progress]: simplifying candidates 0.697 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 12 / 50 ] simplifiying candidate # 0.697 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 22 / 50 ] simplifiying candidate #real (real->posit16 (+ a (+ b (+ c d))))) 2))> 0.698 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 24 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 27 / 50 ] simplifiying candidate # 0.698 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 40 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 0.699 * * * * [progress]: [ 43 / 50 ] simplifiying candidate #real (real->posit16 (+ b (+ c d))))) 2))> 0.700 * * * * [progress]: [ 44 / 50 ] simplifiying candidate # 0.700 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 0.700 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 0.700 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 0.700 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 0.700 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 0.700 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 0.700 * [simplify]: Simplifying (expm1 (+ a (+ b (+ c d)))), (log1p (+ a (+ b (+ c d)))), (* (exp a) (* (exp b) (* (exp c) (exp d)))), (* (exp a) (* (exp b) (exp (+ c d)))), (* (exp a) (exp (+ 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)))), (* (* (+ a (+ b (+ c d))) (+ a (+ b (+ c d)))) (+ a (+ b (+ c d)))), (sqrt (+ a (+ b (+ c d)))), (sqrt (+ a (+ b (+ c d)))), (+ (pow a 3) (pow (+ b (+ c d)) 3)), (+ (* a a) (- (* (+ b (+ c d)) (+ b (+ c d))) (* a (+ b (+ c d))))), (- (* a a) (* (+ b (+ c d)) (+ b (+ c d)))), (- a (+ b (+ c d))), (+ a (+ b (+ c d))), (+ a (+ b (+ c d))), (+ a (+ b (+ c d))), (+ a b), (real->posit16 (+ a (+ b (+ c d)))), (expm1 (+ b (+ c d))), (log1p (+ b (+ c d))), (* (exp b) (* (exp c) (exp d))), (* (exp b) (exp (+ c d))), (log (+ b (+ c d))), (exp (+ b (+ c d))), (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d)))), (cbrt (+ b (+ c d))), (* (* (+ b (+ c d)) (+ b (+ c d))) (+ b (+ c d))), (sqrt (+ b (+ c d))), (sqrt (+ b (+ c d))), (+ (pow b 3) (pow (+ c d) 3)), (+ (* b b) (- (* (+ c d) (+ c d)) (* b (+ c d)))), (- (* b b) (* (+ c d) (+ c d))), (- b (+ c d)), (+ b (+ c d)), (+ b (+ c d)), (+ b c), (real->posit16 (+ b (+ c d))), (+ a (+ b c)), (+ b (+ c d)), (+ b (+ c d)), (+ b (+ c d)), (+ b (+ c d)), (+ b (+ c d)) 0.701 * * [simplify]: iteration 1: (61 enodes) 0.734 * * [simplify]: iteration 2: (278 enodes) 0.825 * * [simplify]: iteration 3: (851 enodes) 1.413 * * [simplify]: Extracting #0: cost 31 inf + 0 1.414 * * [simplify]: Extracting #1: cost 287 inf + 0 1.418 * * [simplify]: Extracting #2: cost 898 inf + 10377 1.452 * * [simplify]: Extracting #3: cost 392 inf + 111295 1.498 * * [simplify]: Extracting #4: cost 23 inf + 175335 1.563 * * [simplify]: Extracting #5: cost 2 inf + 180288 1.650 * * [simplify]: Extracting #6: cost 0 inf + 180835 1.737 * [simplify]: Simplified to (expm1 (+ (+ b (+ d c)) a)), (log1p (+ (+ b (+ d c)) a)), (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)), (* (+ (+ b (+ d c)) a) (* (+ (+ b (+ d c)) a) (+ (+ b (+ d c)) a))), (sqrt (+ (+ b (+ d c)) a)), (sqrt (+ (+ b (+ d c)) a)), (fma a (* a a) (* (* (+ b (+ d c)) (+ b (+ d c))) (+ b (+ d c)))), (fma (- (+ b (+ d c)) a) (+ b (+ d c)) (* a a)), (* (- a (+ b (+ d c))) (+ (+ b (+ d c)) a)), (- a (+ b (+ d c))), (+ (+ b (+ d c)) a), (+ (+ b (+ d c)) a), (+ (+ b (+ d c)) a), (+ b a), (real->posit16 (+ (+ b (+ d c)) a)), (expm1 (+ b (+ d c))), (log1p (+ b (+ d c))), (exp (+ b (+ d c))), (exp (+ b (+ d 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))), (fma (* (+ d c) (+ d c)) (+ d c) (* (* b b) b)), (fma (- (+ d c) b) (+ d c) (* b b)), (- (* b b) (* (+ d c) (+ d c))), (- b (+ d c)), (+ b (+ d c)), (+ b (+ d c)), (+ b c), (real->posit16 (+ b (+ d c))), (+ (+ b c) a), (+ b (+ d c)), (+ b (+ d c)), (+ b (+ d c)), (+ b (+ d c)), (+ b (+ d c)) 1.737 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 1.737 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log1p (expm1 (+ (+ b (+ d c)) a))) 2)) 1.738 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 1.738 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (expm1 (log1p (+ (+ b (+ d c)) a))) 2)) 1.738 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 1.738 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 1.738 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 1.738 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 1.738 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ b (+ d c)) a))) 2)) 1.738 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 1.738 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ b (+ d c)) a))) 2)) 1.738 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 1.738 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ b (+ d c)) a))) 2)) 1.738 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 1.738 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 1.738 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (exp (log (+ (+ b (+ d c)) a))) 2)) 1.739 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 1.739 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ b (+ d c)) a))) 2)) 1.739 * * * * [progress]: [ 12 / 50 ] simplifiying candidate # 1.739 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (* (* (cbrt (+ (+ b (+ d c)) a)) (cbrt (+ (+ b (+ d c)) a))) (cbrt (+ a (+ b (+ c d))))) 2)) 1.739 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* (* (cbrt (+ a (+ b (+ c d)))) (cbrt (+ a (+ b (+ c d))))) (cbrt (+ (+ b (+ d c)) a))) 2)) 1.739 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 1.739 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (cbrt (* (+ (+ b (+ d c)) a) (* (+ (+ b (+ d c)) a) (+ (+ b (+ d c)) a)))) 2)) 1.739 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 1.739 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (* (sqrt (+ (+ b (+ d c)) a)) (sqrt (+ a (+ b (+ c d))))) 2)) 1.739 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* (sqrt (+ a (+ b (+ c d)))) (sqrt (+ (+ b (+ d c)) a))) 2)) 1.740 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 1.740 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (/ (fma a (* a a) (* (* (+ b (+ d c)) (+ b (+ d c))) (+ b (+ d c)))) (+ (* a a) (- (* (+ b (+ c d)) (+ b (+ c d))) (* a (+ b (+ c d)))))) 2)) 1.740 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (/ (fma a (* a a) (* (* (+ b (+ d c)) (+ b (+ d c))) (+ b (+ d c)))) (fma (- (+ b (+ d c)) a) (+ b (+ d c)) (* a a))) 2)) 1.740 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 1.740 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 1.740 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (/ (* (- a (+ b (+ d c))) (+ (+ b (+ d c)) a)) (- a (+ b (+ c d)))) 2)) 1.740 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (/ (- (* a a) (* (+ b (+ c d)) (+ b (+ c d)))) (- a (+ b (+ d c)))) 2)) 1.740 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 1.740 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ (+ b (+ d c)) a)) 2)) 1.741 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 1.741 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ (+ b (+ d c)) a)) 2)) 1.741 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 1.741 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ (+ b (+ d c)) a)) 2)) 1.741 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 1.741 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ b a) (+ c d)) 2)) 1.741 * * * * [progress]: [ 22 / 50 ] simplifiying candidate #real (real->posit16 (+ a (+ b (+ c d))))) 2))> 1.741 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (posit16->real (real->posit16 (+ (+ b (+ d c)) a))) 2)) 1.742 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 1.742 * * * * [progress]: [ 24 / 50 ] simplifiying candidate # 1.742 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (log1p (expm1 (+ b (+ d c))))) 2)) 1.742 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 1.742 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (expm1 (log1p (+ b (+ d c))))) 2)) 1.742 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 1.742 * * * * [progress]: [ 27 / 50 ] simplifiying candidate # 1.742 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 1.742 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 1.742 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (log (exp (+ b (+ d c))))) 2)) 1.742 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 1.742 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (log (exp (+ b (+ d c))))) 2)) 1.742 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 1.742 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 1.742 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (exp (log (+ b (+ d c))))) 2)) 1.743 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 1.743 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (log (exp (+ b (+ d c))))) 2)) 1.743 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 1.743 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (* (* (cbrt (+ b (+ d c))) (cbrt (+ b (+ d c)))) (cbrt (+ b (+ c d))))) 2)) 1.743 * [simplify]: Simplified (2 1 2 2) to (λ (a b c d) (* (+ a (* (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d)))) (cbrt (+ b (+ d c))))) 2)) 1.743 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 1.743 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (cbrt (* (* (+ b (+ d c)) (+ b (+ d c))) (+ b (+ d c))))) 2)) 1.743 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 1.743 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (* (sqrt (+ b (+ d c))) (sqrt (+ b (+ c d))))) 2)) 1.743 * [simplify]: Simplified (2 1 2 2) to (λ (a b c d) (* (+ a (* (sqrt (+ b (+ c d))) (sqrt (+ b (+ d c))))) 2)) 1.744 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 1.744 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (/ (fma (* (+ d c) (+ d c)) (+ d c) (* (* b b) b)) (+ (* b b) (- (* (+ c d) (+ c d)) (* b (+ c d)))))) 2)) 1.744 * [simplify]: Simplified (2 1 2 2) to (λ (a b c d) (* (+ a (/ (fma (* (+ d c) (+ d c)) (+ d c) (* (* b b) b)) (fma (- (+ d c) b) (+ d c) (* b b)))) 2)) 1.744 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 1.744 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 1.744 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (/ (- (* b b) (* (+ d c) (+ d c))) (- b (+ c d)))) 2)) 1.744 * [simplify]: Simplified (2 1 2 2) to (λ (a b c d) (* (+ a (/ (- (* b b) (* (+ c d) (+ c d))) (- b (+ d c)))) 2)) 1.744 * * * * [progress]: [ 40 / 50 ] simplifiying candidate # 1.744 * [simplify]: Simplified (2 1 2 2) to (λ (a b c d) (* (+ a (* 1 (+ b (+ d c)))) 2)) 1.745 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 1.745 * [simplify]: Simplified (2 1 2 2) to (λ (a b c d) (* (+ a (* 1 (+ b (+ d c)))) 2)) 1.745 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 1.745 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (+ (+ b c) d)) 2)) 1.745 * * * * [progress]: [ 43 / 50 ] simplifiying candidate #real (real->posit16 (+ b (+ c d))))) 2))> 1.745 * [simplify]: Simplified (2 1 2 1) to (λ (a b c d) (* (+ a (posit16->real (real->posit16 (+ b (+ d c))))) 2)) 1.745 * * * * [progress]: [ 44 / 50 ] simplifiying candidate # 1.745 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 1.745 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b c) a) 2)) 1.745 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 1.745 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ b (+ d c)) 2)) 1.745 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 1.745 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ b (+ d c)) 2)) 1.745 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 1.746 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ b (+ d c))) 2)) 1.746 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 1.746 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ b (+ d c))) 2)) 1.746 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 1.746 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ a (+ b (+ d c))) 2)) 1.746 * * * [progress]: adding candidates to table 2.214 * * [progress]: iteration 2 / 4 2.214 * * * [progress]: picking best candidate 2.242 * * * * [pick]: Picked # 2.242 * * * [progress]: localizing error 2.272 * * * [progress]: generating rewritten candidates 2.272 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 2.358 * * * [progress]: generating series expansions 2.358 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 2.358 * [backup-simplify]: Simplify (+ a (+ (+ b c) d)) into (+ a (+ b (+ c d))) 2.358 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (a b c d) around 0 2.358 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 2.358 * [taylor]: Taking taylor expansion of a in d 2.358 * [backup-simplify]: Simplify a into a 2.358 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 2.358 * [taylor]: Taking taylor expansion of b in d 2.358 * [backup-simplify]: Simplify b into b 2.358 * [taylor]: Taking taylor expansion of (+ c d) in d 2.358 * [taylor]: Taking taylor expansion of c in d 2.358 * [backup-simplify]: Simplify c into c 2.358 * [taylor]: Taking taylor expansion of d in d 2.358 * [backup-simplify]: Simplify 0 into 0 2.358 * [backup-simplify]: Simplify 1 into 1 2.358 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 2.358 * [taylor]: Taking taylor expansion of a in c 2.358 * [backup-simplify]: Simplify a into a 2.358 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 2.358 * [taylor]: Taking taylor expansion of b in c 2.358 * [backup-simplify]: Simplify b into b 2.358 * [taylor]: Taking taylor expansion of (+ c d) in c 2.358 * [taylor]: Taking taylor expansion of c in c 2.358 * [backup-simplify]: Simplify 0 into 0 2.358 * [backup-simplify]: Simplify 1 into 1 2.358 * [taylor]: Taking taylor expansion of d in c 2.358 * [backup-simplify]: Simplify d into d 2.358 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 2.358 * [taylor]: Taking taylor expansion of a in b 2.358 * [backup-simplify]: Simplify a into a 2.358 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 2.358 * [taylor]: Taking taylor expansion of b in b 2.358 * [backup-simplify]: Simplify 0 into 0 2.358 * [backup-simplify]: Simplify 1 into 1 2.358 * [taylor]: Taking taylor expansion of (+ c d) in b 2.358 * [taylor]: Taking taylor expansion of c in b 2.358 * [backup-simplify]: Simplify c into c 2.358 * [taylor]: Taking taylor expansion of d in b 2.358 * [backup-simplify]: Simplify d into d 2.358 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 2.358 * [taylor]: Taking taylor expansion of a in a 2.358 * [backup-simplify]: Simplify 0 into 0 2.358 * [backup-simplify]: Simplify 1 into 1 2.358 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 2.358 * [taylor]: Taking taylor expansion of b in a 2.358 * [backup-simplify]: Simplify b into b 2.358 * [taylor]: Taking taylor expansion of (+ c d) in a 2.358 * [taylor]: Taking taylor expansion of c in a 2.358 * [backup-simplify]: Simplify c into c 2.358 * [taylor]: Taking taylor expansion of d in a 2.358 * [backup-simplify]: Simplify d into d 2.358 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 2.359 * [taylor]: Taking taylor expansion of a in a 2.359 * [backup-simplify]: Simplify 0 into 0 2.359 * [backup-simplify]: Simplify 1 into 1 2.359 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 2.359 * [taylor]: Taking taylor expansion of b in a 2.359 * [backup-simplify]: Simplify b into b 2.359 * [taylor]: Taking taylor expansion of (+ c d) in a 2.359 * [taylor]: Taking taylor expansion of c in a 2.359 * [backup-simplify]: Simplify c into c 2.359 * [taylor]: Taking taylor expansion of d in a 2.359 * [backup-simplify]: Simplify d into d 2.359 * [backup-simplify]: Simplify (+ c d) into (+ c d) 2.359 * [backup-simplify]: Simplify (+ b (+ c d)) into (+ b (+ c d)) 2.359 * [backup-simplify]: Simplify (+ 0 (+ b (+ c d))) into (+ c (+ b d)) 2.359 * [taylor]: Taking taylor expansion of (+ c (+ b d)) in b 2.359 * [taylor]: Taking taylor expansion of c in b 2.359 * [backup-simplify]: Simplify c into c 2.359 * [taylor]: Taking taylor expansion of (+ b d) in b 2.359 * [taylor]: Taking taylor expansion of b in b 2.359 * [backup-simplify]: Simplify 0 into 0 2.359 * [backup-simplify]: Simplify 1 into 1 2.359 * [taylor]: Taking taylor expansion of d in b 2.359 * [backup-simplify]: Simplify d into d 2.359 * [backup-simplify]: Simplify (+ 0 d) into d 2.359 * [backup-simplify]: Simplify (+ c d) into (+ c d) 2.359 * [taylor]: Taking taylor expansion of (+ c d) in c 2.359 * [taylor]: Taking taylor expansion of c in c 2.359 * [backup-simplify]: Simplify 0 into 0 2.359 * [backup-simplify]: Simplify 1 into 1 2.359 * [taylor]: Taking taylor expansion of d in c 2.359 * [backup-simplify]: Simplify d into d 2.359 * [backup-simplify]: Simplify (+ 0 d) into d 2.359 * [taylor]: Taking taylor expansion of d in d 2.359 * [backup-simplify]: Simplify 0 into 0 2.359 * [backup-simplify]: Simplify 1 into 1 2.359 * [backup-simplify]: Simplify 0 into 0 2.360 * [backup-simplify]: Simplify (+ 0 0) into 0 2.360 * [backup-simplify]: Simplify (+ 0 0) into 0 2.361 * [backup-simplify]: Simplify (+ 1 0) into 1 2.361 * [taylor]: Taking taylor expansion of 1 in b 2.361 * [backup-simplify]: Simplify 1 into 1 2.361 * [taylor]: Taking taylor expansion of 1 in c 2.361 * [backup-simplify]: Simplify 1 into 1 2.361 * [taylor]: Taking taylor expansion of 1 in d 2.361 * [backup-simplify]: Simplify 1 into 1 2.361 * [backup-simplify]: Simplify 1 into 1 2.361 * [backup-simplify]: Simplify (+ 1 0) into 1 2.362 * [backup-simplify]: Simplify (+ 0 1) into 1 2.362 * [taylor]: Taking taylor expansion of 1 in c 2.362 * [backup-simplify]: Simplify 1 into 1 2.362 * [taylor]: Taking taylor expansion of 1 in d 2.362 * [backup-simplify]: Simplify 1 into 1 2.362 * [backup-simplify]: Simplify 1 into 1 2.362 * [backup-simplify]: Simplify (+ 1 0) into 1 2.362 * [taylor]: Taking taylor expansion of 1 in d 2.362 * [backup-simplify]: Simplify 1 into 1 2.362 * [backup-simplify]: Simplify 1 into 1 2.363 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* c (* 1 1)))) (+ (* 1 (* 1 (* 1 (* b 1)))) (* 1 (* 1 (* 1 (* 1 a)))))) into (+ a (+ b c)) 2.363 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) 2.363 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in (a b c d) around 0 2.363 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d 2.363 * [taylor]: Taking taylor expansion of (/ 1 a) in d 2.363 * [taylor]: Taking taylor expansion of a in d 2.363 * [backup-simplify]: Simplify a into a 2.363 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.363 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d 2.363 * [taylor]: Taking taylor expansion of (/ 1 b) in d 2.363 * [taylor]: Taking taylor expansion of b in d 2.363 * [backup-simplify]: Simplify b into b 2.363 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.363 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 2.363 * [taylor]: Taking taylor expansion of (/ 1 d) in d 2.363 * [taylor]: Taking taylor expansion of d in d 2.363 * [backup-simplify]: Simplify 0 into 0 2.363 * [backup-simplify]: Simplify 1 into 1 2.363 * [backup-simplify]: Simplify (/ 1 1) into 1 2.363 * [taylor]: Taking taylor expansion of (/ 1 c) in d 2.363 * [taylor]: Taking taylor expansion of c in d 2.363 * [backup-simplify]: Simplify c into c 2.363 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.363 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 2.364 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.364 * [taylor]: Taking taylor expansion of a in c 2.364 * [backup-simplify]: Simplify a into a 2.364 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.364 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 2.364 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.364 * [taylor]: Taking taylor expansion of b in c 2.364 * [backup-simplify]: Simplify b into b 2.364 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.364 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 2.364 * [taylor]: Taking taylor expansion of (/ 1 d) in c 2.364 * [taylor]: Taking taylor expansion of d in c 2.364 * [backup-simplify]: Simplify d into d 2.364 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.364 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.364 * [taylor]: Taking taylor expansion of c in c 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.364 * [backup-simplify]: Simplify (/ 1 1) into 1 2.364 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 2.364 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.364 * [taylor]: Taking taylor expansion of a in b 2.364 * [backup-simplify]: Simplify a into a 2.364 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.364 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 2.364 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.364 * [taylor]: Taking taylor expansion of b in b 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.365 * [backup-simplify]: Simplify (/ 1 1) into 1 2.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 2.365 * [taylor]: Taking taylor expansion of (/ 1 d) in b 2.365 * [taylor]: Taking taylor expansion of d in b 2.365 * [backup-simplify]: Simplify d into d 2.365 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.365 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.365 * [taylor]: Taking taylor expansion of c in b 2.365 * [backup-simplify]: Simplify c into c 2.365 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.365 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 2.365 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.365 * [taylor]: Taking taylor expansion of a in a 2.365 * [backup-simplify]: Simplify 0 into 0 2.365 * [backup-simplify]: Simplify 1 into 1 2.365 * [backup-simplify]: Simplify (/ 1 1) into 1 2.365 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 2.365 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.365 * [taylor]: Taking taylor expansion of b in a 2.365 * [backup-simplify]: Simplify b into b 2.365 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 2.365 * [taylor]: Taking taylor expansion of (/ 1 d) in a 2.365 * [taylor]: Taking taylor expansion of d in a 2.365 * [backup-simplify]: Simplify d into d 2.365 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.365 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.366 * [taylor]: Taking taylor expansion of c in a 2.366 * [backup-simplify]: Simplify c into c 2.366 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.366 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 2.366 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.366 * [taylor]: Taking taylor expansion of a in a 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [backup-simplify]: Simplify 1 into 1 2.366 * [backup-simplify]: Simplify (/ 1 1) into 1 2.366 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 2.366 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.366 * [taylor]: Taking taylor expansion of b in a 2.366 * [backup-simplify]: Simplify b into b 2.366 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.366 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 2.366 * [taylor]: Taking taylor expansion of (/ 1 d) in a 2.366 * [taylor]: Taking taylor expansion of d in a 2.366 * [backup-simplify]: Simplify d into d 2.366 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.366 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.366 * [taylor]: Taking taylor expansion of c in a 2.366 * [backup-simplify]: Simplify c into c 2.366 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.367 * [backup-simplify]: Simplify (+ 1 0) into 1 2.367 * [taylor]: Taking taylor expansion of 1 in b 2.367 * [backup-simplify]: Simplify 1 into 1 2.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.367 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 2.367 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 2.367 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 2.367 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) in b 2.367 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.367 * [taylor]: Taking taylor expansion of b in b 2.367 * [backup-simplify]: Simplify 0 into 0 2.367 * [backup-simplify]: Simplify 1 into 1 2.368 * [backup-simplify]: Simplify (/ 1 1) into 1 2.368 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in b 2.368 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.368 * [taylor]: Taking taylor expansion of c in b 2.368 * [backup-simplify]: Simplify c into c 2.368 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.368 * [taylor]: Taking taylor expansion of (/ 1 d) in b 2.368 * [taylor]: Taking taylor expansion of d in b 2.368 * [backup-simplify]: Simplify d into d 2.368 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.368 * [backup-simplify]: Simplify (+ 1 0) into 1 2.368 * [taylor]: Taking taylor expansion of 1 in c 2.368 * [backup-simplify]: Simplify 1 into 1 2.368 * [taylor]: Taking taylor expansion of 1 in c 2.369 * [backup-simplify]: Simplify 1 into 1 2.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 2.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 2.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.370 * [backup-simplify]: Simplify (+ 0 0) into 0 2.370 * [backup-simplify]: Simplify (+ 0 0) into 0 2.370 * [backup-simplify]: Simplify (+ 0 0) into 0 2.370 * [taylor]: Taking taylor expansion of 0 in b 2.370 * [backup-simplify]: Simplify 0 into 0 2.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.371 * [backup-simplify]: Simplify (+ (/ 1 c) (/ 1 d)) into (+ (/ 1 d) (/ 1 c)) 2.371 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 d) (/ 1 c))) into (+ (/ 1 c) (/ 1 d)) 2.371 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 2.371 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.371 * [taylor]: Taking taylor expansion of c in c 2.371 * [backup-simplify]: Simplify 0 into 0 2.371 * [backup-simplify]: Simplify 1 into 1 2.371 * [backup-simplify]: Simplify (/ 1 1) into 1 2.371 * [taylor]: Taking taylor expansion of (/ 1 d) in c 2.371 * [taylor]: Taking taylor expansion of d in c 2.371 * [backup-simplify]: Simplify d into d 2.371 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.372 * [backup-simplify]: Simplify (+ 1 0) into 1 2.372 * [taylor]: Taking taylor expansion of 1 in d 2.372 * [backup-simplify]: Simplify 1 into 1 2.372 * [taylor]: Taking taylor expansion of 0 in c 2.372 * [backup-simplify]: Simplify 0 into 0 2.372 * [taylor]: Taking taylor expansion of 1 in d 2.372 * [backup-simplify]: Simplify 1 into 1 2.372 * [taylor]: Taking taylor expansion of 1 in d 2.372 * [backup-simplify]: Simplify 1 into 1 2.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.373 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.373 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 2.373 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.373 * [backup-simplify]: Simplify (+ 0 0) into 0 2.373 * [backup-simplify]: Simplify (+ 0 0) into 0 2.374 * [backup-simplify]: Simplify (+ 0 0) into 0 2.374 * [taylor]: Taking taylor expansion of 0 in b 2.374 * [backup-simplify]: Simplify 0 into 0 2.374 * [taylor]: Taking taylor expansion of 0 in c 2.374 * [backup-simplify]: Simplify 0 into 0 2.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.374 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.374 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 2.375 * [backup-simplify]: Simplify (+ 0 0) into 0 2.375 * [backup-simplify]: Simplify (+ 0 0) into 0 2.375 * [taylor]: Taking taylor expansion of 0 in c 2.375 * [backup-simplify]: Simplify 0 into 0 2.375 * [taylor]: Taking taylor expansion of 0 in c 2.375 * [backup-simplify]: Simplify 0 into 0 2.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.376 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 2.376 * [taylor]: Taking taylor expansion of (/ 1 d) in d 2.376 * [taylor]: Taking taylor expansion of d in d 2.376 * [backup-simplify]: Simplify 0 into 0 2.376 * [backup-simplify]: Simplify 1 into 1 2.376 * [backup-simplify]: Simplify (/ 1 1) into 1 2.376 * [backup-simplify]: Simplify 1 into 1 2.376 * [taylor]: Taking taylor expansion of 0 in d 2.376 * [backup-simplify]: Simplify 0 into 0 2.376 * [taylor]: Taking taylor expansion of 0 in d 2.376 * [backup-simplify]: Simplify 0 into 0 2.376 * [taylor]: Taking taylor expansion of 0 in d 2.376 * [backup-simplify]: Simplify 0 into 0 2.376 * [backup-simplify]: Simplify 1 into 1 2.376 * [backup-simplify]: Simplify 1 into 1 2.377 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 b)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 c)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 d)) (* 1 (* 1 1)))))) into (+ b (+ c d)) 2.377 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d)))) into (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) 2.377 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in (a b c d) around 0 2.377 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in d 2.377 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in d 2.378 * [taylor]: Taking taylor expansion of (/ 1 a) in d 2.378 * [taylor]: Taking taylor expansion of a in d 2.378 * [backup-simplify]: Simplify a into a 2.378 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in d 2.378 * [taylor]: Taking taylor expansion of (/ 1 b) in d 2.378 * [taylor]: Taking taylor expansion of b in d 2.378 * [backup-simplify]: Simplify b into b 2.378 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 2.378 * [taylor]: Taking taylor expansion of (/ 1 d) in d 2.378 * [taylor]: Taking taylor expansion of d in d 2.378 * [backup-simplify]: Simplify 0 into 0 2.378 * [backup-simplify]: Simplify 1 into 1 2.378 * [backup-simplify]: Simplify (/ 1 1) into 1 2.378 * [taylor]: Taking taylor expansion of (/ 1 c) in d 2.378 * [taylor]: Taking taylor expansion of c in d 2.378 * [backup-simplify]: Simplify c into c 2.378 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.378 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in c 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in c 2.378 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.378 * [taylor]: Taking taylor expansion of a in c 2.378 * [backup-simplify]: Simplify a into a 2.378 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in c 2.378 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.378 * [taylor]: Taking taylor expansion of b in c 2.378 * [backup-simplify]: Simplify b into b 2.378 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 2.378 * [taylor]: Taking taylor expansion of (/ 1 d) in c 2.378 * [taylor]: Taking taylor expansion of d in c 2.378 * [backup-simplify]: Simplify d into d 2.378 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.378 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.378 * [taylor]: Taking taylor expansion of c in c 2.378 * [backup-simplify]: Simplify 0 into 0 2.378 * [backup-simplify]: Simplify 1 into 1 2.379 * [backup-simplify]: Simplify (/ 1 1) into 1 2.379 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in b 2.379 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 2.379 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.379 * [taylor]: Taking taylor expansion of a in b 2.379 * [backup-simplify]: Simplify a into a 2.379 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.379 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 2.379 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.379 * [taylor]: Taking taylor expansion of b in b 2.379 * [backup-simplify]: Simplify 0 into 0 2.379 * [backup-simplify]: Simplify 1 into 1 2.379 * [backup-simplify]: Simplify (/ 1 1) into 1 2.379 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 2.379 * [taylor]: Taking taylor expansion of (/ 1 d) in b 2.379 * [taylor]: Taking taylor expansion of d in b 2.379 * [backup-simplify]: Simplify d into d 2.379 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.379 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.379 * [taylor]: Taking taylor expansion of c in b 2.379 * [backup-simplify]: Simplify c into c 2.379 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.379 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in a 2.379 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 2.379 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.379 * [taylor]: Taking taylor expansion of a in a 2.379 * [backup-simplify]: Simplify 0 into 0 2.380 * [backup-simplify]: Simplify 1 into 1 2.380 * [backup-simplify]: Simplify (/ 1 1) into 1 2.380 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 2.380 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.380 * [taylor]: Taking taylor expansion of b in a 2.380 * [backup-simplify]: Simplify b into b 2.380 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.380 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 2.380 * [taylor]: Taking taylor expansion of (/ 1 d) in a 2.380 * [taylor]: Taking taylor expansion of d in a 2.380 * [backup-simplify]: Simplify d into d 2.380 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.380 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.380 * [taylor]: Taking taylor expansion of c in a 2.380 * [backup-simplify]: Simplify c into c 2.380 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.380 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))))) in a 2.380 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in a 2.380 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.380 * [taylor]: Taking taylor expansion of a in a 2.380 * [backup-simplify]: Simplify 0 into 0 2.380 * [backup-simplify]: Simplify 1 into 1 2.380 * [backup-simplify]: Simplify (/ 1 1) into 1 2.380 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in a 2.380 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.380 * [taylor]: Taking taylor expansion of b in a 2.380 * [backup-simplify]: Simplify b into b 2.381 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 2.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in a 2.381 * [taylor]: Taking taylor expansion of (/ 1 d) in a 2.381 * [taylor]: Taking taylor expansion of d in a 2.381 * [backup-simplify]: Simplify d into d 2.381 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.381 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.381 * [taylor]: Taking taylor expansion of c in a 2.381 * [backup-simplify]: Simplify c into c 2.381 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.381 * [backup-simplify]: Simplify (+ 1 0) into 1 2.381 * [backup-simplify]: Simplify (- 1) into -1 2.381 * [taylor]: Taking taylor expansion of -1 in b 2.381 * [backup-simplify]: Simplify -1 into -1 2.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.382 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 2.382 * [backup-simplify]: Simplify (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 2.382 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (+ (/ 1 b) (+ (/ 1 c) (/ 1 d))) 2.382 * [backup-simplify]: Simplify (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 d)))) into (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) 2.382 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (/ 1 c)))) in b 2.382 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 c))) in b 2.382 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.382 * [taylor]: Taking taylor expansion of b in b 2.382 * [backup-simplify]: Simplify 0 into 0 2.382 * [backup-simplify]: Simplify 1 into 1 2.383 * [backup-simplify]: Simplify (/ 1 1) into 1 2.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in b 2.383 * [taylor]: Taking taylor expansion of (/ 1 d) in b 2.383 * [taylor]: Taking taylor expansion of d in b 2.383 * [backup-simplify]: Simplify d into d 2.383 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.383 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.383 * [taylor]: Taking taylor expansion of c in b 2.383 * [backup-simplify]: Simplify c into c 2.383 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 2.383 * [backup-simplify]: Simplify (+ 1 0) into 1 2.383 * [backup-simplify]: Simplify (- 1) into -1 2.383 * [taylor]: Taking taylor expansion of -1 in c 2.383 * [backup-simplify]: Simplify -1 into -1 2.383 * [taylor]: Taking taylor expansion of -1 in c 2.383 * [backup-simplify]: Simplify -1 into -1 2.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 2.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 2.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.384 * [backup-simplify]: Simplify (+ 0 0) into 0 2.385 * [backup-simplify]: Simplify (+ 0 0) into 0 2.385 * [backup-simplify]: Simplify (+ 0 0) into 0 2.385 * [backup-simplify]: Simplify (- 0) into 0 2.385 * [taylor]: Taking taylor expansion of 0 in b 2.385 * [backup-simplify]: Simplify 0 into 0 2.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.386 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 c)) into (+ (/ 1 c) (/ 1 d)) 2.386 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 c) (/ 1 d))) into (+ (/ 1 d) (/ 1 c)) 2.387 * [backup-simplify]: Simplify (- (+ (/ 1 d) (/ 1 c))) into (- (+ (/ 1 d) (/ 1 c))) 2.387 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in c 2.387 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 2.387 * [taylor]: Taking taylor expansion of (/ 1 d) in c 2.387 * [taylor]: Taking taylor expansion of d in c 2.387 * [backup-simplify]: Simplify d into d 2.387 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 2.387 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.387 * [taylor]: Taking taylor expansion of c in c 2.387 * [backup-simplify]: Simplify 0 into 0 2.387 * [backup-simplify]: Simplify 1 into 1 2.387 * [backup-simplify]: Simplify (/ 1 1) into 1 2.388 * [backup-simplify]: Simplify (+ 0 1) into 1 2.388 * [backup-simplify]: Simplify (- 1) into -1 2.388 * [taylor]: Taking taylor expansion of -1 in d 2.388 * [backup-simplify]: Simplify -1 into -1 2.388 * [taylor]: Taking taylor expansion of 0 in c 2.388 * [backup-simplify]: Simplify 0 into 0 2.388 * [taylor]: Taking taylor expansion of -1 in d 2.388 * [backup-simplify]: Simplify -1 into -1 2.388 * [taylor]: Taking taylor expansion of -1 in d 2.388 * [backup-simplify]: Simplify -1 into -1 2.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 2.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 2.393 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 2.393 * [backup-simplify]: Simplify (+ 0 0) into 0 2.394 * [backup-simplify]: Simplify (+ 0 0) into 0 2.394 * [backup-simplify]: Simplify (+ 0 0) into 0 2.394 * [backup-simplify]: Simplify (- 0) into 0 2.394 * [taylor]: Taking taylor expansion of 0 in b 2.395 * [backup-simplify]: Simplify 0 into 0 2.395 * [taylor]: Taking taylor expansion of 0 in c 2.395 * [backup-simplify]: Simplify 0 into 0 2.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.396 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 2.396 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 2.396 * [backup-simplify]: Simplify (+ 0 0) into 0 2.397 * [backup-simplify]: Simplify (+ 0 0) into 0 2.397 * [backup-simplify]: Simplify (- 0) into 0 2.397 * [taylor]: Taking taylor expansion of 0 in c 2.397 * [backup-simplify]: Simplify 0 into 0 2.397 * [taylor]: Taking taylor expansion of 0 in c 2.397 * [backup-simplify]: Simplify 0 into 0 2.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.398 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 2.398 * [backup-simplify]: Simplify (- (/ 1 d)) into (- (/ 1 d)) 2.398 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 2.398 * [taylor]: Taking taylor expansion of (/ 1 d) in d 2.398 * [taylor]: Taking taylor expansion of d in d 2.398 * [backup-simplify]: Simplify 0 into 0 2.398 * [backup-simplify]: Simplify 1 into 1 2.398 * [backup-simplify]: Simplify (/ 1 1) into 1 2.398 * [backup-simplify]: Simplify (- 1) into -1 2.398 * [backup-simplify]: Simplify -1 into -1 2.398 * [taylor]: Taking taylor expansion of 0 in d 2.398 * [backup-simplify]: Simplify 0 into 0 2.398 * [taylor]: Taking taylor expansion of 0 in d 2.398 * [backup-simplify]: Simplify 0 into 0 2.398 * [taylor]: Taking taylor expansion of 0 in d 2.398 * [backup-simplify]: Simplify 0 into 0 2.399 * [backup-simplify]: Simplify -1 into -1 2.399 * [backup-simplify]: Simplify -1 into -1 2.399 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- b))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- c))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- d))) (* 1 (* 1 1)))))) into (+ b (+ c d)) 2.399 * * * [progress]: simplifying candidates 2.399 * * * * [progress]: [ 1 / 26 ] simplifiying candidate # 2.399 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 2.399 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 8 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 9 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 19 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 22 / 26 ] simplifiying candidate #real (real->posit16 (+ a (+ (+ b c) d)))) 2))> 2.400 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 2.400 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 2.401 * [simplify]: Simplifying (expm1 (+ a (+ (+ b c) d))), (log1p (+ a (+ (+ b c) d))), (* (exp a) (* (* (exp b) (exp c)) (exp d))), (* (exp a) (* (exp (+ b c)) (exp d))), (* (exp a) (exp (+ (+ 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))), (* (* (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d))) (+ a (+ (+ b c) d))), (sqrt (+ a (+ (+ b c) d))), (sqrt (+ a (+ (+ b c) d))), (+ (pow a 3) (pow (+ (+ b c) d) 3)), (+ (* a a) (- (* (+ (+ b c) d) (+ (+ b c) d)) (* a (+ (+ b c) d)))), (- (* a a) (* (+ (+ b c) d) (+ (+ b c) d))), (- a (+ (+ b c) d)), (+ a (+ (+ b c) d)), (+ a (+ (+ b c) d)), (+ a (+ (+ b c) d)), (+ a (+ b c)), (real->posit16 (+ a (+ (+ b c) d))), (+ a (+ b c)), (+ b (+ c d)), (+ b (+ c d)) 2.401 * * [simplify]: iteration 1: (43 enodes) 2.413 * * [simplify]: iteration 2: (184 enodes) 2.474 * * [simplify]: iteration 3: (675 enodes) 3.621 * * [simplify]: Extracting #0: cost 16 inf + 0 3.622 * * [simplify]: Extracting #1: cost 216 inf + 0 3.628 * * [simplify]: Extracting #2: cost 778 inf + 4842 3.669 * * [simplify]: Extracting #3: cost 390 inf + 85614 3.740 * * [simplify]: Extracting #4: cost 15 inf + 156339 3.819 * * [simplify]: Extracting #5: cost 3 inf + 159571 3.873 * * [simplify]: Extracting #6: cost 0 inf + 160622 3.927 * [simplify]: Simplified to (expm1 (+ d (+ (+ b c) a))), (log1p (+ d (+ (+ b c) a))), (exp (+ d (+ (+ b c) a))), (exp (+ d (+ (+ b c) a))), (exp (+ d (+ (+ b c) a))), (log (+ d (+ (+ b c) a))), (exp (+ d (+ (+ b c) a))), (* (cbrt (+ d (+ (+ b c) a))) (cbrt (+ d (+ (+ b c) a)))), (cbrt (+ d (+ (+ b c) a))), (* (+ d (+ (+ b c) a)) (* (+ d (+ (+ b c) a)) (+ d (+ (+ b c) a)))), (sqrt (+ d (+ (+ b c) a))), (sqrt (+ d (+ (+ b c) a))), (fma a (* a a) (* (+ (+ b c) d) (* (+ (+ b c) d) (+ (+ b c) d)))), (fma (+ (+ b c) d) (- (+ (+ b c) d) a) (* a a)), (- (* a a) (* (+ (+ b c) d) (+ (+ b c) d))), (- (- a d) (+ b c)), (+ d (+ (+ b c) a)), (+ d (+ (+ b c) a)), (+ d (+ (+ b c) a)), (+ (+ b c) a), (real->posit16 (+ d (+ (+ b c) a))), (+ (+ b c) a), (+ (+ b c) d), (+ (+ b c) d) 3.927 * * * * [progress]: [ 1 / 26 ] simplifiying candidate # 3.927 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log1p (expm1 (+ d (+ (+ b c) a)))) 2)) 3.927 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 3.927 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (expm1 (log1p (+ d (+ (+ b c) a)))) 2)) 3.927 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 3.927 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 3.927 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 3.927 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 3.927 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ d (+ (+ b c) a)))) 2)) 3.927 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 3.927 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ d (+ (+ b c) a)))) 2)) 3.927 * * * * [progress]: [ 8 / 26 ] simplifiying candidate # 3.927 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ d (+ (+ b c) a)))) 2)) 3.927 * * * * [progress]: [ 9 / 26 ] simplifiying candidate # 3.927 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 3.927 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (exp (log (+ d (+ (+ b c) a)))) 2)) 3.927 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 3.928 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ d (+ (+ b c) a)))) 2)) 3.928 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 3.928 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (* (* (cbrt (+ d (+ (+ b c) a))) (cbrt (+ d (+ (+ b c) a)))) (cbrt (+ a (+ (+ b c) d)))) 2)) 3.928 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* (* (cbrt (+ a (+ (+ b c) d))) (cbrt (+ a (+ (+ b c) d)))) (cbrt (+ d (+ (+ b c) a)))) 2)) 3.928 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 3.928 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (cbrt (* (+ d (+ (+ b c) a)) (* (+ d (+ (+ b c) a)) (+ d (+ (+ b c) a))))) 2)) 3.928 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 3.928 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (* (sqrt (+ d (+ (+ b c) a))) (sqrt (+ a (+ (+ b c) d)))) 2)) 3.928 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* (sqrt (+ a (+ (+ b c) d))) (sqrt (+ d (+ (+ b c) a)))) 2)) 3.928 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 3.928 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (/ (fma a (* a a) (* (+ (+ b c) d) (* (+ (+ b c) d) (+ (+ b c) d)))) (+ (* a a) (- (* (+ (+ b c) d) (+ (+ b c) d)) (* a (+ (+ b c) d))))) 2)) 3.928 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (/ (fma a (* a a) (* (+ (+ b c) d) (* (+ (+ b c) d) (+ (+ b c) d)))) (fma (+ (+ b c) d) (- (+ (+ b c) d) a) (* a a))) 2)) 3.928 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 3.928 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 3.928 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (/ (- (* a a) (* (+ (+ b c) d) (+ (+ b c) d))) (- a (+ (+ b c) d))) 2)) 3.928 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (/ (- (* a a) (* (+ (+ b c) d) (+ (+ b c) d))) (- (- a d) (+ b c))) 2)) 3.929 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 3.929 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ d (+ (+ b c) a))) 2)) 3.929 * * * * [progress]: [ 19 / 26 ] simplifiying candidate # 3.929 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ d (+ (+ b c) a))) 2)) 3.929 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 3.929 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ d (+ (+ b c) a))) 2)) 3.929 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 3.929 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (+ (+ (+ b c) a) d) 2)) 3.929 * * * * [progress]: [ 22 / 26 ] simplifiying candidate #real (real->posit16 (+ a (+ (+ b c) d)))) 2))> 3.929 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (posit16->real (real->posit16 (+ d (+ (+ b c) a)))) 2)) 3.929 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 3.929 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 3.929 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b c) a) 2)) 3.929 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 3.929 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b c) d) 2)) 3.929 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 3.929 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ b c) d) 2)) 3.930 * * * [progress]: adding candidates to table 4.141 * * [progress]: iteration 3 / 4 4.141 * * * [progress]: picking best candidate 4.215 * * * * [pick]: Picked # 4.215 * * * [progress]: localizing error 4.240 * * * [progress]: generating rewritten candidates 4.240 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 4.403 * * * [progress]: generating series expansions 4.403 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 4.403 * [backup-simplify]: Simplify (+ (+ (+ b c) d) a) into (+ a (+ b (+ c d))) 4.403 * [approximate]: Taking taylor expansion of (+ a (+ b (+ c d))) in (b c d a) around 0 4.403 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in a 4.403 * [taylor]: Taking taylor expansion of a in a 4.403 * [backup-simplify]: Simplify 0 into 0 4.403 * [backup-simplify]: Simplify 1 into 1 4.403 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in a 4.403 * [taylor]: Taking taylor expansion of b in a 4.403 * [backup-simplify]: Simplify b into b 4.403 * [taylor]: Taking taylor expansion of (+ c d) in a 4.403 * [taylor]: Taking taylor expansion of c in a 4.403 * [backup-simplify]: Simplify c into c 4.403 * [taylor]: Taking taylor expansion of d in a 4.403 * [backup-simplify]: Simplify d into d 4.403 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in d 4.403 * [taylor]: Taking taylor expansion of a in d 4.403 * [backup-simplify]: Simplify a into a 4.404 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in d 4.404 * [taylor]: Taking taylor expansion of b in d 4.404 * [backup-simplify]: Simplify b into b 4.404 * [taylor]: Taking taylor expansion of (+ c d) in d 4.404 * [taylor]: Taking taylor expansion of c in d 4.404 * [backup-simplify]: Simplify c into c 4.404 * [taylor]: Taking taylor expansion of d in d 4.404 * [backup-simplify]: Simplify 0 into 0 4.404 * [backup-simplify]: Simplify 1 into 1 4.404 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in c 4.404 * [taylor]: Taking taylor expansion of a in c 4.404 * [backup-simplify]: Simplify a into a 4.404 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in c 4.404 * [taylor]: Taking taylor expansion of b in c 4.404 * [backup-simplify]: Simplify b into b 4.404 * [taylor]: Taking taylor expansion of (+ c d) in c 4.404 * [taylor]: Taking taylor expansion of c in c 4.404 * [backup-simplify]: Simplify 0 into 0 4.404 * [backup-simplify]: Simplify 1 into 1 4.404 * [taylor]: Taking taylor expansion of d in c 4.404 * [backup-simplify]: Simplify d into d 4.404 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 4.404 * [taylor]: Taking taylor expansion of a in b 4.404 * [backup-simplify]: Simplify a into a 4.404 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 4.404 * [taylor]: Taking taylor expansion of b in b 4.404 * [backup-simplify]: Simplify 0 into 0 4.404 * [backup-simplify]: Simplify 1 into 1 4.404 * [taylor]: Taking taylor expansion of (+ c d) in b 4.404 * [taylor]: Taking taylor expansion of c in b 4.404 * [backup-simplify]: Simplify c into c 4.404 * [taylor]: Taking taylor expansion of d in b 4.404 * [backup-simplify]: Simplify d into d 4.404 * [taylor]: Taking taylor expansion of (+ a (+ b (+ c d))) in b 4.404 * [taylor]: Taking taylor expansion of a in b 4.404 * [backup-simplify]: Simplify a into a 4.404 * [taylor]: Taking taylor expansion of (+ b (+ c d)) in b 4.404 * [taylor]: Taking taylor expansion of b in b 4.404 * [backup-simplify]: Simplify 0 into 0 4.404 * [backup-simplify]: Simplify 1 into 1 4.404 * [taylor]: Taking taylor expansion of (+ c d) in b 4.404 * [taylor]: Taking taylor expansion of c in b 4.404 * [backup-simplify]: Simplify c into c 4.404 * [taylor]: Taking taylor expansion of d in b 4.404 * [backup-simplify]: Simplify d into d 4.404 * [backup-simplify]: Simplify (+ c d) into (+ c d) 4.404 * [backup-simplify]: Simplify (+ 0 (+ c d)) into (+ c d) 4.404 * [backup-simplify]: Simplify (+ a (+ c d)) into (+ a (+ c d)) 4.404 * [taylor]: Taking taylor expansion of (+ a (+ c d)) in c 4.404 * [taylor]: Taking taylor expansion of a in c 4.404 * [backup-simplify]: Simplify a into a 4.404 * [taylor]: Taking taylor expansion of (+ c d) in c 4.404 * [taylor]: Taking taylor expansion of c in c 4.404 * [backup-simplify]: Simplify 0 into 0 4.404 * [backup-simplify]: Simplify 1 into 1 4.404 * [taylor]: Taking taylor expansion of d in c 4.404 * [backup-simplify]: Simplify d into d 4.404 * [backup-simplify]: Simplify (+ 0 d) into d 4.404 * [backup-simplify]: Simplify (+ a d) into (+ a d) 4.405 * [taylor]: Taking taylor expansion of (+ a d) in d 4.405 * [taylor]: Taking taylor expansion of a in d 4.405 * [backup-simplify]: Simplify a into a 4.405 * [taylor]: Taking taylor expansion of d in d 4.405 * [backup-simplify]: Simplify 0 into 0 4.405 * [backup-simplify]: Simplify 1 into 1 4.405 * [backup-simplify]: Simplify (+ a 0) into a 4.405 * [taylor]: Taking taylor expansion of a in a 4.405 * [backup-simplify]: Simplify 0 into 0 4.405 * [backup-simplify]: Simplify 1 into 1 4.405 * [backup-simplify]: Simplify 0 into 0 4.405 * [backup-simplify]: Simplify (+ 0 0) into 0 4.406 * [backup-simplify]: Simplify (+ 1 0) into 1 4.406 * [backup-simplify]: Simplify (+ 0 1) into 1 4.406 * [taylor]: Taking taylor expansion of 1 in c 4.406 * [backup-simplify]: Simplify 1 into 1 4.406 * [taylor]: Taking taylor expansion of 1 in d 4.406 * [backup-simplify]: Simplify 1 into 1 4.406 * [taylor]: Taking taylor expansion of 1 in a 4.406 * [backup-simplify]: Simplify 1 into 1 4.406 * [backup-simplify]: Simplify 1 into 1 4.406 * [backup-simplify]: Simplify (+ 1 0) into 1 4.407 * [backup-simplify]: Simplify (+ 0 1) into 1 4.407 * [taylor]: Taking taylor expansion of 1 in d 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [taylor]: Taking taylor expansion of 1 in a 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [backup-simplify]: Simplify (+ 0 1) into 1 4.407 * [taylor]: Taking taylor expansion of 1 in a 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* d (* 1 1)))) (+ (* 1 (* 1 (* 1 (* c 1)))) (* 1 (* 1 (* 1 (* 1 b)))))) into (+ b (+ c d)) 4.408 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 b) (/ 1 c)) (/ 1 d)) (/ 1 a)) into (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) 4.408 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (b c d a) around 0 4.408 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 4.408 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.408 * [taylor]: Taking taylor expansion of b in a 4.408 * [backup-simplify]: Simplify b into b 4.408 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.408 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 4.408 * [taylor]: Taking taylor expansion of (/ 1 c) in a 4.408 * [taylor]: Taking taylor expansion of c in a 4.408 * [backup-simplify]: Simplify c into c 4.408 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 4.408 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 4.408 * [taylor]: Taking taylor expansion of (/ 1 d) in a 4.408 * [taylor]: Taking taylor expansion of d in a 4.408 * [backup-simplify]: Simplify d into d 4.408 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.408 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.408 * [taylor]: Taking taylor expansion of a in a 4.408 * [backup-simplify]: Simplify 0 into 0 4.408 * [backup-simplify]: Simplify 1 into 1 4.408 * [backup-simplify]: Simplify (/ 1 1) into 1 4.408 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 4.408 * [taylor]: Taking taylor expansion of (/ 1 b) in d 4.408 * [taylor]: Taking taylor expansion of b in d 4.408 * [backup-simplify]: Simplify b into b 4.408 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.408 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 4.408 * [taylor]: Taking taylor expansion of (/ 1 c) in d 4.408 * [taylor]: Taking taylor expansion of c in d 4.409 * [backup-simplify]: Simplify c into c 4.409 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 4.409 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 4.409 * [taylor]: Taking taylor expansion of (/ 1 d) in d 4.409 * [taylor]: Taking taylor expansion of d in d 4.409 * [backup-simplify]: Simplify 0 into 0 4.409 * [backup-simplify]: Simplify 1 into 1 4.409 * [backup-simplify]: Simplify (/ 1 1) into 1 4.409 * [taylor]: Taking taylor expansion of (/ 1 a) in d 4.409 * [taylor]: Taking taylor expansion of a in d 4.409 * [backup-simplify]: Simplify a into a 4.409 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.409 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c 4.409 * [taylor]: Taking taylor expansion of (/ 1 b) in c 4.409 * [taylor]: Taking taylor expansion of b in c 4.409 * [backup-simplify]: Simplify b into b 4.409 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.409 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c 4.409 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.409 * [taylor]: Taking taylor expansion of c in c 4.409 * [backup-simplify]: Simplify 0 into 0 4.409 * [backup-simplify]: Simplify 1 into 1 4.409 * [backup-simplify]: Simplify (/ 1 1) into 1 4.409 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c 4.409 * [taylor]: Taking taylor expansion of (/ 1 d) in c 4.409 * [taylor]: Taking taylor expansion of d in c 4.409 * [backup-simplify]: Simplify d into d 4.409 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.410 * [taylor]: Taking taylor expansion of (/ 1 a) in c 4.410 * [taylor]: Taking taylor expansion of a in c 4.410 * [backup-simplify]: Simplify a into a 4.410 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.410 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 4.410 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.410 * [taylor]: Taking taylor expansion of b in b 4.410 * [backup-simplify]: Simplify 0 into 0 4.410 * [backup-simplify]: Simplify 1 into 1 4.410 * [backup-simplify]: Simplify (/ 1 1) into 1 4.410 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 4.410 * [taylor]: Taking taylor expansion of (/ 1 c) in b 4.410 * [taylor]: Taking taylor expansion of c in b 4.410 * [backup-simplify]: Simplify c into c 4.410 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 4.410 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 4.410 * [taylor]: Taking taylor expansion of (/ 1 d) in b 4.410 * [taylor]: Taking taylor expansion of d in b 4.410 * [backup-simplify]: Simplify d into d 4.410 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.410 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.410 * [taylor]: Taking taylor expansion of a in b 4.410 * [backup-simplify]: Simplify a into a 4.410 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.410 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 4.410 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.410 * [taylor]: Taking taylor expansion of b in b 4.410 * [backup-simplify]: Simplify 0 into 0 4.410 * [backup-simplify]: Simplify 1 into 1 4.410 * [backup-simplify]: Simplify (/ 1 1) into 1 4.411 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 4.411 * [taylor]: Taking taylor expansion of (/ 1 c) in b 4.411 * [taylor]: Taking taylor expansion of c in b 4.411 * [backup-simplify]: Simplify c into c 4.411 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 4.411 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 4.411 * [taylor]: Taking taylor expansion of (/ 1 d) in b 4.411 * [taylor]: Taking taylor expansion of d in b 4.411 * [backup-simplify]: Simplify d into d 4.411 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.411 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.411 * [taylor]: Taking taylor expansion of a in b 4.411 * [backup-simplify]: Simplify a into a 4.411 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.411 * [backup-simplify]: Simplify (+ 1 0) into 1 4.411 * [taylor]: Taking taylor expansion of 1 in c 4.411 * [backup-simplify]: Simplify 1 into 1 4.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.412 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 a) (/ 1 d)) 4.412 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) 4.412 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) 4.412 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) in c 4.412 * [taylor]: Taking taylor expansion of (/ 1 a) in c 4.412 * [taylor]: Taking taylor expansion of a in c 4.412 * [backup-simplify]: Simplify a into a 4.412 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.412 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 4.412 * [taylor]: Taking taylor expansion of (/ 1 d) in c 4.412 * [taylor]: Taking taylor expansion of d in c 4.412 * [backup-simplify]: Simplify d into d 4.412 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.412 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.412 * [taylor]: Taking taylor expansion of c in c 4.412 * [backup-simplify]: Simplify 0 into 0 4.412 * [backup-simplify]: Simplify 1 into 1 4.412 * [backup-simplify]: Simplify (/ 1 1) into 1 4.413 * [backup-simplify]: Simplify (+ 0 1) into 1 4.413 * [backup-simplify]: Simplify (+ 0 1) into 1 4.413 * [taylor]: Taking taylor expansion of 1 in d 4.413 * [backup-simplify]: Simplify 1 into 1 4.413 * [taylor]: Taking taylor expansion of 1 in d 4.413 * [backup-simplify]: Simplify 1 into 1 4.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.414 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 4.414 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 4.414 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 4.414 * [backup-simplify]: Simplify (+ 0 0) into 0 4.414 * [backup-simplify]: Simplify (+ 0 0) into 0 4.415 * [backup-simplify]: Simplify (+ 0 0) into 0 4.415 * [taylor]: Taking taylor expansion of 0 in c 4.415 * [backup-simplify]: Simplify 0 into 0 4.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.415 * [backup-simplify]: Simplify (+ (/ 1 d) 0) into (/ 1 d) 4.415 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 4.415 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 4.415 * [taylor]: Taking taylor expansion of (/ 1 a) in d 4.415 * [taylor]: Taking taylor expansion of a in d 4.415 * [backup-simplify]: Simplify a into a 4.415 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.415 * [taylor]: Taking taylor expansion of (/ 1 d) in d 4.415 * [taylor]: Taking taylor expansion of d in d 4.415 * [backup-simplify]: Simplify 0 into 0 4.415 * [backup-simplify]: Simplify 1 into 1 4.416 * [backup-simplify]: Simplify (/ 1 1) into 1 4.416 * [backup-simplify]: Simplify (+ 0 1) into 1 4.416 * [taylor]: Taking taylor expansion of 1 in a 4.416 * [backup-simplify]: Simplify 1 into 1 4.416 * [taylor]: Taking taylor expansion of 0 in d 4.416 * [backup-simplify]: Simplify 0 into 0 4.416 * [taylor]: Taking taylor expansion of 1 in a 4.416 * [backup-simplify]: Simplify 1 into 1 4.416 * [taylor]: Taking taylor expansion of 1 in a 4.416 * [backup-simplify]: Simplify 1 into 1 4.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 4.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 4.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 4.417 * [backup-simplify]: Simplify (+ 0 0) into 0 4.417 * [backup-simplify]: Simplify (+ 0 0) into 0 4.418 * [backup-simplify]: Simplify (+ 0 0) into 0 4.418 * [taylor]: Taking taylor expansion of 0 in c 4.418 * [backup-simplify]: Simplify 0 into 0 4.418 * [taylor]: Taking taylor expansion of 0 in d 4.418 * [backup-simplify]: Simplify 0 into 0 4.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 4.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 4.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.419 * [backup-simplify]: Simplify (+ 0 0) into 0 4.419 * [backup-simplify]: Simplify (+ 0 0) into 0 4.419 * [taylor]: Taking taylor expansion of 0 in d 4.419 * [backup-simplify]: Simplify 0 into 0 4.419 * [taylor]: Taking taylor expansion of 0 in d 4.419 * [backup-simplify]: Simplify 0 into 0 4.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.419 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 4.419 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.420 * [taylor]: Taking taylor expansion of a in a 4.420 * [backup-simplify]: Simplify 0 into 0 4.420 * [backup-simplify]: Simplify 1 into 1 4.420 * [backup-simplify]: Simplify (/ 1 1) into 1 4.420 * [backup-simplify]: Simplify 1 into 1 4.420 * [taylor]: Taking taylor expansion of 0 in a 4.420 * [backup-simplify]: Simplify 0 into 0 4.420 * [taylor]: Taking taylor expansion of 0 in a 4.420 * [backup-simplify]: Simplify 0 into 0 4.420 * [taylor]: Taking taylor expansion of 0 in a 4.420 * [backup-simplify]: Simplify 0 into 0 4.420 * [backup-simplify]: Simplify 1 into 1 4.420 * [backup-simplify]: Simplify 1 into 1 4.421 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 c)) 1)))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d)) (* 1 1)))) (* 1 (* (/ 1 (/ 1 a)) (* 1 (* 1 1)))))) into (+ a (+ c d)) 4.421 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- b)) (/ 1 (- c))) (/ 1 (- d))) (/ 1 (- a))) into (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) 4.421 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (b c d a) around 0 4.421 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a 4.421 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 4.421 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.421 * [taylor]: Taking taylor expansion of b in a 4.421 * [backup-simplify]: Simplify b into b 4.421 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.421 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 4.421 * [taylor]: Taking taylor expansion of (/ 1 c) in a 4.421 * [taylor]: Taking taylor expansion of c in a 4.421 * [backup-simplify]: Simplify c into c 4.421 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 4.421 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 4.421 * [taylor]: Taking taylor expansion of (/ 1 d) in a 4.421 * [taylor]: Taking taylor expansion of d in a 4.421 * [backup-simplify]: Simplify d into d 4.421 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.421 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.421 * [taylor]: Taking taylor expansion of a in a 4.421 * [backup-simplify]: Simplify 0 into 0 4.421 * [backup-simplify]: Simplify 1 into 1 4.422 * [backup-simplify]: Simplify (/ 1 1) into 1 4.422 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 4.422 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 4.422 * [taylor]: Taking taylor expansion of (/ 1 b) in d 4.422 * [taylor]: Taking taylor expansion of b in d 4.422 * [backup-simplify]: Simplify b into b 4.422 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.422 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 4.422 * [taylor]: Taking taylor expansion of (/ 1 c) in d 4.422 * [taylor]: Taking taylor expansion of c in d 4.422 * [backup-simplify]: Simplify c into c 4.422 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 4.422 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 4.422 * [taylor]: Taking taylor expansion of (/ 1 d) in d 4.422 * [taylor]: Taking taylor expansion of d in d 4.422 * [backup-simplify]: Simplify 0 into 0 4.422 * [backup-simplify]: Simplify 1 into 1 4.423 * [backup-simplify]: Simplify (/ 1 1) into 1 4.423 * [taylor]: Taking taylor expansion of (/ 1 a) in d 4.423 * [taylor]: Taking taylor expansion of a in d 4.423 * [backup-simplify]: Simplify a into a 4.423 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.423 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c 4.423 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c 4.423 * [taylor]: Taking taylor expansion of (/ 1 b) in c 4.423 * [taylor]: Taking taylor expansion of b in c 4.423 * [backup-simplify]: Simplify b into b 4.423 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.423 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c 4.423 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.423 * [taylor]: Taking taylor expansion of c in c 4.423 * [backup-simplify]: Simplify 0 into 0 4.423 * [backup-simplify]: Simplify 1 into 1 4.424 * [backup-simplify]: Simplify (/ 1 1) into 1 4.424 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c 4.424 * [taylor]: Taking taylor expansion of (/ 1 d) in c 4.424 * [taylor]: Taking taylor expansion of d in c 4.424 * [backup-simplify]: Simplify d into d 4.424 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.424 * [taylor]: Taking taylor expansion of (/ 1 a) in c 4.424 * [taylor]: Taking taylor expansion of a in c 4.424 * [backup-simplify]: Simplify a into a 4.424 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.424 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b 4.424 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 4.424 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.424 * [taylor]: Taking taylor expansion of b in b 4.424 * [backup-simplify]: Simplify 0 into 0 4.424 * [backup-simplify]: Simplify 1 into 1 4.424 * [backup-simplify]: Simplify (/ 1 1) into 1 4.424 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 4.424 * [taylor]: Taking taylor expansion of (/ 1 c) in b 4.425 * [taylor]: Taking taylor expansion of c in b 4.425 * [backup-simplify]: Simplify c into c 4.425 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 4.425 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 4.425 * [taylor]: Taking taylor expansion of (/ 1 d) in b 4.425 * [taylor]: Taking taylor expansion of d in b 4.425 * [backup-simplify]: Simplify d into d 4.425 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.425 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.425 * [taylor]: Taking taylor expansion of a in b 4.425 * [backup-simplify]: Simplify a into a 4.425 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.425 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b 4.425 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 4.425 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.425 * [taylor]: Taking taylor expansion of b in b 4.425 * [backup-simplify]: Simplify 0 into 0 4.425 * [backup-simplify]: Simplify 1 into 1 4.425 * [backup-simplify]: Simplify (/ 1 1) into 1 4.425 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 4.425 * [taylor]: Taking taylor expansion of (/ 1 c) in b 4.425 * [taylor]: Taking taylor expansion of c in b 4.426 * [backup-simplify]: Simplify c into c 4.426 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 4.426 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 4.426 * [taylor]: Taking taylor expansion of (/ 1 d) in b 4.426 * [taylor]: Taking taylor expansion of d in b 4.426 * [backup-simplify]: Simplify d into d 4.426 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.426 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.426 * [taylor]: Taking taylor expansion of a in b 4.426 * [backup-simplify]: Simplify a into a 4.426 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.426 * [backup-simplify]: Simplify (+ 1 0) into 1 4.427 * [backup-simplify]: Simplify (- 1) into -1 4.427 * [taylor]: Taking taylor expansion of -1 in c 4.427 * [backup-simplify]: Simplify -1 into -1 4.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.428 * [backup-simplify]: Simplify (+ (/ 1 d) (/ 1 a)) into (+ (/ 1 a) (/ 1 d)) 4.428 * [backup-simplify]: Simplify (+ (/ 1 c) (+ (/ 1 a) (/ 1 d))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) 4.428 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) into (+ (/ 1 a) (+ (/ 1 d) (/ 1 c))) 4.428 * [backup-simplify]: Simplify (- (+ (/ 1 a) (+ (/ 1 d) (/ 1 c)))) into (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) 4.428 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 d)))) in c 4.428 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 d))) in c 4.428 * [taylor]: Taking taylor expansion of (/ 1 a) in c 4.428 * [taylor]: Taking taylor expansion of a in c 4.428 * [backup-simplify]: Simplify a into a 4.429 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.429 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 d)) in c 4.429 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.429 * [taylor]: Taking taylor expansion of c in c 4.429 * [backup-simplify]: Simplify 0 into 0 4.429 * [backup-simplify]: Simplify 1 into 1 4.429 * [backup-simplify]: Simplify (/ 1 1) into 1 4.429 * [taylor]: Taking taylor expansion of (/ 1 d) in c 4.429 * [taylor]: Taking taylor expansion of d in c 4.429 * [backup-simplify]: Simplify d into d 4.429 * [backup-simplify]: Simplify (/ 1 d) into (/ 1 d) 4.430 * [backup-simplify]: Simplify (+ 1 0) into 1 4.430 * [backup-simplify]: Simplify (+ 0 1) into 1 4.430 * [backup-simplify]: Simplify (- 1) into -1 4.430 * [taylor]: Taking taylor expansion of -1 in d 4.430 * [backup-simplify]: Simplify -1 into -1 4.431 * [taylor]: Taking taylor expansion of -1 in d 4.431 * [backup-simplify]: Simplify -1 into -1 4.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)))) into 0 4.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 4.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 4.432 * [backup-simplify]: Simplify (+ 0 0) into 0 4.433 * [backup-simplify]: Simplify (+ 0 0) into 0 4.433 * [backup-simplify]: Simplify (+ 0 0) into 0 4.433 * [backup-simplify]: Simplify (- 0) into 0 4.433 * [taylor]: Taking taylor expansion of 0 in c 4.433 * [backup-simplify]: Simplify 0 into 0 4.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.434 * [backup-simplify]: Simplify (+ 0 (/ 1 d)) into (/ 1 d) 4.434 * [backup-simplify]: Simplify (+ (/ 1 a) (/ 1 d)) into (+ (/ 1 a) (/ 1 d)) 4.435 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 d))) into (- (+ (/ 1 a) (/ 1 d))) 4.435 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 d))) in d 4.435 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 d)) in d 4.435 * [taylor]: Taking taylor expansion of (/ 1 a) in d 4.435 * [taylor]: Taking taylor expansion of a in d 4.435 * [backup-simplify]: Simplify a into a 4.435 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.435 * [taylor]: Taking taylor expansion of (/ 1 d) in d 4.435 * [taylor]: Taking taylor expansion of d in d 4.435 * [backup-simplify]: Simplify 0 into 0 4.435 * [backup-simplify]: Simplify 1 into 1 4.435 * [backup-simplify]: Simplify (/ 1 1) into 1 4.436 * [backup-simplify]: Simplify (+ 0 1) into 1 4.436 * [backup-simplify]: Simplify (- 1) into -1 4.436 * [taylor]: Taking taylor expansion of -1 in a 4.436 * [backup-simplify]: Simplify -1 into -1 4.436 * [taylor]: Taking taylor expansion of 0 in d 4.436 * [backup-simplify]: Simplify 0 into 0 4.436 * [taylor]: Taking taylor expansion of -1 in a 4.436 * [backup-simplify]: Simplify -1 into -1 4.436 * [taylor]: Taking taylor expansion of -1 in a 4.436 * [backup-simplify]: Simplify -1 into -1 4.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 c) (/ 0 c)) (* 0 (/ 0 c)))) into 0 4.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)) (* 0 (/ 0 d)))) into 0 4.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 4.438 * [backup-simplify]: Simplify (+ 0 0) into 0 4.439 * [backup-simplify]: Simplify (+ 0 0) into 0 4.439 * [backup-simplify]: Simplify (+ 0 0) into 0 4.439 * [backup-simplify]: Simplify (- 0) into 0 4.439 * [taylor]: Taking taylor expansion of 0 in c 4.440 * [backup-simplify]: Simplify 0 into 0 4.440 * [taylor]: Taking taylor expansion of 0 in d 4.440 * [backup-simplify]: Simplify 0 into 0 4.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 4.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 d) (/ 0 d)))) into 0 4.441 * [backup-simplify]: Simplify (+ 0 0) into 0 4.442 * [backup-simplify]: Simplify (+ 0 0) into 0 4.442 * [backup-simplify]: Simplify (- 0) into 0 4.442 * [taylor]: Taking taylor expansion of 0 in d 4.442 * [backup-simplify]: Simplify 0 into 0 4.442 * [taylor]: Taking taylor expansion of 0 in d 4.442 * [backup-simplify]: Simplify 0 into 0 4.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.443 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 4.443 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a)) 4.443 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 4.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.443 * [taylor]: Taking taylor expansion of a in a 4.443 * [backup-simplify]: Simplify 0 into 0 4.443 * [backup-simplify]: Simplify 1 into 1 4.443 * [backup-simplify]: Simplify (/ 1 1) into 1 4.444 * [backup-simplify]: Simplify (- 1) into -1 4.444 * [backup-simplify]: Simplify -1 into -1 4.444 * [taylor]: Taking taylor expansion of 0 in a 4.444 * [backup-simplify]: Simplify 0 into 0 4.444 * [taylor]: Taking taylor expansion of 0 in a 4.444 * [backup-simplify]: Simplify 0 into 0 4.444 * [taylor]: Taking taylor expansion of 0 in a 4.444 * [backup-simplify]: Simplify 0 into 0 4.444 * [backup-simplify]: Simplify -1 into -1 4.444 * [backup-simplify]: Simplify -1 into -1 4.445 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- c))) 1)))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d))) (* 1 1)))) (* -1 (* (/ 1 (/ 1 (- a))) (* 1 (* 1 1)))))) into (+ a (+ c d)) 4.445 * * * [progress]: simplifying candidates 4.445 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 10 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 11 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 4.446 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 22 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 24 / 28 ] simplifiying candidate #real (real->posit16 (+ (+ (+ b c) d) a))) 2))> 4.447 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 4.447 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 4.448 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 4.448 * [simplify]: Simplifying (expm1 (+ (+ (+ b c) d) a)), (log1p (+ (+ (+ b c) d) a)), (* (* (* (exp b) (exp c)) (exp d)) (exp a)), (* (* (exp (+ b c)) (exp d)) (exp a)), (* (exp (+ (+ b c) d)) (exp a)), (log (+ (+ (+ b c) d) a)), (exp (+ (+ (+ b c) d) a)), (* (cbrt (+ (+ (+ b c) d) a)) (cbrt (+ (+ (+ b c) d) a))), (cbrt (+ (+ (+ b c) d) a)), (* (* (+ (+ (+ b c) d) a) (+ (+ (+ b c) d) a)) (+ (+ (+ b c) d) a)), (sqrt (+ (+ (+ b c) d) a)), (sqrt (+ (+ (+ b c) d) a)), (+ (pow (+ (+ b c) d) 3) (pow a 3)), (+ (* (+ (+ b c) d) (+ (+ b c) d)) (- (* a a) (* (+ (+ b c) d) a))), (- (* (+ (+ b c) d) (+ (+ b c) d)) (* a a)), (- (+ (+ b c) d) a), (+ (+ (+ b c) d) a), (+ (+ (+ b c) d) a), (+ (+ (+ b c) d) a), (+ d a), (real->posit16 (+ (+ (+ b c) d) a)), (+ b (+ c d)), (+ a (+ c d)), (+ a (+ c d)) 4.449 * * [simplify]: iteration 1: (44 enodes) 4.473 * * [simplify]: iteration 2: (182 enodes) 4.558 * * [simplify]: iteration 3: (658 enodes) 5.283 * * [simplify]: Extracting #0: cost 17 inf + 0 5.284 * * [simplify]: Extracting #1: cost 214 inf + 0 5.289 * * [simplify]: Extracting #2: cost 743 inf + 7589 5.316 * * [simplify]: Extracting #3: cost 201 inf + 108831 5.381 * * [simplify]: Extracting #4: cost 10 inf + 146385 5.430 * * [simplify]: Extracting #5: cost 5 inf + 146391 5.502 * * [simplify]: Extracting #6: cost 0 inf + 148281 5.552 * [simplify]: Simplified to (expm1 (+ (+ c b) (+ d a))), (log1p (+ (+ c b) (+ d a))), (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))), (* (+ (+ c b) (+ d a)) (* (+ (+ c b) (+ d a)) (+ (+ c b) (+ d a)))), (sqrt (+ (+ c b) (+ d a))), (sqrt (+ (+ c b) (+ d a))), (fma (+ d (+ c b)) (* (+ d (+ c b)) (+ d (+ c b))) (* (* a a) a)), (fma a (- a (+ d (+ c b))) (* (+ d (+ c b)) (+ d (+ c b)))), (- (* (+ d (+ c b)) (+ d (+ c b))) (* a a)), (+ (- (+ c b) a) d), (+ (+ c b) (+ d a)), (+ (+ c b) (+ d a)), (+ (+ c b) (+ d a)), (+ d a), (real->posit16 (+ (+ c b) (+ d a))), (+ d (+ c b)), (+ (+ d a) c), (+ (+ d a) c) 5.552 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 5.552 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log1p (expm1 (+ (+ c b) (+ d a)))) 2)) 5.552 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 5.552 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (expm1 (log1p (+ (+ c b) (+ d a)))) 2)) 5.552 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 5.552 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 5.552 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 5.552 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 5.552 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 5.552 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ c b) (+ d a)))) 2)) 5.553 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ c b) (+ d a)))) 2)) 5.553 * * * * [progress]: [ 10 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ c b) (+ d a)))) 2)) 5.553 * * * * [progress]: [ 11 / 28 ] simplifiying candidate # 5.553 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (exp (log (+ (+ c b) (+ d a)))) 2)) 5.553 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (log (exp (+ (+ c b) (+ d a)))) 2)) 5.553 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (* (* (cbrt (+ (+ c b) (+ d a))) (cbrt (+ (+ c b) (+ d a)))) (cbrt (+ (+ (+ b c) d) a))) 2)) 5.553 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* (* (cbrt (+ (+ (+ b c) d) a)) (cbrt (+ (+ (+ b c) d) a))) (cbrt (+ (+ c b) (+ d a)))) 2)) 5.553 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (cbrt (* (+ (+ c b) (+ d a)) (* (+ (+ c b) (+ d a)) (+ (+ c b) (+ d a))))) 2)) 5.553 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (* (sqrt (+ (+ c b) (+ d a))) (sqrt (+ (+ (+ b c) d) a))) 2)) 5.553 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* (sqrt (+ (+ (+ b c) d) a)) (sqrt (+ (+ c b) (+ d a)))) 2)) 5.553 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 5.553 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (/ (fma (+ d (+ c b)) (* (+ d (+ c b)) (+ d (+ c b))) (* (* a a) a)) (+ (* (+ (+ b c) d) (+ (+ b c) d)) (- (* a a) (* (+ (+ b c) d) a)))) 2)) 5.554 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (/ (fma (+ d (+ c b)) (* (+ d (+ c b)) (+ d (+ c b))) (* (* a a) a)) (fma a (- a (+ d (+ c b))) (* (+ d (+ c b)) (+ d (+ c b))))) 2)) 5.554 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 5.554 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 5.554 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (/ (- (* (+ d (+ c b)) (+ d (+ c b))) (* a a)) (- (+ (+ b c) d) a)) 2)) 5.554 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (/ (- (* (+ (+ b c) d) (+ (+ b c) d)) (* a a)) (+ (- (+ c b) a) d)) 2)) 5.554 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 5.554 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ (+ c b) (+ d a))) 2)) 5.554 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 5.554 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ (+ c b) (+ d a))) 2)) 5.554 * * * * [progress]: [ 22 / 28 ] simplifiying candidate # 5.554 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (* 1 (+ (+ c b) (+ d a))) 2)) 5.554 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 5.554 * [simplify]: Simplified (2 1 2) to (λ (a b c d) (* (+ (+ b c) (+ d a)) 2)) 5.554 * * * * [progress]: [ 24 / 28 ] simplifiying candidate #real (real->posit16 (+ (+ (+ b c) d) a))) 2))> 5.554 * [simplify]: Simplified (2 1 1) to (λ (a b c d) (* (posit16->real (real->posit16 (+ (+ c b) (+ d a)))) 2)) 5.554 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 5.554 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 5.554 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ d (+ c b)) 2)) 5.554 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 5.555 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ d a) c) 2)) 5.555 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 5.555 * [simplify]: Simplified (2 1) to (λ (a b c d) (* (+ (+ d a) c) 2)) 5.555 * * * [progress]: adding candidates to table 5.789 * * [progress]: iteration 4 / 4 5.789 * * * [progress]: picking best candidate 5.792 * * * * [pick]: Picked # 5.792 * * * [progress]: localizing error 5.803 * * * [progress]: generating rewritten candidates 5.803 * * * [progress]: generating series expansions 5.803 * * * [progress]: simplifying candidates 5.803 * [simplify]: Simplifying 5.803 * * [simplify]: iteration 1: (0 enodes) 5.803 * * [simplify]: Extracting #0: cost 0 inf + 0 5.803 * [simplify]: Simplified to 5.803 * * * [progress]: adding candidates to table 5.804 * [progress]: [Phase 3 of 3] Extracting. 5.810 * [simplify]: Simplifying (* (+ (+ b c) (+ d a)) 2) 5.810 * * [simplify]: iteration 1: (9 enodes) 5.811 * * [simplify]: iteration 2: (13 enodes) 5.811 * * [simplify]: Extracting #0: cost 1 inf + 0 5.811 * * [simplify]: Extracting #1: cost 3 inf + 0 5.811 * * [simplify]: Extracting #2: cost 4 inf + 1 5.811 * * [simplify]: Extracting #3: cost 8 inf + 1 5.811 * * [simplify]: Extracting #4: cost 3 inf + 47 5.811 * * [simplify]: Extracting #5: cost 0 inf + 378 5.811 * [simplify]: Simplified to (* 2 (+ (+ d a) (+ c b))) 7.576 * [regime-testing]: Baseline error score: 0 7.580 * [regime-testing]: Oracle error score: 0 7.581 * [regime-testing]: End program error score: 0 7.666 * [regime-testing]: Target error score: 3.7960092554504463