0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.012 * * * * [points]: Setting MPFR precision to 64 0.015 * * * * [points]: Setting MPFR precision to 320 0.017 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.025 * * * * [points]: Setting MPFR precision to 64 0.029 * * * * [points]: Setting MPFR precision to 320 0.033 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.042 * * * * [points]: Setting MPFR precision to 64 0.056 * * * * [points]: Setting MPFR precision to 320 0.062 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.071 * * * * [points]: Setting MPFR precision to 64 0.082 * * * * [points]: Setting MPFR precision to 320 0.092 * * * * [points]: Computing exacts for 256 points 0.101 * * * * [points]: Setting MPFR precision to 64 0.134 * * * * [points]: Setting MPFR precision to 320 0.170 * * * * [points]: Filtering points with unrepresentable outputs 0.170 * * * * [points]: Sampling 185 additional inputs, on iter 1 have 71 / 256 0.172 * * * * [points]: Computing exacts on every 11 of 185 points to ramp up precision 0.181 * * * * [points]: Setting MPFR precision to 64 0.183 * * * * [points]: Setting MPFR precision to 320 0.185 * * * * [points]: Computing exacts on every 5 of 185 points to ramp up precision 0.193 * * * * [points]: Setting MPFR precision to 64 0.195 * * * * [points]: Setting MPFR precision to 320 0.197 * * * * [points]: Computing exacts on every 2 of 185 points to ramp up precision 0.201 * * * * [points]: Setting MPFR precision to 64 0.205 * * * * [points]: Setting MPFR precision to 320 0.210 * * * * [points]: Computing exacts for 185 points 0.234 * * * * [points]: Setting MPFR precision to 64 0.247 * * * * [points]: Setting MPFR precision to 320 0.271 * * * * [points]: Filtering points with unrepresentable outputs 0.271 * * * * [points]: Sampling 143 additional inputs, on iter 2 have 113 / 256 0.272 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision 0.282 * * * * [points]: Setting MPFR precision to 64 0.284 * * * * [points]: Setting MPFR precision to 320 0.286 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision 0.294 * * * * [points]: Setting MPFR precision to 64 0.298 * * * * [points]: Setting MPFR precision to 320 0.302 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision 0.311 * * * * [points]: Setting MPFR precision to 64 0.318 * * * * [points]: Setting MPFR precision to 320 0.324 * * * * [points]: Computing exacts for 143 points 0.333 * * * * [points]: Setting MPFR precision to 64 0.352 * * * * [points]: Setting MPFR precision to 320 0.369 * * * * [points]: Filtering points with unrepresentable outputs 0.370 * * * * [points]: Sampling 108 additional inputs, on iter 3 have 148 / 256 0.371 * * * * [points]: Computing exacts on every 6 of 108 points to ramp up precision 0.381 * * * * [points]: Setting MPFR precision to 64 0.383 * * * * [points]: Setting MPFR precision to 320 0.385 * * * * [points]: Computing exacts on every 3 of 108 points to ramp up precision 0.421 * * * * [points]: Setting MPFR precision to 64 0.428 * * * * [points]: Setting MPFR precision to 320 0.431 * * * * [points]: Computing exacts for 108 points 0.440 * * * * [points]: Setting MPFR precision to 64 0.453 * * * * [points]: Setting MPFR precision to 320 0.466 * * * * [points]: Filtering points with unrepresentable outputs 0.467 * * * * [points]: Sampling 73 additional inputs, on iter 4 have 183 / 256 0.467 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision 0.476 * * * * [points]: Setting MPFR precision to 64 0.478 * * * * [points]: Setting MPFR precision to 320 0.480 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision 0.488 * * * * [points]: Setting MPFR precision to 64 0.492 * * * * [points]: Setting MPFR precision to 320 0.495 * * * * [points]: Computing exacts for 73 points 0.504 * * * * [points]: Setting MPFR precision to 64 0.510 * * * * [points]: Setting MPFR precision to 320 0.515 * * * * [points]: Filtering points with unrepresentable outputs 0.515 * * * * [points]: Sampling 53 additional inputs, on iter 5 have 203 / 256 0.516 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision 0.520 * * * * [points]: Setting MPFR precision to 64 0.521 * * * * [points]: Setting MPFR precision to 320 0.522 * * * * [points]: Computing exacts for 53 points 0.526 * * * * [points]: Setting MPFR precision to 64 0.530 * * * * [points]: Setting MPFR precision to 320 0.534 * * * * [points]: Filtering points with unrepresentable outputs 0.534 * * * * [points]: Sampling 35 additional inputs, on iter 6 have 221 / 256 0.534 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 0.540 * * * * [points]: Setting MPFR precision to 64 0.542 * * * * [points]: Setting MPFR precision to 320 0.559 * * * * [points]: Computing exacts for 35 points 0.563 * * * * [points]: Setting MPFR precision to 64 0.566 * * * * [points]: Setting MPFR precision to 320 0.568 * * * * [points]: Filtering points with unrepresentable outputs 0.568 * * * * [points]: Sampling 22 additional inputs, on iter 7 have 234 / 256 0.568 * * * * [points]: Computing exacts for 22 points 0.574 * * * * [points]: Setting MPFR precision to 64 0.576 * * * * [points]: Setting MPFR precision to 320 0.577 * * * * [points]: Filtering points with unrepresentable outputs 0.577 * * * * [points]: Sampling 11 additional inputs, on iter 8 have 245 / 256 0.578 * * * * [points]: Computing exacts for 11 points 0.582 * * * * [points]: Setting MPFR precision to 64 0.583 * * * * [points]: Setting MPFR precision to 320 0.583 * * * * [points]: Filtering points with unrepresentable outputs 0.584 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 248 / 256 0.584 * * * * [points]: Computing exacts for 8 points 0.588 * * * * [points]: Setting MPFR precision to 64 0.588 * * * * [points]: Setting MPFR precision to 320 0.589 * * * * [points]: Filtering points with unrepresentable outputs 0.589 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 252 / 256 0.589 * * * * [points]: Computing exacts for 4 points 0.593 * * * * [points]: Setting MPFR precision to 64 0.594 * * * * [points]: Setting MPFR precision to 320 0.594 * * * * [points]: Filtering points with unrepresentable outputs 0.594 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 252 / 256 0.594 * * * * [points]: Computing exacts for 4 points 0.598 * * * * [points]: Setting MPFR precision to 64 0.599 * * * * [points]: Setting MPFR precision to 320 0.599 * * * * [points]: Filtering points with unrepresentable outputs 0.599 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 254 / 256 0.599 * * * * [points]: Computing exacts for 4 points 0.606 * * * * [points]: Setting MPFR precision to 64 0.607 * * * * [points]: Setting MPFR precision to 320 0.607 * * * * [points]: Filtering points with unrepresentable outputs 0.608 * * * * [points]: Sampled 256 points with exact outputs 0.608 * * * [progress]: [2/2] Setting up program. 0.622 * [progress]: [Phase 2 of 3] Improving. 0.622 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 0.622 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 0.622 * * [simplify]: iters left: 6 (19 enodes) 0.627 * * [simplify]: iters left: 5 (48 enodes) 0.635 * * [simplify]: iters left: 4 (124 enodes) 1.085 * * [simplify]: Extracting #0: cost 1 inf + 0 1.085 * * [simplify]: Extracting #1: cost 3 inf + 0 1.085 * * [simplify]: Extracting #2: cost 6 inf + 0 1.086 * * [simplify]: Extracting #3: cost 31 inf + 2 1.086 * * [simplify]: Extracting #4: cost 126 inf + 4 1.088 * * [simplify]: Extracting #5: cost 211 inf + 2985 1.091 * * [simplify]: Extracting #6: cost 160 inf + 31488 1.098 * * [simplify]: Extracting #7: cost 101 inf + 88177 1.115 * * [simplify]: Extracting #8: cost 1 inf + 172697 1.135 * * [simplify]: Extracting #9: cost 0 inf + 173382 1.160 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1.160 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1.218 * * [progress]: iteration 1 / 4 1.218 * * * [progress]: picking best candidate 1.247 * * * * [pick]: Picked #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.247 * * * [progress]: localizing error 1.601 * * * [progress]: generating rewritten candidates 1.601 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.627 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.699 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 1.707 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1.718 * * * [progress]: generating series expansions 1.718 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.718 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.718 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 1.718 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1.718 * * * [progress]: simplifying candidates 1.718 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.718 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 1.719 * * [simplify]: iters left: 4 (10 enodes) 1.724 * * [simplify]: iters left: 3 (28 enodes) 1.735 * * [simplify]: iters left: 2 (45 enodes) 1.745 * * [simplify]: iters left: 1 (94 enodes) 1.768 * * [simplify]: Extracting #0: cost 1 inf + 0 1.768 * * [simplify]: Extracting #1: cost 22 inf + 0 1.769 * * [simplify]: Extracting #2: cost 75 inf + 0 1.769 * * [simplify]: Extracting #3: cost 107 inf + 2 1.770 * * [simplify]: Extracting #4: cost 96 inf + 15851 1.772 * * [simplify]: Extracting #5: cost 36 inf + 72598 1.776 * * [simplify]: Extracting #6: cost 4 inf + 121509 1.785 * * [simplify]: Extracting #7: cost 0 inf + 127325 1.795 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 1.795 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1.795 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.796 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha)) 1.796 * * [simplify]: iters left: 4 (10 enodes) 1.801 * * [simplify]: iters left: 3 (28 enodes) 1.812 * * [simplify]: iters left: 2 (74 enodes) 1.850 * * [simplify]: iters left: 1 (216 enodes) 1.932 * * [simplify]: Extracting #0: cost 1 inf + 0 1.932 * * [simplify]: Extracting #1: cost 33 inf + 0 1.933 * * [simplify]: Extracting #2: cost 144 inf + 0 1.933 * * [simplify]: Extracting #3: cost 137 inf + 1372 1.934 * * [simplify]: Extracting #4: cost 112 inf + 14388 1.938 * * [simplify]: Extracting #5: cost 48 inf + 69973 1.945 * * [simplify]: Extracting #6: cost 1 inf + 121721 1.954 * * [simplify]: Extracting #7: cost 0 inf + 122765 1.961 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1.961 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1.961 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.961 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1.961 * * [simplify]: iters left: 5 (12 enodes) 1.965 * * [simplify]: iters left: 4 (35 enodes) 1.973 * * [simplify]: iters left: 3 (115 enodes) 2.018 * * [simplify]: Extracting #0: cost 1 inf + 0 2.018 * * [simplify]: Extracting #1: cost 43 inf + 0 2.019 * * [simplify]: Extracting #2: cost 178 inf + 0 2.024 * * [simplify]: Extracting #3: cost 205 inf + 2097 2.029 * * [simplify]: Extracting #4: cost 136 inf + 37748 2.045 * * [simplify]: Extracting #5: cost 10 inf + 123277 2.065 * * [simplify]: Extracting #6: cost 0 inf + 131163 2.084 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) 2.084 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))) 2.085 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 2.085 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 2.085 * * [simplify]: iters left: 3 (6 enodes) 2.088 * * [simplify]: iters left: 2 (13 enodes) 2.090 * * [simplify]: Extracting #0: cost 1 inf + 0 2.090 * * [simplify]: Extracting #1: cost 3 inf + 0 2.090 * * [simplify]: Extracting #2: cost 4 inf + 1 2.090 * * [simplify]: Extracting #3: cost 4 inf + 2 2.091 * * [simplify]: Extracting #4: cost 0 inf + 689 2.091 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 2.091 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 2.091 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 2.091 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 2.091 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 2.091 * * [simplify]: iters left: 3 (6 enodes) 2.093 * * [simplify]: iters left: 2 (13 enodes) 2.095 * * [simplify]: Extracting #0: cost 1 inf + 0 2.095 * * [simplify]: Extracting #1: cost 3 inf + 0 2.095 * * [simplify]: Extracting #2: cost 4 inf + 1 2.095 * * [simplify]: Extracting #3: cost 4 inf + 2 2.095 * * [simplify]: Extracting #4: cost 0 inf + 689 2.095 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 2.095 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 2.095 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #posit16 2) i) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 2.095 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 2.095 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 2.095 * * [simplify]: iters left: 6 (19 enodes) 2.101 * * [simplify]: iters left: 5 (48 enodes) 2.110 * * [simplify]: iters left: 4 (124 enodes) 2.167 * * [simplify]: Extracting #0: cost 1 inf + 0 2.168 * * [simplify]: Extracting #1: cost 3 inf + 0 2.168 * * [simplify]: Extracting #2: cost 6 inf + 0 2.168 * * [simplify]: Extracting #3: cost 31 inf + 2 2.168 * * [simplify]: Extracting #4: cost 126 inf + 4 2.170 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.173 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.178 * * [simplify]: Extracting #7: cost 101 inf + 88177 2.187 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.203 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.222 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 2.222 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 2.222 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 2.222 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 2.222 * * [simplify]: iters left: 6 (19 enodes) 2.227 * * [simplify]: iters left: 5 (48 enodes) 2.237 * * [simplify]: iters left: 4 (124 enodes) 2.288 * * [simplify]: Extracting #0: cost 1 inf + 0 2.288 * * [simplify]: Extracting #1: cost 3 inf + 0 2.288 * * [simplify]: Extracting #2: cost 6 inf + 0 2.288 * * [simplify]: Extracting #3: cost 31 inf + 2 2.288 * * [simplify]: Extracting #4: cost 126 inf + 4 2.289 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.291 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.294 * * [simplify]: Extracting #7: cost 101 inf + 88177 2.303 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.313 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.323 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 2.323 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 2.323 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 2.324 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 2.324 * * [simplify]: iters left: 6 (19 enodes) 2.331 * * [simplify]: iters left: 5 (48 enodes) 2.340 * * [simplify]: iters left: 4 (124 enodes) 2.386 * * [simplify]: Extracting #0: cost 1 inf + 0 2.386 * * [simplify]: Extracting #1: cost 3 inf + 0 2.386 * * [simplify]: Extracting #2: cost 6 inf + 0 2.386 * * [simplify]: Extracting #3: cost 31 inf + 2 2.387 * * [simplify]: Extracting #4: cost 126 inf + 4 2.388 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.389 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.393 * * [simplify]: Extracting #7: cost 101 inf + 88177 2.402 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.416 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.429 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 2.430 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 2.430 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 2.430 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 2.430 * * [simplify]: iters left: 6 (19 enodes) 2.435 * * [simplify]: iters left: 5 (48 enodes) 2.444 * * [simplify]: iters left: 4 (124 enodes) 2.503 * * [simplify]: Extracting #0: cost 1 inf + 0 2.503 * * [simplify]: Extracting #1: cost 3 inf + 0 2.503 * * [simplify]: Extracting #2: cost 6 inf + 0 2.503 * * [simplify]: Extracting #3: cost 31 inf + 2 2.503 * * [simplify]: Extracting #4: cost 126 inf + 4 2.504 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.506 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.512 * * [simplify]: Extracting #7: cost 101 inf + 88177 2.521 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.531 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.545 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 2.545 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 2.546 * * * [progress]: adding candidates to table 3.018 * * [progress]: iteration 2 / 4 3.018 * * * [progress]: picking best candidate 3.094 * * * * [pick]: Picked #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 3.094 * * * [progress]: localizing error 3.478 * * * [progress]: generating rewritten candidates 3.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2) 3.490 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.583 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 3.592 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 3.606 * * * [progress]: generating series expansions 3.606 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2) 3.606 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.606 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.606 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 3.606 * * * [progress]: simplifying candidates 3.606 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 3.607 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 3.607 * * [simplify]: iters left: 4 (12 enodes) 3.613 * * [simplify]: iters left: 3 (33 enodes) 3.624 * * [simplify]: iters left: 2 (62 enodes) 3.648 * * [simplify]: iters left: 1 (143 enodes) 3.715 * * [simplify]: Extracting #0: cost 1 inf + 0 3.715 * * [simplify]: Extracting #1: cost 35 inf + 0 3.716 * * [simplify]: Extracting #2: cost 147 inf + 0 3.717 * * [simplify]: Extracting #3: cost 193 inf + 767 3.720 * * [simplify]: Extracting #4: cost 192 inf + 24547 3.732 * * [simplify]: Extracting #5: cost 67 inf + 210446 3.753 * * [simplify]: Extracting #6: cost 6 inf + 314451 3.776 * * [simplify]: Extracting #7: cost 1 inf + 325341 3.804 * * [simplify]: Extracting #8: cost 0 inf + 328623 3.827 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) 3.827 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 3.828 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 3.828 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 3.828 * * [simplify]: iters left: 5 (13 enodes) 3.836 * * [simplify]: iters left: 4 (35 enodes) 3.848 * * [simplify]: iters left: 3 (66 enodes) 3.873 * * [simplify]: iters left: 2 (141 enodes) 3.936 * * [simplify]: iters left: 1 (369 enodes) 4.235 * * [simplify]: Extracting #0: cost 1 inf + 0 4.235 * * [simplify]: Extracting #1: cost 71 inf + 0 4.237 * * [simplify]: Extracting #2: cost 395 inf + 0 4.239 * * [simplify]: Extracting #3: cost 560 inf + 22927 4.248 * * [simplify]: Extracting #4: cost 388 inf + 239865 4.270 * * [simplify]: Extracting #5: cost 159 inf + 570765 4.311 * * [simplify]: Extracting #6: cost 13 inf + 851490 4.353 * * [simplify]: Extracting #7: cost 0 inf + 890235 4.398 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.398 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 4.398 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.399 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) 4.399 * * [simplify]: iters left: 5 (14 enodes) 4.402 * * [simplify]: iters left: 4 (39 enodes) 4.411 * * [simplify]: iters left: 3 (104 enodes) 4.443 * * [simplify]: Extracting #0: cost 1 inf + 0 4.443 * * [simplify]: Extracting #1: cost 41 inf + 0 4.443 * * [simplify]: Extracting #2: cost 139 inf + 0 4.444 * * [simplify]: Extracting #3: cost 200 inf + 767 4.445 * * [simplify]: Extracting #4: cost 178 inf + 13783 4.448 * * [simplify]: Extracting #5: cost 100 inf + 69227 4.460 * * [simplify]: Extracting #6: cost 1 inf + 168780 4.471 * * [simplify]: Extracting #7: cost 0 inf + 170745 4.481 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i))) 4.482 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 4.482 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.482 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) 4.482 * * [simplify]: iters left: 5 (13 enodes) 4.485 * * [simplify]: iters left: 4 (36 enodes) 4.491 * * [simplify]: iters left: 3 (76 enodes) 4.506 * * [simplify]: iters left: 2 (195 enodes) 4.574 * * [simplify]: Extracting #0: cost 1 inf + 0 4.574 * * [simplify]: Extracting #1: cost 39 inf + 0 4.575 * * [simplify]: Extracting #2: cost 198 inf + 0 4.576 * * [simplify]: Extracting #3: cost 261 inf + 11162 4.579 * * [simplify]: Extracting #4: cost 217 inf + 89510 4.588 * * [simplify]: Extracting #5: cost 111 inf + 241343 4.606 * * [simplify]: Extracting #6: cost 17 inf + 435067 4.624 * * [simplify]: Extracting #7: cost 0 inf + 475326 4.643 * * [simplify]: Extracting #8: cost 0 inf + 475206 4.661 * [simplify]: Simplified to (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 4.661 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.662 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.662 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 4.662 * * [simplify]: iters left: 4 (9 enodes) 4.664 * * [simplify]: iters left: 3 (21 enodes) 4.667 * * [simplify]: iters left: 2 (27 enodes) 4.671 * * [simplify]: iters left: 1 (29 enodes) 4.675 * * [simplify]: Extracting #0: cost 1 inf + 0 4.675 * * [simplify]: Extracting #1: cost 3 inf + 0 4.675 * * [simplify]: Extracting #2: cost 8 inf + 0 4.675 * * [simplify]: Extracting #3: cost 8 inf + 2 4.675 * * [simplify]: Extracting #4: cost 7 inf + 45 4.675 * * [simplify]: Extracting #5: cost 1 inf + 1980 4.676 * * [simplify]: Extracting #6: cost 0 inf + 2343 4.676 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 4.676 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.676 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.676 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 4.676 * * [simplify]: iters left: 3 (6 enodes) 4.678 * * [simplify]: iters left: 2 (13 enodes) 4.680 * * [simplify]: Extracting #0: cost 1 inf + 0 4.680 * * [simplify]: Extracting #1: cost 3 inf + 0 4.680 * * [simplify]: Extracting #2: cost 4 inf + 1 4.680 * * [simplify]: Extracting #3: cost 4 inf + 2 4.680 * * [simplify]: Extracting #4: cost 0 inf + 689 4.680 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 4.680 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.680 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.680 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.681 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.681 * * [simplify]: iters left: 4 (10 enodes) 4.683 * * [simplify]: iters left: 3 (28 enodes) 4.689 * * [simplify]: iters left: 2 (45 enodes) 4.697 * * [simplify]: iters left: 1 (94 enodes) 4.720 * * [simplify]: Extracting #0: cost 1 inf + 0 4.720 * * [simplify]: Extracting #1: cost 22 inf + 0 4.720 * * [simplify]: Extracting #2: cost 75 inf + 0 4.720 * * [simplify]: Extracting #3: cost 107 inf + 2 4.721 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.723 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.727 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.732 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.737 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.737 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.737 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.737 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.737 * * [simplify]: iters left: 4 (10 enodes) 4.740 * * [simplify]: iters left: 3 (28 enodes) 4.744 * * [simplify]: iters left: 2 (45 enodes) 4.751 * * [simplify]: iters left: 1 (94 enodes) 4.774 * * [simplify]: Extracting #0: cost 1 inf + 0 4.774 * * [simplify]: Extracting #1: cost 22 inf + 0 4.774 * * [simplify]: Extracting #2: cost 75 inf + 0 4.775 * * [simplify]: Extracting #3: cost 107 inf + 2 4.775 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.777 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.781 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.786 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.791 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.791 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.791 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.791 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.791 * * [simplify]: iters left: 4 (10 enodes) 4.793 * * [simplify]: iters left: 3 (28 enodes) 4.798 * * [simplify]: iters left: 2 (45 enodes) 4.805 * * [simplify]: iters left: 1 (94 enodes) 4.826 * * [simplify]: Extracting #0: cost 1 inf + 0 4.826 * * [simplify]: Extracting #1: cost 22 inf + 0 4.826 * * [simplify]: Extracting #2: cost 75 inf + 0 4.826 * * [simplify]: Extracting #3: cost 107 inf + 2 4.827 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.829 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.835 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.840 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.845 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.845 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.845 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.846 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.846 * * [simplify]: iters left: 4 (10 enodes) 4.848 * * [simplify]: iters left: 3 (28 enodes) 4.853 * * [simplify]: iters left: 2 (45 enodes) 4.863 * * [simplify]: iters left: 1 (94 enodes) 4.885 * * [simplify]: Extracting #0: cost 1 inf + 0 4.885 * * [simplify]: Extracting #1: cost 22 inf + 0 4.886 * * [simplify]: Extracting #2: cost 75 inf + 0 4.886 * * [simplify]: Extracting #3: cost 107 inf + 2 4.887 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.889 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.893 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.897 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.902 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.902 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.902 * * * [progress]: adding candidates to table 5.358 * * [progress]: iteration 3 / 4 5.359 * * * [progress]: picking best candidate 5.486 * * * * [pick]: Picked #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 5.486 * * * [progress]: localizing error 5.772 * * * [progress]: generating rewritten candidates 5.772 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 5.781 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 5.864 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 5.899 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 5.918 * * * [progress]: generating series expansions 5.918 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 5.918 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 5.918 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 5.918 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 5.918 * * * [progress]: simplifying candidates 5.918 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 5.918 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 5.919 * * [simplify]: iters left: 5 (15 enodes) 5.926 * * [simplify]: iters left: 4 (40 enodes) 5.942 * * [simplify]: iters left: 3 (83 enodes) 5.964 * * [simplify]: iters left: 2 (187 enodes) 6.044 * * [simplify]: Extracting #0: cost 1 inf + 0 6.044 * * [simplify]: Extracting #1: cost 35 inf + 0 6.048 * * [simplify]: Extracting #2: cost 156 inf + 0 6.049 * * [simplify]: Extracting #3: cost 202 inf + 1411 6.051 * * [simplify]: Extracting #4: cost 200 inf + 15786 6.061 * * [simplify]: Extracting #5: cost 92 inf + 138342 6.073 * * [simplify]: Extracting #6: cost 13 inf + 287919 6.086 * * [simplify]: Extracting #7: cost 0 inf + 324491 6.099 * * [simplify]: Extracting #8: cost 0 inf + 324211 6.124 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) 6.124 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 6.124 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 6.124 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) 6.124 * * [simplify]: iters left: 6 (17 enodes) 6.129 * * [simplify]: iters left: 5 (46 enodes) 6.139 * * [simplify]: iters left: 4 (120 enodes) 6.171 * * [simplify]: iters left: 3 (388 enodes) 6.393 * * [simplify]: Extracting #0: cost 1 inf + 0 6.393 * * [simplify]: Extracting #1: cost 49 inf + 0 6.394 * * [simplify]: Extracting #2: cost 328 inf + 0 6.397 * * [simplify]: Extracting #3: cost 705 inf + 6504 6.401 * * [simplify]: Extracting #4: cost 723 inf + 42711 6.409 * * [simplify]: Extracting #5: cost 600 inf + 185938 6.433 * * [simplify]: Extracting #6: cost 347 inf + 475335 6.488 * * [simplify]: Extracting #7: cost 74 inf + 1005874 6.569 * * [simplify]: Extracting #8: cost 4 inf + 1182382 6.686 * * [simplify]: Extracting #9: cost 0 inf + 1193242 6.780 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) (+.p16 alpha (real->posit16 2.0))) (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) alpha)))) 6.780 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) (+.p16 alpha (real->posit16 2.0))) (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 6.781 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 6.781 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) 6.781 * * [simplify]: iters left: 5 (13 enodes) 6.790 * * [simplify]: iters left: 4 (31 enodes) 6.800 * * [simplify]: iters left: 3 (68 enodes) 6.836 * * [simplify]: iters left: 2 (351 enodes) 7.133 * * [simplify]: Extracting #0: cost 1 inf + 0 7.133 * * [simplify]: Extracting #1: cost 7 inf + 0 7.133 * * [simplify]: Extracting #2: cost 164 inf + 0 7.135 * * [simplify]: Extracting #3: cost 409 inf + 1773 7.140 * * [simplify]: Extracting #4: cost 396 inf + 8865 7.148 * * [simplify]: Extracting #5: cost 244 inf + 97605 7.180 * * [simplify]: Extracting #6: cost 6 inf + 311724 7.211 * * [simplify]: Extracting #7: cost 0 inf + 317874 7.244 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) 7.245 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 7.245 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 7.245 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 7.245 * * [simplify]: iters left: 6 (14 enodes) 7.249 * * [simplify]: iters left: 5 (45 enodes) 7.258 * * [simplify]: iters left: 4 (122 enodes) 7.320 * * [simplify]: Extracting #0: cost 1 inf + 0 7.321 * * [simplify]: Extracting #1: cost 30 inf + 0 7.321 * * [simplify]: Extracting #2: cost 114 inf + 0 7.322 * * [simplify]: Extracting #3: cost 191 inf + 1493 7.325 * * [simplify]: Extracting #4: cost 163 inf + 17377 7.334 * * [simplify]: Extracting #5: cost 86 inf + 77409 7.351 * * [simplify]: Extracting #6: cost 3 inf + 157983 7.370 * * [simplify]: Extracting #7: cost 0 inf + 159798 7.390 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) 7.390 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0))) 7.391 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 7.391 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 7.391 * * [simplify]: iters left: 3 (6 enodes) 7.394 * * [simplify]: iters left: 2 (13 enodes) 7.398 * * [simplify]: Extracting #0: cost 1 inf + 0 7.398 * * [simplify]: Extracting #1: cost 3 inf + 0 7.398 * * [simplify]: Extracting #2: cost 4 inf + 1 7.398 * * [simplify]: Extracting #3: cost 4 inf + 2 7.398 * * [simplify]: Extracting #4: cost 0 inf + 689 7.398 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 7.398 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 7.398 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 7.398 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 7.399 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 7.399 * * [simplify]: iters left: 5 (13 enodes) 7.402 * * [simplify]: iters left: 4 (35 enodes) 7.409 * * [simplify]: iters left: 3 (66 enodes) 7.421 * * [simplify]: iters left: 2 (141 enodes) 7.464 * * [simplify]: iters left: 1 (369 enodes) 7.805 * * [simplify]: Extracting #0: cost 1 inf + 0 7.806 * * [simplify]: Extracting #1: cost 71 inf + 0 7.808 * * [simplify]: Extracting #2: cost 395 inf + 0 7.813 * * [simplify]: Extracting #3: cost 560 inf + 22927 7.830 * * [simplify]: Extracting #4: cost 388 inf + 239865 7.877 * * [simplify]: Extracting #5: cost 159 inf + 570765 7.951 * * [simplify]: Extracting #6: cost 13 inf + 851490 8.034 * * [simplify]: Extracting #7: cost 0 inf + 890235 8.115 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 8.115 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 8.116 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 8.116 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 8.116 * * [simplify]: iters left: 5 (13 enodes) 8.123 * * [simplify]: iters left: 4 (35 enodes) 8.136 * * [simplify]: iters left: 3 (66 enodes) 8.161 * * [simplify]: iters left: 2 (141 enodes) 8.226 * * [simplify]: iters left: 1 (369 enodes) 8.605 * * [simplify]: Extracting #0: cost 1 inf + 0 8.606 * * [simplify]: Extracting #1: cost 71 inf + 0 8.608 * * [simplify]: Extracting #2: cost 395 inf + 0 8.613 * * [simplify]: Extracting #3: cost 560 inf + 22927 8.630 * * [simplify]: Extracting #4: cost 388 inf + 239865 8.678 * * [simplify]: Extracting #5: cost 159 inf + 570765 8.736 * * [simplify]: Extracting #6: cost 13 inf + 851490 8.788 * * [simplify]: Extracting #7: cost 0 inf + 890235 8.870 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 8.870 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 8.870 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 8.870 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 8.871 * * [simplify]: iters left: 5 (13 enodes) 8.877 * * [simplify]: iters left: 4 (35 enodes) 8.890 * * [simplify]: iters left: 3 (66 enodes) 8.915 * * [simplify]: iters left: 2 (141 enodes) 8.978 * * [simplify]: iters left: 1 (369 enodes) 9.321 * * [simplify]: Extracting #0: cost 1 inf + 0 9.321 * * [simplify]: Extracting #1: cost 71 inf + 0 9.322 * * [simplify]: Extracting #2: cost 395 inf + 0 9.325 * * [simplify]: Extracting #3: cost 560 inf + 22927 9.334 * * [simplify]: Extracting #4: cost 388 inf + 239865 9.358 * * [simplify]: Extracting #5: cost 159 inf + 570765 9.395 * * [simplify]: Extracting #6: cost 13 inf + 851490 9.437 * * [simplify]: Extracting #7: cost 0 inf + 890235 9.518 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 9.518 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 9.518 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 9.519 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 9.519 * * [simplify]: iters left: 5 (13 enodes) 9.526 * * [simplify]: iters left: 4 (35 enodes) 9.538 * * [simplify]: iters left: 3 (66 enodes) 9.562 * * [simplify]: iters left: 2 (141 enodes) 9.610 * * [simplify]: iters left: 1 (369 enodes) 9.968 * * [simplify]: Extracting #0: cost 1 inf + 0 9.968 * * [simplify]: Extracting #1: cost 71 inf + 0 9.970 * * [simplify]: Extracting #2: cost 395 inf + 0 9.975 * * [simplify]: Extracting #3: cost 560 inf + 22927 9.992 * * [simplify]: Extracting #4: cost 388 inf + 239865 10.039 * * [simplify]: Extracting #5: cost 159 inf + 570765 10.111 * * [simplify]: Extracting #6: cost 13 inf + 851490 10.193 * * [simplify]: Extracting #7: cost 0 inf + 890235 10.269 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 10.269 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 10.270 * * * [progress]: adding candidates to table 10.724 * * [progress]: iteration 4 / 4 10.724 * * * [progress]: picking best candidate 10.998 * * * * [pick]: Picked #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 10.998 * * * [progress]: localizing error 11.553 * * * [progress]: generating rewritten candidates 11.553 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 11.582 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 11.623 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 11.642 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 11.646 * * * [progress]: generating series expansions 11.647 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 11.647 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 11.647 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 11.647 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 11.647 * * * [progress]: simplifying candidates 11.647 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 11.647 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 11.647 * * [simplify]: iters left: 6 (15 enodes) 11.651 * * [simplify]: iters left: 5 (41 enodes) 11.659 * * [simplify]: iters left: 4 (85 enodes) 11.678 * * [simplify]: iters left: 3 (184 enodes) 11.727 * * [simplify]: Extracting #0: cost 1 inf + 0 11.727 * * [simplify]: Extracting #1: cost 34 inf + 0 11.727 * * [simplify]: Extracting #2: cost 149 inf + 0 11.729 * * [simplify]: Extracting #3: cost 204 inf + 45 11.731 * * [simplify]: Extracting #4: cost 206 inf + 10648 11.740 * * [simplify]: Extracting #5: cost 94 inf + 134435 11.769 * * [simplify]: Extracting #6: cost 5 inf + 306546 11.794 * * [simplify]: Extracting #7: cost 0 inf + 317968 11.819 * * [simplify]: Extracting #8: cost 0 inf + 317888 11.843 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha))) 11.844 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 11.844 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 11.844 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) 11.845 * * [simplify]: iters left: 6 (19 enodes) 11.854 * * [simplify]: iters left: 5 (48 enodes) 11.873 * * [simplify]: iters left: 4 (128 enodes) 11.935 * * [simplify]: iters left: 3 (398 enodes) 12.213 * * [simplify]: Extracting #0: cost 1 inf + 0 12.213 * * [simplify]: Extracting #1: cost 59 inf + 0 12.215 * * [simplify]: Extracting #2: cost 390 inf + 0 12.221 * * [simplify]: Extracting #3: cost 709 inf + 24619 12.236 * * [simplify]: Extracting #4: cost 646 inf + 181415 12.249 * * [simplify]: Extracting #5: cost 579 inf + 255787 12.266 * * [simplify]: Extracting #6: cost 391 inf + 427795 12.317 * * [simplify]: Extracting #7: cost 64 inf + 1078685 12.398 * * [simplify]: Extracting #8: cost 0 inf + 1227401 12.521 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 2.0) beta) (*.p16 (real->posit16 2) i)) alpha) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta))) 12.521 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 2.0) beta) (*.p16 (real->posit16 2) i)) alpha) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 12.522 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 12.522 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) 12.522 * * [simplify]: iters left: 6 (15 enodes) 12.529 * * [simplify]: iters left: 5 (33 enodes) 12.540 * * [simplify]: iters left: 4 (75 enodes) 12.587 * * [simplify]: iters left: 3 (344 enodes) 13.121 * * [simplify]: Extracting #0: cost 1 inf + 0 13.121 * * [simplify]: Extracting #1: cost 7 inf + 0 13.122 * * [simplify]: Extracting #2: cost 167 inf + 0 13.125 * * [simplify]: Extracting #3: cost 471 inf + 1089 13.129 * * [simplify]: Extracting #4: cost 482 inf + 5237 13.154 * * [simplify]: Extracting #5: cost 256 inf + 143205 13.212 * * [simplify]: Extracting #6: cost 13 inf + 347145 13.277 * * [simplify]: Extracting #7: cost 0 inf + 356328 13.342 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) 13.342 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 13.342 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 13.343 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 13.343 * * [simplify]: iters left: 6 (16 enodes) 13.351 * * [simplify]: iters left: 5 (47 enodes) 13.370 * * [simplify]: iters left: 4 (131 enodes) 13.449 * * [simplify]: Extracting #0: cost 1 inf + 0 13.449 * * [simplify]: Extracting #1: cost 28 inf + 0 13.449 * * [simplify]: Extracting #2: cost 106 inf + 0 13.450 * * [simplify]: Extracting #3: cost 177 inf + 3 13.452 * * [simplify]: Extracting #4: cost 152 inf + 12988 13.461 * * [simplify]: Extracting #5: cost 61 inf + 81679 13.479 * * [simplify]: Extracting #6: cost 3 inf + 144070 13.500 * * [simplify]: Extracting #7: cost 0 inf + 148565 13.520 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 i (real->posit16 2)) beta)) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) beta) (+.p16 alpha (*.p16 i (real->posit16 2)))) (-.p16 beta alpha))) 13.520 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 alpha (+.p16 (*.p16 i (real->posit16 2)) beta)) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) beta) (+.p16 alpha (*.p16 i (real->posit16 2)))) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0))) 13.520 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 13.521 * [simplify]: Simplifying (+.p16 alpha beta) 13.521 * * [simplify]: iters left: 1 (3 enodes) 13.522 * * [simplify]: Extracting #0: cost 1 inf + 0 13.522 * * [simplify]: Extracting #1: cost 3 inf + 0 13.522 * * [simplify]: Extracting #2: cost 1 inf + 2 13.522 * * [simplify]: Extracting #3: cost 0 inf + 44 13.522 * [simplify]: Simplified to (+.p16 beta alpha) 13.522 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 13.522 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) alpha) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 13.522 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 13.523 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 13.523 * * [simplify]: iters left: 3 (6 enodes) 13.526 * * [simplify]: iters left: 2 (13 enodes) 13.530 * * [simplify]: Extracting #0: cost 1 inf + 0 13.530 * * [simplify]: Extracting #1: cost 3 inf + 0 13.530 * * [simplify]: Extracting #2: cost 4 inf + 1 13.530 * * [simplify]: Extracting #3: cost 4 inf + 2 13.530 * * [simplify]: Extracting #4: cost 0 inf + 689 13.530 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 13.531 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 13.531 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 13.531 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 13.531 * * [simplify]: iters left: 3 (6 enodes) 13.535 * * [simplify]: iters left: 2 (13 enodes) 13.538 * * [simplify]: Extracting #0: cost 1 inf + 0 13.539 * * [simplify]: Extracting #1: cost 3 inf + 0 13.539 * * [simplify]: Extracting #2: cost 4 inf + 1 13.539 * * [simplify]: Extracting #3: cost 4 inf + 2 13.539 * * [simplify]: Extracting #4: cost 0 inf + 689 13.539 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 13.539 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 13.539 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 13.539 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 13.540 * * [simplify]: iters left: 3 (6 enodes) 13.542 * * [simplify]: iters left: 2 (13 enodes) 13.546 * * [simplify]: Extracting #0: cost 1 inf + 0 13.546 * * [simplify]: Extracting #1: cost 3 inf + 0 13.546 * * [simplify]: Extracting #2: cost 4 inf + 1 13.546 * * [simplify]: Extracting #3: cost 4 inf + 2 13.546 * * [simplify]: Extracting #4: cost 0 inf + 689 13.547 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 13.547 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 13.547 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 13.547 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 13.547 * * [simplify]: iters left: 3 (6 enodes) 13.550 * * [simplify]: iters left: 2 (13 enodes) 13.554 * * [simplify]: Extracting #0: cost 1 inf + 0 13.554 * * [simplify]: Extracting #1: cost 3 inf + 0 13.554 * * [simplify]: Extracting #2: cost 4 inf + 1 13.554 * * [simplify]: Extracting #3: cost 4 inf + 2 13.554 * * [simplify]: Extracting #4: cost 0 inf + 689 13.555 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 13.555 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 13.555 * * * [progress]: adding candidates to table 14.075 * [progress]: [Phase 3 of 3] Extracting. 14.075 * * [regime]: Finding splitpoints for: (#posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (+.p16 alpha (real->posit16 2.0))) (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0) beta) (*.p16 (real->posit16 2) i)) alpha) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>) 14.082 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha) 14.082 * * * * [regimes]: Trying to branch on i from (#posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (+.p16 alpha (real->posit16 2.0))) (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0) beta) (*.p16 (real->posit16 2) i)) alpha) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>) 14.454 * * * * [regimes]: Trying to branch on beta from (#posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (+.p16 alpha (real->posit16 2.0))) (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0) beta) (*.p16 (real->posit16 2) i)) alpha) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>) 14.831 * * * * [regimes]: Trying to branch on alpha from (#posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (+.p16 alpha (real->posit16 2.0))) (+.p16 (+.p16 beta (*.p16 (real->posit16 2) i)) alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0) beta) (*.p16 (real->posit16 2) i)) alpha) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>) 15.061 * * * [regime]: Found split indices: #