0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [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.014 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.032 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [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.092 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Computing exacts for 256 points
0.113 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Filtering points with unrepresentable outputs
0.185 * * * * [points]: Sampling 185 additional inputs, on iter 1 have 71 / 256
0.186 * * * * [points]: Computing exacts on every 11 of 185 points to ramp up precision
0.196 * * * * [points]: Setting MPFR precision to 64
0.198 * * * * [points]: Setting MPFR precision to 320
0.200 * * * * [points]: Computing exacts on every 5 of 185 points to ramp up precision
0.209 * * * * [points]: Setting MPFR precision to 64
0.214 * * * * [points]: Setting MPFR precision to 320
0.218 * * * * [points]: Computing exacts on every 2 of 185 points to ramp up precision
0.227 * * * * [points]: Setting MPFR precision to 64
0.236 * * * * [points]: Setting MPFR precision to 320
0.244 * * * * [points]: Computing exacts for 185 points
0.253 * * * * [points]: Setting MPFR precision to 64
0.315 * * * * [points]: Setting MPFR precision to 320
0.340 * * * * [points]: Filtering points with unrepresentable outputs
0.341 * * * * [points]: Sampling 137 additional inputs, on iter 2 have 119 / 256
0.342 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision
0.351 * * * * [points]: Setting MPFR precision to 64
0.353 * * * * [points]: Setting MPFR precision to 320
0.355 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision
0.364 * * * * [points]: Setting MPFR precision to 64
0.368 * * * * [points]: Setting MPFR precision to 320
0.372 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision
0.381 * * * * [points]: Setting MPFR precision to 64
0.387 * * * * [points]: Setting MPFR precision to 320
0.393 * * * * [points]: Computing exacts for 137 points
0.402 * * * * [points]: Setting MPFR precision to 64
0.421 * * * * [points]: Setting MPFR precision to 320
0.440 * * * * [points]: Filtering points with unrepresentable outputs
0.440 * * * * [points]: Sampling 104 additional inputs, on iter 3 have 152 / 256
0.441 * * * * [points]: Computing exacts on every 6 of 104 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 3 of 104 points to ramp up precision
0.463 * * * * [points]: Setting MPFR precision to 64
0.467 * * * * [points]: Setting MPFR precision to 320
0.470 * * * * [points]: Computing exacts for 104 points
0.504 * * * * [points]: Setting MPFR precision to 64
0.514 * * * * [points]: Setting MPFR precision to 320
0.521 * * * * [points]: Filtering points with unrepresentable outputs
0.521 * * * * [points]: Sampling 76 additional inputs, on iter 4 have 180 / 256
0.522 * * * * [points]: Computing exacts on every 4 of 76 points to ramp up precision
0.526 * * * * [points]: Setting MPFR precision to 64
0.528 * * * * [points]: Setting MPFR precision to 320
0.529 * * * * [points]: Computing exacts on every 2 of 76 points to ramp up precision
0.533 * * * * [points]: Setting MPFR precision to 64
0.535 * * * * [points]: Setting MPFR precision to 320
0.537 * * * * [points]: Computing exacts for 76 points
0.542 * * * * [points]: Setting MPFR precision to 64
0.547 * * * * [points]: Setting MPFR precision to 320
0.552 * * * * [points]: Filtering points with unrepresentable outputs
0.552 * * * * [points]: Sampling 53 additional inputs, on iter 5 have 203 / 256
0.553 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
0.557 * * * * [points]: Setting MPFR precision to 64
0.558 * * * * [points]: Setting MPFR precision to 320
0.559 * * * * [points]: Computing exacts for 53 points
0.564 * * * * [points]: Setting MPFR precision to 64
0.567 * * * * [points]: Setting MPFR precision to 320
0.571 * * * * [points]: Filtering points with unrepresentable outputs
0.571 * * * * [points]: Sampling 41 additional inputs, on iter 6 have 215 / 256
0.571 * * * * [points]: Computing exacts on every 2 of 41 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 41 points
0.589 * * * * [points]: Setting MPFR precision to 64
0.618 * * * * [points]: Setting MPFR precision to 320
0.624 * * * * [points]: Filtering points with unrepresentable outputs
0.624 * * * * [points]: Sampling 23 additional inputs, on iter 7 have 233 / 256
0.624 * * * * [points]: Computing exacts for 23 points
0.636 * * * * [points]: Setting MPFR precision to 64
0.640 * * * * [points]: Setting MPFR precision to 320
0.643 * * * * [points]: Filtering points with unrepresentable outputs
0.643 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 239 / 256
0.643 * * * * [points]: Computing exacts for 17 points
0.650 * * * * [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 14 additional inputs, on iter 9 have 242 / 256
0.653 * * * * [points]: Computing exacts for 14 points
0.658 * * * * [points]: Setting MPFR precision to 64
0.659 * * * * [points]: Setting MPFR precision to 320
0.660 * * * * [points]: Filtering points with unrepresentable outputs
0.660 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 248 / 256
0.660 * * * * [points]: Computing exacts for 8 points
0.664 * * * * [points]: Setting MPFR precision to 64
0.665 * * * * [points]: Setting MPFR precision to 320
0.666 * * * * [points]: Filtering points with unrepresentable outputs
0.666 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 250 / 256
0.666 * * * * [points]: Computing exacts for 6 points
0.670 * * * * [points]: Setting MPFR precision to 64
0.671 * * * * [points]: Setting MPFR precision to 320
0.671 * * * * [points]: Filtering points with unrepresentable outputs
0.671 * * * * [points]: Sampling 6 additional inputs, on iter 12 have 250 / 256
0.671 * * * * [points]: Computing exacts for 6 points
0.676 * * * * [points]: Setting MPFR precision to 64
0.676 * * * * [points]: Setting MPFR precision to 320
0.677 * * * * [points]: Filtering points with unrepresentable outputs
0.677 * * * * [points]: Sampling 5 additional inputs, on iter 13 have 251 / 256
0.677 * * * * [points]: Computing exacts for 5 points
0.683 * * * * [points]: Setting MPFR precision to 64
0.683 * * * * [points]: Setting MPFR precision to 320
0.684 * * * * [points]: Filtering points with unrepresentable outputs
0.684 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 253 / 256
0.684 * * * * [points]: Computing exacts for 4 points
0.693 * * * * [points]: Setting MPFR precision to 64
0.694 * * * * [points]: Setting MPFR precision to 320
0.694 * * * * [points]: Filtering points with unrepresentable outputs
0.694 * * * * [points]: Sampled 256 points with exact outputs
0.694 * * * [progress]: [2/2] Setting up program.
0.718 * [progress]: [Phase 2 of 3] Improving.
0.718 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.718 * [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.719 * * [simplify]: iters left: 6 (19 enodes)
0.728 * * [simplify]: iters left: 5 (48 enodes)
0.759 * * [simplify]: iters left: 4 (124 enodes)
0.808 * * [simplify]: Extracting #0: cost 1 inf + 0
0.808 * * [simplify]: Extracting #1: cost 3 inf + 0
0.808 * * [simplify]: Extracting #2: cost 6 inf + 0
0.808 * * [simplify]: Extracting #3: cost 31 inf + 2
0.808 * * [simplify]: Extracting #4: cost 126 inf + 4
0.810 * * [simplify]: Extracting #5: cost 211 inf + 2985
0.812 * * [simplify]: Extracting #6: cost 160 inf + 31488
0.816 * * [simplify]: Extracting #7: cost 101 inf + 88177
0.824 * * [simplify]: Extracting #8: cost 1 inf + 172697
0.837 * * [simplify]: Extracting #9: cost 0 inf + 173382
0.852 * [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.852 * [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.908 * * [progress]: iteration 1 / 4
0.908 * * * [progress]: picking best candidate
0.960 * * * * [pick]: Picked  #<alt (λ (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.960 * * * [progress]: localizing error
1.311 * * * [progress]: generating rewritten candidates
1.311 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.319 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.332 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1)
1.336 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1.360 * * * [progress]: generating series expansions
1.360 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.360 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.360 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1)
1.360 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1.360 * * * [progress]: simplifying candidates
1.360 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.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.361 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
1.361 * * [simplify]: iters left: 4 (11 enodes)
1.364 * * [simplify]: iters left: 3 (27 enodes)
1.368 * * [simplify]: iters left: 2 (46 enodes)
1.378 * * [simplify]: iters left: 1 (66 enodes)
1.399 * * [simplify]: Extracting #0: cost 1 inf + 0
1.399 * * [simplify]: Extracting #1: cost 16 inf + 0
1.399 * * [simplify]: Extracting #2: cost 17 inf + 2
1.399 * * [simplify]: Extracting #3: cost 14 inf + 47
1.400 * * [simplify]: Extracting #4: cost 7 inf + 942
1.400 * * [simplify]: Extracting #5: cost 1 inf + 3284
1.401 * * [simplify]: Extracting #6: cost 0 inf + 3688
1.401 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
1.401 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1.401 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.402 * [simplify]: Simplifying (-.p16 beta alpha)
1.402 * * [simplify]: iters left: 1 (3 enodes)
1.402 * * [simplify]: Extracting #0: cost 1 inf + 0
1.402 * * [simplify]: Extracting #1: cost 6 inf + 0
1.402 * * [simplify]: Extracting #2: cost 5 inf + 44
1.402 * * [simplify]: Extracting #3: cost 0 inf + 1571
1.403 * [simplify]: Simplified to (-.p16 beta alpha)
1.403 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1.403 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.403 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha))
1.403 * * [simplify]: iters left: 3 (7 enodes)
1.404 * * [simplify]: iters left: 2 (28 enodes)
1.410 * * [simplify]: iters left: 1 (91 enodes)
1.734 * * [simplify]: Extracting #0: cost 1 inf + 0
1.734 * * [simplify]: Extracting #1: cost 27 inf + 0
1.734 * * [simplify]: Extracting #2: cost 76 inf + 0
1.735 * * [simplify]: Extracting #3: cost 90 inf + 1126
1.736 * * [simplify]: Extracting #4: cost 76 inf + 20412
1.741 * * [simplify]: Extracting #5: cost 14 inf + 82238
1.748 * * [simplify]: Extracting #6: cost 1 inf + 104423
1.756 * * [simplify]: Extracting #7: cost 0 inf + 106745
1.763 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1.763 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1.763 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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.764 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
1.764 * * [simplify]: iters left: 4 (10 enodes)
1.768 * * [simplify]: iters left: 3 (28 enodes)
1.777 * * [simplify]: iters left: 2 (45 enodes)
1.791 * * [simplify]: iters left: 1 (95 enodes)
1.834 * * [simplify]: Extracting #0: cost 1 inf + 0
1.834 * * [simplify]: Extracting #1: cost 20 inf + 0
1.835 * * [simplify]: Extracting #2: cost 91 inf + 0
1.835 * * [simplify]: Extracting #3: cost 119 inf + 2
1.836 * * [simplify]: Extracting #4: cost 108 inf + 13203
1.846 * * [simplify]: Extracting #5: cost 35 inf + 85388
1.854 * * [simplify]: Extracting #6: cost 8 inf + 108558
1.863 * * [simplify]: Extracting #7: cost 0 inf + 118029
1.872 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
1.872 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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.872 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
1.873 * * [simplify]: iters left: 5 (13 enodes)
1.879 * * [simplify]: iters left: 4 (29 enodes)
1.889 * * [simplify]: iters left: 3 (48 enodes)
1.904 * * [simplify]: iters left: 2 (68 enodes)
1.914 * * [simplify]: iters left: 1 (85 enodes)
1.926 * * [simplify]: Extracting #0: cost 1 inf + 0
1.926 * * [simplify]: Extracting #1: cost 3 inf + 0
1.926 * * [simplify]: Extracting #2: cost 16 inf + 0
1.926 * * [simplify]: Extracting #3: cost 17 inf + 2
1.926 * * [simplify]: Extracting #4: cost 15 inf + 46
1.926 * * [simplify]: Extracting #5: cost 10 inf + 215
1.927 * * [simplify]: Extracting #6: cost 1 inf + 3284
1.927 * * [simplify]: Extracting #7: cost 0 inf + 4169
1.928 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
1.928 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1.928 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.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 2.0)))>
1.928 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (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 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.928 * [simplify]: Simplifying (real->posit16 2.0)
1.928 * * [simplify]: iters left: 1 (2 enodes)
1.929 * * [simplify]: Extracting #0: cost 1 inf + 0
1.929 * * [simplify]: Extracting #1: cost 2 inf + 0
1.929 * * [simplify]: Extracting #2: cost 1 inf + 1
1.929 * * [simplify]: Extracting #3: cost 0 inf + 2
1.929 * [simplify]: Simplified to (real->posit16 2.0)
1.929 * [simplify]: Simplified (2 1 1 2 2 1 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 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.929 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (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 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.930 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.930 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))
1.930 * * [simplify]: iters left: 4 (9 enodes)
1.932 * * [simplify]: iters left: 3 (24 enodes)
1.940 * * [simplify]: iters left: 2 (49 enodes)
1.964 * * [simplify]: iters left: 1 (145 enodes)
2.012 * * [simplify]: Extracting #0: cost 1 inf + 0
2.013 * * [simplify]: Extracting #1: cost 20 inf + 0
2.013 * * [simplify]: Extracting #2: cost 46 inf + 1
2.013 * * [simplify]: Extracting #3: cost 40 inf + 1054
2.015 * * [simplify]: Extracting #4: cost 14 inf + 14850
2.019 * * [simplify]: Extracting #5: cost 0 inf + 21942
2.022 * [simplify]: Simplified to (*.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 (*.p16 i (real->posit16 2)) alpha) beta))
2.023 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 (*.p16 i (real->posit16 2)) alpha) beta)))) (real->posit16 1.0)) (real->posit16 2.0)))
2.023 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.023 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
2.023 * * [simplify]: iters left: 4 (9 enodes)
2.028 * * [simplify]: iters left: 3 (29 enodes)
2.040 * * [simplify]: iters left: 2 (81 enodes)
2.069 * * [simplify]: iters left: 1 (201 enodes)
2.137 * * [simplify]: Extracting #0: cost 1 inf + 0
2.137 * * [simplify]: Extracting #1: cost 18 inf + 0
2.137 * * [simplify]: Extracting #2: cost 45 inf + 1
2.137 * * [simplify]: Extracting #3: cost 40 inf + 326
2.138 * * [simplify]: Extracting #4: cost 22 inf + 9534
2.139 * * [simplify]: Extracting #5: cost 1 inf + 21245
2.141 * * [simplify]: Extracting #6: cost 0 inf + 21329
2.143 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2)))
2.143 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2))))) (real->posit16 1.0)) (real->posit16 2.0)))
2.143 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.143 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (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.143 * [simplify]: Simplifying (/.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.143 * * [simplify]: iters left: 6 (21 enodes)
2.148 * * [simplify]: iters left: 5 (69 enodes)
2.162 * * [simplify]: iters left: 4 (218 enodes)
2.296 * * [simplify]: Extracting #0: cost 1 inf + 0
2.296 * * [simplify]: Extracting #1: cost 3 inf + 0
2.296 * * [simplify]: Extracting #2: cost 6 inf + 0
2.296 * * [simplify]: Extracting #3: cost 44 inf + 2
2.297 * * [simplify]: Extracting #4: cost 162 inf + 3
2.299 * * [simplify]: Extracting #5: cost 312 inf + 2340
2.302 * * [simplify]: Extracting #6: cost 261 inf + 38236
2.306 * * [simplify]: Extracting #7: cost 173 inf + 106010
2.322 * * [simplify]: Extracting #8: cost 35 inf + 236229
2.350 * * [simplify]: Extracting #9: cost 0 inf + 267735
2.383 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
2.383 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))
2.383 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (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.383 * [simplify]: Simplifying (/.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.384 * * [simplify]: iters left: 6 (21 enodes)
2.394 * * [simplify]: iters left: 5 (69 enodes)
2.409 * * [simplify]: iters left: 4 (218 enodes)
2.507 * * [simplify]: Extracting #0: cost 1 inf + 0
2.507 * * [simplify]: Extracting #1: cost 3 inf + 0
2.507 * * [simplify]: Extracting #2: cost 6 inf + 0
2.507 * * [simplify]: Extracting #3: cost 44 inf + 2
2.508 * * [simplify]: Extracting #4: cost 162 inf + 3
2.510 * * [simplify]: Extracting #5: cost 312 inf + 2340
2.515 * * [simplify]: Extracting #6: cost 261 inf + 38236
2.529 * * [simplify]: Extracting #7: cost 173 inf + 106010
2.554 * * [simplify]: Extracting #8: cost 35 inf + 236229
2.575 * * [simplify]: Extracting #9: cost 0 inf + 267735
2.592 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
2.592 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))
2.592 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (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.592 * [simplify]: Simplifying (/.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.592 * * [simplify]: iters left: 6 (21 enodes)
2.603 * * [simplify]: iters left: 5 (69 enodes)
2.631 * * [simplify]: iters left: 4 (218 enodes)
2.750 * * [simplify]: Extracting #0: cost 1 inf + 0
2.750 * * [simplify]: Extracting #1: cost 3 inf + 0
2.750 * * [simplify]: Extracting #2: cost 6 inf + 0
2.750 * * [simplify]: Extracting #3: cost 44 inf + 2
2.750 * * [simplify]: Extracting #4: cost 162 inf + 3
2.751 * * [simplify]: Extracting #5: cost 312 inf + 2340
2.754 * * [simplify]: Extracting #6: cost 261 inf + 38236
2.762 * * [simplify]: Extracting #7: cost 173 inf + 106010
2.787 * * [simplify]: Extracting #8: cost 35 inf + 236229
2.815 * * [simplify]: Extracting #9: cost 0 inf + 267735
2.832 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
2.832 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))
2.832 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (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.833 * [simplify]: Simplifying (/.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.833 * * [simplify]: iters left: 6 (21 enodes)
2.840 * * [simplify]: iters left: 5 (69 enodes)
2.873 * * [simplify]: iters left: 4 (218 enodes)
2.986 * * [simplify]: Extracting #0: cost 1 inf + 0
2.986 * * [simplify]: Extracting #1: cost 3 inf + 0
2.986 * * [simplify]: Extracting #2: cost 6 inf + 0
2.986 * * [simplify]: Extracting #3: cost 44 inf + 2
2.986 * * [simplify]: Extracting #4: cost 162 inf + 3
2.987 * * [simplify]: Extracting #5: cost 312 inf + 2340
2.990 * * [simplify]: Extracting #6: cost 261 inf + 38236
2.995 * * [simplify]: Extracting #7: cost 173 inf + 106010
3.008 * * [simplify]: Extracting #8: cost 35 inf + 236229
3.033 * * [simplify]: Extracting #9: cost 0 inf + 267735
3.069 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
3.069 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))
3.069 * * * [progress]: adding candidates to table
3.770 * * [progress]: iteration 2 / 4
3.770 * * * [progress]: picking best candidate
3.894 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
3.895 * * * [progress]: localizing error
4.257 * * * [progress]: generating rewritten candidates
4.257 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
4.278 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
4.289 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
4.296 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
4.304 * * * [progress]: generating series expansions
4.304 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
4.304 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
4.304 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
4.304 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
4.304 * * * [progress]: simplifying candidates
4.304 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.305 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
4.305 * * [simplify]: iters left: 2 (5 enodes)
4.307 * * [simplify]: iters left: 1 (19 enodes)
4.310 * * [simplify]: Extracting #0: cost 1 inf + 0
4.310 * * [simplify]: Extracting #1: cost 8 inf + 0
4.310 * * [simplify]: Extracting #2: cost 16 inf + 0
4.310 * * [simplify]: Extracting #3: cost 16 inf + 1766
4.311 * * [simplify]: Extracting #4: cost 6 inf + 6819
4.311 * * [simplify]: Extracting #5: cost 1 inf + 12227
4.311 * * [simplify]: Extracting #6: cost 0 inf + 13549
4.312 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
4.312 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))
4.312 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))>
4.312 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))>
4.312 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
4.312 * * [simplify]: iters left: 4 (11 enodes)
4.319 * * [simplify]: iters left: 3 (27 enodes)
4.323 * * [simplify]: iters left: 2 (46 enodes)
4.330 * * [simplify]: iters left: 1 (66 enodes)
4.341 * * [simplify]: Extracting #0: cost 1 inf + 0
4.341 * * [simplify]: Extracting #1: cost 16 inf + 0
4.341 * * [simplify]: Extracting #2: cost 17 inf + 2
4.341 * * [simplify]: Extracting #3: cost 14 inf + 47
4.341 * * [simplify]: Extracting #4: cost 7 inf + 942
4.342 * * [simplify]: Extracting #5: cost 1 inf + 3284
4.342 * * [simplify]: Extracting #6: cost 0 inf + 3688
4.343 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
4.343 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.343 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.343 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
4.343 * * [simplify]: iters left: 6 (15 enodes)
4.347 * * [simplify]: iters left: 5 (40 enodes)
4.354 * * [simplify]: iters left: 4 (91 enodes)
4.371 * * [simplify]: iters left: 3 (251 enodes)
4.504 * * [simplify]: Extracting #0: cost 1 inf + 0
4.505 * * [simplify]: Extracting #1: cost 43 inf + 0
4.505 * * [simplify]: Extracting #2: cost 207 inf + 0
4.507 * * [simplify]: Extracting #3: cost 235 inf + 13570
4.511 * * [simplify]: Extracting #4: cost 144 inf + 98572
4.519 * * [simplify]: Extracting #5: cost 69 inf + 198082
4.533 * * [simplify]: Extracting #6: cost 6 inf + 292506
4.550 * * [simplify]: Extracting #7: cost 0 inf + 302696
4.571 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha))
4.571 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.571 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.571 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.572 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.572 * * [simplify]: iters left: 4 (10 enodes)
4.576 * * [simplify]: iters left: 3 (28 enodes)
4.583 * * [simplify]: iters left: 2 (45 enodes)
4.592 * * [simplify]: iters left: 1 (95 enodes)
4.622 * * [simplify]: Extracting #0: cost 1 inf + 0
4.622 * * [simplify]: Extracting #1: cost 20 inf + 0
4.622 * * [simplify]: Extracting #2: cost 91 inf + 0
4.623 * * [simplify]: Extracting #3: cost 119 inf + 2
4.624 * * [simplify]: Extracting #4: cost 108 inf + 13203
4.628 * * [simplify]: Extracting #5: cost 35 inf + 85388
4.635 * * [simplify]: Extracting #6: cost 8 inf + 108558
4.641 * * [simplify]: Extracting #7: cost 0 inf + 118029
4.646 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
4.646 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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)))
4.646 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
4.646 * * [simplify]: iters left: 5 (13 enodes)
4.650 * * [simplify]: iters left: 4 (29 enodes)
4.655 * * [simplify]: iters left: 3 (48 enodes)
4.662 * * [simplify]: iters left: 2 (68 enodes)
4.672 * * [simplify]: iters left: 1 (85 enodes)
4.682 * * [simplify]: Extracting #0: cost 1 inf + 0
4.682 * * [simplify]: Extracting #1: cost 3 inf + 0
4.682 * * [simplify]: Extracting #2: cost 16 inf + 0
4.682 * * [simplify]: Extracting #3: cost 17 inf + 2
4.683 * * [simplify]: Extracting #4: cost 15 inf + 46
4.683 * * [simplify]: Extracting #5: cost 10 inf + 215
4.683 * * [simplify]: Extracting #6: cost 1 inf + 3284
4.684 * * [simplify]: Extracting #7: cost 0 inf + 4169
4.684 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
4.684 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.684 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.685 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.685 * * [simplify]: iters left: 4 (10 enodes)
4.687 * * [simplify]: iters left: 3 (28 enodes)
4.694 * * [simplify]: iters left: 2 (45 enodes)
4.707 * * [simplify]: iters left: 1 (95 enodes)
4.748 * * [simplify]: Extracting #0: cost 1 inf + 0
4.748 * * [simplify]: Extracting #1: cost 20 inf + 0
4.748 * * [simplify]: Extracting #2: cost 91 inf + 0
4.749 * * [simplify]: Extracting #3: cost 119 inf + 2
4.749 * * [simplify]: Extracting #4: cost 108 inf + 13203
4.751 * * [simplify]: Extracting #5: cost 35 inf + 85388
4.755 * * [simplify]: Extracting #6: cost 8 inf + 108558
4.760 * * [simplify]: Extracting #7: cost 0 inf + 118029
4.764 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
4.764 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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)))
4.765 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
4.765 * * [simplify]: iters left: 5 (13 enodes)
4.768 * * [simplify]: iters left: 4 (29 enodes)
4.773 * * [simplify]: iters left: 3 (48 enodes)
4.781 * * [simplify]: iters left: 2 (68 enodes)
4.795 * * [simplify]: iters left: 1 (85 enodes)
4.814 * * [simplify]: Extracting #0: cost 1 inf + 0
4.814 * * [simplify]: Extracting #1: cost 3 inf + 0
4.814 * * [simplify]: Extracting #2: cost 16 inf + 0
4.814 * * [simplify]: Extracting #3: cost 17 inf + 2
4.815 * * [simplify]: Extracting #4: cost 15 inf + 46
4.815 * * [simplify]: Extracting #5: cost 10 inf + 215
4.816 * * [simplify]: Extracting #6: cost 1 inf + 3284
4.817 * * [simplify]: Extracting #7: cost 0 inf + 4169
4.818 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
4.818 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.818 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.818 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.818 * * [simplify]: iters left: 4 (10 enodes)
4.822 * * [simplify]: iters left: 3 (28 enodes)
4.831 * * [simplify]: iters left: 2 (45 enodes)
4.847 * * [simplify]: iters left: 1 (95 enodes)
4.868 * * [simplify]: Extracting #0: cost 1 inf + 0
4.868 * * [simplify]: Extracting #1: cost 20 inf + 0
4.868 * * [simplify]: Extracting #2: cost 91 inf + 0
4.868 * * [simplify]: Extracting #3: cost 119 inf + 2
4.869 * * [simplify]: Extracting #4: cost 108 inf + 13203
4.871 * * [simplify]: Extracting #5: cost 35 inf + 85388
4.875 * * [simplify]: Extracting #6: cost 8 inf + 108558
4.884 * * [simplify]: Extracting #7: cost 0 inf + 118029
4.893 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
4.893 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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)))
4.893 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
4.894 * * [simplify]: iters left: 5 (13 enodes)
4.900 * * [simplify]: iters left: 4 (29 enodes)
4.909 * * [simplify]: iters left: 3 (48 enodes)
4.925 * * [simplify]: iters left: 2 (68 enodes)
4.950 * * [simplify]: iters left: 1 (85 enodes)
4.970 * * [simplify]: Extracting #0: cost 1 inf + 0
4.971 * * [simplify]: Extracting #1: cost 3 inf + 0
4.971 * * [simplify]: Extracting #2: cost 16 inf + 0
4.971 * * [simplify]: Extracting #3: cost 17 inf + 2
4.971 * * [simplify]: Extracting #4: cost 15 inf + 46
4.971 * * [simplify]: Extracting #5: cost 10 inf + 215
4.972 * * [simplify]: Extracting #6: cost 1 inf + 3284
4.973 * * [simplify]: Extracting #7: cost 0 inf + 4169
4.975 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
4.975 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.975 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.975 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.975 * * [simplify]: iters left: 4 (10 enodes)
4.980 * * [simplify]: iters left: 3 (28 enodes)
4.989 * * [simplify]: iters left: 2 (45 enodes)
5.004 * * [simplify]: iters left: 1 (95 enodes)
5.044 * * [simplify]: Extracting #0: cost 1 inf + 0
5.044 * * [simplify]: Extracting #1: cost 20 inf + 0
5.045 * * [simplify]: Extracting #2: cost 91 inf + 0
5.045 * * [simplify]: Extracting #3: cost 119 inf + 2
5.046 * * [simplify]: Extracting #4: cost 108 inf + 13203
5.051 * * [simplify]: Extracting #5: cost 35 inf + 85388
5.058 * * [simplify]: Extracting #6: cost 8 inf + 108558
5.067 * * [simplify]: Extracting #7: cost 0 inf + 118029
5.075 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
5.075 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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)))
5.075 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
5.076 * * [simplify]: iters left: 5 (13 enodes)
5.083 * * [simplify]: iters left: 4 (29 enodes)
5.093 * * [simplify]: iters left: 3 (48 enodes)
5.110 * * [simplify]: iters left: 2 (68 enodes)
5.131 * * [simplify]: iters left: 1 (85 enodes)
5.153 * * [simplify]: Extracting #0: cost 1 inf + 0
5.153 * * [simplify]: Extracting #1: cost 3 inf + 0
5.153 * * [simplify]: Extracting #2: cost 16 inf + 0
5.153 * * [simplify]: Extracting #3: cost 17 inf + 2
5.154 * * [simplify]: Extracting #4: cost 15 inf + 46
5.154 * * [simplify]: Extracting #5: cost 10 inf + 215
5.155 * * [simplify]: Extracting #6: cost 1 inf + 3284
5.156 * * [simplify]: Extracting #7: cost 0 inf + 4169
5.157 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
5.157 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
5.157 * * * [progress]: adding candidates to table
5.478 * * [progress]: iteration 3 / 4
5.478 * * * [progress]: picking best candidate
5.693 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.693 * * * [progress]: localizing error
6.244 * * * [progress]: generating rewritten candidates
6.245 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
6.267 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.348 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
6.356 * * * [progress]: generating series expansions
6.357 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
6.357 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.357 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.357 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
6.357 * * * [progress]: simplifying candidates
6.357 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.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)))>
6.357 * [simplify]: Simplifying (-.p16 beta alpha)
6.357 * * [simplify]: iters left: 1 (3 enodes)
6.359 * * [simplify]: Extracting #0: cost 1 inf + 0
6.359 * * [simplify]: Extracting #1: cost 6 inf + 0
6.359 * * [simplify]: Extracting #2: cost 5 inf + 44
6.359 * * [simplify]: Extracting #3: cost 0 inf + 1571
6.359 * [simplify]: Simplified to (-.p16 beta alpha)
6.359 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.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)))
6.359 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (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)))>
6.360 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))
6.360 * * [simplify]: iters left: 2 (5 enodes)
6.362 * * [simplify]: iters left: 1 (23 enodes)
6.371 * * [simplify]: Extracting #0: cost 1 inf + 0
6.371 * * [simplify]: Extracting #1: cost 16 inf + 0
6.372 * * [simplify]: Extracting #2: cost 31 inf + 0
6.372 * * [simplify]: Extracting #3: cost 28 inf + 323
6.372 * * [simplify]: Extracting #4: cost 10 inf + 7833
6.373 * * [simplify]: Extracting #5: cost 0 inf + 14252
6.374 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (-.p16 beta alpha))
6.374 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.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)))
6.374 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.375 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
6.375 * * [simplify]: iters left: 6 (17 enodes)
6.383 * * [simplify]: iters left: 5 (45 enodes)
6.399 * * [simplify]: iters left: 4 (115 enodes)
6.437 * * [simplify]: iters left: 3 (316 enodes)
6.576 * * [simplify]: Extracting #0: cost 1 inf + 0
6.576 * * [simplify]: Extracting #1: cost 82 inf + 0
6.577 * * [simplify]: Extracting #2: cost 357 inf + 0
6.579 * * [simplify]: Extracting #3: cost 418 inf + 18449
6.585 * * [simplify]: Extracting #4: cost 336 inf + 130619
6.601 * * [simplify]: Extracting #5: cost 181 inf + 353805
6.621 * * [simplify]: Extracting #6: cost 106 inf + 490442
6.664 * * [simplify]: Extracting #7: cost 7 inf + 691850
6.696 * * [simplify]: Extracting #8: cost 0 inf + 706485
6.738 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))))
6.738 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
6.739 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 2.0)))>
6.739 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.739 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
6.739 * * [simplify]: iters left: 4 (11 enodes)
6.745 * * [simplify]: iters left: 3 (27 enodes)
6.753 * * [simplify]: iters left: 2 (46 enodes)
6.761 * * [simplify]: iters left: 1 (66 enodes)
6.771 * * [simplify]: Extracting #0: cost 1 inf + 0
6.772 * * [simplify]: Extracting #1: cost 16 inf + 0
6.772 * * [simplify]: Extracting #2: cost 17 inf + 2
6.772 * * [simplify]: Extracting #3: cost 14 inf + 47
6.772 * * [simplify]: Extracting #4: cost 7 inf + 942
6.772 * * [simplify]: Extracting #5: cost 1 inf + 3284
6.773 * * [simplify]: Extracting #6: cost 0 inf + 3688
6.774 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
6.774 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
6.774 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.774 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
6.774 * * [simplify]: iters left: 6 (17 enodes)
6.778 * * [simplify]: iters left: 5 (45 enodes)
6.792 * * [simplify]: iters left: 4 (115 enodes)
6.840 * * [simplify]: iters left: 3 (316 enodes)
7.020 * * [simplify]: Extracting #0: cost 1 inf + 0
7.020 * * [simplify]: Extracting #1: cost 82 inf + 0
7.021 * * [simplify]: Extracting #2: cost 357 inf + 0
7.023 * * [simplify]: Extracting #3: cost 418 inf + 18449
7.033 * * [simplify]: Extracting #4: cost 336 inf + 130619
7.063 * * [simplify]: Extracting #5: cost 181 inf + 353805
7.102 * * [simplify]: Extracting #6: cost 106 inf + 490442
7.163 * * [simplify]: Extracting #7: cost 7 inf + 691850
7.223 * * [simplify]: Extracting #8: cost 0 inf + 706485
7.286 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))))
7.286 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))))) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
7.287 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.287 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.287 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
7.287 * * [simplify]: iters left: 6 (15 enodes)
7.294 * * [simplify]: iters left: 5 (40 enodes)
7.308 * * [simplify]: iters left: 4 (91 enodes)
7.344 * * [simplify]: iters left: 3 (251 enodes)
7.459 * * [simplify]: Extracting #0: cost 1 inf + 0
7.459 * * [simplify]: Extracting #1: cost 43 inf + 0
7.460 * * [simplify]: Extracting #2: cost 207 inf + 0
7.462 * * [simplify]: Extracting #3: cost 235 inf + 13570
7.470 * * [simplify]: Extracting #4: cost 144 inf + 98572
7.486 * * [simplify]: Extracting #5: cost 69 inf + 198082
7.514 * * [simplify]: Extracting #6: cost 6 inf + 292506
7.547 * * [simplify]: Extracting #7: cost 0 inf + 302696
7.577 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha))
7.577 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
7.577 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.577 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
7.577 * * [simplify]: iters left: 6 (15 enodes)
7.584 * * [simplify]: iters left: 5 (40 enodes)
7.600 * * [simplify]: iters left: 4 (91 enodes)
7.636 * * [simplify]: iters left: 3 (251 enodes)
7.796 * * [simplify]: Extracting #0: cost 1 inf + 0
7.796 * * [simplify]: Extracting #1: cost 43 inf + 0
7.797 * * [simplify]: Extracting #2: cost 207 inf + 0
7.799 * * [simplify]: Extracting #3: cost 235 inf + 13570
7.807 * * [simplify]: Extracting #4: cost 144 inf + 98572
7.822 * * [simplify]: Extracting #5: cost 69 inf + 198082
7.850 * * [simplify]: Extracting #6: cost 6 inf + 292506
7.879 * * [simplify]: Extracting #7: cost 0 inf + 302696
7.912 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha))
7.912 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
7.912 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.913 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
7.913 * * [simplify]: iters left: 6 (15 enodes)
7.920 * * [simplify]: iters left: 5 (40 enodes)
7.935 * * [simplify]: iters left: 4 (91 enodes)
7.973 * * [simplify]: iters left: 3 (251 enodes)
8.150 * * [simplify]: Extracting #0: cost 1 inf + 0
8.150 * * [simplify]: Extracting #1: cost 43 inf + 0
8.151 * * [simplify]: Extracting #2: cost 207 inf + 0
8.152 * * [simplify]: Extracting #3: cost 235 inf + 13570
8.156 * * [simplify]: Extracting #4: cost 144 inf + 98572
8.164 * * [simplify]: Extracting #5: cost 69 inf + 198082
8.178 * * [simplify]: Extracting #6: cost 6 inf + 292506
8.195 * * [simplify]: Extracting #7: cost 0 inf + 302696
8.210 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha))
8.210 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
8.210 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.210 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
8.210 * * [simplify]: iters left: 6 (15 enodes)
8.214 * * [simplify]: iters left: 5 (40 enodes)
8.221 * * [simplify]: iters left: 4 (91 enodes)
8.259 * * [simplify]: iters left: 3 (251 enodes)
8.447 * * [simplify]: Extracting #0: cost 1 inf + 0
8.447 * * [simplify]: Extracting #1: cost 43 inf + 0
8.448 * * [simplify]: Extracting #2: cost 207 inf + 0
8.450 * * [simplify]: Extracting #3: cost 235 inf + 13570
8.458 * * [simplify]: Extracting #4: cost 144 inf + 98572
8.477 * * [simplify]: Extracting #5: cost 69 inf + 198082
8.505 * * [simplify]: Extracting #6: cost 6 inf + 292506
8.534 * * [simplify]: Extracting #7: cost 0 inf + 302696
8.564 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha))
8.564 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
8.565 * * * [progress]: adding candidates to table
8.883 * * [progress]: iteration 4 / 4
8.883 * * * [progress]: picking best candidate
8.993 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))>
8.993 * * * [progress]: localizing error
9.272 * * * [progress]: generating rewritten candidates
9.272 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
9.280 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
9.309 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
9.362 * * * [progress]: generating series expansions
9.362 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
9.362 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
9.362 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
9.362 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
9.362 * * * [progress]: simplifying candidates
9.362 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (+.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)))>
9.362 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
9.362 * * [simplify]: iters left: 2 (5 enodes)
9.363 * * [simplify]: iters left: 1 (19 enodes)
9.367 * * [simplify]: Extracting #0: cost 1 inf + 0
9.367 * * [simplify]: Extracting #1: cost 8 inf + 0
9.367 * * [simplify]: Extracting #2: cost 16 inf + 0
9.367 * * [simplify]: Extracting #3: cost 16 inf + 1766
9.367 * * [simplify]: Extracting #4: cost 6 inf + 6819
9.367 * * [simplify]: Extracting #5: cost 1 inf + 12227
9.368 * * [simplify]: Extracting #6: cost 0 inf + 13549
9.369 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
9.369 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (+.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)))
9.369 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.369 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
9.369 * * [simplify]: iters left: 4 (10 enodes)
9.372 * * [simplify]: iters left: 3 (28 enodes)
9.376 * * [simplify]: iters left: 2 (45 enodes)
9.383 * * [simplify]: iters left: 1 (95 enodes)
9.404 * * [simplify]: Extracting #0: cost 1 inf + 0
9.404 * * [simplify]: Extracting #1: cost 20 inf + 0
9.404 * * [simplify]: Extracting #2: cost 91 inf + 0
9.405 * * [simplify]: Extracting #3: cost 119 inf + 2
9.405 * * [simplify]: Extracting #4: cost 108 inf + 13203
9.408 * * [simplify]: Extracting #5: cost 35 inf + 85388
9.411 * * [simplify]: Extracting #6: cost 8 inf + 108558
9.416 * * [simplify]: Extracting #7: cost 0 inf + 118029
9.420 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
9.420 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
9.420 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.421 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))
9.421 * * [simplify]: iters left: 2 (5 enodes)
9.422 * * [simplify]: iters left: 1 (23 enodes)
9.426 * * [simplify]: Extracting #0: cost 1 inf + 0
9.426 * * [simplify]: Extracting #1: cost 16 inf + 0
9.426 * * [simplify]: Extracting #2: cost 31 inf + 0
9.426 * * [simplify]: Extracting #3: cost 28 inf + 323
9.426 * * [simplify]: Extracting #4: cost 10 inf + 7833
9.427 * * [simplify]: Extracting #5: cost 0 inf + 14252
9.427 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (-.p16 beta alpha))
9.427 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.427 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) beta) (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.428 * [simplify]: Simplifying (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) alpha)
9.428 * * [simplify]: iters left: 5 (11 enodes)
9.430 * * [simplify]: iters left: 4 (32 enodes)
9.435 * * [simplify]: iters left: 3 (55 enodes)
9.446 * * [simplify]: iters left: 2 (124 enodes)
9.505 * * [simplify]: iters left: 1 (462 enodes)
10.077 * * [simplify]: Extracting #0: cost 1 inf + 0
10.077 * * [simplify]: Extracting #1: cost 126 inf + 0
10.080 * * [simplify]: Extracting #2: cost 605 inf + 1
10.087 * * [simplify]: Extracting #3: cost 751 inf + 35918
10.124 * * [simplify]: Extracting #4: cost 433 inf + 434186
10.171 * * [simplify]: Extracting #5: cost 253 inf + 665047
10.237 * * [simplify]: Extracting #6: cost 131 inf + 832797
10.322 * * [simplify]: Extracting #7: cost 4 inf + 1060278
10.408 * * [simplify]: Extracting #8: cost 0 inf + 1067736
10.497 * [simplify]: Simplified to (/.p16 (*.p16 (-.p16 beta alpha) alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
10.498 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) beta) (/.p16 (*.p16 (-.p16 beta alpha) alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))
10.498 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (*.p16 alpha (/.p16 (-.p16 beta alpha) (+.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)))>
10.498 * [simplify]: Simplifying (*.p16 alpha (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))))
10.498 * * [simplify]: iters left: 5 (11 enodes)
10.504 * * [simplify]: iters left: 4 (32 enodes)
10.514 * * [simplify]: iters left: 3 (61 enodes)
10.535 * * [simplify]: iters left: 2 (133 enodes)
10.597 * * [simplify]: iters left: 1 (484 enodes)
11.075 * * [simplify]: Extracting #0: cost 1 inf + 0
11.075 * * [simplify]: Extracting #1: cost 107 inf + 0
11.078 * * [simplify]: Extracting #2: cost 643 inf + 1
11.086 * * [simplify]: Extracting #3: cost 763 inf + 37587
11.113 * * [simplify]: Extracting #4: cost 479 inf + 405665
11.152 * * [simplify]: Extracting #5: cost 292 inf + 685147
11.200 * * [simplify]: Extracting #6: cost 122 inf + 956898
11.293 * * [simplify]: Extracting #7: cost 1 inf + 1162075
11.355 * * [simplify]: Extracting #8: cost 0 inf + 1162559
11.418 * [simplify]: Simplified to (/.p16 (*.p16 (-.p16 beta alpha) alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
11.418 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (/.p16 (*.p16 (-.p16 beta alpha) alpha) (+.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)))
11.418 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.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)))>
11.418 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))
11.418 * * [simplify]: iters left: 2 (5 enodes)
11.420 * * [simplify]: iters left: 1 (23 enodes)
11.424 * * [simplify]: Extracting #0: cost 1 inf + 0
11.424 * * [simplify]: Extracting #1: cost 16 inf + 0
11.424 * * [simplify]: Extracting #2: cost 31 inf + 0
11.424 * * [simplify]: Extracting #3: cost 28 inf + 323
11.424 * * [simplify]: Extracting #4: cost 10 inf + 7833
11.425 * * [simplify]: Extracting #5: cost 0 inf + 14252
11.425 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (-.p16 beta alpha))
11.425 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.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)))
11.425 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.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)))>
11.426 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 2.0)))>
11.426 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))>
11.426 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
11.426 * * [simplify]: iters left: 4 (11 enodes)
11.429 * * [simplify]: iters left: 3 (27 enodes)
11.433 * * [simplify]: iters left: 2 (46 enodes)
11.441 * * [simplify]: iters left: 1 (66 enodes)
11.460 * * [simplify]: Extracting #0: cost 1 inf + 0
11.461 * * [simplify]: Extracting #1: cost 16 inf + 0
11.461 * * [simplify]: Extracting #2: cost 17 inf + 2
11.461 * * [simplify]: Extracting #3: cost 14 inf + 47
11.461 * * [simplify]: Extracting #4: cost 7 inf + 942
11.462 * * [simplify]: Extracting #5: cost 1 inf + 3284
11.463 * * [simplify]: Extracting #6: cost 0 inf + 3688
11.465 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
11.465 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
11.465 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))>
11.465 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
11.465 * * [simplify]: iters left: 4 (11 enodes)
11.471 * * [simplify]: iters left: 3 (27 enodes)
11.480 * * [simplify]: iters left: 2 (46 enodes)
11.490 * * [simplify]: iters left: 1 (66 enodes)
11.502 * * [simplify]: Extracting #0: cost 1 inf + 0
11.502 * * [simplify]: Extracting #1: cost 16 inf + 0
11.502 * * [simplify]: Extracting #2: cost 17 inf + 2
11.502 * * [simplify]: Extracting #3: cost 14 inf + 47
11.503 * * [simplify]: Extracting #4: cost 7 inf + 942
11.503 * * [simplify]: Extracting #5: cost 1 inf + 3284
11.504 * * [simplify]: Extracting #6: cost 0 inf + 3688
11.504 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
11.504 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
11.504 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))>
11.505 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
11.505 * * [simplify]: iters left: 4 (11 enodes)
11.507 * * [simplify]: iters left: 3 (27 enodes)
11.512 * * [simplify]: iters left: 2 (46 enodes)
11.527 * * [simplify]: iters left: 1 (66 enodes)
11.550 * * [simplify]: Extracting #0: cost 1 inf + 0
11.550 * * [simplify]: Extracting #1: cost 16 inf + 0
11.550 * * [simplify]: Extracting #2: cost 17 inf + 2
11.551 * * [simplify]: Extracting #3: cost 14 inf + 47
11.551 * * [simplify]: Extracting #4: cost 7 inf + 942
11.552 * * [simplify]: Extracting #5: cost 1 inf + 3284
11.553 * * [simplify]: Extracting #6: cost 0 inf + 3688
11.554 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
11.554 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
11.555 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))>
11.555 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
11.555 * * [simplify]: iters left: 4 (11 enodes)
11.561 * * [simplify]: iters left: 3 (27 enodes)
11.571 * * [simplify]: iters left: 2 (46 enodes)
11.588 * * [simplify]: iters left: 1 (66 enodes)
11.609 * * [simplify]: Extracting #0: cost 1 inf + 0
11.610 * * [simplify]: Extracting #1: cost 16 inf + 0
11.610 * * [simplify]: Extracting #2: cost 17 inf + 2
11.610 * * [simplify]: Extracting #3: cost 14 inf + 47
11.610 * * [simplify]: Extracting #4: cost 7 inf + 942
11.611 * * [simplify]: Extracting #5: cost 1 inf + 3284
11.612 * * [simplify]: Extracting #6: cost 0 inf + 3688
11.614 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
11.614 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
11.614 * * * [progress]: adding candidates to table
12.236 * [progress]: [Phase 3 of 3] Extracting.
12.236 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
12.243 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha)
12.243 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
12.652 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
12.981 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
13.205 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
13.205 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
13.205 * * [simplify]: iters left: 6 (21 enodes)
13.207 * * [simplify]: Extracting #0: cost 1 inf + 0
13.207 * * [simplify]: Extracting #1: cost 3 inf + 0
13.207 * * [simplify]: Extracting #2: cost 6 inf + 0
13.207 * * [simplify]: Extracting #3: cost 7 inf + 2
13.207 * * [simplify]: Extracting #4: cost 9 inf + 4
13.207 * * [simplify]: Extracting #5: cost 14 inf + 4
13.207 * * [simplify]: Extracting #6: cost 13 inf + 7
13.208 * * [simplify]: Extracting #7: cost 8 inf + 859
13.208 * * [simplify]: Extracting #8: cost 6 inf + 984
13.208 * * [simplify]: Extracting #9: cost 4 inf + 2354
13.208 * * [simplify]: Extracting #10: cost 2 inf + 5484
13.209 * * [simplify]: Extracting #11: cost 0 inf + 9616
13.209 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
13.209 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
13.247 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
13.251 * * * * [points]: Setting MPFR precision to 64
13.253 * * * * [points]: Setting MPFR precision to 320
13.254 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
13.258 * * * * [points]: Setting MPFR precision to 64
13.261 * * * * [points]: Setting MPFR precision to 320
13.263 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
13.268 * * * * [points]: Setting MPFR precision to 64
13.273 * * * * [points]: Setting MPFR precision to 320
13.277 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
13.282 * * * * [points]: Setting MPFR precision to 64
13.291 * * * * [points]: Setting MPFR precision to 320
13.300 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
13.305 * * * * [points]: Setting MPFR precision to 64
13.322 * * * * [points]: Setting MPFR precision to 320
13.365 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
13.370 * * * * [points]: Setting MPFR precision to 64
13.406 * * * * [points]: Setting MPFR precision to 320
13.441 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
13.446 * * * * [points]: Setting MPFR precision to 64
13.550 * * * * [points]: Setting MPFR precision to 320
13.731 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
13.741 * * * * [points]: Setting MPFR precision to 64
13.928 * * * * [points]: Setting MPFR precision to 320
14.110 * * * * [points]: Computing exacts for 8000 points
14.115 * * * * [points]: Setting MPFR precision to 64
15.826 * * * * [points]: Setting MPFR precision to 320
17.019 * * * * [points]: Filtering points with unrepresentable outputs
17.025 * * * * [points]: Sampling 5761 additional inputs, on iter 1 have 2239 / 8000
17.050 * * * * [points]: Computing exacts on every 360 of 5761 points to ramp up precision
17.054 * * * * [points]: Setting MPFR precision to 64
17.056 * * * * [points]: Setting MPFR precision to 320
17.057 * * * * [points]: Computing exacts on every 180 of 5761 points to ramp up precision
17.061 * * * * [points]: Setting MPFR precision to 64
17.064 * * * * [points]: Setting MPFR precision to 320
17.066 * * * * [points]: Computing exacts on every 90 of 5761 points to ramp up precision
17.091 * * * * [points]: Setting MPFR precision to 64
17.097 * * * * [points]: Setting MPFR precision to 320
17.102 * * * * [points]: Computing exacts on every 45 of 5761 points to ramp up precision
17.108 * * * * [points]: Setting MPFR precision to 64
17.117 * * * * [points]: Setting MPFR precision to 320
17.126 * * * * [points]: Computing exacts on every 22 of 5761 points to ramp up precision
17.131 * * * * [points]: Setting MPFR precision to 64
17.149 * * * * [points]: Setting MPFR precision to 320
17.167 * * * * [points]: Computing exacts on every 11 of 5761 points to ramp up precision
17.172 * * * * [points]: Setting MPFR precision to 64
17.281 * * * * [points]: Setting MPFR precision to 320
17.346 * * * * [points]: Computing exacts on every 5 of 5761 points to ramp up precision
17.356 * * * * [points]: Setting MPFR precision to 64
17.494 * * * * [points]: Setting MPFR precision to 320
17.586 * * * * [points]: Computing exacts on every 2 of 5761 points to ramp up precision
17.595 * * * * [points]: Setting MPFR precision to 64
17.767 * * * * [points]: Setting MPFR precision to 320
18.004 * * * * [points]: Computing exacts for 5761 points
18.009 * * * * [points]: Setting MPFR precision to 64
19.140 * * * * [points]: Setting MPFR precision to 320
19.739 * * * * [points]: Filtering points with unrepresentable outputs
19.744 * * * * [points]: Sampling 4135 additional inputs, on iter 2 have 3865 / 8000
19.761 * * * * [points]: Computing exacts on every 258 of 4135 points to ramp up precision
19.765 * * * * [points]: Setting MPFR precision to 64
19.767 * * * * [points]: Setting MPFR precision to 320
19.768 * * * * [points]: Computing exacts on every 129 of 4135 points to ramp up precision
19.796 * * * * [points]: Setting MPFR precision to 64
19.798 * * * * [points]: Setting MPFR precision to 320
19.801 * * * * [points]: Computing exacts on every 64 of 4135 points to ramp up precision
19.807 * * * * [points]: Setting MPFR precision to 64
19.811 * * * * [points]: Setting MPFR precision to 320
19.816 * * * * [points]: Computing exacts on every 32 of 4135 points to ramp up precision
19.821 * * * * [points]: Setting MPFR precision to 64
19.830 * * * * [points]: Setting MPFR precision to 320
19.839 * * * * [points]: Computing exacts on every 16 of 4135 points to ramp up precision
19.843 * * * * [points]: Setting MPFR precision to 64
19.860 * * * * [points]: Setting MPFR precision to 320
19.878 * * * * [points]: Computing exacts on every 8 of 4135 points to ramp up precision
19.883 * * * * [points]: Setting MPFR precision to 64
19.967 * * * * [points]: Setting MPFR precision to 320
20.029 * * * * [points]: Computing exacts on every 4 of 4135 points to ramp up precision
20.039 * * * * [points]: Setting MPFR precision to 64
20.196 * * * * [points]: Setting MPFR precision to 320
20.300 * * * * [points]: Computing exacts on every 2 of 4135 points to ramp up precision
20.304 * * * * [points]: Setting MPFR precision to 64
20.452 * * * * [points]: Setting MPFR precision to 320
20.589 * * * * [points]: Computing exacts for 4135 points
20.594 * * * * [points]: Setting MPFR precision to 64
21.112 * * * * [points]: Setting MPFR precision to 320
22.196 * * * * [points]: Filtering points with unrepresentable outputs
22.202 * * * * [points]: Sampling 3000 additional inputs, on iter 3 have 5000 / 8000
22.217 * * * * [points]: Computing exacts on every 187 of 3000 points to ramp up precision
22.222 * * * * [points]: Setting MPFR precision to 64
22.223 * * * * [points]: Setting MPFR precision to 320
22.248 * * * * [points]: Computing exacts on every 93 of 3000 points to ramp up precision
22.256 * * * * [points]: Setting MPFR precision to 64
22.262 * * * * [points]: Setting MPFR precision to 320
22.266 * * * * [points]: Computing exacts on every 46 of 3000 points to ramp up precision
22.274 * * * * [points]: Setting MPFR precision to 64
22.281 * * * * [points]: Setting MPFR precision to 320
22.288 * * * * [points]: Computing exacts on every 23 of 3000 points to ramp up precision
22.297 * * * * [points]: Setting MPFR precision to 64
22.311 * * * * [points]: Setting MPFR precision to 320
22.322 * * * * [points]: Computing exacts on every 11 of 3000 points to ramp up precision
22.327 * * * * [points]: Setting MPFR precision to 64
22.344 * * * * [points]: Setting MPFR precision to 320
22.362 * * * * [points]: Computing exacts on every 5 of 3000 points to ramp up precision
22.368 * * * * [points]: Setting MPFR precision to 64
22.432 * * * * [points]: Setting MPFR precision to 320
22.472 * * * * [points]: Computing exacts on every 2 of 3000 points to ramp up precision
22.480 * * * * [points]: Setting MPFR precision to 64
22.583 * * * * [points]: Setting MPFR precision to 320
22.653 * * * * [points]: Computing exacts for 3000 points
22.690 * * * * [points]: Setting MPFR precision to 64
23.003 * * * * [points]: Setting MPFR precision to 320
23.358 * * * * [points]: Filtering points with unrepresentable outputs
23.362 * * * * [points]: Sampling 2173 additional inputs, on iter 4 have 5827 / 8000
23.376 * * * * [points]: Computing exacts on every 135 of 2173 points to ramp up precision
23.385 * * * * [points]: Setting MPFR precision to 64
23.387 * * * * [points]: Setting MPFR precision to 320
23.389 * * * * [points]: Computing exacts on every 67 of 2173 points to ramp up precision
23.433 * * * * [points]: Setting MPFR precision to 64
23.440 * * * * [points]: Setting MPFR precision to 320
23.443 * * * * [points]: Computing exacts on every 33 of 2173 points to ramp up precision
23.450 * * * * [points]: Setting MPFR precision to 64
23.454 * * * * [points]: Setting MPFR precision to 320
23.459 * * * * [points]: Computing exacts on every 16 of 2173 points to ramp up precision
23.463 * * * * [points]: Setting MPFR precision to 64
23.473 * * * * [points]: Setting MPFR precision to 320
23.482 * * * * [points]: Computing exacts on every 8 of 2173 points to ramp up precision
23.487 * * * * [points]: Setting MPFR precision to 64
23.505 * * * * [points]: Setting MPFR precision to 320
23.521 * * * * [points]: Computing exacts on every 4 of 2173 points to ramp up precision
23.526 * * * * [points]: Setting MPFR precision to 64
23.607 * * * * [points]: Setting MPFR precision to 320
23.656 * * * * [points]: Computing exacts on every 2 of 2173 points to ramp up precision
23.663 * * * * [points]: Setting MPFR precision to 64
23.781 * * * * [points]: Setting MPFR precision to 320
23.866 * * * * [points]: Computing exacts for 2173 points
23.871 * * * * [points]: Setting MPFR precision to 64
24.153 * * * * [points]: Setting MPFR precision to 320
24.512 * * * * [points]: Filtering points with unrepresentable outputs
24.516 * * * * [points]: Sampling 1571 additional inputs, on iter 5 have 6429 / 8000
24.528 * * * * [points]: Computing exacts on every 98 of 1571 points to ramp up precision
24.538 * * * * [points]: Setting MPFR precision to 64
24.540 * * * * [points]: Setting MPFR precision to 320
24.542 * * * * [points]: Computing exacts on every 49 of 1571 points to ramp up precision
24.551 * * * * [points]: Setting MPFR precision to 64
24.556 * * * * [points]: Setting MPFR precision to 320
24.561 * * * * [points]: Computing exacts on every 24 of 1571 points to ramp up precision
24.570 * * * * [points]: Setting MPFR precision to 64
24.580 * * * * [points]: Setting MPFR precision to 320
24.588 * * * * [points]: Computing exacts on every 12 of 1571 points to ramp up precision
24.598 * * * * [points]: Setting MPFR precision to 64
24.614 * * * * [points]: Setting MPFR precision to 320
24.631 * * * * [points]: Computing exacts on every 6 of 1571 points to ramp up precision
24.663 * * * * [points]: Setting MPFR precision to 64
24.681 * * * * [points]: Setting MPFR precision to 320
24.697 * * * * [points]: Computing exacts on every 3 of 1571 points to ramp up precision
24.701 * * * * [points]: Setting MPFR precision to 64
24.753 * * * * [points]: Setting MPFR precision to 320
24.804 * * * * [points]: Computing exacts for 1571 points
24.814 * * * * [points]: Setting MPFR precision to 64
25.027 * * * * [points]: Setting MPFR precision to 320
25.596 * * * * [points]: Filtering points with unrepresentable outputs
25.599 * * * * [points]: Sampling 1136 additional inputs, on iter 6 have 6864 / 8000
25.608 * * * * [points]: Computing exacts on every 71 of 1136 points to ramp up precision
25.670 * * * * [points]: Setting MPFR precision to 64
25.677 * * * * [points]: Setting MPFR precision to 320
25.679 * * * * [points]: Computing exacts on every 35 of 1136 points to ramp up precision
25.688 * * * * [points]: Setting MPFR precision to 64
25.692 * * * * [points]: Setting MPFR precision to 320
25.696 * * * * [points]: Computing exacts on every 17 of 1136 points to ramp up precision
25.705 * * * * [points]: Setting MPFR precision to 64
25.714 * * * * [points]: Setting MPFR precision to 320
25.723 * * * * [points]: Computing exacts on every 8 of 1136 points to ramp up precision
25.732 * * * * [points]: Setting MPFR precision to 64
25.747 * * * * [points]: Setting MPFR precision to 320
25.756 * * * * [points]: Computing exacts on every 4 of 1136 points to ramp up precision
25.760 * * * * [points]: Setting MPFR precision to 64
25.777 * * * * [points]: Setting MPFR precision to 320
25.795 * * * * [points]: Computing exacts on every 2 of 1136 points to ramp up precision
25.835 * * * * [points]: Setting MPFR precision to 64
25.891 * * * * [points]: Setting MPFR precision to 320
25.941 * * * * [points]: Computing exacts for 1136 points
25.946 * * * * [points]: Setting MPFR precision to 64
26.124 * * * * [points]: Setting MPFR precision to 320
26.232 * * * * [points]: Filtering points with unrepresentable outputs
26.234 * * * * [points]: Sampling 811 additional inputs, on iter 7 have 7189 / 8000
26.240 * * * * [points]: Computing exacts on every 50 of 811 points to ramp up precision
26.295 * * * * [points]: Setting MPFR precision to 64
26.301 * * * * [points]: Setting MPFR precision to 320
26.304 * * * * [points]: Computing exacts on every 25 of 811 points to ramp up precision
26.314 * * * * [points]: Setting MPFR precision to 64
26.320 * * * * [points]: Setting MPFR precision to 320
26.324 * * * * [points]: Computing exacts on every 12 of 811 points to ramp up precision
26.333 * * * * [points]: Setting MPFR precision to 64
26.342 * * * * [points]: Setting MPFR precision to 320
26.350 * * * * [points]: Computing exacts on every 6 of 811 points to ramp up precision
26.359 * * * * [points]: Setting MPFR precision to 64
26.375 * * * * [points]: Setting MPFR precision to 320
26.391 * * * * [points]: Computing exacts on every 3 of 811 points to ramp up precision
26.400 * * * * [points]: Setting MPFR precision to 64
26.427 * * * * [points]: Setting MPFR precision to 320
26.454 * * * * [points]: Computing exacts for 811 points
26.497 * * * * [points]: Setting MPFR precision to 64
26.604 * * * * [points]: Setting MPFR precision to 320
26.715 * * * * [points]: Filtering points with unrepresentable outputs
26.716 * * * * [points]: Sampling 577 additional inputs, on iter 8 have 7423 / 8000
26.769 * * * * [points]: Computing exacts on every 36 of 577 points to ramp up precision
26.781 * * * * [points]: Setting MPFR precision to 64
26.784 * * * * [points]: Setting MPFR precision to 320
26.786 * * * * [points]: Computing exacts on every 18 of 577 points to ramp up precision
26.795 * * * * [points]: Setting MPFR precision to 64
26.798 * * * * [points]: Setting MPFR precision to 320
26.802 * * * * [points]: Computing exacts on every 9 of 577 points to ramp up precision
26.811 * * * * [points]: Setting MPFR precision to 64
26.819 * * * * [points]: Setting MPFR precision to 320
26.827 * * * * [points]: Computing exacts on every 4 of 577 points to ramp up precision
26.836 * * * * [points]: Setting MPFR precision to 64
26.853 * * * * [points]: Setting MPFR precision to 320
26.869 * * * * [points]: Computing exacts on every 2 of 577 points to ramp up precision
26.878 * * * * [points]: Setting MPFR precision to 64
26.903 * * * * [points]: Setting MPFR precision to 320
26.929 * * * * [points]: Computing exacts for 577 points
26.939 * * * * [points]: Setting MPFR precision to 64
27.047 * * * * [points]: Setting MPFR precision to 320
27.125 * * * * [points]: Filtering points with unrepresentable outputs
27.126 * * * * [points]: Sampling 398 additional inputs, on iter 9 have 7602 / 8000
27.129 * * * * [points]: Computing exacts on every 24 of 398 points to ramp up precision
27.138 * * * * [points]: Setting MPFR precision to 64
27.141 * * * * [points]: Setting MPFR precision to 320
27.143 * * * * [points]: Computing exacts on every 12 of 398 points to ramp up precision
27.152 * * * * [points]: Setting MPFR precision to 64
27.156 * * * * [points]: Setting MPFR precision to 320
27.160 * * * * [points]: Computing exacts on every 6 of 398 points to ramp up precision
27.207 * * * * [points]: Setting MPFR precision to 64
27.218 * * * * [points]: Setting MPFR precision to 320
27.227 * * * * [points]: Computing exacts on every 3 of 398 points to ramp up precision
27.236 * * * * [points]: Setting MPFR precision to 64
27.250 * * * * [points]: Setting MPFR precision to 320
27.263 * * * * [points]: Computing exacts for 398 points
27.273 * * * * [points]: Setting MPFR precision to 64
27.306 * * * * [points]: Setting MPFR precision to 320
27.359 * * * * [points]: Filtering points with unrepresentable outputs
27.360 * * * * [points]: Sampling 282 additional inputs, on iter 10 have 7718 / 8000
27.362 * * * * [points]: Computing exacts on every 17 of 282 points to ramp up precision
27.371 * * * * [points]: Setting MPFR precision to 64
27.374 * * * * [points]: Setting MPFR precision to 320
27.376 * * * * [points]: Computing exacts on every 8 of 282 points to ramp up precision
27.422 * * * * [points]: Setting MPFR precision to 64
27.424 * * * * [points]: Setting MPFR precision to 320
27.427 * * * * [points]: Computing exacts on every 4 of 282 points to ramp up precision
27.433 * * * * [points]: Setting MPFR precision to 64
27.437 * * * * [points]: Setting MPFR precision to 320
27.441 * * * * [points]: Computing exacts on every 2 of 282 points to ramp up precision
27.446 * * * * [points]: Setting MPFR precision to 64
27.452 * * * * [points]: Setting MPFR precision to 320
27.459 * * * * [points]: Computing exacts for 282 points
27.464 * * * * [points]: Setting MPFR precision to 64
27.496 * * * * [points]: Setting MPFR precision to 320
27.534 * * * * [points]: Filtering points with unrepresentable outputs
27.535 * * * * [points]: Sampling 207 additional inputs, on iter 11 have 7793 / 8000
27.536 * * * * [points]: Computing exacts on every 12 of 207 points to ramp up precision
27.545 * * * * [points]: Setting MPFR precision to 64
27.546 * * * * [points]: Setting MPFR precision to 320
27.571 * * * * [points]: Computing exacts on every 6 of 207 points to ramp up precision
27.579 * * * * [points]: Setting MPFR precision to 64
27.586 * * * * [points]: Setting MPFR precision to 320
27.590 * * * * [points]: Computing exacts on every 3 of 207 points to ramp up precision
27.598 * * * * [points]: Setting MPFR precision to 64
27.605 * * * * [points]: Setting MPFR precision to 320
27.612 * * * * [points]: Computing exacts for 207 points
27.617 * * * * [points]: Setting MPFR precision to 64
27.632 * * * * [points]: Setting MPFR precision to 320
27.647 * * * * [points]: Filtering points with unrepresentable outputs
27.647 * * * * [points]: Sampling 149 additional inputs, on iter 12 have 7851 / 8000
27.648 * * * * [points]: Computing exacts on every 9 of 149 points to ramp up precision
27.654 * * * * [points]: Setting MPFR precision to 64
27.656 * * * * [points]: Setting MPFR precision to 320
27.658 * * * * [points]: Computing exacts on every 4 of 149 points to ramp up precision
27.664 * * * * [points]: Setting MPFR precision to 64
27.666 * * * * [points]: Setting MPFR precision to 320
27.668 * * * * [points]: Computing exacts on every 2 of 149 points to ramp up precision
27.673 * * * * [points]: Setting MPFR precision to 64
27.676 * * * * [points]: Setting MPFR precision to 320
27.680 * * * * [points]: Computing exacts for 149 points
27.706 * * * * [points]: Setting MPFR precision to 64
27.730 * * * * [points]: Setting MPFR precision to 320
27.752 * * * * [points]: Filtering points with unrepresentable outputs
27.752 * * * * [points]: Sampling 105 additional inputs, on iter 13 have 7895 / 8000
27.753 * * * * [points]: Computing exacts on every 6 of 105 points to ramp up precision
27.763 * * * * [points]: Setting MPFR precision to 64
27.765 * * * * [points]: Setting MPFR precision to 320
27.767 * * * * [points]: Computing exacts on every 3 of 105 points to ramp up precision
27.775 * * * * [points]: Setting MPFR precision to 64
27.778 * * * * [points]: Setting MPFR precision to 320
27.782 * * * * [points]: Computing exacts for 105 points
27.791 * * * * [points]: Setting MPFR precision to 64
27.806 * * * * [points]: Setting MPFR precision to 320
27.820 * * * * [points]: Filtering points with unrepresentable outputs
27.820 * * * * [points]: Sampling 75 additional inputs, on iter 14 have 7925 / 8000
27.821 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
27.830 * * * * [points]: Setting MPFR precision to 64
27.832 * * * * [points]: Setting MPFR precision to 320
27.834 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
27.844 * * * * [points]: Setting MPFR precision to 64
27.848 * * * * [points]: Setting MPFR precision to 320
27.851 * * * * [points]: Computing exacts for 75 points
27.861 * * * * [points]: Setting MPFR precision to 64
27.871 * * * * [points]: Setting MPFR precision to 320
27.916 * * * * [points]: Filtering points with unrepresentable outputs
27.916 * * * * [points]: Sampling 58 additional inputs, on iter 15 have 7942 / 8000
27.916 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
27.928 * * * * [points]: Setting MPFR precision to 64
27.931 * * * * [points]: Setting MPFR precision to 320
27.933 * * * * [points]: Computing exacts for 58 points
27.942 * * * * [points]: Setting MPFR precision to 64
27.950 * * * * [points]: Setting MPFR precision to 320
27.958 * * * * [points]: Filtering points with unrepresentable outputs
27.958 * * * * [points]: Sampling 43 additional inputs, on iter 16 have 7957 / 8000
27.958 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
27.967 * * * * [points]: Setting MPFR precision to 64
27.969 * * * * [points]: Setting MPFR precision to 320
27.971 * * * * [points]: Computing exacts for 43 points
27.981 * * * * [points]: Setting MPFR precision to 64
27.986 * * * * [points]: Setting MPFR precision to 320
27.992 * * * * [points]: Filtering points with unrepresentable outputs
27.993 * * * * [points]: Sampling 29 additional inputs, on iter 17 have 7971 / 8000
27.993 * * * * [points]: Computing exacts for 29 points
28.002 * * * * [points]: Setting MPFR precision to 64
28.006 * * * * [points]: Setting MPFR precision to 320
28.010 * * * * [points]: Filtering points with unrepresentable outputs
28.010 * * * * [points]: Sampling 20 additional inputs, on iter 18 have 7980 / 8000
28.010 * * * * [points]: Computing exacts for 20 points
28.019 * * * * [points]: Setting MPFR precision to 64
28.023 * * * * [points]: Setting MPFR precision to 320
28.027 * * * * [points]: Filtering points with unrepresentable outputs
28.027 * * * * [points]: Sampling 12 additional inputs, on iter 19 have 7988 / 8000
28.027 * * * * [points]: Computing exacts for 12 points
28.036 * * * * [points]: Setting MPFR precision to 64
28.038 * * * * [points]: Setting MPFR precision to 320
28.039 * * * * [points]: Filtering points with unrepresentable outputs
28.040 * * * * [points]: Sampling 9 additional inputs, on iter 20 have 7991 / 8000
28.040 * * * * [points]: Computing exacts for 9 points
28.048 * * * * [points]: Setting MPFR precision to 64
28.050 * * * * [points]: Setting MPFR precision to 320
28.051 * * * * [points]: Filtering points with unrepresentable outputs
28.051 * * * * [points]: Sampling 5 additional inputs, on iter 21 have 7995 / 8000
28.051 * * * * [points]: Computing exacts for 5 points
28.060 * * * * [points]: Setting MPFR precision to 64
28.061 * * * * [points]: Setting MPFR precision to 320
28.062 * * * * [points]: Filtering points with unrepresentable outputs
28.062 * * * * [points]: Sampling 4 additional inputs, on iter 22 have 7996 / 8000
28.062 * * * * [points]: Computing exacts for 4 points
28.091 * * * * [points]: Setting MPFR precision to 64
28.091 * * * * [points]: Setting MPFR precision to 320
28.092 * * * * [points]: Filtering points with unrepresentable outputs
28.092 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 7998 / 8000
28.092 * * * * [points]: Computing exacts for 4 points
28.104 * * * * [points]: Setting MPFR precision to 64
28.105 * * * * [points]: Setting MPFR precision to 320
28.106 * * * * [points]: Filtering points with unrepresentable outputs
28.106 * * * * [points]: Sampled 8000 points with exact outputs
36.167 * [regime-testing]: Baseline error score: 64.0
36.174 * [regime-testing]: Oracle error score: 64.0
36.187 * [regime-testing]: End program error score: 0.6367378821159696