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.016 * * * * [points]: Setting MPFR precision to 64 0.019 * * * * [points]: Setting MPFR precision to 320 0.021 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.029 * * * * [points]: Setting MPFR precision to 64 0.033 * * * * [points]: Setting MPFR precision to 320 0.036 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.044 * * * * [points]: Setting MPFR precision to 64 0.051 * * * * [points]: Setting MPFR precision to 320 0.058 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.067 * * * * [points]: Setting MPFR precision to 64 0.078 * * * * [points]: Setting MPFR precision to 320 0.090 * * * * [points]: Computing exacts for 256 points 0.094 * * * * [points]: Setting MPFR precision to 64 0.112 * * * * [points]: Setting MPFR precision to 320 0.141 * * * * [points]: Filtering points with unrepresentable outputs 0.142 * * * * [points]: Sampling 185 additional inputs, on iter 1 have 71 / 256 0.143 * * * * [points]: Computing exacts on every 11 of 185 points to ramp up precision 0.152 * * * * [points]: Setting MPFR precision to 64 0.154 * * * * [points]: Setting MPFR precision to 320 0.156 * * * * [points]: Computing exacts on every 5 of 185 points to ramp up precision 0.164 * * * * [points]: Setting MPFR precision to 64 0.186 * * * * [points]: Setting MPFR precision to 320 0.189 * * * * [points]: Computing exacts on every 2 of 185 points to ramp up precision 0.196 * * * * [points]: Setting MPFR precision to 64 0.204 * * * * [points]: Setting MPFR precision to 320 0.211 * * * * [points]: Computing exacts for 185 points 0.219 * * * * [points]: Setting MPFR precision to 64 0.241 * * * * [points]: Setting MPFR precision to 320 0.262 * * * * [points]: Filtering points with unrepresentable outputs 0.262 * * * * [points]: Sampling 143 additional inputs, on iter 2 have 113 / 256 0.264 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision 0.272 * * * * [points]: Setting MPFR precision to 64 0.274 * * * * [points]: Setting MPFR precision to 320 0.275 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision 0.279 * * * * [points]: Setting MPFR precision to 64 0.282 * * * * [points]: Setting MPFR precision to 320 0.284 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision 0.288 * * * * [points]: Setting MPFR precision to 64 0.292 * * * * [points]: Setting MPFR precision to 320 0.295 * * * * [points]: Computing exacts for 143 points 0.300 * * * * [points]: Setting MPFR precision to 64 0.317 * * * * [points]: Setting MPFR precision to 320 0.373 * * * * [points]: Filtering points with unrepresentable outputs 0.374 * * * * [points]: Sampling 108 additional inputs, on iter 3 have 148 / 256 0.375 * * * * [points]: Computing exacts on every 6 of 108 points to ramp up precision 0.384 * * * * [points]: Setting MPFR precision to 64 0.386 * * * * [points]: Setting MPFR precision to 320 0.388 * * * * [points]: Computing exacts on every 3 of 108 points to ramp up precision 0.396 * * * * [points]: Setting MPFR precision to 64 0.400 * * * * [points]: Setting MPFR precision to 320 0.404 * * * * [points]: Computing exacts for 108 points 0.411 * * * * [points]: Setting MPFR precision to 64 0.426 * * * * [points]: Setting MPFR precision to 320 0.441 * * * * [points]: Filtering points with unrepresentable outputs 0.441 * * * * [points]: Sampling 73 additional inputs, on iter 4 have 183 / 256 0.442 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision 0.450 * * * * [points]: Setting MPFR precision to 64 0.452 * * * * [points]: Setting MPFR precision to 320 0.454 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision 0.462 * * * * [points]: Setting MPFR precision to 64 0.466 * * * * [points]: Setting MPFR precision to 320 0.469 * * * * [points]: Computing exacts for 73 points 0.478 * * * * [points]: Setting MPFR precision to 64 0.488 * * * * [points]: Setting MPFR precision to 320 0.498 * * * * [points]: Filtering points with unrepresentable outputs 0.498 * * * * [points]: Sampling 53 additional inputs, on iter 5 have 203 / 256 0.498 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision 0.507 * * * * [points]: Setting MPFR precision to 64 0.509 * * * * [points]: Setting MPFR precision to 320 0.510 * * * * [points]: Computing exacts for 53 points 0.519 * * * * [points]: Setting MPFR precision to 64 0.557 * * * * [points]: Setting MPFR precision to 320 0.567 * * * * [points]: Filtering points with unrepresentable outputs 0.567 * * * * [points]: Sampling 35 additional inputs, on iter 6 have 221 / 256 0.567 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 0.576 * * * * [points]: Setting MPFR precision to 64 0.578 * * * * [points]: Setting MPFR precision to 320 0.580 * * * * [points]: Computing exacts for 35 points 0.588 * * * * [points]: Setting MPFR precision to 64 0.592 * * * * [points]: Setting MPFR precision to 320 0.597 * * * * [points]: Filtering points with unrepresentable outputs 0.597 * * * * [points]: Sampling 22 additional inputs, on iter 7 have 234 / 256 0.598 * * * * [points]: Computing exacts for 22 points 0.606 * * * * [points]: Setting MPFR precision to 64 0.609 * * * * [points]: Setting MPFR precision to 320 0.612 * * * * [points]: Filtering points with unrepresentable outputs 0.612 * * * * [points]: Sampling 11 additional inputs, on iter 8 have 245 / 256 0.612 * * * * [points]: Computing exacts for 11 points 0.620 * * * * [points]: Setting MPFR precision to 64 0.621 * * * * [points]: Setting MPFR precision to 320 0.623 * * * * [points]: Filtering points with unrepresentable outputs 0.623 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 248 / 256 0.623 * * * * [points]: Computing exacts for 8 points 0.631 * * * * [points]: Setting MPFR precision to 64 0.632 * * * * [points]: Setting MPFR precision to 320 0.633 * * * * [points]: Filtering points with unrepresentable outputs 0.633 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 252 / 256 0.633 * * * * [points]: Computing exacts for 4 points 0.642 * * * * [points]: Setting MPFR precision to 64 0.642 * * * * [points]: Setting MPFR precision to 320 0.643 * * * * [points]: Filtering points with unrepresentable outputs 0.643 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 252 / 256 0.643 * * * * [points]: Computing exacts for 4 points 0.652 * * * * [points]: Setting MPFR precision to 64 0.652 * * * * [points]: Setting MPFR precision to 320 0.653 * * * * [points]: Filtering points with unrepresentable outputs 0.653 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 254 / 256 0.653 * * * * [points]: Computing exacts for 4 points 0.661 * * * * [points]: Setting MPFR precision to 64 0.662 * * * * [points]: Setting MPFR precision to 320 0.663 * * * * [points]: Filtering points with unrepresentable outputs 0.663 * * * * [points]: Sampled 256 points with exact outputs 0.663 * * * [progress]: [2/2] Setting up program. 0.694 * [progress]: [Phase 2 of 3] Improving. 0.694 * * * * [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.694 * [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.695 * * [simplify]: iters left: 6 (19 enodes) 0.705 * * [simplify]: iters left: 5 (48 enodes) 0.742 * * [simplify]: iters left: 4 (124 enodes) 0.813 * * [simplify]: Extracting #0: cost 1 inf + 0 0.813 * * [simplify]: Extracting #1: cost 3 inf + 0 0.813 * * [simplify]: Extracting #2: cost 6 inf + 0 0.813 * * [simplify]: Extracting #3: cost 31 inf + 2 0.813 * * [simplify]: Extracting #4: cost 126 inf + 4 0.815 * * [simplify]: Extracting #5: cost 211 inf + 2985 0.818 * * [simplify]: Extracting #6: cost 160 inf + 31488 0.825 * * [simplify]: Extracting #7: cost 101 inf + 88177 0.843 * * [simplify]: Extracting #8: cost 1 inf + 172697 0.867 * * [simplify]: Extracting #9: cost 0 inf + 173382 0.886 * [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)) 0.886 * [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))) 0.948 * * [progress]: iteration 1 / 4 0.948 * * * [progress]: picking best candidate 1.007 * * * * [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.007 * * * [progress]: localizing error 1.423 * * * [progress]: generating rewritten candidates 1.423 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.441 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.485 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 1.503 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1.520 * * * [progress]: generating series expansions 1.520 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.521 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.521 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 1.521 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1.521 * * * [progress]: simplifying candidates 1.521 * * * * [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.521 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 1.521 * * [simplify]: iters left: 4 (10 enodes) 1.526 * * [simplify]: iters left: 3 (28 enodes) 1.535 * * [simplify]: iters left: 2 (45 enodes) 1.549 * * [simplify]: iters left: 1 (94 enodes) 1.586 * * [simplify]: Extracting #0: cost 1 inf + 0 1.586 * * [simplify]: Extracting #1: cost 22 inf + 0 1.586 * * [simplify]: Extracting #2: cost 75 inf + 0 1.586 * * [simplify]: Extracting #3: cost 107 inf + 2 1.587 * * [simplify]: Extracting #4: cost 96 inf + 15851 1.589 * * [simplify]: Extracting #5: cost 36 inf + 72598 1.593 * * [simplify]: Extracting #6: cost 4 inf + 121509 1.598 * * [simplify]: Extracting #7: cost 0 inf + 127325 1.603 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 1.603 * [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.603 * * * * [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.603 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha)) 1.603 * * [simplify]: iters left: 4 (10 enodes) 1.606 * * [simplify]: iters left: 3 (28 enodes) 1.616 * * [simplify]: iters left: 2 (74 enodes) 1.654 * * [simplify]: iters left: 1 (216 enodes) 1.725 * * [simplify]: Extracting #0: cost 1 inf + 0 1.725 * * [simplify]: Extracting #1: cost 33 inf + 0 1.726 * * [simplify]: Extracting #2: cost 144 inf + 0 1.726 * * [simplify]: Extracting #3: cost 137 inf + 1372 1.727 * * [simplify]: Extracting #4: cost 112 inf + 14388 1.731 * * [simplify]: Extracting #5: cost 48 inf + 69973 1.737 * * [simplify]: Extracting #6: cost 1 inf + 121721 1.750 * * [simplify]: Extracting #7: cost 0 inf + 122765 1.762 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1.763 * [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.763 * * * * [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.763 * [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.764 * * [simplify]: iters left: 5 (12 enodes) 1.768 * * [simplify]: iters left: 4 (35 enodes) 1.776 * * [simplify]: iters left: 3 (115 enodes) 1.845 * * [simplify]: Extracting #0: cost 1 inf + 0 1.845 * * [simplify]: Extracting #1: cost 43 inf + 0 1.846 * * [simplify]: Extracting #2: cost 178 inf + 0 1.848 * * [simplify]: Extracting #3: cost 205 inf + 2097 1.851 * * [simplify]: Extracting #4: cost 136 inf + 37748 1.868 * * [simplify]: Extracting #5: cost 10 inf + 123277 1.887 * * [simplify]: Extracting #6: cost 0 inf + 131163 1.907 * [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)))) 1.907 * [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))) 1.908 * * * * [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)))> 1.908 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 1.908 * * [simplify]: iters left: 3 (6 enodes) 1.911 * * [simplify]: iters left: 2 (13 enodes) 1.915 * * [simplify]: Extracting #0: cost 1 inf + 0 1.916 * * [simplify]: Extracting #1: cost 3 inf + 0 1.916 * * [simplify]: Extracting #2: cost 4 inf + 1 1.916 * * [simplify]: Extracting #3: cost 4 inf + 2 1.916 * * [simplify]: Extracting #4: cost 0 inf + 689 1.916 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 1.916 * [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))) 1.916 * * * * [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)))> 1.916 * * * * [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)))> 1.917 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 1.917 * * [simplify]: iters left: 3 (6 enodes) 1.920 * * [simplify]: iters left: 2 (13 enodes) 1.924 * * [simplify]: Extracting #0: cost 1 inf + 0 1.924 * * [simplify]: Extracting #1: cost 3 inf + 0 1.924 * * [simplify]: Extracting #2: cost 4 inf + 1 1.924 * * [simplify]: Extracting #3: cost 4 inf + 2 1.924 * * [simplify]: Extracting #4: cost 0 inf + 689 1.924 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 1.924 * [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))) 1.924 * * * * [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)))> 1.925 * * * * [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)))> 1.925 * [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)) 1.925 * * [simplify]: iters left: 6 (19 enodes) 1.934 * * [simplify]: iters left: 5 (48 enodes) 1.952 * * [simplify]: iters left: 4 (124 enodes) 2.018 * * [simplify]: Extracting #0: cost 1 inf + 0 2.018 * * [simplify]: Extracting #1: cost 3 inf + 0 2.018 * * [simplify]: Extracting #2: cost 6 inf + 0 2.018 * * [simplify]: Extracting #3: cost 31 inf + 2 2.019 * * [simplify]: Extracting #4: cost 126 inf + 4 2.019 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.021 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.024 * * [simplify]: Extracting #7: cost 101 inf + 88177 2.041 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.060 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.075 * [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.075 * [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.075 * * * * [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.076 * [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.076 * * [simplify]: iters left: 6 (19 enodes) 2.081 * * [simplify]: iters left: 5 (48 enodes) 2.090 * * [simplify]: iters left: 4 (124 enodes) 2.167 * * [simplify]: Extracting #0: cost 1 inf + 0 2.167 * * [simplify]: Extracting #1: cost 3 inf + 0 2.167 * * [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.180 * * [simplify]: Extracting #7: cost 101 inf + 88177 2.198 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.216 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.235 * [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.235 * [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.236 * * * * [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.237 * [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.237 * * [simplify]: iters left: 6 (19 enodes) 2.250 * * [simplify]: iters left: 5 (48 enodes) 2.268 * * [simplify]: iters left: 4 (124 enodes) 2.329 * * [simplify]: Extracting #0: cost 1 inf + 0 2.329 * * [simplify]: Extracting #1: cost 3 inf + 0 2.329 * * [simplify]: Extracting #2: cost 6 inf + 0 2.329 * * [simplify]: Extracting #3: cost 31 inf + 2 2.329 * * [simplify]: Extracting #4: cost 126 inf + 4 2.330 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.332 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.335 * * [simplify]: Extracting #7: cost 101 inf + 88177 2.344 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.356 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.365 * [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.365 * [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.365 * * * * [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.365 * [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.366 * * [simplify]: iters left: 6 (19 enodes) 2.370 * * [simplify]: iters left: 5 (48 enodes) 2.379 * * [simplify]: iters left: 4 (124 enodes) 2.418 * * [simplify]: Extracting #0: cost 1 inf + 0 2.418 * * [simplify]: Extracting #1: cost 3 inf + 0 2.418 * * [simplify]: Extracting #2: cost 6 inf + 0 2.418 * * [simplify]: Extracting #3: cost 31 inf + 2 2.418 * * [simplify]: Extracting #4: cost 126 inf + 4 2.419 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.421 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.426 * * [simplify]: Extracting #7: cost 101 inf + 88177 2.435 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.444 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.454 * [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.454 * [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.454 * * * [progress]: adding candidates to table 2.826 * * [progress]: iteration 2 / 4 2.826 * * * [progress]: picking best candidate 3.209 * * * * [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.209 * * * [progress]: localizing error 3.671 * * * [progress]: generating rewritten candidates 3.672 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2) 3.695 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.799 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 3.807 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 3.816 * * * [progress]: generating series expansions 3.816 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2) 3.816 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.816 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.816 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 3.816 * * * [progress]: simplifying candidates 3.816 * * * * [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.816 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 3.816 * * [simplify]: iters left: 4 (12 enodes) 3.819 * * [simplify]: iters left: 3 (33 enodes) 3.825 * * [simplify]: iters left: 2 (62 enodes) 3.837 * * [simplify]: iters left: 1 (143 enodes) 3.880 * * [simplify]: Extracting #0: cost 1 inf + 0 3.880 * * [simplify]: Extracting #1: cost 35 inf + 0 3.881 * * [simplify]: Extracting #2: cost 147 inf + 0 3.881 * * [simplify]: Extracting #3: cost 193 inf + 767 3.883 * * [simplify]: Extracting #4: cost 192 inf + 24547 3.889 * * [simplify]: Extracting #5: cost 67 inf + 210446 3.901 * * [simplify]: Extracting #6: cost 6 inf + 314451 3.912 * * [simplify]: Extracting #7: cost 1 inf + 325341 3.924 * * [simplify]: Extracting #8: cost 0 inf + 328623 3.938 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) 3.938 * [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.938 * * * * [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.938 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 3.938 * * [simplify]: iters left: 5 (13 enodes) 3.942 * * [simplify]: iters left: 4 (35 enodes) 3.948 * * [simplify]: iters left: 3 (66 enodes) 3.959 * * [simplify]: iters left: 2 (141 enodes) 3.989 * * [simplify]: iters left: 1 (369 enodes) 4.219 * * [simplify]: Extracting #0: cost 1 inf + 0 4.219 * * [simplify]: Extracting #1: cost 71 inf + 0 4.221 * * [simplify]: Extracting #2: cost 395 inf + 0 4.226 * * [simplify]: Extracting #3: cost 560 inf + 22927 4.243 * * [simplify]: Extracting #4: cost 388 inf + 239865 4.284 * * [simplify]: Extracting #5: cost 159 inf + 570765 4.346 * * [simplify]: Extracting #6: cost 13 inf + 851490 4.420 * * [simplify]: Extracting #7: cost 0 inf + 890235 4.466 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.466 * [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.467 * * * * [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.467 * [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.467 * * [simplify]: iters left: 5 (14 enodes) 4.474 * * [simplify]: iters left: 4 (39 enodes) 4.488 * * [simplify]: iters left: 3 (104 enodes) 4.553 * * [simplify]: Extracting #0: cost 1 inf + 0 4.553 * * [simplify]: Extracting #1: cost 41 inf + 0 4.553 * * [simplify]: Extracting #2: cost 139 inf + 0 4.554 * * [simplify]: Extracting #3: cost 200 inf + 767 4.555 * * [simplify]: Extracting #4: cost 178 inf + 13783 4.558 * * [simplify]: Extracting #5: cost 100 inf + 69227 4.568 * * [simplify]: Extracting #6: cost 1 inf + 168780 4.580 * * [simplify]: Extracting #7: cost 0 inf + 170745 4.598 * [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.598 * [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.599 * * * * [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.599 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) 4.599 * * [simplify]: iters left: 5 (13 enodes) 4.605 * * [simplify]: iters left: 4 (36 enodes) 4.618 * * [simplify]: iters left: 3 (76 enodes) 4.639 * * [simplify]: iters left: 2 (195 enodes) 4.703 * * [simplify]: Extracting #0: cost 1 inf + 0 4.703 * * [simplify]: Extracting #1: cost 39 inf + 0 4.704 * * [simplify]: Extracting #2: cost 198 inf + 0 4.705 * * [simplify]: Extracting #3: cost 261 inf + 11162 4.708 * * [simplify]: Extracting #4: cost 217 inf + 89510 4.716 * * [simplify]: Extracting #5: cost 111 inf + 241343 4.739 * * [simplify]: Extracting #6: cost 17 inf + 435067 4.766 * * [simplify]: Extracting #7: cost 0 inf + 475326 4.785 * * [simplify]: Extracting #8: cost 0 inf + 475206 4.818 * [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.818 * [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.818 * * * * [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.819 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 4.819 * * [simplify]: iters left: 4 (9 enodes) 4.823 * * [simplify]: iters left: 3 (21 enodes) 4.830 * * [simplify]: iters left: 2 (27 enodes) 4.838 * * [simplify]: iters left: 1 (29 enodes) 4.846 * * [simplify]: Extracting #0: cost 1 inf + 0 4.846 * * [simplify]: Extracting #1: cost 3 inf + 0 4.846 * * [simplify]: Extracting #2: cost 8 inf + 0 4.846 * * [simplify]: Extracting #3: cost 8 inf + 2 4.846 * * [simplify]: Extracting #4: cost 7 inf + 45 4.847 * * [simplify]: Extracting #5: cost 1 inf + 1980 4.847 * * [simplify]: Extracting #6: cost 0 inf + 2343 4.847 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 4.847 * [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.847 * * * * [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.848 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 4.848 * * [simplify]: iters left: 3 (6 enodes) 4.851 * * [simplify]: iters left: 2 (13 enodes) 4.854 * * [simplify]: Extracting #0: cost 1 inf + 0 4.854 * * [simplify]: Extracting #1: cost 3 inf + 0 4.854 * * [simplify]: Extracting #2: cost 4 inf + 1 4.855 * * [simplify]: Extracting #3: cost 4 inf + 2 4.855 * * [simplify]: Extracting #4: cost 0 inf + 689 4.855 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 4.855 * [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.855 * * * * [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.855 * * * * [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.855 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.856 * * [simplify]: iters left: 4 (10 enodes) 4.860 * * [simplify]: iters left: 3 (28 enodes) 4.869 * * [simplify]: iters left: 2 (45 enodes) 4.886 * * [simplify]: iters left: 1 (94 enodes) 4.926 * * [simplify]: Extracting #0: cost 1 inf + 0 4.926 * * [simplify]: Extracting #1: cost 22 inf + 0 4.927 * * [simplify]: Extracting #2: cost 75 inf + 0 4.928 * * [simplify]: Extracting #3: cost 107 inf + 2 4.929 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.933 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.941 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.951 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.960 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.960 * [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.960 * * * * [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.960 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.960 * * [simplify]: iters left: 4 (10 enodes) 4.965 * * [simplify]: iters left: 3 (28 enodes) 4.974 * * [simplify]: iters left: 2 (45 enodes) 4.989 * * [simplify]: iters left: 1 (94 enodes) 5.032 * * [simplify]: Extracting #0: cost 1 inf + 0 5.032 * * [simplify]: Extracting #1: cost 22 inf + 0 5.033 * * [simplify]: Extracting #2: cost 75 inf + 0 5.033 * * [simplify]: Extracting #3: cost 107 inf + 2 5.034 * * [simplify]: Extracting #4: cost 96 inf + 15851 5.039 * * [simplify]: Extracting #5: cost 36 inf + 72598 5.047 * * [simplify]: Extracting #6: cost 4 inf + 121509 5.056 * * [simplify]: Extracting #7: cost 0 inf + 127325 5.062 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.062 * [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))) 5.062 * * * * [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)))> 5.062 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.062 * * [simplify]: iters left: 4 (10 enodes) 5.065 * * [simplify]: iters left: 3 (28 enodes) 5.070 * * [simplify]: iters left: 2 (45 enodes) 5.077 * * [simplify]: iters left: 1 (94 enodes) 5.102 * * [simplify]: Extracting #0: cost 1 inf + 0 5.102 * * [simplify]: Extracting #1: cost 22 inf + 0 5.102 * * [simplify]: Extracting #2: cost 75 inf + 0 5.103 * * [simplify]: Extracting #3: cost 107 inf + 2 5.104 * * [simplify]: Extracting #4: cost 96 inf + 15851 5.109 * * [simplify]: Extracting #5: cost 36 inf + 72598 5.117 * * [simplify]: Extracting #6: cost 4 inf + 121509 5.125 * * [simplify]: Extracting #7: cost 0 inf + 127325 5.137 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.137 * [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))) 5.137 * * * * [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)))> 5.138 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.138 * * [simplify]: iters left: 4 (10 enodes) 5.143 * * [simplify]: iters left: 3 (28 enodes) 5.152 * * [simplify]: iters left: 2 (45 enodes) 5.167 * * [simplify]: iters left: 1 (94 enodes) 5.193 * * [simplify]: Extracting #0: cost 1 inf + 0 5.193 * * [simplify]: Extracting #1: cost 22 inf + 0 5.193 * * [simplify]: Extracting #2: cost 75 inf + 0 5.193 * * [simplify]: Extracting #3: cost 107 inf + 2 5.194 * * [simplify]: Extracting #4: cost 96 inf + 15851 5.196 * * [simplify]: Extracting #5: cost 36 inf + 72598 5.200 * * [simplify]: Extracting #6: cost 4 inf + 121509 5.205 * * [simplify]: Extracting #7: cost 0 inf + 127325 5.209 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.209 * [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))) 5.210 * * * [progress]: adding candidates to table 5.678 * * [progress]: iteration 3 / 4 5.678 * * * [progress]: picking best candidate 5.844 * * * * [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.844 * * * [progress]: localizing error 6.297 * * * [progress]: generating rewritten candidates 6.297 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 6.325 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 6.427 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 6.487 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 6.504 * * * [progress]: generating series expansions 6.504 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 6.504 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 6.504 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 6.504 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 6.505 * * * [progress]: simplifying candidates 6.505 * * * * [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)))> 6.505 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 6.505 * * [simplify]: iters left: 5 (15 enodes) 6.512 * * [simplify]: iters left: 4 (40 enodes) 6.527 * * [simplify]: iters left: 3 (83 enodes) 6.560 * * [simplify]: iters left: 2 (187 enodes) 6.653 * * [simplify]: Extracting #0: cost 1 inf + 0 6.653 * * [simplify]: Extracting #1: cost 35 inf + 0 6.653 * * [simplify]: Extracting #2: cost 156 inf + 0 6.655 * * [simplify]: Extracting #3: cost 202 inf + 1411 6.657 * * [simplify]: Extracting #4: cost 200 inf + 15786 6.666 * * [simplify]: Extracting #5: cost 92 inf + 138342 6.690 * * [simplify]: Extracting #6: cost 13 inf + 287919 6.714 * * [simplify]: Extracting #7: cost 0 inf + 324491 6.739 * * [simplify]: Extracting #8: cost 0 inf + 324211 6.765 * [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.765 * [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.766 * * * * [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.766 * [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.766 * * [simplify]: iters left: 6 (17 enodes) 6.774 * * [simplify]: iters left: 5 (46 enodes) 6.792 * * [simplify]: iters left: 4 (120 enodes) 6.850 * * [simplify]: iters left: 3 (388 enodes) 7.041 * * [simplify]: Extracting #0: cost 1 inf + 0 7.041 * * [simplify]: Extracting #1: cost 49 inf + 0 7.042 * * [simplify]: Extracting #2: cost 328 inf + 0 7.044 * * [simplify]: Extracting #3: cost 705 inf + 6504 7.048 * * [simplify]: Extracting #4: cost 723 inf + 42711 7.056 * * [simplify]: Extracting #5: cost 600 inf + 185938 7.074 * * [simplify]: Extracting #6: cost 347 inf + 475335 7.120 * * [simplify]: Extracting #7: cost 74 inf + 1005874 7.178 * * [simplify]: Extracting #8: cost 4 inf + 1182382 7.240 * * [simplify]: Extracting #9: cost 0 inf + 1193242 7.321 * [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)))) 7.322 * [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))) 7.322 * * * * [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)))> 7.322 * [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))) 7.322 * * [simplify]: iters left: 5 (13 enodes) 7.329 * * [simplify]: iters left: 4 (31 enodes) 7.340 * * [simplify]: iters left: 3 (68 enodes) 7.359 * * [simplify]: iters left: 2 (351 enodes) 7.804 * * [simplify]: Extracting #0: cost 1 inf + 0 7.804 * * [simplify]: Extracting #1: cost 7 inf + 0 7.805 * * [simplify]: Extracting #2: cost 164 inf + 0 7.808 * * [simplify]: Extracting #3: cost 409 inf + 1773 7.812 * * [simplify]: Extracting #4: cost 396 inf + 8865 7.827 * * [simplify]: Extracting #5: cost 244 inf + 97605 7.883 * * [simplify]: Extracting #6: cost 6 inf + 311724 7.943 * * [simplify]: Extracting #7: cost 0 inf + 317874 8.003 * [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)))) 8.003 * [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))) 8.004 * * * * [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)))> 8.004 * [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))) 8.004 * * [simplify]: iters left: 6 (14 enodes) 8.011 * * [simplify]: iters left: 5 (45 enodes) 8.028 * * [simplify]: iters left: 4 (122 enodes) 8.095 * * [simplify]: Extracting #0: cost 1 inf + 0 8.095 * * [simplify]: Extracting #1: cost 30 inf + 0 8.096 * * [simplify]: Extracting #2: cost 114 inf + 0 8.097 * * [simplify]: Extracting #3: cost 191 inf + 1493 8.099 * * [simplify]: Extracting #4: cost 163 inf + 17377 8.106 * * [simplify]: Extracting #5: cost 86 inf + 77409 8.125 * * [simplify]: Extracting #6: cost 3 inf + 157983 8.148 * * [simplify]: Extracting #7: cost 0 inf + 159798 8.168 * [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))) 8.168 * [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))) 8.168 * * * * [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)))> 8.169 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 8.169 * * [simplify]: iters left: 3 (6 enodes) 8.172 * * [simplify]: iters left: 2 (13 enodes) 8.175 * * [simplify]: Extracting #0: cost 1 inf + 0 8.175 * * [simplify]: Extracting #1: cost 3 inf + 0 8.175 * * [simplify]: Extracting #2: cost 4 inf + 1 8.175 * * [simplify]: Extracting #3: cost 4 inf + 2 8.176 * * [simplify]: Extracting #4: cost 0 inf + 689 8.176 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 8.176 * [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))) 8.176 * * * * [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)))> 8.176 * * * * [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)))> 8.176 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 8.176 * * [simplify]: iters left: 5 (13 enodes) 8.182 * * [simplify]: iters left: 4 (35 enodes) 8.194 * * [simplify]: iters left: 3 (66 enodes) 8.217 * * [simplify]: iters left: 2 (141 enodes) 8.277 * * [simplify]: iters left: 1 (369 enodes) 8.645 * * [simplify]: Extracting #0: cost 1 inf + 0 8.645 * * [simplify]: Extracting #1: cost 71 inf + 0 8.647 * * [simplify]: Extracting #2: cost 395 inf + 0 8.652 * * [simplify]: Extracting #3: cost 560 inf + 22927 8.667 * * [simplify]: Extracting #4: cost 388 inf + 239865 8.688 * * [simplify]: Extracting #5: cost 159 inf + 570765 8.751 * * [simplify]: Extracting #6: cost 13 inf + 851490 8.828 * * [simplify]: Extracting #7: cost 0 inf + 890235 8.910 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 8.910 * [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.910 * * * * [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.910 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 8.910 * * [simplify]: iters left: 5 (13 enodes) 8.917 * * [simplify]: iters left: 4 (35 enodes) 8.928 * * [simplify]: iters left: 3 (66 enodes) 8.951 * * [simplify]: iters left: 2 (141 enodes) 9.000 * * [simplify]: iters left: 1 (369 enodes) 9.308 * * [simplify]: Extracting #0: cost 1 inf + 0 9.309 * * [simplify]: Extracting #1: cost 71 inf + 0 9.311 * * [simplify]: Extracting #2: cost 395 inf + 0 9.316 * * [simplify]: Extracting #3: cost 560 inf + 22927 9.332 * * [simplify]: Extracting #4: cost 388 inf + 239865 9.373 * * [simplify]: Extracting #5: cost 159 inf + 570765 9.416 * * [simplify]: Extracting #6: cost 13 inf + 851490 9.457 * * [simplify]: Extracting #7: cost 0 inf + 890235 9.512 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 9.512 * [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.512 * * * * [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)))> 9.512 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 9.512 * * [simplify]: iters left: 5 (13 enodes) 9.516 * * [simplify]: iters left: 4 (35 enodes) 9.522 * * [simplify]: iters left: 3 (66 enodes) 9.533 * * [simplify]: iters left: 2 (141 enodes) 9.569 * * [simplify]: iters left: 1 (369 enodes) 9.806 * * [simplify]: Extracting #0: cost 1 inf + 0 9.806 * * [simplify]: Extracting #1: cost 71 inf + 0 9.807 * * [simplify]: Extracting #2: cost 395 inf + 0 9.809 * * [simplify]: Extracting #3: cost 560 inf + 22927 9.818 * * [simplify]: Extracting #4: cost 388 inf + 239865 9.838 * * [simplify]: Extracting #5: cost 159 inf + 570765 9.877 * * [simplify]: Extracting #6: cost 13 inf + 851490 9.938 * * [simplify]: Extracting #7: cost 0 inf + 890235 10.020 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 10.020 * [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.020 * * * * [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)))> 10.021 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 10.021 * * [simplify]: iters left: 5 (13 enodes) 10.027 * * [simplify]: iters left: 4 (35 enodes) 10.039 * * [simplify]: iters left: 3 (66 enodes) 10.063 * * [simplify]: iters left: 2 (141 enodes) 10.123 * * [simplify]: iters left: 1 (369 enodes) 10.498 * * [simplify]: Extracting #0: cost 1 inf + 0 10.499 * * [simplify]: Extracting #1: cost 71 inf + 0 10.501 * * [simplify]: Extracting #2: cost 395 inf + 0 10.506 * * [simplify]: Extracting #3: cost 560 inf + 22927 10.522 * * [simplify]: Extracting #4: cost 388 inf + 239865 10.564 * * [simplify]: Extracting #5: cost 159 inf + 570765 10.641 * * [simplify]: Extracting #6: cost 13 inf + 851490 10.723 * * [simplify]: Extracting #7: cost 0 inf + 890235 10.774 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 10.774 * [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.774 * * * [progress]: adding candidates to table 11.162 * * [progress]: iteration 4 / 4 11.162 * * * [progress]: picking best candidate 11.389 * * * * [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)))> 11.390 * * * [progress]: localizing error 11.837 * * * [progress]: generating rewritten candidates 11.837 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 11.854 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 11.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 11.927 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 11.936 * * * [progress]: generating series expansions 11.936 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 11.936 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 11.936 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 11.936 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 11.936 * * * [progress]: simplifying candidates 11.936 * * * * [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.936 * [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.936 * * [simplify]: iters left: 6 (15 enodes) 11.944 * * [simplify]: iters left: 5 (41 enodes) 11.958 * * [simplify]: iters left: 4 (85 enodes) 11.988 * * [simplify]: iters left: 3 (184 enodes) 12.087 * * [simplify]: Extracting #0: cost 1 inf + 0 12.088 * * [simplify]: Extracting #1: cost 34 inf + 0 12.088 * * [simplify]: Extracting #2: cost 149 inf + 0 12.090 * * [simplify]: Extracting #3: cost 204 inf + 45 12.092 * * [simplify]: Extracting #4: cost 206 inf + 10648 12.100 * * [simplify]: Extracting #5: cost 94 inf + 134435 12.121 * * [simplify]: Extracting #6: cost 5 inf + 306546 12.146 * * [simplify]: Extracting #7: cost 0 inf + 317968 12.175 * * [simplify]: Extracting #8: cost 0 inf + 317888 12.200 * [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))) 12.200 * [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))) 12.200 * * * * [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)))> 12.201 * [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)))) 12.201 * * [simplify]: iters left: 6 (19 enodes) 12.211 * * [simplify]: iters left: 5 (48 enodes) 12.229 * * [simplify]: iters left: 4 (128 enodes) 12.287 * * [simplify]: iters left: 3 (398 enodes) 12.656 * * [simplify]: Extracting #0: cost 1 inf + 0 12.657 * * [simplify]: Extracting #1: cost 59 inf + 0 12.659 * * [simplify]: Extracting #2: cost 390 inf + 0 12.664 * * [simplify]: Extracting #3: cost 709 inf + 24619 12.685 * * [simplify]: Extracting #4: cost 646 inf + 181415 12.706 * * [simplify]: Extracting #5: cost 579 inf + 255787 12.741 * * [simplify]: Extracting #6: cost 391 inf + 427795 12.836 * * [simplify]: Extracting #7: cost 64 inf + 1078685 12.956 * * [simplify]: Extracting #8: cost 0 inf + 1227401 13.083 * [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))) 13.083 * [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))) 13.083 * * * * [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)))> 13.084 * [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))) 13.084 * * [simplify]: iters left: 6 (15 enodes) 13.091 * * [simplify]: iters left: 5 (33 enodes) 13.103 * * [simplify]: iters left: 4 (75 enodes) 13.148 * * [simplify]: iters left: 3 (344 enodes) 13.551 * * [simplify]: Extracting #0: cost 1 inf + 0 13.551 * * [simplify]: Extracting #1: cost 7 inf + 0 13.551 * * [simplify]: Extracting #2: cost 167 inf + 0 13.553 * * [simplify]: Extracting #3: cost 471 inf + 1089 13.555 * * [simplify]: Extracting #4: cost 482 inf + 5237 13.573 * * [simplify]: Extracting #5: cost 256 inf + 143205 13.612 * * [simplify]: Extracting #6: cost 13 inf + 347145 13.644 * * [simplify]: Extracting #7: cost 0 inf + 356328 13.676 * [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.676 * [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.676 * * * * [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.676 * [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.677 * * [simplify]: iters left: 6 (16 enodes) 13.681 * * [simplify]: iters left: 5 (47 enodes) 13.693 * * [simplify]: iters left: 4 (131 enodes) 13.768 * * [simplify]: Extracting #0: cost 1 inf + 0 13.768 * * [simplify]: Extracting #1: cost 28 inf + 0 13.768 * * [simplify]: Extracting #2: cost 106 inf + 0 13.769 * * [simplify]: Extracting #3: cost 177 inf + 3 13.771 * * [simplify]: Extracting #4: cost 152 inf + 12988 13.779 * * [simplify]: Extracting #5: cost 61 inf + 81679 13.798 * * [simplify]: Extracting #6: cost 3 inf + 144070 13.822 * * [simplify]: Extracting #7: cost 0 inf + 148565 13.834 * [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.835 * [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.835 * * * * [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.835 * [simplify]: Simplifying (+.p16 alpha beta) 13.835 * * [simplify]: iters left: 1 (3 enodes) 13.836 * * [simplify]: Extracting #0: cost 1 inf + 0 13.836 * * [simplify]: Extracting #1: cost 3 inf + 0 13.836 * * [simplify]: Extracting #2: cost 1 inf + 2 13.836 * * [simplify]: Extracting #3: cost 0 inf + 44 13.836 * [simplify]: Simplified to (+.p16 beta alpha) 13.836 * [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.836 * * * * [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.836 * * * * [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.836 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 13.836 * * [simplify]: iters left: 3 (6 enodes) 13.838 * * [simplify]: iters left: 2 (13 enodes) 13.840 * * [simplify]: Extracting #0: cost 1 inf + 0 13.840 * * [simplify]: Extracting #1: cost 3 inf + 0 13.840 * * [simplify]: Extracting #2: cost 4 inf + 1 13.840 * * [simplify]: Extracting #3: cost 4 inf + 2 13.840 * * [simplify]: Extracting #4: cost 0 inf + 689 13.841 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 13.841 * [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.841 * * * * [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.841 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 13.841 * * [simplify]: iters left: 3 (6 enodes) 13.842 * * [simplify]: iters left: 2 (13 enodes) 13.844 * * [simplify]: Extracting #0: cost 1 inf + 0 13.844 * * [simplify]: Extracting #1: cost 3 inf + 0 13.844 * * [simplify]: Extracting #2: cost 4 inf + 1 13.844 * * [simplify]: Extracting #3: cost 4 inf + 2 13.845 * * [simplify]: Extracting #4: cost 0 inf + 689 13.845 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 13.845 * [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.845 * * * * [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.845 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 13.845 * * [simplify]: iters left: 3 (6 enodes) 13.846 * * [simplify]: iters left: 2 (13 enodes) 13.848 * * [simplify]: Extracting #0: cost 1 inf + 0 13.848 * * [simplify]: Extracting #1: cost 3 inf + 0 13.848 * * [simplify]: Extracting #2: cost 4 inf + 1 13.848 * * [simplify]: Extracting #3: cost 4 inf + 2 13.848 * * [simplify]: Extracting #4: cost 0 inf + 689 13.849 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 13.849 * [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.849 * * * * [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.849 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 13.849 * * [simplify]: iters left: 3 (6 enodes) 13.850 * * [simplify]: iters left: 2 (13 enodes) 13.852 * * [simplify]: Extracting #0: cost 1 inf + 0 13.852 * * [simplify]: Extracting #1: cost 3 inf + 0 13.852 * * [simplify]: Extracting #2: cost 4 inf + 1 13.852 * * [simplify]: Extracting #3: cost 4 inf + 2 13.852 * * [simplify]: Extracting #4: cost 0 inf + 689 13.853 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 13.853 * [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.853 * * * [progress]: adding candidates to table 14.253 * [progress]: [Phase 3 of 3] Extracting. 14.254 * * [regime]: Finding splitpoints for: (#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) 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 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 (+.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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (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 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.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.259 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha) 14.259 * * * * [regimes]: Trying to branch on i from (#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) 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 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 (+.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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (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 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.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.573 * * * * [regimes]: Trying to branch on beta from (#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) 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 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 (+.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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (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 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.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.857 * * * * [regimes]: Trying to branch on alpha from (#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) 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 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 (+.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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (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 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.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.194 * * * [regime]: Found split indices: #