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.010 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.013 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.033 * * * * [points]: Setting MPFR precision to 320
0.039 * * * * [points]: Computing exacts for 256 points
0.045 * * * * [points]: Setting MPFR precision to 64
0.066 * * * * [points]: Setting MPFR precision to 320
0.080 * * * * [points]: Filtering points with unrepresentable outputs
0.080 * * * * [points]: Sampling 118 additional inputs, on iter 1 have 138 / 256
0.081 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.084 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.085 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.088 * * * * [points]: Setting MPFR precision to 64
0.090 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Computing exacts for 118 points
0.094 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Filtering points with unrepresentable outputs
0.106 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256
0.107 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.109 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Computing exacts for 59 points
0.131 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Filtering points with unrepresentable outputs
0.138 * * * * [points]: Sampling 21 additional inputs, on iter 3 have 235 / 256
0.138 * * * * [points]: Computing exacts for 21 points
0.142 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.145 * * * * [points]: Filtering points with unrepresentable outputs
0.145 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.145 * * * * [points]: Computing exacts for 10 points
0.148 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Filtering points with unrepresentable outputs
0.149 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 252 / 256
0.149 * * * * [points]: Computing exacts for 4 points
0.152 * * * * [points]: Setting MPFR precision to 64
0.152 * * * * [points]: Setting MPFR precision to 320
0.152 * * * * [points]: Filtering points with unrepresentable outputs
0.152 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.152 * * * * [points]: Computing exacts for 4 points
0.155 * * * * [points]: Setting MPFR precision to 64
0.155 * * * * [points]: Setting MPFR precision to 320
0.156 * * * * [points]: Filtering points with unrepresentable outputs
0.156 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.156 * * * * [points]: Computing exacts for 4 points
0.159 * * * * [points]: Setting MPFR precision to 64
0.159 * * * * [points]: Setting MPFR precision to 320
0.159 * * * * [points]: Filtering points with unrepresentable outputs
0.159 * * * * [points]: Sampled 257 points with exact outputs
0.159 * * * [progress]: [2/2] Setting up program.
0.172 * [progress]: [Phase 2 of 3] Improving.
0.172 * * * * [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.172 * [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.172 * * [simplify]: iters left: 5 (12 enodes)
0.175 * * [simplify]: iters left: 4 (29 enodes)
0.180 * * [simplify]: iters left: 3 (46 enodes)
0.189 * * [simplify]: iters left: 2 (97 enodes)
0.219 * * [simplify]: iters left: 1 (335 enodes)
0.376 * * [simplify]: Extracting #0: cost 1 inf + 0
0.377 * * [simplify]: Extracting #1: cost 3 inf + 0
0.377 * * [simplify]: Extracting #2: cost 6 inf + 0
0.377 * * [simplify]: Extracting #3: cost 84 inf + 2
0.378 * * [simplify]: Extracting #4: cost 417 inf + 3
0.382 * * [simplify]: Extracting #5: cost 404 inf + 78485
0.403 * * [simplify]: Extracting #6: cost 124 inf + 437558
0.429 * * [simplify]: Extracting #7: cost 5 inf + 645994
0.478 * * [simplify]: Extracting #8: cost 0 inf + 656284
0.525 * [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.525 * [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.539 * * [progress]: iteration 1 / 4
0.539 * * * [progress]: picking best candidate
0.552 * * * * [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.552 * * * [progress]: localizing error
0.698 * * * [progress]: generating rewritten candidates
0.699 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.706 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.712 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.720 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.731 * * * [progress]: generating series expansions
0.731 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.731 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.731 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.731 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.731 * * * [progress]: simplifying candidates
0.731 * * * * [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.731 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
0.731 * * [simplify]: iters left: 2 (5 enodes)
0.732 * * [simplify]: iters left: 1 (19 enodes)
0.739 * * [simplify]: Extracting #0: cost 1 inf + 0
0.739 * * [simplify]: Extracting #1: cost 8 inf + 0
0.739 * * [simplify]: Extracting #2: cost 16 inf + 0
0.739 * * [simplify]: Extracting #3: cost 16 inf + 1766
0.739 * * [simplify]: Extracting #4: cost 6 inf + 6819
0.740 * * [simplify]: Extracting #5: cost 1 inf + 12227
0.740 * * [simplify]: Extracting #6: cost 0 inf + 13549
0.740 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
0.740 * [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.740 * * * * [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.740 * * * * [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.741 * * * * [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.741 * * * * [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.741 * [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.741 * * [simplify]: iters left: 5 (12 enodes)
0.744 * * [simplify]: iters left: 4 (29 enodes)
0.754 * * [simplify]: iters left: 3 (46 enodes)
0.772 * * [simplify]: iters left: 2 (97 enodes)
0.815 * * [simplify]: iters left: 1 (335 enodes)
0.990 * * [simplify]: Extracting #0: cost 1 inf + 0
0.990 * * [simplify]: Extracting #1: cost 3 inf + 0
0.991 * * [simplify]: Extracting #2: cost 6 inf + 0
0.991 * * [simplify]: Extracting #3: cost 84 inf + 2
0.993 * * [simplify]: Extracting #4: cost 417 inf + 3
1.000 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.034 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.079 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.109 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.136 * [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.136 * [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.136 * * * * [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.137 * [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.137 * * [simplify]: iters left: 5 (12 enodes)
1.140 * * [simplify]: iters left: 4 (29 enodes)
1.144 * * [simplify]: iters left: 3 (46 enodes)
1.152 * * [simplify]: iters left: 2 (97 enodes)
1.177 * * [simplify]: iters left: 1 (335 enodes)
1.385 * * [simplify]: Extracting #0: cost 1 inf + 0
1.385 * * [simplify]: Extracting #1: cost 3 inf + 0
1.385 * * [simplify]: Extracting #2: cost 6 inf + 0
1.385 * * [simplify]: Extracting #3: cost 84 inf + 2
1.386 * * [simplify]: Extracting #4: cost 417 inf + 3
1.394 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.433 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.464 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.506 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.562 * [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.562 * [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.562 * * * * [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.563 * [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.563 * * [simplify]: iters left: 5 (12 enodes)
1.569 * * [simplify]: iters left: 4 (29 enodes)
1.578 * * [simplify]: iters left: 3 (46 enodes)
1.594 * * [simplify]: iters left: 2 (97 enodes)
1.635 * * [simplify]: iters left: 1 (335 enodes)
1.845 * * [simplify]: Extracting #0: cost 1 inf + 0
1.845 * * [simplify]: Extracting #1: cost 3 inf + 0
1.845 * * [simplify]: Extracting #2: cost 6 inf + 0
1.845 * * [simplify]: Extracting #3: cost 84 inf + 2
1.846 * * [simplify]: Extracting #4: cost 417 inf + 3
1.850 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.867 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.899 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.929 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.984 * [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.984 * [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.985 * * * * [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)))>
1.985 * [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.985 * * [simplify]: iters left: 5 (12 enodes)
1.991 * * [simplify]: iters left: 4 (29 enodes)
2.000 * * [simplify]: iters left: 3 (46 enodes)
2.015 * * [simplify]: iters left: 2 (97 enodes)
2.059 * * [simplify]: iters left: 1 (335 enodes)
2.278 * * [simplify]: Extracting #0: cost 1 inf + 0
2.278 * * [simplify]: Extracting #1: cost 3 inf + 0
2.278 * * [simplify]: Extracting #2: cost 6 inf + 0
2.279 * * [simplify]: Extracting #3: cost 84 inf + 2
2.280 * * [simplify]: Extracting #4: cost 417 inf + 3
2.288 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.305 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.331 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.374 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.432 * [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.432 * [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.432 * * * [progress]: adding candidates to table
2.676 * * [progress]: iteration 2 / 4
2.676 * * * [progress]: picking best candidate
2.708 * * * * [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.708 * * * [progress]: localizing error
2.851 * * * [progress]: generating rewritten candidates
2.851 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.856 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.862 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.866 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.877 * * * [progress]: generating series expansions
2.877 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.877 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.877 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.877 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.877 * * * [progress]: simplifying candidates
2.877 * * * * [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)))>
2.877 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
2.877 * * [simplify]: iters left: 2 (5 enodes)
2.878 * * [simplify]: iters left: 1 (19 enodes)
2.881 * * [simplify]: Extracting #0: cost 1 inf + 0
2.881 * * [simplify]: Extracting #1: cost 8 inf + 0
2.881 * * [simplify]: Extracting #2: cost 16 inf + 0
2.881 * * [simplify]: Extracting #3: cost 16 inf + 1766
2.882 * * [simplify]: Extracting #4: cost 6 inf + 6819
2.882 * * [simplify]: Extracting #5: cost 1 inf + 12227
2.882 * * [simplify]: Extracting #6: cost 0 inf + 13549
2.883 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
2.883 * [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)))
2.883 * * * * [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)))>
2.883 * * * * [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)))>
2.883 * [simplify]: Simplifying (real->posit16 2.0)
2.883 * * [simplify]: iters left: 1 (2 enodes)
2.884 * * [simplify]: Extracting #0: cost 1 inf + 0
2.884 * * [simplify]: Extracting #1: cost 2 inf + 0
2.884 * * [simplify]: Extracting #2: cost 1 inf + 1
2.884 * * [simplify]: Extracting #3: cost 0 inf + 2
2.884 * [simplify]: Simplified to (real->posit16 2.0)
2.884 * [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)))
2.884 * * * * [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)))>
2.884 * * * * [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)))>
2.884 * * * * [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)))>
2.884 * * * * [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)))>
2.884 * * * * [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)))>
2.884 * * * [progress]: adding candidates to table
3.056 * * [progress]: iteration 3 / 4
3.056 * * * [progress]: picking best candidate
3.069 * * * * [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.069 * * * [progress]: localizing error
3.268 * * * [progress]: generating rewritten candidates
3.268 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.272 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.284 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.292 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
3.295 * * * [progress]: generating series expansions
3.295 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.295 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.295 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.295 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
3.295 * * * [progress]: simplifying candidates
3.295 * * * * [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.295 * [simplify]: Simplifying (+.p16 beta alpha)
3.295 * * [simplify]: iters left: 1 (3 enodes)
3.296 * * [simplify]: Extracting #0: cost 1 inf + 0
3.296 * * [simplify]: Extracting #1: cost 3 inf + 0
3.296 * * [simplify]: Extracting #2: cost 1 inf + 2
3.296 * * [simplify]: Extracting #3: cost 0 inf + 44
3.296 * [simplify]: Simplified to (+.p16 alpha beta)
3.296 * [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.296 * * * * [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.296 * [simplify]: Simplifying (-.p16 beta alpha)
3.296 * * [simplify]: iters left: 1 (3 enodes)
3.297 * * [simplify]: Extracting #0: cost 1 inf + 0
3.297 * * [simplify]: Extracting #1: cost 6 inf + 0
3.297 * * [simplify]: Extracting #2: cost 5 inf + 44
3.297 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.297 * [simplify]: Simplified to (-.p16 beta alpha)
3.297 * [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.297 * * * * [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.298 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.298 * * [simplify]: iters left: 3 (7 enodes)
3.299 * * [simplify]: iters left: 2 (28 enodes)
3.304 * * [simplify]: iters left: 1 (79 enodes)
3.321 * * [simplify]: Extracting #0: cost 1 inf + 0
3.321 * * [simplify]: Extracting #1: cost 23 inf + 0
3.321 * * [simplify]: Extracting #2: cost 63 inf + 0
3.321 * * [simplify]: Extracting #3: cost 75 inf + 1531
3.322 * * [simplify]: Extracting #4: cost 37 inf + 47856
3.325 * * [simplify]: Extracting #5: cost 1 inf + 91596
3.328 * * [simplify]: Extracting #6: cost 0 inf + 94238
3.331 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.331 * [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.331 * * * * [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.331 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.332 * * [simplify]: iters left: 3 (8 enodes)
3.334 * * [simplify]: iters left: 2 (23 enodes)
3.338 * * [simplify]: iters left: 1 (40 enodes)
3.345 * * [simplify]: Extracting #0: cost 1 inf + 0
3.345 * * [simplify]: Extracting #1: cost 10 inf + 0
3.345 * * [simplify]: Extracting #2: cost 32 inf + 0
3.345 * * [simplify]: Extracting #3: cost 33 inf + 1045
3.345 * * [simplify]: Extracting #4: cost 25 inf + 6988
3.346 * * [simplify]: Extracting #5: cost 2 inf + 20756
3.347 * * [simplify]: Extracting #6: cost 0 inf + 22961
3.348 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.348 * [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.348 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
3.348 * * [simplify]: iters left: 2 (5 enodes)
3.349 * * [simplify]: iters left: 1 (9 enodes)
3.350 * * [simplify]: Extracting #0: cost 1 inf + 0
3.350 * * [simplify]: Extracting #1: cost 2 inf + 0
3.350 * * [simplify]: Extracting #2: cost 4 inf + 0
3.350 * * [simplify]: Extracting #3: cost 2 inf + 2
3.350 * * [simplify]: Extracting #4: cost 0 inf + 526
3.350 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
3.351 * [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.351 * * * * [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.351 * * * * [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.351 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
3.351 * * [simplify]: iters left: 3 (7 enodes)
3.354 * * [simplify]: iters left: 2 (17 enodes)
3.357 * * [simplify]: iters left: 1 (36 enodes)
3.363 * * [simplify]: Extracting #0: cost 1 inf + 0
3.363 * * [simplify]: Extracting #1: cost 10 inf + 0
3.363 * * [simplify]: Extracting #2: cost 15 inf + 1
3.364 * * [simplify]: Extracting #3: cost 14 inf + 323
3.364 * * [simplify]: Extracting #4: cost 9 inf + 1372
3.364 * * [simplify]: Extracting #5: cost 6 inf + 1498
3.364 * * [simplify]: Extracting #6: cost 0 inf + 3353
3.364 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.365 * [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.365 * * * * [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.365 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.365 * * [simplify]: iters left: 3 (7 enodes)
3.367 * * [simplify]: iters left: 2 (23 enodes)
3.371 * * [simplify]: iters left: 1 (42 enodes)
3.377 * * [simplify]: Extracting #0: cost 1 inf + 0
3.377 * * [simplify]: Extracting #1: cost 12 inf + 0
3.377 * * [simplify]: Extracting #2: cost 16 inf + 1
3.377 * * [simplify]: Extracting #3: cost 15 inf + 323
3.377 * * [simplify]: Extracting #4: cost 11 inf + 1050
3.378 * * [simplify]: Extracting #5: cost 5 inf + 2222
3.378 * * [simplify]: Extracting #6: cost 0 inf + 4395
3.378 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.378 * [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.378 * * * * [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.378 * * * * [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.379 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) beta)
3.379 * * [simplify]: iters left: 2 (4 enodes)
3.379 * * [simplify]: iters left: 1 (16 enodes)
3.382 * * [simplify]: Extracting #0: cost 1 inf + 0
3.382 * * [simplify]: Extracting #1: cost 9 inf + 0
3.382 * * [simplify]: Extracting #2: cost 11 inf + 1
3.382 * * [simplify]: Extracting #3: cost 13 inf + 323
3.382 * * [simplify]: Extracting #4: cost 9 inf + 1933
3.382 * * [simplify]: Extracting #5: cost 3 inf + 4862
3.382 * * [simplify]: Extracting #6: cost 0 inf + 7748
3.383 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
3.383 * [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)))
3.383 * * * * [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)))>
3.383 * [simplify]: Simplifying (*.p16 beta (-.p16 beta alpha))
3.383 * * [simplify]: iters left: 2 (4 enodes)
3.384 * * [simplify]: iters left: 1 (16 enodes)
3.386 * * [simplify]: Extracting #0: cost 1 inf + 0
3.386 * * [simplify]: Extracting #1: cost 9 inf + 0
3.386 * * [simplify]: Extracting #2: cost 11 inf + 1
3.386 * * [simplify]: Extracting #3: cost 13 inf + 323
3.387 * * [simplify]: Extracting #4: cost 9 inf + 1933
3.387 * * [simplify]: Extracting #5: cost 3 inf + 4862
3.387 * * [simplify]: Extracting #6: cost 0 inf + 7748
3.387 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
3.387 * [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)))
3.387 * * * * [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)))>
3.387 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.388 * * [simplify]: iters left: 3 (7 enodes)
3.389 * * [simplify]: iters left: 2 (28 enodes)
3.395 * * [simplify]: iters left: 1 (79 enodes)
3.411 * * [simplify]: Extracting #0: cost 1 inf + 0
3.411 * * [simplify]: Extracting #1: cost 23 inf + 0
3.411 * * [simplify]: Extracting #2: cost 63 inf + 0
3.412 * * [simplify]: Extracting #3: cost 75 inf + 1531
3.413 * * [simplify]: Extracting #4: cost 37 inf + 47856
3.415 * * [simplify]: Extracting #5: cost 1 inf + 91596
3.418 * * [simplify]: Extracting #6: cost 0 inf + 94238
3.421 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.421 * [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)))
3.421 * * * * [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)))>
3.421 * * * * [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)))>
3.422 * [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))
3.422 * * [simplify]: iters left: 6 (15 enodes)
3.427 * * [simplify]: iters left: 5 (52 enodes)
3.437 * * [simplify]: iters left: 4 (152 enodes)
3.477 * * [simplify]: Extracting #0: cost 1 inf + 0
3.477 * * [simplify]: Extracting #1: cost 3 inf + 0
3.478 * * [simplify]: Extracting #2: cost 6 inf + 0
3.478 * * [simplify]: Extracting #3: cost 36 inf + 2
3.478 * * [simplify]: Extracting #4: cost 104 inf + 3
3.478 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.482 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.490 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.496 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.502 * [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))
3.502 * [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)))
3.502 * * * * [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)))>
3.502 * [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))
3.503 * * [simplify]: iters left: 6 (15 enodes)
3.507 * * [simplify]: iters left: 5 (52 enodes)
3.518 * * [simplify]: iters left: 4 (152 enodes)
3.561 * * [simplify]: Extracting #0: cost 1 inf + 0
3.561 * * [simplify]: Extracting #1: cost 3 inf + 0
3.561 * * [simplify]: Extracting #2: cost 6 inf + 0
3.561 * * [simplify]: Extracting #3: cost 36 inf + 2
3.562 * * [simplify]: Extracting #4: cost 104 inf + 3
3.562 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.566 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.571 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.577 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.583 * [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))
3.583 * [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)))
3.583 * * * * [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)))>
3.583 * [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))
3.583 * * [simplify]: iters left: 6 (15 enodes)
3.587 * * [simplify]: iters left: 5 (52 enodes)
3.597 * * [simplify]: iters left: 4 (152 enodes)
3.640 * * [simplify]: Extracting #0: cost 1 inf + 0
3.640 * * [simplify]: Extracting #1: cost 3 inf + 0
3.640 * * [simplify]: Extracting #2: cost 6 inf + 0
3.640 * * [simplify]: Extracting #3: cost 36 inf + 2
3.641 * * [simplify]: Extracting #4: cost 104 inf + 3
3.641 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.645 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.650 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.656 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.662 * [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))
3.662 * [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)))
3.662 * * * * [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)))>
3.662 * [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))
3.663 * * [simplify]: iters left: 6 (15 enodes)
3.666 * * [simplify]: iters left: 5 (52 enodes)
3.683 * * [simplify]: iters left: 4 (152 enodes)
3.729 * * [simplify]: Extracting #0: cost 1 inf + 0
3.729 * * [simplify]: Extracting #1: cost 3 inf + 0
3.729 * * [simplify]: Extracting #2: cost 6 inf + 0
3.729 * * [simplify]: Extracting #3: cost 36 inf + 2
3.729 * * [simplify]: Extracting #4: cost 104 inf + 3
3.730 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.733 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.739 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.745 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.751 * [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))
3.752 * [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)))
3.752 * * * [progress]: adding candidates to table
4.410 * * [progress]: iteration 4 / 4
4.410 * * * [progress]: picking best candidate
4.595 * * * * [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)))>
4.595 * * * [progress]: localizing error
4.850 * * * [progress]: generating rewritten candidates
4.850 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.859 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
4.884 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
4.893 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.915 * * * [progress]: generating series expansions
4.915 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.915 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
4.915 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
4.916 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.916 * * * [progress]: simplifying candidates
4.916 * * * * [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)))>
4.916 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
4.916 * * [simplify]: iters left: 2 (5 enodes)
4.918 * * [simplify]: iters left: 1 (19 enodes)
4.925 * * [simplify]: Extracting #0: cost 1 inf + 0
4.926 * * [simplify]: Extracting #1: cost 8 inf + 0
4.926 * * [simplify]: Extracting #2: cost 16 inf + 0
4.926 * * [simplify]: Extracting #3: cost 16 inf + 1766
4.926 * * [simplify]: Extracting #4: cost 6 inf + 6819
4.927 * * [simplify]: Extracting #5: cost 1 inf + 12227
4.928 * * [simplify]: Extracting #6: cost 0 inf + 13549
4.929 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
4.929 * [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)))
4.929 * * * * [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)))>
4.929 * * * * [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)))>
4.929 * [simplify]: Simplifying (real->posit16 2.0)
4.929 * * [simplify]: iters left: 1 (2 enodes)
4.931 * * [simplify]: Extracting #0: cost 1 inf + 0
4.931 * * [simplify]: Extracting #1: cost 2 inf + 0
4.931 * * [simplify]: Extracting #2: cost 1 inf + 1
4.931 * * [simplify]: Extracting #3: cost 0 inf + 2
4.931 * [simplify]: Simplified to (real->posit16 2.0)
4.931 * [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)))
4.931 * * * * [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)))>
4.931 * * * * [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)))>
4.932 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
4.932 * * [simplify]: iters left: 6 (12 enodes)
4.938 * * [simplify]: iters left: 5 (29 enodes)
4.948 * * [simplify]: iters left: 4 (46 enodes)
4.964 * * [simplify]: iters left: 3 (97 enodes)
5.008 * * [simplify]: iters left: 2 (335 enodes)
5.316 * * [simplify]: Extracting #0: cost 1 inf + 0
5.317 * * [simplify]: Extracting #1: cost 3 inf + 0
5.317 * * [simplify]: Extracting #2: cost 6 inf + 0
5.317 * * [simplify]: Extracting #3: cost 84 inf + 2
5.319 * * [simplify]: Extracting #4: cost 417 inf + 3
5.325 * * [simplify]: Extracting #5: cost 428 inf + 54952
5.357 * * [simplify]: Extracting #6: cost 141 inf + 421995
5.416 * * [simplify]: Extracting #7: cost 6 inf + 644394
5.472 * * [simplify]: Extracting #8: cost 0 inf + 656444
5.529 * [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.529 * [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.529 * * * * [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.529 * [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.529 * * [simplify]: iters left: 6 (12 enodes)
5.536 * * [simplify]: iters left: 5 (29 enodes)
5.546 * * [simplify]: iters left: 4 (46 enodes)
5.561 * * [simplify]: iters left: 3 (97 enodes)
5.603 * * [simplify]: iters left: 2 (335 enodes)
5.915 * * [simplify]: Extracting #0: cost 1 inf + 0
5.915 * * [simplify]: Extracting #1: cost 3 inf + 0
5.915 * * [simplify]: Extracting #2: cost 6 inf + 0
5.915 * * [simplify]: Extracting #3: cost 84 inf + 2
5.917 * * [simplify]: Extracting #4: cost 417 inf + 3
5.925 * * [simplify]: Extracting #5: cost 428 inf + 54952
5.957 * * [simplify]: Extracting #6: cost 141 inf + 421995
6.008 * * [simplify]: Extracting #7: cost 6 inf + 644394
6.069 * * [simplify]: Extracting #8: cost 0 inf + 656444
6.125 * [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.125 * [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.125 * * * * [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.125 * [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.125 * * [simplify]: iters left: 6 (12 enodes)
6.131 * * [simplify]: iters left: 5 (29 enodes)
6.141 * * [simplify]: iters left: 4 (46 enodes)
6.157 * * [simplify]: iters left: 3 (97 enodes)
6.205 * * [simplify]: iters left: 2 (335 enodes)
6.519 * * [simplify]: Extracting #0: cost 1 inf + 0
6.519 * * [simplify]: Extracting #1: cost 3 inf + 0
6.519 * * [simplify]: Extracting #2: cost 6 inf + 0
6.519 * * [simplify]: Extracting #3: cost 84 inf + 2
6.521 * * [simplify]: Extracting #4: cost 417 inf + 3
6.528 * * [simplify]: Extracting #5: cost 428 inf + 54952
6.566 * * [simplify]: Extracting #6: cost 141 inf + 421995
6.619 * * [simplify]: Extracting #7: cost 6 inf + 644394
6.677 * * [simplify]: Extracting #8: cost 0 inf + 656444
6.724 * [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.724 * [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.724 * * * * [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.724 * [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.724 * * [simplify]: iters left: 6 (12 enodes)
6.727 * * [simplify]: iters left: 5 (29 enodes)
6.732 * * [simplify]: iters left: 4 (46 enodes)
6.741 * * [simplify]: iters left: 3 (97 enodes)
6.766 * * [simplify]: iters left: 2 (335 enodes)
6.936 * * [simplify]: Extracting #0: cost 1 inf + 0
6.936 * * [simplify]: Extracting #1: cost 3 inf + 0
6.936 * * [simplify]: Extracting #2: cost 6 inf + 0
6.936 * * [simplify]: Extracting #3: cost 84 inf + 2
6.937 * * [simplify]: Extracting #4: cost 417 inf + 3
6.941 * * [simplify]: Extracting #5: cost 428 inf + 54952
6.956 * * [simplify]: Extracting #6: cost 141 inf + 421995
6.982 * * [simplify]: Extracting #7: cost 6 inf + 644394
7.013 * * [simplify]: Extracting #8: cost 0 inf + 656444
7.041 * [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.042 * [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.042 * * * [progress]: adding candidates to table
7.261 * [progress]: [Phase 3 of 3] Extracting.
7.261 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 alpha (-.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 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.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 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)))>)
7.262 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
7.262 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 alpha (-.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 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.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 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)))>)
7.431 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 alpha (-.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 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.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 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)))>)
7.621 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
7.621 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
7.622 * * [simplify]: iters left: 6 (12 enodes)
7.623 * * [simplify]: Extracting #0: cost 1 inf + 0
7.623 * * [simplify]: Extracting #1: cost 3 inf + 0
7.623 * * [simplify]: Extracting #2: cost 6 inf + 0
7.624 * * [simplify]: Extracting #3: cost 8 inf + 1
7.624 * * [simplify]: Extracting #4: cost 8 inf + 4
7.624 * * [simplify]: Extracting #5: cost 6 inf + 6
7.624 * * [simplify]: Extracting #6: cost 0 inf + 2544
7.624 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
7.624 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
7.667 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
7.672 * * * * [points]: Setting MPFR precision to 64
7.674 * * * * [points]: Setting MPFR precision to 320
7.675 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
7.681 * * * * [points]: Setting MPFR precision to 64
7.683 * * * * [points]: Setting MPFR precision to 320
7.686 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
7.691 * * * * [points]: Setting MPFR precision to 64
7.698 * * * * [points]: Setting MPFR precision to 320
7.704 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
7.710 * * * * [points]: Setting MPFR precision to 64
7.723 * * * * [points]: Setting MPFR precision to 320
7.742 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
7.745 * * * * [points]: Setting MPFR precision to 64
7.760 * * * * [points]: Setting MPFR precision to 320
7.775 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
7.778 * * * * [points]: Setting MPFR precision to 64
7.805 * * * * [points]: Setting MPFR precision to 320
7.832 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
7.835 * * * * [points]: Setting MPFR precision to 64
7.928 * * * * [points]: Setting MPFR precision to 320
7.979 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
7.982 * * * * [points]: Setting MPFR precision to 64
8.175 * * * * [points]: Setting MPFR precision to 320
8.389 * * * * [points]: Computing exacts for 8000 points
8.396 * * * * [points]: Setting MPFR precision to 64
9.131 * * * * [points]: Setting MPFR precision to 320
10.173 * * * * [points]: Filtering points with unrepresentable outputs
10.181 * * * * [points]: Sampling 3559 additional inputs, on iter 1 have 4441 / 8000
10.191 * * * * [points]: Computing exacts on every 222 of 3559 points to ramp up precision
10.194 * * * * [points]: Setting MPFR precision to 64
10.195 * * * * [points]: Setting MPFR precision to 320
10.196 * * * * [points]: Computing exacts on every 111 of 3559 points to ramp up precision
10.199 * * * * [points]: Setting MPFR precision to 64
10.201 * * * * [points]: Setting MPFR precision to 320
10.203 * * * * [points]: Computing exacts on every 55 of 3559 points to ramp up precision
10.206 * * * * [points]: Setting MPFR precision to 64
10.210 * * * * [points]: Setting MPFR precision to 320
10.213 * * * * [points]: Computing exacts on every 27 of 3559 points to ramp up precision
10.216 * * * * [points]: Setting MPFR precision to 64
10.242 * * * * [points]: Setting MPFR precision to 320
10.250 * * * * [points]: Computing exacts on every 13 of 3559 points to ramp up precision
10.253 * * * * [points]: Setting MPFR precision to 64
10.267 * * * * [points]: Setting MPFR precision to 320
10.280 * * * * [points]: Computing exacts on every 6 of 3559 points to ramp up precision
10.283 * * * * [points]: Setting MPFR precision to 64
10.311 * * * * [points]: Setting MPFR precision to 320
10.339 * * * * [points]: Computing exacts on every 3 of 3559 points to ramp up precision
10.341 * * * * [points]: Setting MPFR precision to 64
10.418 * * * * [points]: Setting MPFR precision to 320
10.466 * * * * [points]: Computing exacts for 3559 points
10.469 * * * * [points]: Setting MPFR precision to 64
10.762 * * * * [points]: Setting MPFR precision to 320
11.207 * * * * [points]: Filtering points with unrepresentable outputs
11.215 * * * * [points]: Sampling 1600 additional inputs, on iter 2 have 6400 / 8000
11.224 * * * * [points]: Computing exacts on every 100 of 1600 points to ramp up precision
11.230 * * * * [points]: Setting MPFR precision to 64
11.232 * * * * [points]: Setting MPFR precision to 320
11.234 * * * * [points]: Computing exacts on every 50 of 1600 points to ramp up precision
11.239 * * * * [points]: Setting MPFR precision to 64
11.243 * * * * [points]: Setting MPFR precision to 320
11.246 * * * * [points]: Computing exacts on every 25 of 1600 points to ramp up precision
11.252 * * * * [points]: Setting MPFR precision to 64
11.259 * * * * [points]: Setting MPFR precision to 320
11.265 * * * * [points]: Computing exacts on every 12 of 1600 points to ramp up precision
11.271 * * * * [points]: Setting MPFR precision to 64
11.285 * * * * [points]: Setting MPFR precision to 320
11.298 * * * * [points]: Computing exacts on every 6 of 1600 points to ramp up precision
11.304 * * * * [points]: Setting MPFR precision to 64
11.327 * * * * [points]: Setting MPFR precision to 320
11.351 * * * * [points]: Computing exacts on every 3 of 1600 points to ramp up precision
11.357 * * * * [points]: Setting MPFR precision to 64
11.431 * * * * [points]: Setting MPFR precision to 320
11.470 * * * * [points]: Computing exacts for 1600 points
11.475 * * * * [points]: Setting MPFR precision to 64
11.631 * * * * [points]: Setting MPFR precision to 320
11.717 * * * * [points]: Filtering points with unrepresentable outputs
11.719 * * * * [points]: Sampling 722 additional inputs, on iter 3 have 7278 / 8000
11.721 * * * * [points]: Computing exacts on every 45 of 722 points to ramp up precision
11.724 * * * * [points]: Setting MPFR precision to 64
11.725 * * * * [points]: Setting MPFR precision to 320
11.726 * * * * [points]: Computing exacts on every 22 of 722 points to ramp up precision
11.729 * * * * [points]: Setting MPFR precision to 64
11.731 * * * * [points]: Setting MPFR precision to 320
11.760 * * * * [points]: Computing exacts on every 11 of 722 points to ramp up precision
11.763 * * * * [points]: Setting MPFR precision to 64
11.767 * * * * [points]: Setting MPFR precision to 320
11.772 * * * * [points]: Computing exacts on every 5 of 722 points to ramp up precision
11.775 * * * * [points]: Setting MPFR precision to 64
11.781 * * * * [points]: Setting MPFR precision to 320
11.788 * * * * [points]: Computing exacts on every 2 of 722 points to ramp up precision
11.791 * * * * [points]: Setting MPFR precision to 64
11.804 * * * * [points]: Setting MPFR precision to 320
11.816 * * * * [points]: Computing exacts for 722 points
11.820 * * * * [points]: Setting MPFR precision to 64
11.859 * * * * [points]: Setting MPFR precision to 320
11.924 * * * * [points]: Filtering points with unrepresentable outputs
11.925 * * * * [points]: Sampling 317 additional inputs, on iter 4 have 7683 / 8000
11.926 * * * * [points]: Computing exacts on every 19 of 317 points to ramp up precision
11.929 * * * * [points]: Setting MPFR precision to 64
11.930 * * * * [points]: Setting MPFR precision to 320
11.931 * * * * [points]: Computing exacts on every 9 of 317 points to ramp up precision
11.934 * * * * [points]: Setting MPFR precision to 64
11.936 * * * * [points]: Setting MPFR precision to 320
11.938 * * * * [points]: Computing exacts on every 4 of 317 points to ramp up precision
11.940 * * * * [points]: Setting MPFR precision to 64
11.944 * * * * [points]: Setting MPFR precision to 320
11.947 * * * * [points]: Computing exacts on every 2 of 317 points to ramp up precision
11.950 * * * * [points]: Setting MPFR precision to 64
11.956 * * * * [points]: Setting MPFR precision to 320
11.962 * * * * [points]: Computing exacts for 317 points
11.965 * * * * [points]: Setting MPFR precision to 64
11.982 * * * * [points]: Setting MPFR precision to 320
12.019 * * * * [points]: Filtering points with unrepresentable outputs
12.019 * * * * [points]: Sampling 138 additional inputs, on iter 5 have 7862 / 8000
12.020 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
12.023 * * * * [points]: Setting MPFR precision to 64
12.024 * * * * [points]: Setting MPFR precision to 320
12.025 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
12.028 * * * * [points]: Setting MPFR precision to 64
12.031 * * * * [points]: Setting MPFR precision to 320
12.032 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
12.035 * * * * [points]: Setting MPFR precision to 64
12.038 * * * * [points]: Setting MPFR precision to 320
12.041 * * * * [points]: Computing exacts for 138 points
12.043 * * * * [points]: Setting MPFR precision to 64
12.051 * * * * [points]: Setting MPFR precision to 320
12.058 * * * * [points]: Filtering points with unrepresentable outputs
12.059 * * * * [points]: Sampling 57 additional inputs, on iter 6 have 7943 / 8000
12.059 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
12.062 * * * * [points]: Setting MPFR precision to 64
12.063 * * * * [points]: Setting MPFR precision to 320
12.063 * * * * [points]: Computing exacts for 57 points
12.066 * * * * [points]: Setting MPFR precision to 64
12.069 * * * * [points]: Setting MPFR precision to 320
12.072 * * * * [points]: Filtering points with unrepresentable outputs
12.073 * * * * [points]: Sampling 33 additional inputs, on iter 7 have 7967 / 8000
12.073 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
12.075 * * * * [points]: Setting MPFR precision to 64
12.076 * * * * [points]: Setting MPFR precision to 320
12.077 * * * * [points]: Computing exacts for 33 points
12.080 * * * * [points]: Setting MPFR precision to 64
12.081 * * * * [points]: Setting MPFR precision to 320
12.083 * * * * [points]: Filtering points with unrepresentable outputs
12.083 * * * * [points]: Sampling 16 additional inputs, on iter 8 have 7984 / 8000
12.083 * * * * [points]: Computing exacts for 16 points
12.086 * * * * [points]: Setting MPFR precision to 64
12.087 * * * * [points]: Setting MPFR precision to 320
12.089 * * * * [points]: Filtering points with unrepresentable outputs
12.089 * * * * [points]: Sampling 5 additional inputs, on iter 9 have 7995 / 8000
12.089 * * * * [points]: Computing exacts for 5 points
12.092 * * * * [points]: Setting MPFR precision to 64
12.092 * * * * [points]: Setting MPFR precision to 320
12.093 * * * * [points]: Filtering points with unrepresentable outputs
12.093 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
12.093 * * * * [points]: Computing exacts for 4 points
12.096 * * * * [points]: Setting MPFR precision to 64
12.096 * * * * [points]: Setting MPFR precision to 320
12.096 * * * * [points]: Filtering points with unrepresentable outputs
12.096 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
12.096 * * * * [points]: Computing exacts for 4 points
12.099 * * * * [points]: Setting MPFR precision to 64
12.099 * * * * [points]: Setting MPFR precision to 320
12.100 * * * * [points]: Filtering points with unrepresentable outputs
12.100 * * * * [points]: Sampled 8000 points with exact outputs
18.045 * [regime-testing]: Baseline error score: 64.0
18.051 * [regime-testing]: Oracle error score: 64.0
18.064 * [regime-testing]: End program error score: 0.730116822325406