0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.087 * * * [progress]: [2/2] Setting up program. 0.091 * [progress]: [Phase 2 of 3] Improving. 0.091 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.091 * [simplify]: Simplifying (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.092 * * [simplify]: iteration 1: (9 enodes) 0.096 * * [simplify]: iteration 2: (42 enodes) 0.130 * * [simplify]: iteration 3: (77 enodes) 0.148 * * [simplify]: iteration 4: (134 enodes) 0.208 * * [simplify]: iteration 5: (380 enodes) 0.531 * * [simplify]: iteration 6: (1202 enodes) 3.238 * * [simplify]: Extracting #0: cost 1 inf + 0 3.238 * * [simplify]: Extracting #1: cost 137 inf + 0 3.244 * * [simplify]: Extracting #2: cost 753 inf + 1084 3.256 * * [simplify]: Extracting #3: cost 662 inf + 27203 3.310 * * [simplify]: Extracting #4: cost 187 inf + 286513 3.377 * * [simplify]: Extracting #5: cost 0 inf + 392883 3.447 * * [simplify]: Extracting #6: cost 0 inf + 392181 3.508 * [simplify]: Simplified to (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) 3.512 * * [progress]: iteration 1 / 4 3.512 * * * [progress]: picking best candidate 3.516 * * * * [pick]: Picked # 3.516 * * * [progress]: localizing error 3.562 * * * [progress]: generating rewritten candidates 3.562 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 3.709 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 3.782 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 4.554 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 31.539 * * * [progress]: generating series expansions 31.539 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 31.539 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 31.539 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 31.539 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 31.539 * [taylor]: Taking taylor expansion of d1 in d1 31.539 * [backup-simplify]: Simplify 0 into 0 31.539 * [backup-simplify]: Simplify 1 into 1 31.539 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 31.539 * [taylor]: Taking taylor expansion of d1 in d1 31.539 * [backup-simplify]: Simplify 0 into 0 31.539 * [backup-simplify]: Simplify 1 into 1 31.540 * [backup-simplify]: Simplify (* 1 1) into 1 31.540 * [backup-simplify]: Simplify (* 1 1) into 1 31.541 * [backup-simplify]: Simplify (* 1 1) into 1 31.541 * [backup-simplify]: Simplify 1 into 1 31.541 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.542 * [backup-simplify]: Simplify 0 into 0 31.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.544 * [backup-simplify]: Simplify 0 into 0 31.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.546 * [backup-simplify]: Simplify 0 into 0 31.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.548 * [backup-simplify]: Simplify 0 into 0 31.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.550 * [backup-simplify]: Simplify 0 into 0 31.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.553 * [backup-simplify]: Simplify 0 into 0 31.553 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 31.553 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 31.553 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 31.553 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 31.553 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 31.553 * [taylor]: Taking taylor expansion of d1 in d1 31.553 * [backup-simplify]: Simplify 0 into 0 31.553 * [backup-simplify]: Simplify 1 into 1 31.553 * [backup-simplify]: Simplify (* 1 1) into 1 31.553 * [backup-simplify]: Simplify (* 1 1) into 1 31.554 * [backup-simplify]: Simplify (* 1 1) into 1 31.554 * [backup-simplify]: Simplify (/ 1 1) into 1 31.554 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 31.554 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 31.554 * [taylor]: Taking taylor expansion of d1 in d1 31.554 * [backup-simplify]: Simplify 0 into 0 31.554 * [backup-simplify]: Simplify 1 into 1 31.554 * [backup-simplify]: Simplify (* 1 1) into 1 31.555 * [backup-simplify]: Simplify (* 1 1) into 1 31.555 * [backup-simplify]: Simplify (* 1 1) into 1 31.555 * [backup-simplify]: Simplify (/ 1 1) into 1 31.555 * [backup-simplify]: Simplify 1 into 1 31.555 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.556 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.556 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 31.557 * [backup-simplify]: Simplify 0 into 0 31.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.559 * [backup-simplify]: Simplify 0 into 0 31.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.561 * [backup-simplify]: Simplify 0 into 0 31.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.564 * [backup-simplify]: Simplify 0 into 0 31.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.567 * [backup-simplify]: Simplify 0 into 0 31.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.570 * [backup-simplify]: Simplify 0 into 0 31.570 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 31.571 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 31.571 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 31.571 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 31.571 * [taylor]: Taking taylor expansion of -1 in d1 31.571 * [backup-simplify]: Simplify -1 into -1 31.571 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 31.571 * [taylor]: Taking taylor expansion of d1 in d1 31.571 * [backup-simplify]: Simplify 0 into 0 31.571 * [backup-simplify]: Simplify 1 into 1 31.571 * [backup-simplify]: Simplify (* 1 1) into 1 31.571 * [backup-simplify]: Simplify (* 1 1) into 1 31.571 * [backup-simplify]: Simplify (* 1 1) into 1 31.572 * [backup-simplify]: Simplify (/ -1 1) into -1 31.572 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 31.572 * [taylor]: Taking taylor expansion of -1 in d1 31.572 * [backup-simplify]: Simplify -1 into -1 31.572 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 31.572 * [taylor]: Taking taylor expansion of d1 in d1 31.572 * [backup-simplify]: Simplify 0 into 0 31.572 * [backup-simplify]: Simplify 1 into 1 31.572 * [backup-simplify]: Simplify (* 1 1) into 1 31.572 * [backup-simplify]: Simplify (* 1 1) into 1 31.573 * [backup-simplify]: Simplify (* 1 1) into 1 31.573 * [backup-simplify]: Simplify (/ -1 1) into -1 31.573 * [backup-simplify]: Simplify -1 into -1 31.573 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 31.575 * [backup-simplify]: Simplify 0 into 0 31.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.577 * [backup-simplify]: Simplify 0 into 0 31.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.579 * [backup-simplify]: Simplify 0 into 0 31.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.583 * [backup-simplify]: Simplify 0 into 0 31.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.585 * [backup-simplify]: Simplify 0 into 0 31.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.596 * [backup-simplify]: Simplify 0 into 0 31.596 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 31.597 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 31.597 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 31.597 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 31.597 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 31.597 * [taylor]: Taking taylor expansion of d1 in d1 31.597 * [backup-simplify]: Simplify 0 into 0 31.597 * [backup-simplify]: Simplify 1 into 1 31.597 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 31.597 * [taylor]: Taking taylor expansion of d1 in d1 31.597 * [backup-simplify]: Simplify 0 into 0 31.597 * [backup-simplify]: Simplify 1 into 1 31.597 * [backup-simplify]: Simplify (* 1 1) into 1 31.597 * [backup-simplify]: Simplify (* 1 1) into 1 31.597 * [backup-simplify]: Simplify 1 into 1 31.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.598 * [backup-simplify]: Simplify 0 into 0 31.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.599 * [backup-simplify]: Simplify 0 into 0 31.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.600 * [backup-simplify]: Simplify 0 into 0 31.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.602 * [backup-simplify]: Simplify 0 into 0 31.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.603 * [backup-simplify]: Simplify 0 into 0 31.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.605 * [backup-simplify]: Simplify 0 into 0 31.605 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 31.605 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 31.605 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 31.605 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 31.605 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 31.605 * [taylor]: Taking taylor expansion of d1 in d1 31.605 * [backup-simplify]: Simplify 0 into 0 31.605 * [backup-simplify]: Simplify 1 into 1 31.606 * [backup-simplify]: Simplify (* 1 1) into 1 31.606 * [backup-simplify]: Simplify (* 1 1) into 1 31.606 * [backup-simplify]: Simplify (/ 1 1) into 1 31.606 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 31.606 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 31.606 * [taylor]: Taking taylor expansion of d1 in d1 31.606 * [backup-simplify]: Simplify 0 into 0 31.606 * [backup-simplify]: Simplify 1 into 1 31.607 * [backup-simplify]: Simplify (* 1 1) into 1 31.607 * [backup-simplify]: Simplify (* 1 1) into 1 31.607 * [backup-simplify]: Simplify (/ 1 1) into 1 31.607 * [backup-simplify]: Simplify 1 into 1 31.607 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.608 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 31.608 * [backup-simplify]: Simplify 0 into 0 31.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.610 * [backup-simplify]: Simplify 0 into 0 31.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.612 * [backup-simplify]: Simplify 0 into 0 31.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.614 * [backup-simplify]: Simplify 0 into 0 31.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.618 * [backup-simplify]: Simplify 0 into 0 31.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.622 * [backup-simplify]: Simplify 0 into 0 31.622 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 31.622 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 31.622 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 31.622 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 31.622 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 31.622 * [taylor]: Taking taylor expansion of d1 in d1 31.622 * [backup-simplify]: Simplify 0 into 0 31.623 * [backup-simplify]: Simplify 1 into 1 31.623 * [backup-simplify]: Simplify (* 1 1) into 1 31.623 * [backup-simplify]: Simplify (* 1 1) into 1 31.624 * [backup-simplify]: Simplify (/ 1 1) into 1 31.624 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 31.624 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 31.624 * [taylor]: Taking taylor expansion of d1 in d1 31.624 * [backup-simplify]: Simplify 0 into 0 31.624 * [backup-simplify]: Simplify 1 into 1 31.624 * [backup-simplify]: Simplify (* 1 1) into 1 31.625 * [backup-simplify]: Simplify (* 1 1) into 1 31.625 * [backup-simplify]: Simplify (/ 1 1) into 1 31.625 * [backup-simplify]: Simplify 1 into 1 31.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 31.627 * [backup-simplify]: Simplify 0 into 0 31.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.630 * [backup-simplify]: Simplify 0 into 0 31.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.634 * [backup-simplify]: Simplify 0 into 0 31.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.637 * [backup-simplify]: Simplify 0 into 0 31.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.641 * [backup-simplify]: Simplify 0 into 0 31.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.645 * [backup-simplify]: Simplify 0 into 0 31.645 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 31.645 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 31.645 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 31.645 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 31.645 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 31.645 * [taylor]: Taking taylor expansion of d1 in d1 31.645 * [backup-simplify]: Simplify 0 into 0 31.645 * [backup-simplify]: Simplify 1 into 1 31.645 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 31.645 * [taylor]: Taking taylor expansion of d1 in d1 31.645 * [backup-simplify]: Simplify 0 into 0 31.645 * [backup-simplify]: Simplify 1 into 1 31.646 * [backup-simplify]: Simplify (* 1 1) into 1 31.646 * [backup-simplify]: Simplify (* 1 1) into 1 31.646 * [backup-simplify]: Simplify (* 1 1) into 1 31.646 * [backup-simplify]: Simplify (* 1 1) into 1 31.647 * [backup-simplify]: Simplify 1 into 1 31.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.648 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.648 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.648 * [backup-simplify]: Simplify 0 into 0 31.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.650 * [backup-simplify]: Simplify 0 into 0 31.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.653 * [backup-simplify]: Simplify 0 into 0 31.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.656 * [backup-simplify]: Simplify 0 into 0 31.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.659 * [backup-simplify]: Simplify 0 into 0 31.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.663 * [backup-simplify]: Simplify 0 into 0 31.663 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 31.663 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 31.663 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 31.663 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 31.663 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 31.663 * [taylor]: Taking taylor expansion of d1 in d1 31.663 * [backup-simplify]: Simplify 0 into 0 31.663 * [backup-simplify]: Simplify 1 into 1 31.663 * [backup-simplify]: Simplify (* 1 1) into 1 31.664 * [backup-simplify]: Simplify (* 1 1) into 1 31.664 * [backup-simplify]: Simplify (* 1 1) into 1 31.664 * [backup-simplify]: Simplify (* 1 1) into 1 31.664 * [backup-simplify]: Simplify (/ 1 1) into 1 31.664 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 31.664 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 31.664 * [taylor]: Taking taylor expansion of d1 in d1 31.664 * [backup-simplify]: Simplify 0 into 0 31.664 * [backup-simplify]: Simplify 1 into 1 31.665 * [backup-simplify]: Simplify (* 1 1) into 1 31.665 * [backup-simplify]: Simplify (* 1 1) into 1 31.665 * [backup-simplify]: Simplify (* 1 1) into 1 31.665 * [backup-simplify]: Simplify (* 1 1) into 1 31.666 * [backup-simplify]: Simplify (/ 1 1) into 1 31.666 * [backup-simplify]: Simplify 1 into 1 31.666 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 31.668 * [backup-simplify]: Simplify 0 into 0 31.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.671 * [backup-simplify]: Simplify 0 into 0 31.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.674 * [backup-simplify]: Simplify 0 into 0 31.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.677 * [backup-simplify]: Simplify 0 into 0 31.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.681 * [backup-simplify]: Simplify 0 into 0 31.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.685 * [backup-simplify]: Simplify 0 into 0 31.685 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 31.685 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 31.685 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 31.685 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 31.685 * [taylor]: Taking taylor expansion of -1 in d1 31.685 * [backup-simplify]: Simplify -1 into -1 31.685 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 31.685 * [taylor]: Taking taylor expansion of d1 in d1 31.685 * [backup-simplify]: Simplify 0 into 0 31.685 * [backup-simplify]: Simplify 1 into 1 31.686 * [backup-simplify]: Simplify (* 1 1) into 1 31.686 * [backup-simplify]: Simplify (* 1 1) into 1 31.686 * [backup-simplify]: Simplify (* 1 1) into 1 31.686 * [backup-simplify]: Simplify (* 1 1) into 1 31.687 * [backup-simplify]: Simplify (/ -1 1) into -1 31.687 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 31.687 * [taylor]: Taking taylor expansion of -1 in d1 31.687 * [backup-simplify]: Simplify -1 into -1 31.687 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 31.687 * [taylor]: Taking taylor expansion of d1 in d1 31.687 * [backup-simplify]: Simplify 0 into 0 31.687 * [backup-simplify]: Simplify 1 into 1 31.687 * [backup-simplify]: Simplify (* 1 1) into 1 31.687 * [backup-simplify]: Simplify (* 1 1) into 1 31.688 * [backup-simplify]: Simplify (* 1 1) into 1 31.688 * [backup-simplify]: Simplify (* 1 1) into 1 31.688 * [backup-simplify]: Simplify (/ -1 1) into -1 31.688 * [backup-simplify]: Simplify -1 into -1 31.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.690 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 31.690 * [backup-simplify]: Simplify 0 into 0 31.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.695 * [backup-simplify]: Simplify 0 into 0 31.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.700 * [backup-simplify]: Simplify 0 into 0 31.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.706 * [backup-simplify]: Simplify 0 into 0 31.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.711 * [backup-simplify]: Simplify 0 into 0 31.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.716 * [backup-simplify]: Simplify 0 into 0 31.716 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 31.716 * * * * [progress]: [ 4 / 4 ] generating series at (2) 31.716 * [backup-simplify]: Simplify (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) into (pow d1 10) 31.716 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 31.716 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 31.716 * [taylor]: Taking taylor expansion of d1 in d1 31.716 * [backup-simplify]: Simplify 0 into 0 31.716 * [backup-simplify]: Simplify 1 into 1 31.716 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 31.716 * [taylor]: Taking taylor expansion of d1 in d1 31.716 * [backup-simplify]: Simplify 0 into 0 31.716 * [backup-simplify]: Simplify 1 into 1 31.716 * [backup-simplify]: Simplify (* 1 1) into 1 31.717 * [backup-simplify]: Simplify (* 1 1) into 1 31.717 * [backup-simplify]: Simplify (* 1 1) into 1 31.717 * [backup-simplify]: Simplify (* 1 1) into 1 31.717 * [backup-simplify]: Simplify 1 into 1 31.718 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.718 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.718 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.719 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.719 * [backup-simplify]: Simplify 0 into 0 31.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.721 * [backup-simplify]: Simplify 0 into 0 31.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.723 * [backup-simplify]: Simplify 0 into 0 31.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.726 * [backup-simplify]: Simplify 0 into 0 31.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.729 * [backup-simplify]: Simplify 0 into 0 31.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.733 * [backup-simplify]: Simplify 0 into 0 31.733 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 31.733 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10)) 31.733 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 31.733 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 31.733 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 31.733 * [taylor]: Taking taylor expansion of d1 in d1 31.733 * [backup-simplify]: Simplify 0 into 0 31.733 * [backup-simplify]: Simplify 1 into 1 31.734 * [backup-simplify]: Simplify (* 1 1) into 1 31.734 * [backup-simplify]: Simplify (* 1 1) into 1 31.734 * [backup-simplify]: Simplify (* 1 1) into 1 31.734 * [backup-simplify]: Simplify (* 1 1) into 1 31.735 * [backup-simplify]: Simplify (/ 1 1) into 1 31.735 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 31.735 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 31.735 * [taylor]: Taking taylor expansion of d1 in d1 31.735 * [backup-simplify]: Simplify 0 into 0 31.735 * [backup-simplify]: Simplify 1 into 1 31.735 * [backup-simplify]: Simplify (* 1 1) into 1 31.735 * [backup-simplify]: Simplify (* 1 1) into 1 31.735 * [backup-simplify]: Simplify (* 1 1) into 1 31.736 * [backup-simplify]: Simplify (* 1 1) into 1 31.736 * [backup-simplify]: Simplify (/ 1 1) into 1 31.736 * [backup-simplify]: Simplify 1 into 1 31.736 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.738 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 31.738 * [backup-simplify]: Simplify 0 into 0 31.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.741 * [backup-simplify]: Simplify 0 into 0 31.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.745 * [backup-simplify]: Simplify 0 into 0 31.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.748 * [backup-simplify]: Simplify 0 into 0 31.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.752 * [backup-simplify]: Simplify 0 into 0 31.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.757 * [backup-simplify]: Simplify 0 into 0 31.757 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 31.757 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 31.757 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 31.757 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 31.757 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 31.757 * [taylor]: Taking taylor expansion of d1 in d1 31.757 * [backup-simplify]: Simplify 0 into 0 31.757 * [backup-simplify]: Simplify 1 into 1 31.758 * [backup-simplify]: Simplify (* 1 1) into 1 31.758 * [backup-simplify]: Simplify (* 1 1) into 1 31.758 * [backup-simplify]: Simplify (* 1 1) into 1 31.758 * [backup-simplify]: Simplify (* 1 1) into 1 31.758 * [backup-simplify]: Simplify (/ 1 1) into 1 31.759 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 31.759 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 31.759 * [taylor]: Taking taylor expansion of d1 in d1 31.759 * [backup-simplify]: Simplify 0 into 0 31.759 * [backup-simplify]: Simplify 1 into 1 31.759 * [backup-simplify]: Simplify (* 1 1) into 1 31.759 * [backup-simplify]: Simplify (* 1 1) into 1 31.759 * [backup-simplify]: Simplify (* 1 1) into 1 31.760 * [backup-simplify]: Simplify (* 1 1) into 1 31.760 * [backup-simplify]: Simplify (/ 1 1) into 1 31.760 * [backup-simplify]: Simplify 1 into 1 31.760 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.761 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.761 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.762 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 31.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 31.762 * [backup-simplify]: Simplify 0 into 0 31.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 31.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.765 * [backup-simplify]: Simplify 0 into 0 31.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 31.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.768 * [backup-simplify]: Simplify 0 into 0 31.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 31.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.771 * [backup-simplify]: Simplify 0 into 0 31.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 31.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.775 * [backup-simplify]: Simplify 0 into 0 31.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 31.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 31.779 * [backup-simplify]: Simplify 0 into 0 31.779 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 31.779 * * * [progress]: simplifying candidates 31.779 * * * * [progress]: [ 1 / 582 ] simplifiying candidate # 31.779 * * * * [progress]: [ 2 / 582 ] simplifiying candidate # 31.779 * * * * [progress]: [ 3 / 582 ] simplifiying candidate # 31.779 * * * * [progress]: [ 4 / 582 ] simplifiying candidate # 31.779 * * * * [progress]: [ 5 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 6 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 7 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 8 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 9 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 10 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 11 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 12 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 13 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 14 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 15 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 16 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 17 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 18 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 19 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 20 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 21 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 22 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 23 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 24 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 25 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 26 / 582 ] simplifiying candidate # 31.780 * * * * [progress]: [ 27 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 28 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 29 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 30 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 31 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 32 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 33 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 34 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 35 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 36 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 37 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 38 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 39 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 40 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 41 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 42 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 43 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 44 / 582 ] simplifiying candidate #real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))> 31.781 * * * * [progress]: [ 45 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 46 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 47 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 48 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 49 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 50 / 582 ] simplifiying candidate # 31.781 * * * * [progress]: [ 51 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 52 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 53 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 54 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 55 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 56 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 57 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 58 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 59 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 60 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 61 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 62 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 63 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 64 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 65 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 66 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 67 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 68 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 69 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 70 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 71 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 72 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 73 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 74 / 582 ] simplifiying candidate # 31.782 * * * * [progress]: [ 75 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 76 / 582 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 31.783 * * * * [progress]: [ 77 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 78 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 79 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 80 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 81 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 82 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 83 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 84 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 85 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 86 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 87 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 88 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 89 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 90 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 91 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 92 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 93 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 94 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 95 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 96 / 582 ] simplifiying candidate # 31.783 * * * * [progress]: [ 97 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 98 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 99 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 100 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 101 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 102 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 103 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 104 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 105 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 106 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 107 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 108 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 109 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 110 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 111 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 112 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 113 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 114 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 115 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 116 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 117 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 118 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 119 / 582 ] simplifiying candidate # 31.784 * * * * [progress]: [ 120 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 121 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 122 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 123 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 124 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 125 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 126 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 127 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 128 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 129 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 130 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 131 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 132 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 133 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 134 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 135 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 136 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 137 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 138 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 139 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 140 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 141 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 142 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 143 / 582 ] simplifiying candidate # 31.785 * * * * [progress]: [ 144 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 145 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 146 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 147 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 148 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 149 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 150 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 151 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 152 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 153 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 154 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 155 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 156 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 157 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 158 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 159 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 160 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 161 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 162 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 163 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 164 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 165 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 166 / 582 ] simplifiying candidate # 31.786 * * * * [progress]: [ 167 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 168 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 169 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 170 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 171 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 172 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 173 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 174 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 175 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 176 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 177 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 178 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 179 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 180 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 181 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 182 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 183 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 184 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 185 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 186 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 187 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 188 / 582 ] simplifiying candidate # 31.787 * * * * [progress]: [ 189 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 190 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 191 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 192 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 193 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 194 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 195 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 196 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 197 / 582 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 31.788 * * * * [progress]: [ 198 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 199 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 200 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 201 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 202 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 203 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 204 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 205 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 206 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 207 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 208 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 209 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 210 / 582 ] simplifiying candidate # 31.788 * * * * [progress]: [ 211 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 212 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 213 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 214 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 215 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 216 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 217 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 218 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 219 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 220 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 221 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 222 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 223 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 224 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 225 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 226 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 227 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 228 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 229 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 230 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 231 / 582 ] simplifiying candidate # 31.789 * * * * [progress]: [ 232 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 233 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 234 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 235 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 236 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 237 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 238 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 239 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 240 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 241 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 242 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 243 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 244 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 245 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 246 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 247 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 248 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 249 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 250 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 251 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 252 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 253 / 582 ] simplifiying candidate # 31.790 * * * * [progress]: [ 254 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 255 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 256 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 257 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 258 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 259 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 260 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 261 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 262 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 263 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 264 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 265 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 266 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 267 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 268 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 269 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 270 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 271 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 272 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 273 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 274 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 275 / 582 ] simplifiying candidate # 31.791 * * * * [progress]: [ 276 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 277 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 278 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 279 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 280 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 281 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 282 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 283 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 284 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 285 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 286 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 287 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 288 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 289 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 290 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 291 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 292 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 293 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 294 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 295 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 296 / 582 ] simplifiying candidate # 31.792 * * * * [progress]: [ 297 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 298 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 299 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 300 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 301 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 302 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 303 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 304 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 305 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 306 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 307 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 308 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 309 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 310 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 311 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 312 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 313 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 314 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 315 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 316 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 317 / 582 ] simplifiying candidate # 31.793 * * * * [progress]: [ 318 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 319 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 320 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 321 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 322 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 323 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 324 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 325 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 326 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 327 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 328 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 329 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 330 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 331 / 582 ] simplifiying candidate # 31.794 * * * * [progress]: [ 332 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 333 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 334 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 335 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 336 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 337 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 338 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 339 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 340 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 341 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 342 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 343 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 344 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 345 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 346 / 582 ] simplifiying candidate # 31.795 * * * * [progress]: [ 347 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 348 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 349 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 350 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 351 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 352 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 353 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 354 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 355 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 356 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 357 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 358 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 359 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 360 / 582 ] simplifiying candidate # 31.796 * * * * [progress]: [ 361 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 362 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 363 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 364 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 365 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 366 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 367 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 368 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 369 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 370 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 371 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 372 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 373 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 374 / 582 ] simplifiying candidate # 31.797 * * * * [progress]: [ 375 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 376 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 377 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 378 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 379 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 380 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 381 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 382 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 383 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 384 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 385 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 386 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 387 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 388 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 389 / 582 ] simplifiying candidate # 31.798 * * * * [progress]: [ 390 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 391 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 392 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 393 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 394 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 395 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 396 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 397 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 398 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 399 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 400 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 401 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 402 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 403 / 582 ] simplifiying candidate # 31.799 * * * * [progress]: [ 404 / 582 ] simplifiying candidate # 31.800 * * * * [progress]: [ 405 / 582 ] simplifiying candidate # 31.800 * * * * [progress]: [ 406 / 582 ] simplifiying candidate # 31.800 * * * * [progress]: [ 407 / 582 ] simplifiying candidate # 31.800 * * * * [progress]: [ 408 / 582 ] simplifiying candidate # 31.800 * * * * [progress]: [ 409 / 582 ] simplifiying candidate # 31.800 * * * * [progress]: [ 410 / 582 ] simplifiying candidate # 31.800 * * * * [progress]: [ 411 / 582 ] simplifiying candidate # 31.800 * * * * [progress]: [ 412 / 582 ] simplifiying candidate # 31.805 * * * * [progress]: [ 413 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 414 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 415 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 416 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 417 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 418 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 419 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 420 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 421 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 422 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 423 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 424 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 425 / 582 ] simplifiying candidate # 31.806 * * * * [progress]: [ 426 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 427 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 428 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 429 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 430 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 431 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 432 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 433 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 434 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 435 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 436 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 437 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 438 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 439 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 440 / 582 ] simplifiying candidate # 31.807 * * * * [progress]: [ 441 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 442 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 443 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 444 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 445 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 446 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 447 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 448 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 449 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 450 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 451 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 452 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 453 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 454 / 582 ] simplifiying candidate # 31.808 * * * * [progress]: [ 455 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 456 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 457 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 458 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 459 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 460 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 461 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 462 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 463 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 464 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 465 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 466 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 467 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 468 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 469 / 582 ] simplifiying candidate # 31.809 * * * * [progress]: [ 470 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 471 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 472 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 473 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 474 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 475 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 476 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 477 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 478 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 479 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 480 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 481 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 482 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 483 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 484 / 582 ] simplifiying candidate # 31.810 * * * * [progress]: [ 485 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 486 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 487 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 488 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 489 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 490 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 491 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 492 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 493 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 494 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 495 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 496 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 497 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 498 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 499 / 582 ] simplifiying candidate # 31.811 * * * * [progress]: [ 500 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 501 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 502 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 503 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 504 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 505 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 506 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 507 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 508 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 509 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 510 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 511 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 512 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 513 / 582 ] simplifiying candidate # 31.812 * * * * [progress]: [ 514 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 515 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 516 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 517 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 518 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 519 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 520 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 521 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 522 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 523 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 524 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 525 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 526 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 527 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 528 / 582 ] simplifiying candidate # 31.813 * * * * [progress]: [ 529 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 530 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 531 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 532 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 533 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 534 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 535 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 536 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 537 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 538 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 539 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 540 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 541 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 542 / 582 ] simplifiying candidate # 31.814 * * * * [progress]: [ 543 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 544 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 545 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 546 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 547 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 548 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 549 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 550 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 551 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 552 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 553 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 554 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 555 / 582 ] simplifiying candidate # 31.815 * * * * [progress]: [ 556 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 557 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 558 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 559 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 560 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 561 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 562 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 563 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 564 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 565 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 566 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 567 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 568 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 569 / 582 ] simplifiying candidate #real (real->posit16 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))))> 31.816 * * * * [progress]: [ 570 / 582 ] simplifiying candidate # 31.816 * * * * [progress]: [ 571 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 572 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 573 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 574 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 575 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 576 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 577 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 578 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 579 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 580 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 581 / 582 ] simplifiying candidate # 31.817 * * * * [progress]: [ 582 / 582 ] simplifiying candidate # 31.828 * [simplify]: Simplifying (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 2) 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 (* 2 1)) 1) 1), (+ (+ 3 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 2) 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 (* 2 1)) 1) 1), (+ (+ 3 1) 1), (* (* (* d1 (* d1 d1)) d1) d1), (* (* (* d1 (* d1 d1)) d1) d1), (* (* (* d1 (* d1 d1)) d1) d1), (* (* (* d1 (* d1 d1)) d1) d1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 2) 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 (* 2 1)) 1) 1), (+ (+ 3 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 2) 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 (* 2 1)) 1) 1), (+ (+ 3 1) 1), (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)), (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)), (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)), (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)), (log (* (* (* d1 (* d1 d1)) d1) d1)), (exp (* (* (* d1 (* d1 d1)) d1) d1)), (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)), (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)), (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)), (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)), (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))), (cbrt (* (* (* d1 (* d1 d1)) d1) d1)), (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)), (sqrt (* (* (* d1 (* d1 d1)) d1) d1)), (sqrt (* (* (* d1 (* d1 d1)) d1) d1)), (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))), (* (* (* d1 (* d1 d1)) d1) (sqrt d1)), (* (* (* d1 (* d1 d1)) d1) 1), (* d1 d1), (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1)), (+ (+ 1 (+ 1 1)) 1), (+ (+ 1 2) 1), (+ (+ 1 (+ 1 1)) 1), (+ (+ 1 (* 2 1)) 1), (+ 3 1), (* (* d1 (* d1 d1)) d1), (* (* d1 (* d1 d1)) d1), (* (* d1 (* d1 d1)) d1), (+ (+ 1 (+ 1 1)) 1), (+ (+ 1 2) 1), (+ (+ 1 (+ 1 1)) 1), (+ (+ 1 (* 2 1)) 1), (+ 3 1), (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)), (+ (+ (log d1) (log (* d1 d1))) (log d1)), (+ (log (* d1 (* d1 d1))) (log d1)), (log (* (* d1 (* d1 d1)) d1)), (exp (* (* d1 (* d1 d1)) d1)), (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)), (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)), (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))), (cbrt (* (* d1 (* d1 d1)) d1)), (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)), (sqrt (* (* d1 (* d1 d1)) d1)), (sqrt (* (* d1 (* d1 d1)) d1)), (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))), (* (* d1 (* d1 d1)) (sqrt d1)), (* (* d1 (* d1 d1)) 1), (* (* d1 d1) d1), (real->posit16 (* (* d1 (* d1 d1)) d1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) 2), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) 2), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) 2), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) 2), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) 2), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) 2), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) 2), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) 2), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) (* 2 1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))), (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))), (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))), (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))), (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))), (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))), (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))), (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))), (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))), (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))), (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))), (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (* (* (* (* d1 (* d1 d1)) d1) d1) d1), (* d1 (* d1 d1)), (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log d1)), (+ (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log d1)), (log (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (exp (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* d1 d1) d1)), (* (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))), (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (* (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (sqrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (sqrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (cbrt d1) (cbrt d1))), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt d1)), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1), (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) d1), (real->posit16 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (pow d1 5), (pow d1 5), (pow d1 5), (pow d1 4), (pow d1 4), (pow d1 4), (pow d1 7), (pow d1 7), (pow d1 7), (pow d1 10), (pow d1 10), (pow d1 10) 31.843 * * [simplify]: iteration 1: (253 enodes) 32.068 * * [simplify]: iteration 2: (934 enodes) 32.563 * * [simplify]: iteration 3: (1912 enodes) 35.027 * * [simplify]: Extracting #0: cost 47 inf + 0 35.028 * * [simplify]: Extracting #1: cost 176 inf + 4 35.033 * * [simplify]: Extracting #2: cost 266 inf + 5630 35.056 * * [simplify]: Extracting #3: cost 130 inf + 36976 35.104 * * [simplify]: Extracting #4: cost 17 inf + 60734 35.139 * * [simplify]: Extracting #5: cost 0 inf + 66014 35.191 * [simplify]: Simplified to 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, (+ (log d1) (* 4 (log d1))), (+ (log d1) (* 4 (log d1))), (+ (log d1) (* 4 (log d1))), (+ (log d1) (* 4 (log d1))), (+ (log d1) (* 4 (log d1))), (exp (* (* d1 (* d1 d1)) (* d1 d1))), (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))), (cbrt (* (* d1 (* d1 d1)) (* d1 d1))), (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (sqrt (* (* d1 (* d1 d1)) (* d1 d1))), (sqrt (* (* d1 (* d1 d1)) (* d1 d1))), (* (* (cbrt d1) (* d1 d1)) (* (cbrt d1) (* d1 d1))), (* (* (sqrt d1) (* d1 d1)) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (* d1 d1), (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1))), 4, 4, 4, 4, 4, (* (* d1 d1) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (* (* d1 d1) (* d1 d1)), 4, 4, 4, 4, 4, (* 4 (log d1)), (* 4 (log d1)), (* 4 (log d1)), (* 4 (log d1)), (exp (* (* d1 d1) (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1)))), (cbrt (* (* d1 d1) (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (fabs (* d1 d1)), (fabs (* d1 d1)), (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1)))), (* (* d1 (* d1 d1)) (sqrt d1)), (* d1 (* d1 d1)), (* d1 (* d1 d1)), (real->posit16 (* (* d1 d1) (* d1 d1))), 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (exp (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (cbrt (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (cbrt (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (sqrt (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (sqrt (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* (* d1 d1) (* d1 d1)) (* d1 d1)), (* d1 (* d1 d1)), (real->posit16 (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))), 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (+ (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1)))), (exp (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (fabs (* (* d1 (* d1 d1)) (* d1 d1))), (fabs (* (* d1 (* d1 d1)) (* d1 d1))), (* d1 (* (* (* d1 d1) (* (cbrt d1) (* d1 d1))) (* (* d1 d1) (* (cbrt d1) (* d1 d1))))), (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))), (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (pow d1 7), (pow d1 7), (pow d1 7), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))) 35.221 * * * [progress]: adding candidates to table 38.934 * * [progress]: iteration 2 / 4 38.935 * * * [progress]: picking best candidate 38.936 * * * * [pick]: Picked # 38.936 * * * [progress]: localizing error 38.942 * * * [progress]: generating rewritten candidates 38.942 * * * [progress]: generating series expansions 38.942 * * * [progress]: simplifying candidates 38.942 * [simplify]: Simplifying 38.942 * * [simplify]: iteration 1: (0 enodes) 38.942 * * [simplify]: Extracting #0: cost 0 inf + 0 38.942 * [simplify]: Simplified to 38.942 * * * [progress]: adding candidates to table 38.943 * [progress]: [Phase 3 of 3] Extracting. 38.944 * [simplify]: Simplifying (pow d1 10) 38.945 * * [simplify]: iteration 1: (3 enodes) 38.945 * * [simplify]: Extracting #0: cost 1 inf + 0 38.945 * * [simplify]: Extracting #1: cost 3 inf + 0 38.945 * * [simplify]: Extracting #2: cost 1 inf + 2 38.945 * * [simplify]: Extracting #3: cost 0 inf + 214 38.945 * [simplify]: Simplified to (pow d1 10) 41.815 * [regime-testing]: Baseline error score: 0 41.817 * [regime-testing]: Oracle error score: 0 41.817 * [regime-testing]: End program error score: 0 41.887 * [regime-testing]: Target error score: 0