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.006 * * * * [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.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.051 * * * * [points]: Setting MPFR precision to 320
0.066 * * * * [points]: Filtering points with unrepresentable outputs
0.066 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256
0.066 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision
0.069 * * * * [points]: Setting MPFR precision to 64
0.070 * * * * [points]: Setting MPFR precision to 320
0.071 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision
0.074 * * * * [points]: Setting MPFR precision to 64
0.090 * * * * [points]: Setting MPFR precision to 320
0.092 * * * * [points]: Computing exacts for 122 points
0.096 * * * * [points]: Setting MPFR precision to 64
0.103 * * * * [points]: Setting MPFR precision to 320
0.109 * * * * [points]: Filtering points with unrepresentable outputs
0.110 * * * * [points]: Sampling 54 additional inputs, on iter 2 have 202 / 256
0.110 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
0.113 * * * * [points]: Setting MPFR precision to 64
0.114 * * * * [points]: Setting MPFR precision to 320
0.114 * * * * [points]: Computing exacts for 54 points
0.117 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Filtering points with unrepresentable outputs
0.124 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256
0.124 * * * * [points]: Computing exacts for 19 points
0.127 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Filtering points with unrepresentable outputs
0.129 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.129 * * * * [points]: Computing exacts for 10 points
0.132 * * * * [points]: Setting MPFR precision to 64
0.132 * * * * [points]: Setting MPFR precision to 320
0.133 * * * * [points]: Filtering points with unrepresentable outputs
0.133 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.133 * * * * [points]: Computing exacts for 6 points
0.136 * * * * [points]: Setting MPFR precision to 64
0.136 * * * * [points]: Setting MPFR precision to 320
0.137 * * * * [points]: Filtering points with unrepresentable outputs
0.137 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.137 * * * * [points]: Computing exacts for 4 points
0.139 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.140 * * * * [points]: Filtering points with unrepresentable outputs
0.140 * * * * [points]: Sampled 257 points with exact outputs
0.140 * * * [progress]: [2/2] Setting up program.
0.154 * [progress]: [Phase 2 of 3] Improving.
0.154 * * * * [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.155 * [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.155 * * [simplify]: iters left: 5 (12 enodes)
0.158 * * [simplify]: iters left: 4 (29 enodes)
0.163 * * [simplify]: iters left: 3 (46 enodes)
0.171 * * [simplify]: iters left: 2 (97 enodes)
0.208 * * [simplify]: iters left: 1 (335 enodes)
0.365 * * [simplify]: Extracting #0: cost 1 inf + 0
0.365 * * [simplify]: Extracting #1: cost 3 inf + 0
0.365 * * [simplify]: Extracting #2: cost 6 inf + 0
0.365 * * [simplify]: Extracting #3: cost 84 inf + 2
0.366 * * [simplify]: Extracting #4: cost 417 inf + 3
0.373 * * [simplify]: Extracting #5: cost 404 inf + 78485
0.410 * * [simplify]: Extracting #6: cost 124 inf + 437558
0.442 * * [simplify]: Extracting #7: cost 5 inf + 645994
0.470 * * [simplify]: Extracting #8: cost 0 inf + 656284
0.499 * [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.499 * [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.513 * * [progress]: iteration 1 / 4
0.513 * * * [progress]: picking best candidate
0.527 * * * * [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.527 * * * [progress]: localizing error
0.690 * * * [progress]: generating rewritten candidates
0.690 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.701 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.708 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.728 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.754 * * * [progress]: generating series expansions
0.754 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.754 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.754 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.754 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.754 * * * [progress]: simplifying candidates
0.754 * * * * [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.755 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
0.755 * * [simplify]: iters left: 2 (5 enodes)
0.757 * * [simplify]: iters left: 1 (19 enodes)
0.764 * * [simplify]: Extracting #0: cost 1 inf + 0
0.764 * * [simplify]: Extracting #1: cost 8 inf + 0
0.764 * * [simplify]: Extracting #2: cost 16 inf + 0
0.764 * * [simplify]: Extracting #3: cost 16 inf + 1766
0.765 * * [simplify]: Extracting #4: cost 6 inf + 6819
0.765 * * [simplify]: Extracting #5: cost 1 inf + 12227
0.766 * * [simplify]: Extracting #6: cost 0 inf + 13549
0.768 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
0.768 * [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.768 * * * * [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.769 * * * * [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.769 * * * * [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.769 * * * * [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.769 * [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.769 * * [simplify]: iters left: 5 (12 enodes)
0.775 * * [simplify]: iters left: 4 (29 enodes)
0.786 * * [simplify]: iters left: 3 (46 enodes)
0.803 * * [simplify]: iters left: 2 (97 enodes)
0.848 * * [simplify]: iters left: 1 (335 enodes)
1.134 * * [simplify]: Extracting #0: cost 1 inf + 0
1.134 * * [simplify]: Extracting #1: cost 3 inf + 0
1.134 * * [simplify]: Extracting #2: cost 6 inf + 0
1.134 * * [simplify]: Extracting #3: cost 84 inf + 2
1.135 * * [simplify]: Extracting #4: cost 417 inf + 3
1.139 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.167 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.199 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.256 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.284 * [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.284 * [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.284 * * * * [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.284 * [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.284 * * [simplify]: iters left: 5 (12 enodes)
1.287 * * [simplify]: iters left: 4 (29 enodes)
1.292 * * [simplify]: iters left: 3 (46 enodes)
1.302 * * [simplify]: iters left: 2 (97 enodes)
1.323 * * [simplify]: iters left: 1 (335 enodes)
1.609 * * [simplify]: Extracting #0: cost 1 inf + 0
1.609 * * [simplify]: Extracting #1: cost 3 inf + 0
1.609 * * [simplify]: Extracting #2: cost 6 inf + 0
1.610 * * [simplify]: Extracting #3: cost 84 inf + 2
1.612 * * [simplify]: Extracting #4: cost 417 inf + 3
1.621 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.653 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.705 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.764 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.819 * [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.820 * [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.820 * * * * [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.820 * [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.820 * * [simplify]: iters left: 5 (12 enodes)
1.826 * * [simplify]: iters left: 4 (29 enodes)
1.836 * * [simplify]: iters left: 3 (46 enodes)
1.853 * * [simplify]: iters left: 2 (97 enodes)
1.900 * * [simplify]: iters left: 1 (335 enodes)
2.161 * * [simplify]: Extracting #0: cost 1 inf + 0
2.161 * * [simplify]: Extracting #1: cost 3 inf + 0
2.161 * * [simplify]: Extracting #2: cost 6 inf + 0
2.161 * * [simplify]: Extracting #3: cost 84 inf + 2
2.164 * * [simplify]: Extracting #4: cost 417 inf + 3
2.172 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.210 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.240 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.269 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.319 * [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.319 * [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.319 * * * * [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.320 * [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.320 * * [simplify]: iters left: 5 (12 enodes)
2.323 * * [simplify]: iters left: 4 (29 enodes)
2.328 * * [simplify]: iters left: 3 (46 enodes)
2.336 * * [simplify]: iters left: 2 (97 enodes)
2.369 * * [simplify]: iters left: 1 (335 enodes)
2.550 * * [simplify]: Extracting #0: cost 1 inf + 0
2.550 * * [simplify]: Extracting #1: cost 3 inf + 0
2.550 * * [simplify]: Extracting #2: cost 6 inf + 0
2.550 * * [simplify]: Extracting #3: cost 84 inf + 2
2.552 * * [simplify]: Extracting #4: cost 417 inf + 3
2.556 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.572 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.598 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.628 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.663 * [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.663 * [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.663 * * * [progress]: adding candidates to table
2.932 * * [progress]: iteration 2 / 4
2.932 * * * [progress]: picking best candidate
2.965 * * * * [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)))>
2.966 * * * [progress]: localizing error
3.115 * * * [progress]: generating rewritten candidates
3.115 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.121 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.128 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.133 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.147 * * * [progress]: generating series expansions
3.147 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.147 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.147 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.147 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.147 * * * [progress]: simplifying candidates
3.147 * * * * [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.147 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
3.147 * * [simplify]: iters left: 2 (5 enodes)
3.148 * * [simplify]: iters left: 1 (19 enodes)
3.151 * * [simplify]: Extracting #0: cost 1 inf + 0
3.152 * * [simplify]: Extracting #1: cost 8 inf + 0
3.152 * * [simplify]: Extracting #2: cost 16 inf + 0
3.152 * * [simplify]: Extracting #3: cost 16 inf + 1766
3.152 * * [simplify]: Extracting #4: cost 6 inf + 6819
3.152 * * [simplify]: Extracting #5: cost 1 inf + 12227
3.153 * * [simplify]: Extracting #6: cost 0 inf + 13549
3.153 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
3.153 * [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.153 * * * * [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.153 * * * * [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.153 * [simplify]: Simplifying (real->posit16 2.0)
3.153 * * [simplify]: iters left: 1 (2 enodes)
3.154 * * [simplify]: Extracting #0: cost 1 inf + 0
3.154 * * [simplify]: Extracting #1: cost 2 inf + 0
3.154 * * [simplify]: Extracting #2: cost 1 inf + 1
3.154 * * [simplify]: Extracting #3: cost 0 inf + 2
3.154 * [simplify]: Simplified to (real->posit16 2.0)
3.154 * [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.154 * * * * [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.155 * * * * [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.155 * * * * [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.155 * * * * [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.159 * * * * [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.159 * * * [progress]: adding candidates to table
3.407 * * [progress]: iteration 3 / 4
3.407 * * * [progress]: picking best candidate
3.458 * * * * [pick]: Picked  #<alt (λ (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.458 * * * [progress]: localizing error
3.773 * * * [progress]: generating rewritten candidates
3.773 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.782 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.790 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.796 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
3.801 * * * [progress]: generating series expansions
3.801 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.801 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.801 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.801 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
3.801 * * * [progress]: simplifying candidates
3.801 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
3.802 * [simplify]: Simplifying (+.p16 beta alpha)
3.802 * * [simplify]: iters left: 1 (3 enodes)
3.802 * * [simplify]: Extracting #0: cost 1 inf + 0
3.802 * * [simplify]: Extracting #1: cost 3 inf + 0
3.802 * * [simplify]: Extracting #2: cost 1 inf + 2
3.802 * * [simplify]: Extracting #3: cost 0 inf + 44
3.802 * [simplify]: Simplified to (+.p16 alpha beta)
3.802 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
3.803 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.803 * [simplify]: Simplifying (-.p16 beta alpha)
3.803 * * [simplify]: iters left: 1 (3 enodes)
3.803 * * [simplify]: Extracting #0: cost 1 inf + 0
3.804 * * [simplify]: Extracting #1: cost 6 inf + 0
3.804 * * [simplify]: Extracting #2: cost 5 inf + 44
3.804 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.804 * [simplify]: Simplified to (-.p16 beta alpha)
3.804 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
3.804 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.804 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.804 * * [simplify]: iters left: 3 (7 enodes)
3.806 * * [simplify]: iters left: 2 (28 enodes)
3.811 * * [simplify]: iters left: 1 (79 enodes)
3.832 * * [simplify]: Extracting #0: cost 1 inf + 0
3.832 * * [simplify]: Extracting #1: cost 23 inf + 0
3.832 * * [simplify]: Extracting #2: cost 63 inf + 0
3.832 * * [simplify]: Extracting #3: cost 75 inf + 1531
3.833 * * [simplify]: Extracting #4: cost 37 inf + 47856
3.836 * * [simplify]: Extracting #5: cost 1 inf + 91596
3.839 * * [simplify]: Extracting #6: cost 0 inf + 94238
3.842 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.842 * [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 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
3.842 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.842 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
3.842 * * [simplify]: iters left: 4 (8 enodes)
3.845 * * [simplify]: iters left: 3 (24 enodes)
3.849 * * [simplify]: iters left: 2 (40 enodes)
3.856 * * [simplify]: iters left: 1 (73 enodes)
3.875 * * [simplify]: Extracting #0: cost 1 inf + 0
3.875 * * [simplify]: Extracting #1: cost 10 inf + 0
3.875 * * [simplify]: Extracting #2: cost 57 inf + 0
3.876 * * [simplify]: Extracting #3: cost 81 inf + 2
3.877 * * [simplify]: Extracting #4: cost 58 inf + 14591
3.880 * * [simplify]: Extracting #5: cost 9 inf + 56006
3.884 * * [simplify]: Extracting #6: cost 0 inf + 70542
3.887 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))
3.887 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
3.887 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
3.887 * * [simplify]: iters left: 2 (5 enodes)
3.888 * * [simplify]: iters left: 1 (9 enodes)
3.889 * * [simplify]: Extracting #0: cost 1 inf + 0
3.889 * * [simplify]: Extracting #1: cost 2 inf + 0
3.889 * * [simplify]: Extracting #2: cost 4 inf + 0
3.889 * * [simplify]: Extracting #3: cost 2 inf + 2
3.889 * * [simplify]: Extracting #4: cost 0 inf + 526
3.889 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
3.889 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
3.890 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)))) (real->posit16 2.0)))>
3.890 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.890 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)
3.890 * * [simplify]: iters left: 4 (7 enodes)
3.892 * * [simplify]: iters left: 3 (17 enodes)
3.894 * * [simplify]: iters left: 2 (36 enodes)
3.903 * * [simplify]: iters left: 1 (55 enodes)
3.915 * * [simplify]: Extracting #0: cost 1 inf + 0
3.915 * * [simplify]: Extracting #1: cost 9 inf + 0
3.916 * * [simplify]: Extracting #2: cost 13 inf + 1
3.916 * * [simplify]: Extracting #3: cost 11 inf + 365
3.916 * * [simplify]: Extracting #4: cost 5 inf + 1176
3.916 * * [simplify]: Extracting #5: cost 0 inf + 2668
3.917 * [simplify]: Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
3.917 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
3.917 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.917 * [simplify]: Simplifying (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
3.918 * * [simplify]: iters left: 4 (7 enodes)
3.921 * * [simplify]: iters left: 3 (22 enodes)
3.928 * * [simplify]: iters left: 2 (42 enodes)
3.940 * * [simplify]: iters left: 1 (65 enodes)
3.956 * * [simplify]: Extracting #0: cost 1 inf + 0
3.956 * * [simplify]: Extracting #1: cost 9 inf + 0
3.956 * * [simplify]: Extracting #2: cost 13 inf + 1
3.957 * * [simplify]: Extracting #3: cost 12 inf + 323
3.957 * * [simplify]: Extracting #4: cost 7 inf + 772
3.957 * * [simplify]: Extracting #5: cost 1 inf + 2305
3.958 * * [simplify]: Extracting #6: cost 0 inf + 2668
3.958 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.958 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
3.958 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.958 * * * * [progress]: [ 9 / 14 ] 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)))>
3.959 * [simplify]: Simplifying (real->posit16 2.0)
3.959 * * [simplify]: iters left: 1 (2 enodes)
3.960 * * [simplify]: Extracting #0: cost 1 inf + 0
3.960 * * [simplify]: Extracting #1: cost 2 inf + 0
3.960 * * [simplify]: Extracting #2: cost 1 inf + 1
3.960 * * [simplify]: Extracting #3: cost 0 inf + 2
3.960 * [simplify]: Simplified to (real->posit16 2.0)
3.960 * [simplify]: Simplified (2 1 1 2 1 2) 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)))
3.960 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.960 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (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.961 * [simplify]: Simplifying (/.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.961 * * [simplify]: iters left: 6 (16 enodes)
3.968 * * [simplify]: iters left: 5 (53 enodes)
3.987 * * [simplify]: iters left: 4 (150 enodes)
4.045 * * [simplify]: Extracting #0: cost 1 inf + 0
4.045 * * [simplify]: Extracting #1: cost 3 inf + 0
4.045 * * [simplify]: Extracting #2: cost 6 inf + 0
4.045 * * [simplify]: Extracting #3: cost 33 inf + 2
4.045 * * [simplify]: Extracting #4: cost 101 inf + 4
4.046 * * [simplify]: Extracting #5: cost 106 inf + 5843
4.052 * * [simplify]: Extracting #6: cost 58 inf + 70736
4.057 * * [simplify]: Extracting #7: cost 0 inf + 127016
4.063 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
4.063 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
4.063 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (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)))>
4.063 * [simplify]: Simplifying (/.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))
4.063 * * [simplify]: iters left: 6 (16 enodes)
4.067 * * [simplify]: iters left: 5 (53 enodes)
4.078 * * [simplify]: iters left: 4 (150 enodes)
4.122 * * [simplify]: Extracting #0: cost 1 inf + 0
4.122 * * [simplify]: Extracting #1: cost 3 inf + 0
4.122 * * [simplify]: Extracting #2: cost 6 inf + 0
4.122 * * [simplify]: Extracting #3: cost 33 inf + 2
4.123 * * [simplify]: Extracting #4: cost 101 inf + 4
4.123 * * [simplify]: Extracting #5: cost 106 inf + 5843
4.126 * * [simplify]: Extracting #6: cost 58 inf + 70736
4.132 * * [simplify]: Extracting #7: cost 0 inf + 127016
4.143 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
4.143 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
4.143 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (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)))>
4.144 * [simplify]: Simplifying (/.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))
4.144 * * [simplify]: iters left: 6 (16 enodes)
4.152 * * [simplify]: iters left: 5 (53 enodes)
4.175 * * [simplify]: iters left: 4 (150 enodes)
4.229 * * [simplify]: Extracting #0: cost 1 inf + 0
4.229 * * [simplify]: Extracting #1: cost 3 inf + 0
4.229 * * [simplify]: Extracting #2: cost 6 inf + 0
4.230 * * [simplify]: Extracting #3: cost 33 inf + 2
4.230 * * [simplify]: Extracting #4: cost 101 inf + 4
4.230 * * [simplify]: Extracting #5: cost 106 inf + 5843
4.233 * * [simplify]: Extracting #6: cost 58 inf + 70736
4.239 * * [simplify]: Extracting #7: cost 0 inf + 127016
4.244 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
4.244 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
4.245 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (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)))>
4.245 * [simplify]: Simplifying (/.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))
4.245 * * [simplify]: iters left: 6 (16 enodes)
4.249 * * [simplify]: iters left: 5 (53 enodes)
4.262 * * [simplify]: iters left: 4 (150 enodes)
4.334 * * [simplify]: Extracting #0: cost 1 inf + 0
4.334 * * [simplify]: Extracting #1: cost 3 inf + 0
4.334 * * [simplify]: Extracting #2: cost 6 inf + 0
4.334 * * [simplify]: Extracting #3: cost 33 inf + 2
4.334 * * [simplify]: Extracting #4: cost 101 inf + 4
4.335 * * [simplify]: Extracting #5: cost 106 inf + 5843
4.338 * * [simplify]: Extracting #6: cost 58 inf + 70736
4.343 * * [simplify]: Extracting #7: cost 0 inf + 127016
4.351 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
4.351 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
4.351 * * * [progress]: adding candidates to table
5.243 * * [progress]: iteration 4 / 4
5.243 * * * [progress]: picking best candidate
5.359 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.359 * * * [progress]: localizing error
5.756 * * * [progress]: generating rewritten candidates
5.756 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.764 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.777 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
5.794 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
5.814 * * * [progress]: generating series expansions
5.814 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.814 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.814 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.814 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
5.814 * * * [progress]: simplifying candidates
5.814 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
5.814 * [simplify]: Simplifying (+.p16 beta alpha)
5.815 * * [simplify]: iters left: 1 (3 enodes)
5.816 * * [simplify]: Extracting #0: cost 1 inf + 0
5.816 * * [simplify]: Extracting #1: cost 3 inf + 0
5.816 * * [simplify]: Extracting #2: cost 1 inf + 2
5.816 * * [simplify]: Extracting #3: cost 0 inf + 44
5.816 * [simplify]: Simplified to (+.p16 alpha beta)
5.816 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
5.816 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.817 * [simplify]: Simplifying (-.p16 beta alpha)
5.817 * * [simplify]: iters left: 1 (3 enodes)
5.818 * * [simplify]: Extracting #0: cost 1 inf + 0
5.818 * * [simplify]: Extracting #1: cost 6 inf + 0
5.818 * * [simplify]: Extracting #2: cost 5 inf + 44
5.818 * * [simplify]: Extracting #3: cost 0 inf + 1571
5.818 * [simplify]: Simplified to (-.p16 beta alpha)
5.818 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
5.819 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (*.p16 (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.819 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
5.819 * * [simplify]: iters left: 3 (7 enodes)
5.821 * * [simplify]: iters left: 2 (28 enodes)
5.826 * * [simplify]: iters left: 1 (79 enodes)
5.843 * * [simplify]: Extracting #0: cost 1 inf + 0
5.843 * * [simplify]: Extracting #1: cost 23 inf + 0
5.843 * * [simplify]: Extracting #2: cost 63 inf + 0
5.844 * * [simplify]: Extracting #3: cost 75 inf + 1531
5.845 * * [simplify]: Extracting #4: cost 37 inf + 47856
5.848 * * [simplify]: Extracting #5: cost 1 inf + 91596
5.856 * * [simplify]: Extracting #6: cost 0 inf + 94238
5.862 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
5.862 * [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 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.862 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.862 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))
5.863 * * [simplify]: iters left: 4 (8 enodes)
5.865 * * [simplify]: iters left: 3 (24 enodes)
5.869 * * [simplify]: iters left: 2 (40 enodes)
5.876 * * [simplify]: iters left: 1 (89 enodes)
5.900 * * [simplify]: Extracting #0: cost 1 inf + 0
5.900 * * [simplify]: Extracting #1: cost 20 inf + 0
5.901 * * [simplify]: Extracting #2: cost 91 inf + 0
5.901 * * [simplify]: Extracting #3: cost 118 inf + 2
5.904 * * [simplify]: Extracting #4: cost 70 inf + 36874
5.911 * * [simplify]: Extracting #5: cost 4 inf + 97252
5.917 * * [simplify]: Extracting #6: cost 0 inf + 103423
5.921 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
5.921 * [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)))
5.922 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
5.922 * * [simplify]: iters left: 2 (5 enodes)
5.923 * * [simplify]: iters left: 1 (9 enodes)
5.924 * * [simplify]: Extracting #0: cost 1 inf + 0
5.924 * * [simplify]: Extracting #1: cost 2 inf + 0
5.924 * * [simplify]: Extracting #2: cost 4 inf + 0
5.924 * * [simplify]: Extracting #3: cost 2 inf + 2
5.924 * * [simplify]: Extracting #4: cost 0 inf + 526
5.924 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
5.924 * [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)))
5.925 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha)))) (real->posit16 2.0)))>
5.925 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) beta) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.925 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) alpha)
5.925 * * [simplify]: iters left: 4 (7 enodes)
5.927 * * [simplify]: iters left: 3 (17 enodes)
5.929 * * [simplify]: iters left: 2 (36 enodes)
5.936 * * [simplify]: iters left: 1 (55 enodes)
5.945 * * [simplify]: Extracting #0: cost 1 inf + 0
5.945 * * [simplify]: Extracting #1: cost 9 inf + 0
5.945 * * [simplify]: Extracting #2: cost 13 inf + 1
5.945 * * [simplify]: Extracting #3: cost 12 inf + 323
5.945 * * [simplify]: Extracting #4: cost 8 inf + 1370
5.946 * * [simplify]: Extracting #5: cost 3 inf + 1540
5.946 * * [simplify]: Extracting #6: cost 0 inf + 2668
5.946 * [simplify]: Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
5.946 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
5.946 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (*.p16 alpha (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.946 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))
5.947 * * [simplify]: iters left: 4 (7 enodes)
5.948 * * [simplify]: iters left: 3 (22 enodes)
5.952 * * [simplify]: iters left: 2 (42 enodes)
5.959 * * [simplify]: iters left: 1 (64 enodes)
5.968 * * [simplify]: Extracting #0: cost 1 inf + 0
5.968 * * [simplify]: Extracting #1: cost 9 inf + 0
5.968 * * [simplify]: Extracting #2: cost 13 inf + 1
5.968 * * [simplify]: Extracting #3: cost 10 inf + 1327
5.968 * * [simplify]: Extracting #4: cost 6 inf + 1134
5.968 * * [simplify]: Extracting #5: cost 1 inf + 2306
5.968 * * [simplify]: Extracting #6: cost 0 inf + 2668
5.969 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
5.969 * [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 beta (real->posit16 2.0)) alpha)) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
5.969 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.969 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.969 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (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)))>
5.969 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.969 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.969 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.969 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.969 * * * [progress]: adding candidates to table
6.691 * [progress]: [Phase 3 of 3] Extracting.
6.691 * * [regime]: Finding splitpoints for: (#<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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 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 alpha (+.p16 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 alpha (+.p16 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 beta (+.p16 (real->posit16 2.0) alpha)) (+.p16 beta alpha))) (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 beta (real->posit16 2.0)) alpha) beta) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
6.692 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
6.692 * * * * [regimes]: Trying to branch on alpha from (#<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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 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 alpha (+.p16 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 alpha (+.p16 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 beta (+.p16 (real->posit16 2.0) alpha)) (+.p16 beta alpha))) (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 beta (real->posit16 2.0)) alpha) beta) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
6.841 * * * * [regimes]: Trying to branch on beta from (#<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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 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 alpha (+.p16 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 alpha (+.p16 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 beta (+.p16 (real->posit16 2.0) alpha)) (+.p16 beta alpha))) (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 beta (real->posit16 2.0)) alpha) beta) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
7.078 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
7.078 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
7.078 * * [simplify]: iters left: 5 (12 enodes)
7.080 * * [simplify]: Extracting #0: cost 1 inf + 0
7.080 * * [simplify]: Extracting #1: cost 3 inf + 0
7.080 * * [simplify]: Extracting #2: cost 6 inf + 0
7.080 * * [simplify]: Extracting #3: cost 7 inf + 2
7.080 * * [simplify]: Extracting #4: cost 8 inf + 4
7.081 * * [simplify]: Extracting #5: cost 6 inf + 6
7.081 * * [simplify]: Extracting #6: cost 0 inf + 2544
7.081 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
7.081 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
7.110 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
7.116 * * * * [points]: Setting MPFR precision to 64
7.118 * * * * [points]: Setting MPFR precision to 320
7.119 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
7.125 * * * * [points]: Setting MPFR precision to 64
7.128 * * * * [points]: Setting MPFR precision to 320
7.131 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
7.137 * * * * [points]: Setting MPFR precision to 64
7.143 * * * * [points]: Setting MPFR precision to 320
7.149 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
7.154 * * * * [points]: Setting MPFR precision to 64
7.167 * * * * [points]: Setting MPFR precision to 320
7.180 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
7.185 * * * * [points]: Setting MPFR precision to 64
7.210 * * * * [points]: Setting MPFR precision to 320
7.236 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
7.242 * * * * [points]: Setting MPFR precision to 64
7.323 * * * * [points]: Setting MPFR precision to 320
7.375 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
7.381 * * * * [points]: Setting MPFR precision to 64
7.481 * * * * [points]: Setting MPFR precision to 320
7.600 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
7.606 * * * * [points]: Setting MPFR precision to 64
7.796 * * * * [points]: Setting MPFR precision to 320
7.986 * * * * [points]: Computing exacts for 8000 points
7.992 * * * * [points]: Setting MPFR precision to 64
8.896 * * * * [points]: Setting MPFR precision to 320
9.645 * * * * [points]: Filtering points with unrepresentable outputs
9.654 * * * * [points]: Sampling 3510 additional inputs, on iter 1 have 4490 / 8000
9.664 * * * * [points]: Computing exacts on every 219 of 3510 points to ramp up precision
9.667 * * * * [points]: Setting MPFR precision to 64
9.669 * * * * [points]: Setting MPFR precision to 320
9.670 * * * * [points]: Computing exacts on every 109 of 3510 points to ramp up precision
9.676 * * * * [points]: Setting MPFR precision to 64
9.679 * * * * [points]: Setting MPFR precision to 320
9.682 * * * * [points]: Computing exacts on every 54 of 3510 points to ramp up precision
9.688 * * * * [points]: Setting MPFR precision to 64
9.694 * * * * [points]: Setting MPFR precision to 320
9.700 * * * * [points]: Computing exacts on every 27 of 3510 points to ramp up precision
9.706 * * * * [points]: Setting MPFR precision to 64
9.718 * * * * [points]: Setting MPFR precision to 320
9.731 * * * * [points]: Computing exacts on every 13 of 3510 points to ramp up precision
9.737 * * * * [points]: Setting MPFR precision to 64
9.762 * * * * [points]: Setting MPFR precision to 320
9.816 * * * * [points]: Computing exacts on every 6 of 3510 points to ramp up precision
9.821 * * * * [points]: Setting MPFR precision to 64
9.873 * * * * [points]: Setting MPFR precision to 320
9.923 * * * * [points]: Computing exacts on every 3 of 3510 points to ramp up precision
9.929 * * * * [points]: Setting MPFR precision to 64
10.055 * * * * [points]: Setting MPFR precision to 320
10.125 * * * * [points]: Computing exacts for 3510 points
10.128 * * * * [points]: Setting MPFR precision to 64
11.016 * * * * [points]: Setting MPFR precision to 320
11.420 * * * * [points]: Filtering points with unrepresentable outputs
11.429 * * * * [points]: Sampling 1549 additional inputs, on iter 2 have 6451 / 8000
11.437 * * * * [points]: Computing exacts on every 96 of 1549 points to ramp up precision
11.442 * * * * [points]: Setting MPFR precision to 64
11.444 * * * * [points]: Setting MPFR precision to 320
11.446 * * * * [points]: Computing exacts on every 48 of 1549 points to ramp up precision
11.452 * * * * [points]: Setting MPFR precision to 64
11.455 * * * * [points]: Setting MPFR precision to 320
11.458 * * * * [points]: Computing exacts on every 24 of 1549 points to ramp up precision
11.501 * * * * [points]: Setting MPFR precision to 64
11.507 * * * * [points]: Setting MPFR precision to 320
11.516 * * * * [points]: Computing exacts on every 12 of 1549 points to ramp up precision
11.522 * * * * [points]: Setting MPFR precision to 64
11.535 * * * * [points]: Setting MPFR precision to 320
11.549 * * * * [points]: Computing exacts on every 6 of 1549 points to ramp up precision
11.554 * * * * [points]: Setting MPFR precision to 64
11.576 * * * * [points]: Setting MPFR precision to 320
11.598 * * * * [points]: Computing exacts on every 3 of 1549 points to ramp up precision
11.604 * * * * [points]: Setting MPFR precision to 64
11.642 * * * * [points]: Setting MPFR precision to 320
11.682 * * * * [points]: Computing exacts for 1549 points
11.687 * * * * [points]: Setting MPFR precision to 64
11.880 * * * * [points]: Setting MPFR precision to 320
12.083 * * * * [points]: Filtering points with unrepresentable outputs
12.086 * * * * [points]: Sampling 669 additional inputs, on iter 3 have 7331 / 8000
12.090 * * * * [points]: Computing exacts on every 41 of 669 points to ramp up precision
12.095 * * * * [points]: Setting MPFR precision to 64
12.097 * * * * [points]: Setting MPFR precision to 320
12.099 * * * * [points]: Computing exacts on every 20 of 669 points to ramp up precision
12.104 * * * * [points]: Setting MPFR precision to 64
12.107 * * * * [points]: Setting MPFR precision to 320
12.111 * * * * [points]: Computing exacts on every 10 of 669 points to ramp up precision
12.116 * * * * [points]: Setting MPFR precision to 64
12.122 * * * * [points]: Setting MPFR precision to 320
12.129 * * * * [points]: Computing exacts on every 5 of 669 points to ramp up precision
12.134 * * * * [points]: Setting MPFR precision to 64
12.145 * * * * [points]: Setting MPFR precision to 320
12.156 * * * * [points]: Computing exacts on every 2 of 669 points to ramp up precision
12.162 * * * * [points]: Setting MPFR precision to 64
12.187 * * * * [points]: Setting MPFR precision to 320
12.241 * * * * [points]: Computing exacts for 669 points
12.250 * * * * [points]: Setting MPFR precision to 64
12.318 * * * * [points]: Setting MPFR precision to 320
12.385 * * * * [points]: Filtering points with unrepresentable outputs
12.386 * * * * [points]: Sampling 301 additional inputs, on iter 4 have 7699 / 8000
12.388 * * * * [points]: Computing exacts on every 18 of 301 points to ramp up precision
12.393 * * * * [points]: Setting MPFR precision to 64
12.395 * * * * [points]: Setting MPFR precision to 320
12.397 * * * * [points]: Computing exacts on every 9 of 301 points to ramp up precision
12.402 * * * * [points]: Setting MPFR precision to 64
12.405 * * * * [points]: Setting MPFR precision to 320
12.409 * * * * [points]: Computing exacts on every 4 of 301 points to ramp up precision
12.414 * * * * [points]: Setting MPFR precision to 64
12.421 * * * * [points]: Setting MPFR precision to 320
12.428 * * * * [points]: Computing exacts on every 2 of 301 points to ramp up precision
12.433 * * * * [points]: Setting MPFR precision to 64
12.478 * * * * [points]: Setting MPFR precision to 320
12.489 * * * * [points]: Computing exacts for 301 points
12.494 * * * * [points]: Setting MPFR precision to 64
12.523 * * * * [points]: Setting MPFR precision to 320
12.555 * * * * [points]: Filtering points with unrepresentable outputs
12.556 * * * * [points]: Sampling 144 additional inputs, on iter 5 have 7856 / 8000
12.557 * * * * [points]: Computing exacts on every 9 of 144 points to ramp up precision
12.563 * * * * [points]: Setting MPFR precision to 64
12.564 * * * * [points]: Setting MPFR precision to 320
12.566 * * * * [points]: Computing exacts on every 4 of 144 points to ramp up precision
12.572 * * * * [points]: Setting MPFR precision to 64
12.575 * * * * [points]: Setting MPFR precision to 320
12.578 * * * * [points]: Computing exacts on every 2 of 144 points to ramp up precision
12.584 * * * * [points]: Setting MPFR precision to 64
12.587 * * * * [points]: Setting MPFR precision to 320
12.589 * * * * [points]: Computing exacts for 144 points
12.592 * * * * [points]: Setting MPFR precision to 64
12.600 * * * * [points]: Setting MPFR precision to 320
12.608 * * * * [points]: Filtering points with unrepresentable outputs
12.608 * * * * [points]: Sampling 66 additional inputs, on iter 6 have 7934 / 8000
12.608 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
12.611 * * * * [points]: Setting MPFR precision to 64
12.612 * * * * [points]: Setting MPFR precision to 320
12.613 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
12.616 * * * * [points]: Setting MPFR precision to 64
12.617 * * * * [points]: Setting MPFR precision to 320
12.618 * * * * [points]: Computing exacts for 66 points
12.641 * * * * [points]: Setting MPFR precision to 64
12.645 * * * * [points]: Setting MPFR precision to 320
12.649 * * * * [points]: Filtering points with unrepresentable outputs
12.649 * * * * [points]: Sampling 30 additional inputs, on iter 7 have 7970 / 8000
12.649 * * * * [points]: Computing exacts for 30 points
12.653 * * * * [points]: Setting MPFR precision to 64
12.655 * * * * [points]: Setting MPFR precision to 320
12.657 * * * * [points]: Filtering points with unrepresentable outputs
12.657 * * * * [points]: Sampling 11 additional inputs, on iter 8 have 7989 / 8000
12.657 * * * * [points]: Computing exacts for 11 points
12.660 * * * * [points]: Setting MPFR precision to 64
12.661 * * * * [points]: Setting MPFR precision to 320
12.661 * * * * [points]: Filtering points with unrepresentable outputs
12.661 * * * * [points]: Sampling 5 additional inputs, on iter 9 have 7995 / 8000
12.661 * * * * [points]: Computing exacts for 5 points
12.664 * * * * [points]: Setting MPFR precision to 64
12.664 * * * * [points]: Setting MPFR precision to 320
12.665 * * * * [points]: Filtering points with unrepresentable outputs
12.665 * * * * [points]: Sampled 8000 points with exact outputs
16.744 * [regime-testing]: Baseline error score: 64.0
16.747 * [regime-testing]: Oracle error score: 64.0
16.762 * [regime-testing]: End program error score: 0.7274764841852936