0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts for 256 points
0.039 * * * * [points]: Setting MPFR precision to 64
0.052 * * * * [points]: Setting MPFR precision to 320
0.068 * * * * [points]: Filtering points with unrepresentable outputs
0.077 * * * * [points]: Sampling 102 additional inputs, on iter 1 have 154 / 256
0.078 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
0.096 * * * * [points]: Setting MPFR precision to 64
0.097 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
0.101 * * * * [points]: Setting MPFR precision to 64
0.102 * * * * [points]: Setting MPFR precision to 320
0.105 * * * * [points]: Computing exacts for 102 points
0.108 * * * * [points]: Setting MPFR precision to 64
0.114 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Filtering points with unrepresentable outputs
0.125 * * * * [points]: Sampling 46 additional inputs, on iter 2 have 210 / 256
0.125 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
0.128 * * * * [points]: Setting MPFR precision to 64
0.129 * * * * [points]: Setting MPFR precision to 320
0.130 * * * * [points]: Computing exacts for 46 points
0.133 * * * * [points]: Setting MPFR precision to 64
0.136 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Filtering points with unrepresentable outputs
0.140 * * * * [points]: Sampling 22 additional inputs, on iter 3 have 234 / 256
0.140 * * * * [points]: Computing exacts for 22 points
0.144 * * * * [points]: Setting MPFR precision to 64
0.145 * * * * [points]: Setting MPFR precision to 320
0.147 * * * * [points]: Filtering points with unrepresentable outputs
0.148 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.148 * * * * [points]: Computing exacts for 10 points
0.151 * * * * [points]: Setting MPFR precision to 64
0.152 * * * * [points]: Setting MPFR precision to 320
0.153 * * * * [points]: Filtering points with unrepresentable outputs
0.153 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.153 * * * * [points]: Computing exacts for 5 points
0.156 * * * * [points]: Setting MPFR precision to 64
0.156 * * * * [points]: Setting MPFR precision to 320
0.157 * * * * [points]: Filtering points with unrepresentable outputs
0.157 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.157 * * * * [points]: Computing exacts for 4 points
0.160 * * * * [points]: Setting MPFR precision to 64
0.160 * * * * [points]: Setting MPFR precision to 320
0.161 * * * * [points]: Filtering points with unrepresentable outputs
0.161 * * * * [points]: Sampled 259 points with exact outputs
0.161 * * * [progress]: [2/2] Setting up program.
0.184 * [progress]: [Phase 2 of 3] Improving.
0.185 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.185 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
0.185 * * [simplify]: iters left: 5 (12 enodes)
0.188 * * [simplify]: iters left: 4 (29 enodes)
0.205 * * [simplify]: iters left: 3 (46 enodes)
0.213 * * [simplify]: iters left: 2 (97 enodes)
0.234 * * [simplify]: iters left: 1 (335 enodes)
0.404 * * [simplify]: Extracting #0: cost 1 inf + 0
0.404 * * [simplify]: Extracting #1: cost 3 inf + 0
0.404 * * [simplify]: Extracting #2: cost 6 inf + 0
0.404 * * [simplify]: Extracting #3: cost 84 inf + 2
0.405 * * [simplify]: Extracting #4: cost 417 inf + 3
0.410 * * [simplify]: Extracting #5: cost 404 inf + 78485
0.427 * * [simplify]: Extracting #6: cost 124 inf + 437558
0.454 * * [simplify]: Extracting #7: cost 5 inf + 645994
0.513 * * [simplify]: Extracting #8: cost 0 inf + 656284
0.540 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
0.541 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
0.566 * * [progress]: iteration 1 / 4
0.566 * * * [progress]: picking best candidate
0.590 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.590 * * * [progress]: localizing error
0.831 * * * [progress]: generating rewritten candidates
0.831 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.839 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.845 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.853 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.868 * * * [progress]: generating series expansions
0.868 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.868 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.868 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.868 * * * [progress]: simplifying candidates
0.868 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.868 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
0.868 * * [simplify]: iters left: 2 (5 enodes)
0.869 * * [simplify]: iters left: 1 (19 enodes)
0.872 * * [simplify]: Extracting #0: cost 1 inf + 0
0.872 * * [simplify]: Extracting #1: cost 8 inf + 0
0.872 * * [simplify]: Extracting #2: cost 16 inf + 0
0.873 * * [simplify]: Extracting #3: cost 16 inf + 1766
0.873 * * [simplify]: Extracting #4: cost 6 inf + 6819
0.873 * * [simplify]: Extracting #5: cost 1 inf + 12227
0.873 * * [simplify]: Extracting #6: cost 0 inf + 13549
0.874 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
0.874 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
0.874 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))>
0.874 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.874 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.874 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.874 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
0.874 * * [simplify]: iters left: 5 (12 enodes)
0.878 * * [simplify]: iters left: 4 (29 enodes)
0.884 * * [simplify]: iters left: 3 (46 enodes)
0.892 * * [simplify]: iters left: 2 (97 enodes)
0.914 * * [simplify]: iters left: 1 (335 enodes)
1.073 * * [simplify]: Extracting #0: cost 1 inf + 0
1.073 * * [simplify]: Extracting #1: cost 3 inf + 0
1.073 * * [simplify]: Extracting #2: cost 6 inf + 0
1.073 * * [simplify]: Extracting #3: cost 84 inf + 2
1.074 * * [simplify]: Extracting #4: cost 417 inf + 3
1.078 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.095 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.121 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.152 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.181 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1.181 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1.181 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.181 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1.181 * * [simplify]: iters left: 5 (12 enodes)
1.184 * * [simplify]: iters left: 4 (29 enodes)
1.189 * * [simplify]: iters left: 3 (46 enodes)
1.197 * * [simplify]: iters left: 2 (97 enodes)
1.220 * * [simplify]: iters left: 1 (335 enodes)
1.449 * * [simplify]: Extracting #0: cost 1 inf + 0
1.449 * * [simplify]: Extracting #1: cost 3 inf + 0
1.449 * * [simplify]: Extracting #2: cost 6 inf + 0
1.450 * * [simplify]: Extracting #3: cost 84 inf + 2
1.452 * * [simplify]: Extracting #4: cost 417 inf + 3
1.460 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.500 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.552 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.608 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.665 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1.665 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1.665 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.665 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1.666 * * [simplify]: iters left: 5 (12 enodes)
1.672 * * [simplify]: iters left: 4 (29 enodes)
1.679 * * [simplify]: iters left: 3 (46 enodes)
1.687 * * [simplify]: iters left: 2 (97 enodes)
1.709 * * [simplify]: iters left: 1 (335 enodes)
1.917 * * [simplify]: Extracting #0: cost 1 inf + 0
1.917 * * [simplify]: Extracting #1: cost 3 inf + 0
1.917 * * [simplify]: Extracting #2: cost 6 inf + 0
1.917 * * [simplify]: Extracting #3: cost 84 inf + 2
1.919 * * [simplify]: Extracting #4: cost 417 inf + 3
1.928 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.961 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.992 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.048 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.104 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
2.104 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
2.104 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.104 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
2.104 * * [simplify]: iters left: 5 (12 enodes)
2.110 * * [simplify]: iters left: 4 (29 enodes)
2.120 * * [simplify]: iters left: 3 (46 enodes)
2.135 * * [simplify]: iters left: 2 (97 enodes)
2.180 * * [simplify]: iters left: 1 (335 enodes)
2.402 * * [simplify]: Extracting #0: cost 1 inf + 0
2.403 * * [simplify]: Extracting #1: cost 3 inf + 0
2.403 * * [simplify]: Extracting #2: cost 6 inf + 0
2.403 * * [simplify]: Extracting #3: cost 84 inf + 2
2.405 * * [simplify]: Extracting #4: cost 417 inf + 3
2.413 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.433 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.481 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.536 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.579 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
2.580 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
2.580 * * * [progress]: adding candidates to table
2.976 * * [progress]: iteration 2 / 4
2.976 * * * [progress]: picking best candidate
3.064 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.064 * * * [progress]: localizing error
3.437 * * * [progress]: generating rewritten candidates
3.437 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.442 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.453 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.470 * * * [progress]: generating series expansions
3.470 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.470 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.470 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.470 * * * [progress]: simplifying candidates
3.470 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.470 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
3.470 * * [simplify]: iters left: 2 (5 enodes)
3.471 * * [simplify]: iters left: 1 (19 enodes)
3.474 * * [simplify]: Extracting #0: cost 1 inf + 0
3.474 * * [simplify]: Extracting #1: cost 8 inf + 0
3.474 * * [simplify]: Extracting #2: cost 16 inf + 0
3.474 * * [simplify]: Extracting #3: cost 16 inf + 1766
3.475 * * [simplify]: Extracting #4: cost 6 inf + 6819
3.475 * * [simplify]: Extracting #5: cost 1 inf + 12227
3.475 * * [simplify]: Extracting #6: cost 0 inf + 13549
3.476 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
3.476 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
3.476 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 2.0)))>
3.476 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.476 * [simplify]: Simplifying (real->posit16 2.0)
3.476 * * [simplify]: iters left: 1 (2 enodes)
3.478 * * [simplify]: Extracting #0: cost 1 inf + 0
3.478 * * [simplify]: Extracting #1: cost 2 inf + 0
3.478 * * [simplify]: Extracting #2: cost 1 inf + 1
3.478 * * [simplify]: Extracting #3: cost 0 inf + 2
3.478 * [simplify]: Simplified to (real->posit16 2.0)
3.478 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.478 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
3.478 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.478 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.478 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.478 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.478 * * * [progress]: adding candidates to table
3.870 * * [progress]: iteration 3 / 4
3.870 * * * [progress]: picking best candidate
3.897 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.897 * * * [progress]: localizing error
4.370 * * * [progress]: generating rewritten candidates
4.370 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.377 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
4.392 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
4.400 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
4.404 * * * [progress]: generating series expansions
4.404 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.404 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
4.404 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
4.404 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
4.404 * * * [progress]: simplifying candidates
4.404 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
4.404 * [simplify]: Simplifying (+.p16 beta alpha)
4.404 * * [simplify]: iters left: 1 (3 enodes)
4.405 * * [simplify]: Extracting #0: cost 1 inf + 0
4.405 * * [simplify]: Extracting #1: cost 3 inf + 0
4.405 * * [simplify]: Extracting #2: cost 1 inf + 2
4.405 * * [simplify]: Extracting #3: cost 0 inf + 44
4.405 * [simplify]: Simplified to (+.p16 alpha beta)
4.405 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
4.405 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.405 * [simplify]: Simplifying (-.p16 beta alpha)
4.405 * * [simplify]: iters left: 1 (3 enodes)
4.406 * * [simplify]: Extracting #0: cost 1 inf + 0
4.406 * * [simplify]: Extracting #1: cost 6 inf + 0
4.406 * * [simplify]: Extracting #2: cost 5 inf + 44
4.406 * * [simplify]: Extracting #3: cost 0 inf + 1571
4.406 * [simplify]: Simplified to (-.p16 beta alpha)
4.406 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
4.406 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.406 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
4.406 * * [simplify]: iters left: 3 (7 enodes)
4.408 * * [simplify]: iters left: 2 (28 enodes)
4.413 * * [simplify]: iters left: 1 (79 enodes)
4.430 * * [simplify]: Extracting #0: cost 1 inf + 0
4.431 * * [simplify]: Extracting #1: cost 23 inf + 0
4.431 * * [simplify]: Extracting #2: cost 63 inf + 0
4.431 * * [simplify]: Extracting #3: cost 75 inf + 1531
4.432 * * [simplify]: Extracting #4: cost 37 inf + 47856
4.435 * * [simplify]: Extracting #5: cost 1 inf + 91596
4.438 * * [simplify]: Extracting #6: cost 0 inf + 94238
4.441 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
4.441 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.441 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.441 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
4.441 * * [simplify]: iters left: 3 (8 enodes)
4.443 * * [simplify]: iters left: 2 (23 enodes)
4.447 * * [simplify]: iters left: 1 (40 enodes)
4.454 * * [simplify]: Extracting #0: cost 1 inf + 0
4.454 * * [simplify]: Extracting #1: cost 10 inf + 0
4.454 * * [simplify]: Extracting #2: cost 32 inf + 0
4.454 * * [simplify]: Extracting #3: cost 33 inf + 1045
4.454 * * [simplify]: Extracting #4: cost 25 inf + 6988
4.455 * * [simplify]: Extracting #5: cost 2 inf + 20756
4.456 * * [simplify]: Extracting #6: cost 0 inf + 22961
4.457 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
4.457 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.457 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
4.457 * * [simplify]: iters left: 2 (5 enodes)
4.458 * * [simplify]: iters left: 1 (9 enodes)
4.459 * * [simplify]: Extracting #0: cost 1 inf + 0
4.459 * * [simplify]: Extracting #1: cost 2 inf + 0
4.459 * * [simplify]: Extracting #2: cost 4 inf + 0
4.459 * * [simplify]: Extracting #3: cost 2 inf + 2
4.459 * * [simplify]: Extracting #4: cost 0 inf + 526
4.460 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
4.460 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.460 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)))) (real->posit16 2.0)))>
4.460 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.460 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
4.460 * * [simplify]: iters left: 3 (7 enodes)
4.751 * * [simplify]: iters left: 2 (17 enodes)
4.757 * * [simplify]: iters left: 1 (36 enodes)
4.771 * * [simplify]: Extracting #0: cost 1 inf + 0
4.771 * * [simplify]: Extracting #1: cost 10 inf + 0
4.771 * * [simplify]: Extracting #2: cost 15 inf + 1
4.771 * * [simplify]: Extracting #3: cost 14 inf + 323
4.772 * * [simplify]: Extracting #4: cost 9 inf + 1372
4.772 * * [simplify]: Extracting #5: cost 6 inf + 1498
4.773 * * [simplify]: Extracting #6: cost 0 inf + 3353
4.773 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
4.773 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.774 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.774 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
4.774 * * [simplify]: iters left: 3 (7 enodes)
4.778 * * [simplify]: iters left: 2 (23 enodes)
4.786 * * [simplify]: iters left: 1 (42 enodes)
4.801 * * [simplify]: Extracting #0: cost 1 inf + 0
4.801 * * [simplify]: Extracting #1: cost 12 inf + 0
4.801 * * [simplify]: Extracting #2: cost 16 inf + 1
4.801 * * [simplify]: Extracting #3: cost 15 inf + 323
4.801 * * [simplify]: Extracting #4: cost 11 inf + 1050
4.802 * * [simplify]: Extracting #5: cost 5 inf + 2222
4.802 * * [simplify]: Extracting #6: cost 0 inf + 4395
4.803 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
4.803 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.803 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.803 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (-.p16 beta alpha) alpha) (*.p16 (-.p16 beta alpha) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.804 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) beta)
4.804 * * [simplify]: iters left: 2 (4 enodes)
4.806 * * [simplify]: iters left: 1 (16 enodes)
4.811 * * [simplify]: Extracting #0: cost 1 inf + 0
4.811 * * [simplify]: Extracting #1: cost 9 inf + 0
4.811 * * [simplify]: Extracting #2: cost 11 inf + 1
4.811 * * [simplify]: Extracting #3: cost 13 inf + 323
4.811 * * [simplify]: Extracting #4: cost 9 inf + 1933
4.811 * * [simplify]: Extracting #5: cost 3 inf + 4862
4.812 * * [simplify]: Extracting #6: cost 0 inf + 7748
4.812 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
4.813 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (-.p16 beta alpha) alpha) (*.p16 beta (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.813 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 alpha (-.p16 beta alpha)) (*.p16 beta (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.813 * [simplify]: Simplifying (*.p16 beta (-.p16 beta alpha))
4.813 * * [simplify]: iters left: 2 (4 enodes)
4.815 * * [simplify]: iters left: 1 (16 enodes)
4.820 * * [simplify]: Extracting #0: cost 1 inf + 0
4.820 * * [simplify]: Extracting #1: cost 9 inf + 0
4.820 * * [simplify]: Extracting #2: cost 11 inf + 1
4.820 * * [simplify]: Extracting #3: cost 13 inf + 323
4.820 * * [simplify]: Extracting #4: cost 9 inf + 1933
4.821 * * [simplify]: Extracting #5: cost 3 inf + 4862
4.821 * * [simplify]: Extracting #6: cost 0 inf + 7748
4.822 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
4.822 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 alpha (-.p16 beta alpha)) (*.p16 beta (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.822 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.822 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
4.822 * * [simplify]: iters left: 3 (7 enodes)
4.825 * * [simplify]: iters left: 2 (28 enodes)
4.837 * * [simplify]: iters left: 1 (79 enodes)
4.870 * * [simplify]: Extracting #0: cost 1 inf + 0
4.870 * * [simplify]: Extracting #1: cost 23 inf + 0
4.871 * * [simplify]: Extracting #2: cost 63 inf + 0
4.871 * * [simplify]: Extracting #3: cost 75 inf + 1531
4.874 * * [simplify]: Extracting #4: cost 37 inf + 47856
4.879 * * [simplify]: Extracting #5: cost 1 inf + 91596
4.885 * * [simplify]: Extracting #6: cost 0 inf + 94238
4.896 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
4.896 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.896 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.896 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.896 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
4.896 * * [simplify]: iters left: 6 (15 enodes)
4.905 * * [simplify]: iters left: 5 (52 enodes)
4.926 * * [simplify]: iters left: 4 (152 enodes)
5.009 * * [simplify]: Extracting #0: cost 1 inf + 0
5.009 * * [simplify]: Extracting #1: cost 3 inf + 0
5.009 * * [simplify]: Extracting #2: cost 6 inf + 0
5.010 * * [simplify]: Extracting #3: cost 36 inf + 2
5.010 * * [simplify]: Extracting #4: cost 104 inf + 3
5.011 * * [simplify]: Extracting #5: cost 112 inf + 4517
5.018 * * [simplify]: Extracting #6: cost 50 inf + 77491
5.032 * * [simplify]: Extracting #7: cost 1 inf + 122190
5.044 * * [simplify]: Extracting #8: cost 0 inf + 124192
5.056 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.056 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
5.056 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.056 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
5.057 * * [simplify]: iters left: 6 (15 enodes)
5.065 * * [simplify]: iters left: 5 (52 enodes)
5.087 * * [simplify]: iters left: 4 (152 enodes)
5.171 * * [simplify]: Extracting #0: cost 1 inf + 0
5.171 * * [simplify]: Extracting #1: cost 3 inf + 0
5.171 * * [simplify]: Extracting #2: cost 6 inf + 0
5.171 * * [simplify]: Extracting #3: cost 36 inf + 2
5.171 * * [simplify]: Extracting #4: cost 104 inf + 3
5.173 * * [simplify]: Extracting #5: cost 112 inf + 4517
5.180 * * [simplify]: Extracting #6: cost 50 inf + 77491
5.191 * * [simplify]: Extracting #7: cost 1 inf + 122190
5.202 * * [simplify]: Extracting #8: cost 0 inf + 124192
5.214 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.214 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
5.214 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.215 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
5.215 * * [simplify]: iters left: 6 (15 enodes)
5.223 * * [simplify]: iters left: 5 (52 enodes)
5.244 * * [simplify]: iters left: 4 (152 enodes)
5.330 * * [simplify]: Extracting #0: cost 1 inf + 0
5.331 * * [simplify]: Extracting #1: cost 3 inf + 0
5.331 * * [simplify]: Extracting #2: cost 6 inf + 0
5.331 * * [simplify]: Extracting #3: cost 36 inf + 2
5.331 * * [simplify]: Extracting #4: cost 104 inf + 3
5.333 * * [simplify]: Extracting #5: cost 112 inf + 4517
5.340 * * [simplify]: Extracting #6: cost 50 inf + 77491
5.352 * * [simplify]: Extracting #7: cost 1 inf + 122190
5.365 * * [simplify]: Extracting #8: cost 0 inf + 124192
5.377 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.377 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
5.377 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.377 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
5.378 * * [simplify]: iters left: 6 (15 enodes)
5.385 * * [simplify]: iters left: 5 (52 enodes)
5.406 * * [simplify]: iters left: 4 (152 enodes)
5.490 * * [simplify]: Extracting #0: cost 1 inf + 0
5.491 * * [simplify]: Extracting #1: cost 3 inf + 0
5.491 * * [simplify]: Extracting #2: cost 6 inf + 0
5.491 * * [simplify]: Extracting #3: cost 36 inf + 2
5.491 * * [simplify]: Extracting #4: cost 104 inf + 3
5.493 * * [simplify]: Extracting #5: cost 112 inf + 4517
5.500 * * [simplify]: Extracting #6: cost 50 inf + 77491
5.512 * * [simplify]: Extracting #7: cost 1 inf + 122190
5.525 * * [simplify]: Extracting #8: cost 0 inf + 124192
5.537 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.537 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
5.537 * * * [progress]: adding candidates to table
7.064 * * [progress]: iteration 4 / 4
7.064 * * * [progress]: picking best candidate
7.350 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.350 * * * [progress]: localizing error
7.778 * * * [progress]: generating rewritten candidates
7.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
7.787 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
7.801 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
7.822 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
7.844 * * * [progress]: generating series expansions
7.844 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
7.844 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
7.844 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
7.844 * * * * [progress]: [ 4 / 4 ] generating series at (2)
7.844 * * * [progress]: simplifying candidates
7.844 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.844 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
7.845 * * [simplify]: iters left: 2 (5 enodes)
7.847 * * [simplify]: iters left: 1 (19 enodes)
7.853 * * [simplify]: Extracting #0: cost 1 inf + 0
7.854 * * [simplify]: Extracting #1: cost 8 inf + 0
7.854 * * [simplify]: Extracting #2: cost 16 inf + 0
7.854 * * [simplify]: Extracting #3: cost 16 inf + 1766
7.854 * * [simplify]: Extracting #4: cost 6 inf + 6819
7.855 * * [simplify]: Extracting #5: cost 1 inf + 12227
7.856 * * [simplify]: Extracting #6: cost 0 inf + 13549
7.856 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
7.856 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
7.857 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))) (real->posit16 2.0)))>
7.857 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.857 * [simplify]: Simplifying (real->posit16 2.0)
7.857 * * [simplify]: iters left: 1 (2 enodes)
7.859 * * [simplify]: Extracting #0: cost 1 inf + 0
7.859 * * [simplify]: Extracting #1: cost 2 inf + 0
7.859 * * [simplify]: Extracting #2: cost 1 inf + 1
7.859 * * [simplify]: Extracting #3: cost 0 inf + 2
7.859 * [simplify]: Simplified to (real->posit16 2.0)
7.860 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
7.860 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha (real->posit16 2.0)) beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
7.860 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.860 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
7.860 * * [simplify]: iters left: 6 (12 enodes)
7.866 * * [simplify]: iters left: 5 (29 enodes)
7.876 * * [simplify]: iters left: 4 (46 enodes)
7.892 * * [simplify]: iters left: 3 (97 enodes)
7.939 * * [simplify]: iters left: 2 (335 enodes)
8.254 * * [simplify]: Extracting #0: cost 1 inf + 0
8.254 * * [simplify]: Extracting #1: cost 3 inf + 0
8.254 * * [simplify]: Extracting #2: cost 6 inf + 0
8.255 * * [simplify]: Extracting #3: cost 84 inf + 2
8.257 * * [simplify]: Extracting #4: cost 417 inf + 3
8.263 * * [simplify]: Extracting #5: cost 428 inf + 54952
8.297 * * [simplify]: Extracting #6: cost 141 inf + 421995
8.354 * * [simplify]: Extracting #7: cost 6 inf + 644394
8.399 * * [simplify]: Extracting #8: cost 0 inf + 656444
8.440 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
8.440 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
8.441 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.441 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
8.441 * * [simplify]: iters left: 6 (12 enodes)
8.447 * * [simplify]: iters left: 5 (29 enodes)
8.456 * * [simplify]: iters left: 4 (46 enodes)
8.474 * * [simplify]: iters left: 3 (97 enodes)
8.518 * * [simplify]: iters left: 2 (335 enodes)
8.833 * * [simplify]: Extracting #0: cost 1 inf + 0
8.834 * * [simplify]: Extracting #1: cost 3 inf + 0
8.834 * * [simplify]: Extracting #2: cost 6 inf + 0
8.834 * * [simplify]: Extracting #3: cost 84 inf + 2
8.836 * * [simplify]: Extracting #4: cost 417 inf + 3
8.843 * * [simplify]: Extracting #5: cost 428 inf + 54952
8.876 * * [simplify]: Extracting #6: cost 141 inf + 421995
8.914 * * [simplify]: Extracting #7: cost 6 inf + 644394
8.965 * * [simplify]: Extracting #8: cost 0 inf + 656444
9.002 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
9.002 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
9.002 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.002 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
9.002 * * [simplify]: iters left: 6 (12 enodes)
9.005 * * [simplify]: iters left: 5 (29 enodes)
9.010 * * [simplify]: iters left: 4 (46 enodes)
9.025 * * [simplify]: iters left: 3 (97 enodes)
9.071 * * [simplify]: iters left: 2 (335 enodes)
9.385 * * [simplify]: Extracting #0: cost 1 inf + 0
9.385 * * [simplify]: Extracting #1: cost 3 inf + 0
9.385 * * [simplify]: Extracting #2: cost 6 inf + 0
9.385 * * [simplify]: Extracting #3: cost 84 inf + 2
9.387 * * [simplify]: Extracting #4: cost 417 inf + 3
9.394 * * [simplify]: Extracting #5: cost 428 inf + 54952
9.423 * * [simplify]: Extracting #6: cost 141 inf + 421995
9.481 * * [simplify]: Extracting #7: cost 6 inf + 644394
9.538 * * [simplify]: Extracting #8: cost 0 inf + 656444
9.595 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
9.596 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
9.596 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.596 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
9.596 * * [simplify]: iters left: 6 (12 enodes)
9.603 * * [simplify]: iters left: 5 (29 enodes)
9.613 * * [simplify]: iters left: 4 (46 enodes)
9.629 * * [simplify]: iters left: 3 (97 enodes)
9.671 * * [simplify]: iters left: 2 (335 enodes)
9.979 * * [simplify]: Extracting #0: cost 1 inf + 0
9.979 * * [simplify]: Extracting #1: cost 3 inf + 0
9.979 * * [simplify]: Extracting #2: cost 6 inf + 0
9.979 * * [simplify]: Extracting #3: cost 84 inf + 2
9.981 * * [simplify]: Extracting #4: cost 417 inf + 3
9.988 * * [simplify]: Extracting #5: cost 428 inf + 54952
10.021 * * [simplify]: Extracting #6: cost 141 inf + 421995
10.073 * * [simplify]: Extracting #7: cost 6 inf + 644394
10.133 * * [simplify]: Extracting #8: cost 0 inf + 656444
10.187 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
10.187 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
10.188 * * * [progress]: adding candidates to table
10.689 * [progress]: [Phase 3 of 3] Extracting.
10.689 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
10.690 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
10.690 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
11.086 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
11.421 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
11.421 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
11.421 * * [simplify]: iters left: 6 (12 enodes)
11.424 * * [simplify]: Extracting #0: cost 1 inf + 0
11.424 * * [simplify]: Extracting #1: cost 3 inf + 0
11.424 * * [simplify]: Extracting #2: cost 6 inf + 0
11.424 * * [simplify]: Extracting #3: cost 8 inf + 1
11.425 * * [simplify]: Extracting #4: cost 8 inf + 4
11.425 * * [simplify]: Extracting #5: cost 6 inf + 6
11.425 * * [simplify]: Extracting #6: cost 0 inf + 2544
11.425 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
11.425 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.466 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.472 * * * * [points]: Setting MPFR precision to 64
11.474 * * * * [points]: Setting MPFR precision to 320
11.475 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.481 * * * * [points]: Setting MPFR precision to 64
11.484 * * * * [points]: Setting MPFR precision to 320
11.487 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.493 * * * * [points]: Setting MPFR precision to 64
11.499 * * * * [points]: Setting MPFR precision to 320
11.507 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.513 * * * * [points]: Setting MPFR precision to 64
11.526 * * * * [points]: Setting MPFR precision to 320
11.542 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.548 * * * * [points]: Setting MPFR precision to 64
11.575 * * * * [points]: Setting MPFR precision to 320
11.606 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.638 * * * * [points]: Setting MPFR precision to 64
11.696 * * * * [points]: Setting MPFR precision to 320
11.762 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.766 * * * * [points]: Setting MPFR precision to 64
11.855 * * * * [points]: Setting MPFR precision to 320
11.934 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.940 * * * * [points]: Setting MPFR precision to 64
12.084 * * * * [points]: Setting MPFR precision to 320
12.379 * * * * [points]: Computing exacts for 8000 points
12.385 * * * * [points]: Setting MPFR precision to 64
13.399 * * * * [points]: Setting MPFR precision to 320
14.623 * * * * [points]: Filtering points with unrepresentable outputs
15.008 * * * * [points]: Sampling 3527 additional inputs, on iter 1 have 4473 / 8000
15.025 * * * * [points]: Computing exacts on every 220 of 3527 points to ramp up precision
15.030 * * * * [points]: Setting MPFR precision to 64
15.032 * * * * [points]: Setting MPFR precision to 320
15.034 * * * * [points]: Computing exacts on every 110 of 3527 points to ramp up precision
15.058 * * * * [points]: Setting MPFR precision to 64
15.063 * * * * [points]: Setting MPFR precision to 320
15.067 * * * * [points]: Computing exacts on every 55 of 3527 points to ramp up precision
15.073 * * * * [points]: Setting MPFR precision to 64
15.080 * * * * [points]: Setting MPFR precision to 320
15.088 * * * * [points]: Computing exacts on every 27 of 3527 points to ramp up precision
15.094 * * * * [points]: Setting MPFR precision to 64
15.108 * * * * [points]: Setting MPFR precision to 320
15.124 * * * * [points]: Computing exacts on every 13 of 3527 points to ramp up precision
15.130 * * * * [points]: Setting MPFR precision to 64
15.157 * * * * [points]: Setting MPFR precision to 320
15.189 * * * * [points]: Computing exacts on every 6 of 3527 points to ramp up precision
15.195 * * * * [points]: Setting MPFR precision to 64
15.248 * * * * [points]: Setting MPFR precision to 320
15.350 * * * * [points]: Computing exacts on every 3 of 3527 points to ramp up precision
15.356 * * * * [points]: Setting MPFR precision to 64
15.439 * * * * [points]: Setting MPFR precision to 320
15.576 * * * * [points]: Computing exacts for 3527 points
15.582 * * * * [points]: Setting MPFR precision to 64
15.812 * * * * [points]: Setting MPFR precision to 320
16.095 * * * * [points]: Filtering points with unrepresentable outputs
16.210 * * * * [points]: Sampling 1571 additional inputs, on iter 2 have 6429 / 8000
16.215 * * * * [points]: Computing exacts on every 98 of 1571 points to ramp up precision
16.218 * * * * [points]: Setting MPFR precision to 64
16.219 * * * * [points]: Setting MPFR precision to 320
16.220 * * * * [points]: Computing exacts on every 49 of 1571 points to ramp up precision
16.223 * * * * [points]: Setting MPFR precision to 64
16.225 * * * * [points]: Setting MPFR precision to 320
16.227 * * * * [points]: Computing exacts on every 24 of 1571 points to ramp up precision
16.231 * * * * [points]: Setting MPFR precision to 64
16.235 * * * * [points]: Setting MPFR precision to 320
16.239 * * * * [points]: Computing exacts on every 12 of 1571 points to ramp up precision
16.242 * * * * [points]: Setting MPFR precision to 64
16.248 * * * * [points]: Setting MPFR precision to 320
16.256 * * * * [points]: Computing exacts on every 6 of 1571 points to ramp up precision
16.259 * * * * [points]: Setting MPFR precision to 64
16.271 * * * * [points]: Setting MPFR precision to 320
16.300 * * * * [points]: Computing exacts on every 3 of 1571 points to ramp up precision
16.303 * * * * [points]: Setting MPFR precision to 64
16.325 * * * * [points]: Setting MPFR precision to 320
16.350 * * * * [points]: Computing exacts for 1571 points
16.354 * * * * [points]: Setting MPFR precision to 64
16.464 * * * * [points]: Setting MPFR precision to 320
16.611 * * * * [points]: Filtering points with unrepresentable outputs
16.670 * * * * [points]: Sampling 674 additional inputs, on iter 3 have 7326 / 8000
16.672 * * * * [points]: Computing exacts on every 42 of 674 points to ramp up precision
16.675 * * * * [points]: Setting MPFR precision to 64
16.676 * * * * [points]: Setting MPFR precision to 320
16.677 * * * * [points]: Computing exacts on every 21 of 674 points to ramp up precision
16.679 * * * * [points]: Setting MPFR precision to 64
16.681 * * * * [points]: Setting MPFR precision to 320
16.683 * * * * [points]: Computing exacts on every 10 of 674 points to ramp up precision
16.686 * * * * [points]: Setting MPFR precision to 64
16.689 * * * * [points]: Setting MPFR precision to 320
16.693 * * * * [points]: Computing exacts on every 5 of 674 points to ramp up precision
16.696 * * * * [points]: Setting MPFR precision to 64
16.702 * * * * [points]: Setting MPFR precision to 320
16.709 * * * * [points]: Computing exacts on every 2 of 674 points to ramp up precision
16.711 * * * * [points]: Setting MPFR precision to 64
16.740 * * * * [points]: Setting MPFR precision to 320
16.755 * * * * [points]: Computing exacts for 674 points
16.759 * * * * [points]: Setting MPFR precision to 64
16.794 * * * * [points]: Setting MPFR precision to 320
16.852 * * * * [points]: Filtering points with unrepresentable outputs
16.886 * * * * [points]: Sampling 316 additional inputs, on iter 4 have 7684 / 8000
16.888 * * * * [points]: Computing exacts on every 19 of 316 points to ramp up precision
16.934 * * * * [points]: Setting MPFR precision to 64
16.936 * * * * [points]: Setting MPFR precision to 320
16.940 * * * * [points]: Computing exacts on every 9 of 316 points to ramp up precision
16.946 * * * * [points]: Setting MPFR precision to 64
16.949 * * * * [points]: Setting MPFR precision to 320
16.953 * * * * [points]: Computing exacts on every 4 of 316 points to ramp up precision
16.958 * * * * [points]: Setting MPFR precision to 64
16.965 * * * * [points]: Setting MPFR precision to 320
16.972 * * * * [points]: Computing exacts on every 2 of 316 points to ramp up precision
16.978 * * * * [points]: Setting MPFR precision to 64
16.989 * * * * [points]: Setting MPFR precision to 320
17.002 * * * * [points]: Computing exacts for 316 points
17.007 * * * * [points]: Setting MPFR precision to 64
17.024 * * * * [points]: Setting MPFR precision to 320
17.046 * * * * [points]: Filtering points with unrepresentable outputs
17.056 * * * * [points]: Sampling 140 additional inputs, on iter 5 have 7860 / 8000
17.056 * * * * [points]: Computing exacts on every 8 of 140 points to ramp up precision
17.059 * * * * [points]: Setting MPFR precision to 64
17.060 * * * * [points]: Setting MPFR precision to 320
17.061 * * * * [points]: Computing exacts on every 4 of 140 points to ramp up precision
17.064 * * * * [points]: Setting MPFR precision to 64
17.066 * * * * [points]: Setting MPFR precision to 320
17.067 * * * * [points]: Computing exacts on every 2 of 140 points to ramp up precision
17.091 * * * * [points]: Setting MPFR precision to 64
17.094 * * * * [points]: Setting MPFR precision to 320
17.096 * * * * [points]: Computing exacts for 140 points
17.101 * * * * [points]: Setting MPFR precision to 64
17.108 * * * * [points]: Setting MPFR precision to 320
17.117 * * * * [points]: Filtering points with unrepresentable outputs
17.121 * * * * [points]: Sampling 63 additional inputs, on iter 6 have 7937 / 8000
17.122 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
17.124 * * * * [points]: Setting MPFR precision to 64
17.125 * * * * [points]: Setting MPFR precision to 320
17.126 * * * * [points]: Computing exacts for 63 points
17.129 * * * * [points]: Setting MPFR precision to 64
17.132 * * * * [points]: Setting MPFR precision to 320
17.136 * * * * [points]: Filtering points with unrepresentable outputs
17.138 * * * * [points]: Sampling 31 additional inputs, on iter 7 have 7969 / 8000
17.138 * * * * [points]: Computing exacts for 31 points
17.141 * * * * [points]: Setting MPFR precision to 64
17.143 * * * * [points]: Setting MPFR precision to 320
17.145 * * * * [points]: Filtering points with unrepresentable outputs
17.146 * * * * [points]: Sampling 18 additional inputs, on iter 8 have 7982 / 8000
17.146 * * * * [points]: Computing exacts for 18 points
17.150 * * * * [points]: Setting MPFR precision to 64
17.152 * * * * [points]: Setting MPFR precision to 320
17.154 * * * * [points]: Filtering points with unrepresentable outputs
17.156 * * * * [points]: Sampling 6 additional inputs, on iter 9 have 7994 / 8000
17.156 * * * * [points]: Computing exacts for 6 points
17.162 * * * * [points]: Setting MPFR precision to 64
17.163 * * * * [points]: Setting MPFR precision to 320
17.164 * * * * [points]: Filtering points with unrepresentable outputs
17.164 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
17.164 * * * * [points]: Computing exacts for 4 points
17.170 * * * * [points]: Setting MPFR precision to 64
17.170 * * * * [points]: Setting MPFR precision to 320
17.171 * * * * [points]: Filtering points with unrepresentable outputs
17.171 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
17.171 * * * * [points]: Computing exacts for 4 points
17.178 * * * * [points]: Setting MPFR precision to 64
17.179 * * * * [points]: Setting MPFR precision to 320
17.180 * * * * [points]: Filtering points with unrepresentable outputs
17.180 * * * * [points]: Sampled 8000 points with exact outputs
24.034 * [regime-testing]: Baseline error score: 64.0
24.037 * [regime-testing]: Oracle error score: 64.0
24.045 * [regime-testing]: End program error score: 0.7413325795987258