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.010 * * * * [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.019 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts for 256 points
0.037 * * * * [points]: Setting MPFR precision to 64
0.052 * * * * [points]: Setting MPFR precision to 320
0.066 * * * * [points]: Filtering points with unrepresentable outputs
0.066 * * * * [points]: Sampling 114 additional inputs, on iter 1 have 142 / 256
0.066 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
0.070 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.072 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
0.074 * * * * [points]: Setting MPFR precision to 64
0.076 * * * * [points]: Setting MPFR precision to 320
0.078 * * * * [points]: Computing exacts for 114 points
0.096 * * * * [points]: Setting MPFR precision to 64
0.103 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Filtering points with unrepresentable outputs
0.111 * * * * [points]: Sampling 55 additional inputs, on iter 2 have 201 / 256
0.111 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 64
0.115 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Computing exacts for 55 points
0.119 * * * * [points]: Setting MPFR precision to 64
0.122 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Filtering points with unrepresentable outputs
0.125 * * * * [points]: Sampling 24 additional inputs, on iter 3 have 232 / 256
0.126 * * * * [points]: Computing exacts for 24 points
0.129 * * * * [points]: Setting MPFR precision to 64
0.130 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Filtering points with unrepresentable outputs
0.131 * * * * [points]: Sampling 8 additional inputs, on iter 4 have 248 / 256
0.132 * * * * [points]: Computing exacts for 8 points
0.134 * * * * [points]: Setting MPFR precision to 64
0.135 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Filtering points with unrepresentable outputs
0.136 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.136 * * * * [points]: Computing exacts for 7 points
0.138 * * * * [points]: Setting MPFR precision to 64
0.139 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Filtering points with unrepresentable outputs
0.139 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.139 * * * * [points]: Computing exacts for 4 points
0.142 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.143 * * * * [points]: Filtering points with unrepresentable outputs
0.143 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.143 * * * * [points]: Computing exacts for 4 points
0.146 * * * * [points]: Setting MPFR precision to 64
0.146 * * * * [points]: Setting MPFR precision to 320
0.147 * * * * [points]: Filtering points with unrepresentable outputs
0.147 * * * * [points]: Sampled 256 points with exact outputs
0.147 * * * [progress]: [2/2] Setting up program.
0.159 * [progress]: [Phase 2 of 3] Improving.
0.159 * * * * [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.159 * [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.159 * * [simplify]: iters left: 5 (12 enodes)
0.162 * * [simplify]: iters left: 4 (29 enodes)
0.167 * * [simplify]: iters left: 3 (46 enodes)
0.175 * * [simplify]: iters left: 2 (97 enodes)
0.225 * * [simplify]: iters left: 1 (335 enodes)
0.513 * * [simplify]: Extracting #0: cost 1 inf + 0
0.513 * * [simplify]: Extracting #1: cost 3 inf + 0
0.513 * * [simplify]: Extracting #2: cost 6 inf + 0
0.514 * * [simplify]: Extracting #3: cost 84 inf + 2
0.515 * * [simplify]: Extracting #4: cost 417 inf + 3
0.523 * * [simplify]: Extracting #5: cost 404 inf + 78485
0.562 * * [simplify]: Extracting #6: cost 124 inf + 437558
0.614 * * [simplify]: Extracting #7: cost 5 inf + 645994
0.642 * * [simplify]: Extracting #8: cost 0 inf + 656284
0.672 * [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.672 * [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.686 * * [progress]: iteration 1 / 4
0.686 * * * [progress]: picking best candidate
0.699 * * * * [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.699 * * * [progress]: localizing error
0.953 * * * [progress]: generating rewritten candidates
0.953 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.961 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.967 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.980 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.992 * * * [progress]: generating series expansions
0.992 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.993 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.993 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.993 * * * [progress]: simplifying candidates
0.993 * * * * [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.993 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
0.993 * * [simplify]: iters left: 2 (5 enodes)
0.994 * * [simplify]: iters left: 1 (19 enodes)
0.997 * * [simplify]: Extracting #0: cost 1 inf + 0
0.997 * * [simplify]: Extracting #1: cost 8 inf + 0
0.997 * * [simplify]: Extracting #2: cost 16 inf + 0
0.997 * * [simplify]: Extracting #3: cost 16 inf + 1766
0.997 * * [simplify]: Extracting #4: cost 6 inf + 6819
0.998 * * [simplify]: Extracting #5: cost 1 inf + 12227
0.998 * * [simplify]: Extracting #6: cost 0 inf + 13549
0.999 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
0.999 * [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.999 * * * * [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.999 * * * * [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.999 * * * * [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.999 * * * * [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.999 * [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.999 * * [simplify]: iters left: 5 (12 enodes)
1.002 * * [simplify]: iters left: 4 (29 enodes)
1.007 * * [simplify]: iters left: 3 (46 enodes)
1.015 * * [simplify]: iters left: 2 (97 enodes)
1.042 * * [simplify]: iters left: 1 (335 enodes)
1.269 * * [simplify]: Extracting #0: cost 1 inf + 0
1.269 * * [simplify]: Extracting #1: cost 3 inf + 0
1.269 * * [simplify]: Extracting #2: cost 6 inf + 0
1.269 * * [simplify]: Extracting #3: cost 84 inf + 2
1.271 * * [simplify]: Extracting #4: cost 417 inf + 3
1.276 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.293 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.321 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.348 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.377 * [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.377 * [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.377 * * * * [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.378 * [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.378 * * [simplify]: iters left: 5 (12 enodes)
1.381 * * [simplify]: iters left: 4 (29 enodes)
1.386 * * [simplify]: iters left: 3 (46 enodes)
1.395 * * [simplify]: iters left: 2 (97 enodes)
1.421 * * [simplify]: iters left: 1 (335 enodes)
1.679 * * [simplify]: Extracting #0: cost 1 inf + 0
1.679 * * [simplify]: Extracting #1: cost 3 inf + 0
1.679 * * [simplify]: Extracting #2: cost 6 inf + 0
1.680 * * [simplify]: Extracting #3: cost 84 inf + 2
1.682 * * [simplify]: Extracting #4: cost 417 inf + 3
1.690 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.722 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.773 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.829 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.884 * [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.884 * [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.884 * * * * [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.885 * [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.885 * * [simplify]: iters left: 5 (12 enodes)
1.891 * * [simplify]: iters left: 4 (29 enodes)
1.900 * * [simplify]: iters left: 3 (46 enodes)
1.915 * * [simplify]: iters left: 2 (97 enodes)
1.937 * * [simplify]: iters left: 1 (335 enodes)
2.191 * * [simplify]: Extracting #0: cost 1 inf + 0
2.191 * * [simplify]: Extracting #1: cost 3 inf + 0
2.191 * * [simplify]: Extracting #2: cost 6 inf + 0
2.191 * * [simplify]: Extracting #3: cost 84 inf + 2
2.193 * * [simplify]: Extracting #4: cost 417 inf + 3
2.202 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.236 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.282 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.310 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.352 * [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.352 * [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.352 * * * * [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.353 * [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.353 * * [simplify]: iters left: 5 (12 enodes)
2.359 * * [simplify]: iters left: 4 (29 enodes)
2.365 * * [simplify]: iters left: 3 (46 enodes)
2.373 * * [simplify]: iters left: 2 (97 enodes)
2.402 * * [simplify]: iters left: 1 (335 enodes)
2.667 * * [simplify]: Extracting #0: cost 1 inf + 0
2.667 * * [simplify]: Extracting #1: cost 3 inf + 0
2.667 * * [simplify]: Extracting #2: cost 6 inf + 0
2.667 * * [simplify]: Extracting #3: cost 84 inf + 2
2.668 * * [simplify]: Extracting #4: cost 417 inf + 3
2.672 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.696 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.730 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.765 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.801 * [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.801 * [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.801 * * * [progress]: adding candidates to table
3.002 * * [progress]: iteration 2 / 4
3.002 * * * [progress]: picking best candidate
3.049 * * * * [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.049 * * * [progress]: localizing error
3.308 * * * [progress]: generating rewritten candidates
3.308 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.318 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.332 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.340 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.362 * * * [progress]: generating series expansions
3.363 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.363 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.363 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.363 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.363 * * * [progress]: simplifying candidates
3.363 * * * * [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.363 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
3.363 * * [simplify]: iters left: 2 (5 enodes)
3.366 * * [simplify]: iters left: 1 (19 enodes)
3.373 * * [simplify]: Extracting #0: cost 1 inf + 0
3.373 * * [simplify]: Extracting #1: cost 8 inf + 0
3.373 * * [simplify]: Extracting #2: cost 16 inf + 0
3.373 * * [simplify]: Extracting #3: cost 16 inf + 1766
3.373 * * [simplify]: Extracting #4: cost 6 inf + 6819
3.374 * * [simplify]: Extracting #5: cost 1 inf + 12227
3.375 * * [simplify]: Extracting #6: cost 0 inf + 13549
3.375 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
3.375 * [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.376 * * * * [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.376 * * * * [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.376 * [simplify]: Simplifying (real->posit16 2.0)
3.376 * * [simplify]: iters left: 1 (2 enodes)
3.378 * * [simplify]: Extracting #0: cost 1 inf + 0
3.378 * * [simplify]: Extracting #1: cost 2 inf + 0
3.378 * * [simplify]: Extracting #2: cost 1 inf + 1
3.378 * * [simplify]: Extracting #3: cost 0 inf + 2
3.378 * [simplify]: Simplified to (real->posit16 2.0)
3.378 * [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.378 * * * * [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.378 * * * * [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.378 * * * * [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.378 * * * * [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.378 * * * * [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.378 * * * [progress]: adding candidates to table
3.558 * * [progress]: iteration 3 / 4
3.558 * * * [progress]: picking best candidate
3.583 * * * * [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.583 * * * [progress]: localizing error
3.845 * * * [progress]: generating rewritten candidates
3.845 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.849 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.859 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.874 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
3.881 * * * [progress]: generating series expansions
3.881 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.881 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.881 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.882 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
3.882 * * * [progress]: simplifying candidates
3.882 * * * * [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)))>
3.882 * [simplify]: Simplifying (+.p16 beta alpha)
3.882 * * [simplify]: iters left: 1 (3 enodes)
3.883 * * [simplify]: Extracting #0: cost 1 inf + 0
3.883 * * [simplify]: Extracting #1: cost 3 inf + 0
3.883 * * [simplify]: Extracting #2: cost 1 inf + 2
3.883 * * [simplify]: Extracting #3: cost 0 inf + 44
3.884 * [simplify]: Simplified to (+.p16 alpha beta)
3.884 * [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)))
3.884 * * * * [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)))>
3.884 * [simplify]: Simplifying (-.p16 beta alpha)
3.884 * * [simplify]: iters left: 1 (3 enodes)
3.885 * * [simplify]: Extracting #0: cost 1 inf + 0
3.885 * * [simplify]: Extracting #1: cost 6 inf + 0
3.886 * * [simplify]: Extracting #2: cost 5 inf + 44
3.886 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.886 * [simplify]: Simplified to (-.p16 beta alpha)
3.886 * [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)))
3.886 * * * * [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)))>
3.887 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.887 * * [simplify]: iters left: 3 (7 enodes)
3.890 * * [simplify]: iters left: 2 (28 enodes)
3.898 * * [simplify]: iters left: 1 (79 enodes)
3.915 * * [simplify]: Extracting #0: cost 1 inf + 0
3.915 * * [simplify]: Extracting #1: cost 23 inf + 0
3.915 * * [simplify]: Extracting #2: cost 63 inf + 0
3.915 * * [simplify]: Extracting #3: cost 75 inf + 1531
3.917 * * [simplify]: Extracting #4: cost 37 inf + 47856
3.919 * * [simplify]: Extracting #5: cost 1 inf + 91596
3.922 * * [simplify]: Extracting #6: cost 0 inf + 94238
3.926 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.926 * [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)))
3.926 * * * * [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)))>
3.926 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.926 * * [simplify]: iters left: 3 (8 enodes)
3.929 * * [simplify]: iters left: 2 (23 enodes)
3.935 * * [simplify]: iters left: 1 (40 enodes)
3.942 * * [simplify]: Extracting #0: cost 1 inf + 0
3.942 * * [simplify]: Extracting #1: cost 10 inf + 0
3.942 * * [simplify]: Extracting #2: cost 32 inf + 0
3.942 * * [simplify]: Extracting #3: cost 33 inf + 1045
3.943 * * [simplify]: Extracting #4: cost 25 inf + 6988
3.943 * * [simplify]: Extracting #5: cost 2 inf + 20756
3.944 * * [simplify]: Extracting #6: cost 0 inf + 22961
3.945 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.945 * [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)))
3.945 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
3.945 * * [simplify]: iters left: 2 (5 enodes)
3.946 * * [simplify]: iters left: 1 (9 enodes)
3.947 * * [simplify]: Extracting #0: cost 1 inf + 0
3.947 * * [simplify]: Extracting #1: cost 2 inf + 0
3.947 * * [simplify]: Extracting #2: cost 4 inf + 0
3.948 * * [simplify]: Extracting #3: cost 2 inf + 2
3.948 * * [simplify]: Extracting #4: cost 0 inf + 526
3.948 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
3.948 * [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)))
3.948 * * * * [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)))>
3.948 * * * * [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)))>
3.948 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
3.948 * * [simplify]: iters left: 3 (7 enodes)
3.950 * * [simplify]: iters left: 2 (17 enodes)
3.953 * * [simplify]: iters left: 1 (36 enodes)
3.960 * * [simplify]: Extracting #0: cost 1 inf + 0
3.960 * * [simplify]: Extracting #1: cost 10 inf + 0
3.961 * * [simplify]: Extracting #2: cost 15 inf + 1
3.961 * * [simplify]: Extracting #3: cost 14 inf + 323
3.961 * * [simplify]: Extracting #4: cost 9 inf + 1372
3.961 * * [simplify]: Extracting #5: cost 6 inf + 1498
3.962 * * [simplify]: Extracting #6: cost 0 inf + 3353
3.962 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.963 * [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)))
3.963 * * * * [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)))>
3.963 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.963 * * [simplify]: iters left: 3 (7 enodes)
3.967 * * [simplify]: iters left: 2 (23 enodes)
3.975 * * [simplify]: iters left: 1 (42 enodes)
3.988 * * [simplify]: Extracting #0: cost 1 inf + 0
3.989 * * [simplify]: Extracting #1: cost 12 inf + 0
3.989 * * [simplify]: Extracting #2: cost 16 inf + 1
3.989 * * [simplify]: Extracting #3: cost 15 inf + 323
3.989 * * [simplify]: Extracting #4: cost 11 inf + 1050
3.989 * * [simplify]: Extracting #5: cost 5 inf + 2222
3.990 * * [simplify]: Extracting #6: cost 0 inf + 4395
3.991 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.991 * [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)))
3.991 * * * * [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)))>
3.991 * * * * [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)))>
3.992 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) beta)
3.992 * * [simplify]: iters left: 2 (4 enodes)
3.994 * * [simplify]: iters left: 1 (16 enodes)
3.999 * * [simplify]: Extracting #0: cost 1 inf + 0
3.999 * * [simplify]: Extracting #1: cost 9 inf + 0
3.999 * * [simplify]: Extracting #2: cost 11 inf + 1
4.000 * * [simplify]: Extracting #3: cost 13 inf + 323
4.000 * * [simplify]: Extracting #4: cost 9 inf + 1933
4.000 * * [simplify]: Extracting #5: cost 3 inf + 4862
4.001 * * [simplify]: Extracting #6: cost 0 inf + 7748
4.001 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
4.001 * [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.001 * * * * [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.002 * [simplify]: Simplifying (*.p16 beta (-.p16 beta alpha))
4.002 * * [simplify]: iters left: 2 (4 enodes)
4.003 * * [simplify]: iters left: 1 (16 enodes)
4.005 * * [simplify]: Extracting #0: cost 1 inf + 0
4.005 * * [simplify]: Extracting #1: cost 9 inf + 0
4.005 * * [simplify]: Extracting #2: cost 11 inf + 1
4.005 * * [simplify]: Extracting #3: cost 13 inf + 323
4.005 * * [simplify]: Extracting #4: cost 9 inf + 1933
4.006 * * [simplify]: Extracting #5: cost 3 inf + 4862
4.006 * * [simplify]: Extracting #6: cost 0 inf + 7748
4.006 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
4.006 * [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.006 * * * * [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.006 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
4.006 * * [simplify]: iters left: 3 (7 enodes)
4.008 * * [simplify]: iters left: 2 (28 enodes)
4.013 * * [simplify]: iters left: 1 (79 enodes)
4.031 * * [simplify]: Extracting #0: cost 1 inf + 0
4.031 * * [simplify]: Extracting #1: cost 23 inf + 0
4.031 * * [simplify]: Extracting #2: cost 63 inf + 0
4.032 * * [simplify]: Extracting #3: cost 75 inf + 1531
4.033 * * [simplify]: Extracting #4: cost 37 inf + 47856
4.035 * * [simplify]: Extracting #5: cost 1 inf + 91596
4.039 * * [simplify]: Extracting #6: cost 0 inf + 94238
4.042 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
4.042 * [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.042 * * * * [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.042 * * * * [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.042 * [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.042 * * [simplify]: iters left: 6 (15 enodes)
4.046 * * [simplify]: iters left: 5 (52 enodes)
4.068 * * [simplify]: iters left: 4 (152 enodes)
4.135 * * [simplify]: Extracting #0: cost 1 inf + 0
4.136 * * [simplify]: Extracting #1: cost 3 inf + 0
4.136 * * [simplify]: Extracting #2: cost 6 inf + 0
4.136 * * [simplify]: Extracting #3: cost 36 inf + 2
4.136 * * [simplify]: Extracting #4: cost 104 inf + 3
4.137 * * [simplify]: Extracting #5: cost 112 inf + 4517
4.140 * * [simplify]: Extracting #6: cost 50 inf + 77491
4.146 * * [simplify]: Extracting #7: cost 1 inf + 122190
4.152 * * [simplify]: Extracting #8: cost 0 inf + 124192
4.162 * [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))
4.163 * [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)))
4.163 * * * * [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)))>
4.163 * [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.163 * * [simplify]: iters left: 6 (15 enodes)
4.171 * * [simplify]: iters left: 5 (52 enodes)
4.193 * * [simplify]: iters left: 4 (152 enodes)
4.271 * * [simplify]: Extracting #0: cost 1 inf + 0
4.271 * * [simplify]: Extracting #1: cost 3 inf + 0
4.271 * * [simplify]: Extracting #2: cost 6 inf + 0
4.271 * * [simplify]: Extracting #3: cost 36 inf + 2
4.271 * * [simplify]: Extracting #4: cost 104 inf + 3
4.272 * * [simplify]: Extracting #5: cost 112 inf + 4517
4.275 * * [simplify]: Extracting #6: cost 50 inf + 77491
4.281 * * [simplify]: Extracting #7: cost 1 inf + 122190
4.287 * * [simplify]: Extracting #8: cost 0 inf + 124192
4.293 * [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))
4.293 * [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)))
4.293 * * * * [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)))>
4.293 * [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.293 * * [simplify]: iters left: 6 (15 enodes)
4.297 * * [simplify]: iters left: 5 (52 enodes)
4.318 * * [simplify]: iters left: 4 (152 enodes)
4.381 * * [simplify]: Extracting #0: cost 1 inf + 0
4.381 * * [simplify]: Extracting #1: cost 3 inf + 0
4.381 * * [simplify]: Extracting #2: cost 6 inf + 0
4.381 * * [simplify]: Extracting #3: cost 36 inf + 2
4.381 * * [simplify]: Extracting #4: cost 104 inf + 3
4.383 * * [simplify]: Extracting #5: cost 112 inf + 4517
4.390 * * [simplify]: Extracting #6: cost 50 inf + 77491
4.401 * * [simplify]: Extracting #7: cost 1 inf + 122190
4.413 * * [simplify]: Extracting #8: cost 0 inf + 124192
4.425 * [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))
4.425 * [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)))
4.425 * * * * [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)))>
4.425 * [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.425 * * [simplify]: iters left: 6 (15 enodes)
4.429 * * [simplify]: iters left: 5 (52 enodes)
4.440 * * [simplify]: iters left: 4 (152 enodes)
4.509 * * [simplify]: Extracting #0: cost 1 inf + 0
4.509 * * [simplify]: Extracting #1: cost 3 inf + 0
4.510 * * [simplify]: Extracting #2: cost 6 inf + 0
4.510 * * [simplify]: Extracting #3: cost 36 inf + 2
4.510 * * [simplify]: Extracting #4: cost 104 inf + 3
4.512 * * [simplify]: Extracting #5: cost 112 inf + 4517
4.518 * * [simplify]: Extracting #6: cost 50 inf + 77491
4.529 * * [simplify]: Extracting #7: cost 1 inf + 122190
4.541 * * [simplify]: Extracting #8: cost 0 inf + 124192
4.553 * [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))
4.553 * [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)))
4.554 * * * [progress]: adding candidates to table
5.112 * * [progress]: iteration 4 / 4
5.112 * * * [progress]: picking best candidate
5.266 * * * * [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)))>
5.266 * * * [progress]: localizing error
5.426 * * * [progress]: generating rewritten candidates
5.426 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.431 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.437 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
5.442 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.461 * * * [progress]: generating series expansions
5.461 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.461 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.461 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.461 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.461 * * * [progress]: simplifying candidates
5.461 * * * * [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)))>
5.461 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
5.462 * * [simplify]: iters left: 2 (5 enodes)
5.464 * * [simplify]: iters left: 1 (19 enodes)
5.471 * * [simplify]: Extracting #0: cost 1 inf + 0
5.471 * * [simplify]: Extracting #1: cost 8 inf + 0
5.471 * * [simplify]: Extracting #2: cost 16 inf + 0
5.471 * * [simplify]: Extracting #3: cost 16 inf + 1766
5.471 * * [simplify]: Extracting #4: cost 6 inf + 6819
5.472 * * [simplify]: Extracting #5: cost 1 inf + 12227
5.473 * * [simplify]: Extracting #6: cost 0 inf + 13549
5.474 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
5.474 * [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)))
5.474 * * * * [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)))>
5.474 * * * * [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)))>
5.474 * [simplify]: Simplifying (real->posit16 2.0)
5.474 * * [simplify]: iters left: 1 (2 enodes)
5.476 * * [simplify]: Extracting #0: cost 1 inf + 0
5.476 * * [simplify]: Extracting #1: cost 2 inf + 0
5.476 * * [simplify]: Extracting #2: cost 1 inf + 1
5.476 * * [simplify]: Extracting #3: cost 0 inf + 2
5.476 * [simplify]: Simplified to (real->posit16 2.0)
5.476 * [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)))
5.476 * * * * [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)))>
5.476 * * * * [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)))>
5.477 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.477 * * [simplify]: iters left: 6 (12 enodes)
5.482 * * [simplify]: iters left: 5 (29 enodes)
5.491 * * [simplify]: iters left: 4 (46 enodes)
5.499 * * [simplify]: iters left: 3 (97 enodes)
5.531 * * [simplify]: iters left: 2 (335 enodes)
5.742 * * [simplify]: Extracting #0: cost 1 inf + 0
5.742 * * [simplify]: Extracting #1: cost 3 inf + 0
5.742 * * [simplify]: Extracting #2: cost 6 inf + 0
5.743 * * [simplify]: Extracting #3: cost 84 inf + 2
5.745 * * [simplify]: Extracting #4: cost 417 inf + 3
5.751 * * [simplify]: Extracting #5: cost 428 inf + 54952
5.784 * * [simplify]: Extracting #6: cost 141 inf + 421995
5.836 * * [simplify]: Extracting #7: cost 6 inf + 644394
5.876 * * [simplify]: Extracting #8: cost 0 inf + 656444
5.923 * [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))
5.923 * [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)))
5.923 * * * * [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)))>
5.923 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.924 * * [simplify]: iters left: 6 (12 enodes)
5.930 * * [simplify]: iters left: 5 (29 enodes)
5.939 * * [simplify]: iters left: 4 (46 enodes)
5.956 * * [simplify]: iters left: 3 (97 enodes)
5.979 * * [simplify]: iters left: 2 (335 enodes)
6.196 * * [simplify]: Extracting #0: cost 1 inf + 0
6.196 * * [simplify]: Extracting #1: cost 3 inf + 0
6.196 * * [simplify]: Extracting #2: cost 6 inf + 0
6.196 * * [simplify]: Extracting #3: cost 84 inf + 2
6.197 * * [simplify]: Extracting #4: cost 417 inf + 3
6.201 * * [simplify]: Extracting #5: cost 428 inf + 54952
6.216 * * [simplify]: Extracting #6: cost 141 inf + 421995
6.264 * * [simplify]: Extracting #7: cost 6 inf + 644394
6.324 * * [simplify]: Extracting #8: cost 0 inf + 656444
6.378 * [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))
6.378 * [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)))
6.378 * * * * [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)))>
6.378 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
6.378 * * [simplify]: iters left: 6 (12 enodes)
6.385 * * [simplify]: iters left: 5 (29 enodes)
6.395 * * [simplify]: iters left: 4 (46 enodes)
6.411 * * [simplify]: iters left: 3 (97 enodes)
6.457 * * [simplify]: iters left: 2 (335 enodes)
6.767 * * [simplify]: Extracting #0: cost 1 inf + 0
6.767 * * [simplify]: Extracting #1: cost 3 inf + 0
6.767 * * [simplify]: Extracting #2: cost 6 inf + 0
6.768 * * [simplify]: Extracting #3: cost 84 inf + 2
6.770 * * [simplify]: Extracting #4: cost 417 inf + 3
6.777 * * [simplify]: Extracting #5: cost 428 inf + 54952
6.814 * * [simplify]: Extracting #6: cost 141 inf + 421995
6.865 * * [simplify]: Extracting #7: cost 6 inf + 644394
6.921 * * [simplify]: Extracting #8: cost 0 inf + 656444
6.978 * [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))
6.978 * [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)))
6.978 * * * * [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)))>
6.979 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
6.979 * * [simplify]: iters left: 6 (12 enodes)
6.984 * * [simplify]: iters left: 5 (29 enodes)
6.994 * * [simplify]: iters left: 4 (46 enodes)
7.010 * * [simplify]: iters left: 3 (97 enodes)
7.055 * * [simplify]: iters left: 2 (335 enodes)
7.302 * * [simplify]: Extracting #0: cost 1 inf + 0
7.303 * * [simplify]: Extracting #1: cost 3 inf + 0
7.303 * * [simplify]: Extracting #2: cost 6 inf + 0
7.303 * * [simplify]: Extracting #3: cost 84 inf + 2
7.305 * * [simplify]: Extracting #4: cost 417 inf + 3
7.310 * * [simplify]: Extracting #5: cost 428 inf + 54952
7.326 * * [simplify]: Extracting #6: cost 141 inf + 421995
7.374 * * [simplify]: Extracting #7: cost 6 inf + 644394
7.418 * * [simplify]: Extracting #8: cost 0 inf + 656444
7.452 * [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))
7.452 * [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)))
7.452 * * * [progress]: adding candidates to table
7.756 * [progress]: [Phase 3 of 3] Extracting.
7.756 * * [regime]: Finding splitpoints for: (#<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)))> #<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)))> #<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 (*.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 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)))> #<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.758 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
7.758 * * * * [regimes]: Trying to branch on alpha from (#<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)))> #<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)))> #<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 (*.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 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)))> #<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.999 * * * * [regimes]: Trying to branch on beta from (#<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)))> #<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)))> #<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 (*.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 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)))> #<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.239 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
8.239 * [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.239 * * [simplify]: iters left: 6 (12 enodes)
8.241 * * [simplify]: Extracting #0: cost 1 inf + 0
8.242 * * [simplify]: Extracting #1: cost 3 inf + 0
8.242 * * [simplify]: Extracting #2: cost 6 inf + 0
8.242 * * [simplify]: Extracting #3: cost 8 inf + 1
8.242 * * [simplify]: Extracting #4: cost 8 inf + 4
8.242 * * [simplify]: Extracting #5: cost 5 inf + 48
8.242 * * [simplify]: Extracting #6: cost 0 inf + 2544
8.242 * [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))
8.242 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
8.264 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
8.267 * * * * [points]: Setting MPFR precision to 64
8.268 * * * * [points]: Setting MPFR precision to 320
8.269 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
8.272 * * * * [points]: Setting MPFR precision to 64
8.274 * * * * [points]: Setting MPFR precision to 320
8.276 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
8.279 * * * * [points]: Setting MPFR precision to 64
8.282 * * * * [points]: Setting MPFR precision to 320
8.286 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
8.292 * * * * [points]: Setting MPFR precision to 64
8.306 * * * * [points]: Setting MPFR precision to 320
8.319 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
8.325 * * * * [points]: Setting MPFR precision to 64
8.348 * * * * [points]: Setting MPFR precision to 320
8.369 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
8.375 * * * * [points]: Setting MPFR precision to 64
8.448 * * * * [points]: Setting MPFR precision to 320
8.491 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
8.496 * * * * [points]: Setting MPFR precision to 64
8.580 * * * * [points]: Setting MPFR precision to 320
9.146 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.152 * * * * [points]: Setting MPFR precision to 64
9.403 * * * * [points]: Setting MPFR precision to 320
9.654 * * * * [points]: Computing exacts for 8000 points
9.660 * * * * [points]: Setting MPFR precision to 64
10.543 * * * * [points]: Setting MPFR precision to 320
11.532 * * * * [points]: Filtering points with unrepresentable outputs
11.551 * * * * [points]: Sampling 3418 additional inputs, on iter 1 have 4582 / 8000
11.569 * * * * [points]: Computing exacts on every 213 of 3418 points to ramp up precision
11.575 * * * * [points]: Setting MPFR precision to 64
11.577 * * * * [points]: Setting MPFR precision to 320
11.579 * * * * [points]: Computing exacts on every 106 of 3418 points to ramp up precision
11.584 * * * * [points]: Setting MPFR precision to 64
11.588 * * * * [points]: Setting MPFR precision to 320
11.591 * * * * [points]: Computing exacts on every 53 of 3418 points to ramp up precision
11.597 * * * * [points]: Setting MPFR precision to 64
11.604 * * * * [points]: Setting MPFR precision to 320
11.610 * * * * [points]: Computing exacts on every 26 of 3418 points to ramp up precision
11.616 * * * * [points]: Setting MPFR precision to 64
11.629 * * * * [points]: Setting MPFR precision to 320
11.643 * * * * [points]: Computing exacts on every 13 of 3418 points to ramp up precision
11.649 * * * * [points]: Setting MPFR precision to 64
11.686 * * * * [points]: Setting MPFR precision to 320
11.699 * * * * [points]: Computing exacts on every 6 of 3418 points to ramp up precision
11.703 * * * * [points]: Setting MPFR precision to 64
11.730 * * * * [points]: Setting MPFR precision to 320
11.759 * * * * [points]: Computing exacts on every 3 of 3418 points to ramp up precision
11.762 * * * * [points]: Setting MPFR precision to 64
11.868 * * * * [points]: Setting MPFR precision to 320
11.919 * * * * [points]: Computing exacts for 3418 points
11.922 * * * * [points]: Setting MPFR precision to 64
12.179 * * * * [points]: Setting MPFR precision to 320
12.454 * * * * [points]: Filtering points with unrepresentable outputs
12.461 * * * * [points]: Sampling 1547 additional inputs, on iter 2 have 6453 / 8000
12.469 * * * * [points]: Computing exacts on every 96 of 1547 points to ramp up precision
12.475 * * * * [points]: Setting MPFR precision to 64
12.477 * * * * [points]: Setting MPFR precision to 320
12.479 * * * * [points]: Computing exacts on every 48 of 1547 points to ramp up precision
12.484 * * * * [points]: Setting MPFR precision to 64
12.488 * * * * [points]: Setting MPFR precision to 320
12.491 * * * * [points]: Computing exacts on every 24 of 1547 points to ramp up precision
12.496 * * * * [points]: Setting MPFR precision to 64
12.503 * * * * [points]: Setting MPFR precision to 320
12.547 * * * * [points]: Computing exacts on every 12 of 1547 points to ramp up precision
12.553 * * * * [points]: Setting MPFR precision to 64
12.568 * * * * [points]: Setting MPFR precision to 320
12.580 * * * * [points]: Computing exacts on every 6 of 1547 points to ramp up precision
12.586 * * * * [points]: Setting MPFR precision to 64
12.609 * * * * [points]: Setting MPFR precision to 320
12.633 * * * * [points]: Computing exacts on every 3 of 1547 points to ramp up precision
12.638 * * * * [points]: Setting MPFR precision to 64
12.675 * * * * [points]: Setting MPFR precision to 320
12.696 * * * * [points]: Computing exacts for 1547 points
12.699 * * * * [points]: Setting MPFR precision to 64
13.231 * * * * [points]: Setting MPFR precision to 320
13.369 * * * * [points]: Filtering points with unrepresentable outputs
13.370 * * * * [points]: Sampling 679 additional inputs, on iter 3 have 7321 / 8000
13.372 * * * * [points]: Computing exacts on every 42 of 679 points to ramp up precision
13.375 * * * * [points]: Setting MPFR precision to 64
13.376 * * * * [points]: Setting MPFR precision to 320
13.377 * * * * [points]: Computing exacts on every 21 of 679 points to ramp up precision
13.383 * * * * [points]: Setting MPFR precision to 64
13.386 * * * * [points]: Setting MPFR precision to 320
13.389 * * * * [points]: Computing exacts on every 10 of 679 points to ramp up precision
13.394 * * * * [points]: Setting MPFR precision to 64
13.398 * * * * [points]: Setting MPFR precision to 320
13.401 * * * * [points]: Computing exacts on every 5 of 679 points to ramp up precision
13.404 * * * * [points]: Setting MPFR precision to 64
13.411 * * * * [points]: Setting MPFR precision to 320
13.417 * * * * [points]: Computing exacts on every 2 of 679 points to ramp up precision
13.420 * * * * [points]: Setting MPFR precision to 64
13.433 * * * * [points]: Setting MPFR precision to 320
13.447 * * * * [points]: Computing exacts for 679 points
13.477 * * * * [points]: Setting MPFR precision to 64
13.549 * * * * [points]: Setting MPFR precision to 320
13.619 * * * * [points]: Filtering points with unrepresentable outputs
13.620 * * * * [points]: Sampling 293 additional inputs, on iter 4 have 7707 / 8000
13.622 * * * * [points]: Computing exacts on every 18 of 293 points to ramp up precision
13.628 * * * * [points]: Setting MPFR precision to 64
13.630 * * * * [points]: Setting MPFR precision to 320
13.631 * * * * [points]: Computing exacts on every 9 of 293 points to ramp up precision
13.637 * * * * [points]: Setting MPFR precision to 64
13.640 * * * * [points]: Setting MPFR precision to 320
13.643 * * * * [points]: Computing exacts on every 4 of 293 points to ramp up precision
13.649 * * * * [points]: Setting MPFR precision to 64
13.655 * * * * [points]: Setting MPFR precision to 320
13.662 * * * * [points]: Computing exacts on every 2 of 293 points to ramp up precision
13.669 * * * * [points]: Setting MPFR precision to 64
13.717 * * * * [points]: Setting MPFR precision to 320
13.731 * * * * [points]: Computing exacts for 293 points
13.737 * * * * [points]: Setting MPFR precision to 64
13.766 * * * * [points]: Setting MPFR precision to 320
13.796 * * * * [points]: Filtering points with unrepresentable outputs
13.797 * * * * [points]: Sampling 135 additional inputs, on iter 5 have 7865 / 8000
13.798 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
13.804 * * * * [points]: Setting MPFR precision to 64
13.806 * * * * [points]: Setting MPFR precision to 320
13.807 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
13.813 * * * * [points]: Setting MPFR precision to 64
13.816 * * * * [points]: Setting MPFR precision to 320
13.820 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
13.826 * * * * [points]: Setting MPFR precision to 64
13.831 * * * * [points]: Setting MPFR precision to 320
13.836 * * * * [points]: Computing exacts for 135 points
13.842 * * * * [points]: Setting MPFR precision to 64
13.856 * * * * [points]: Setting MPFR precision to 320
13.870 * * * * [points]: Filtering points with unrepresentable outputs
13.870 * * * * [points]: Sampling 61 additional inputs, on iter 6 have 7939 / 8000
13.871 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
13.876 * * * * [points]: Setting MPFR precision to 64
13.878 * * * * [points]: Setting MPFR precision to 320
13.880 * * * * [points]: Computing exacts for 61 points
13.886 * * * * [points]: Setting MPFR precision to 64
13.892 * * * * [points]: Setting MPFR precision to 320
13.898 * * * * [points]: Filtering points with unrepresentable outputs
13.899 * * * * [points]: Sampling 26 additional inputs, on iter 7 have 7974 / 8000
13.899 * * * * [points]: Computing exacts for 26 points
13.905 * * * * [points]: Setting MPFR precision to 64
13.942 * * * * [points]: Setting MPFR precision to 320
13.945 * * * * [points]: Filtering points with unrepresentable outputs
13.945 * * * * [points]: Sampling 13 additional inputs, on iter 8 have 7987 / 8000
13.946 * * * * [points]: Computing exacts for 13 points
13.954 * * * * [points]: Setting MPFR precision to 64
13.956 * * * * [points]: Setting MPFR precision to 320
13.957 * * * * [points]: Filtering points with unrepresentable outputs
13.957 * * * * [points]: Sampling 5 additional inputs, on iter 9 have 7995 / 8000
13.957 * * * * [points]: Computing exacts for 5 points
13.963 * * * * [points]: Setting MPFR precision to 64
13.964 * * * * [points]: Setting MPFR precision to 320
13.965 * * * * [points]: Filtering points with unrepresentable outputs
13.965 * * * * [points]: Sampled 8000 points with exact outputs
18.011 * [regime-testing]: Baseline error score: 64.0
18.014 * [regime-testing]: Oracle error score: 64.0
18.021 * [regime-testing]: End program error score: 0.7675844848844008