0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.029 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.039 * * * * [points]: Computing exacts for 256 points
0.041 * * * * [points]: Setting MPFR precision to 64
0.056 * * * * [points]: Setting MPFR precision to 320
0.071 * * * * [points]: Filtering points with unrepresentable outputs
0.071 * * * * [points]: Sampling 112 additional inputs, on iter 1 have 144 / 256
0.071 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
0.074 * * * * [points]: Setting MPFR precision to 64
0.075 * * * * [points]: Setting MPFR precision to 320
0.076 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
0.078 * * * * [points]: Setting MPFR precision to 64
0.080 * * * * [points]: Setting MPFR precision to 320
0.082 * * * * [points]: Computing exacts for 112 points
0.084 * * * * [points]: Setting MPFR precision to 64
0.091 * * * * [points]: Setting MPFR precision to 320
0.097 * * * * [points]: Filtering points with unrepresentable outputs
0.097 * * * * [points]: Sampling 45 additional inputs, on iter 2 have 211 / 256
0.097 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
0.100 * * * * [points]: Setting MPFR precision to 64
0.101 * * * * [points]: Setting MPFR precision to 320
0.102 * * * * [points]: Computing exacts for 45 points
0.104 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Filtering points with unrepresentable outputs
0.110 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256
0.110 * * * * [points]: Computing exacts for 19 points
0.112 * * * * [points]: Setting MPFR precision to 64
0.113 * * * * [points]: Setting MPFR precision to 320
0.115 * * * * [points]: Filtering points with unrepresentable outputs
0.115 * * * * [points]: Sampling 7 additional inputs, on iter 4 have 249 / 256
0.115 * * * * [points]: Computing exacts for 7 points
0.134 * * * * [points]: Setting MPFR precision to 64
0.135 * * * * [points]: Setting MPFR precision to 320
0.135 * * * * [points]: Filtering points with unrepresentable outputs
0.135 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 252 / 256
0.135 * * * * [points]: Computing exacts for 4 points
0.138 * * * * [points]: Setting MPFR precision to 64
0.138 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Filtering points with unrepresentable outputs
0.139 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.139 * * * * [points]: Computing exacts for 4 points
0.141 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.144 * * * * [points]: Filtering points with unrepresentable outputs
0.144 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.144 * * * * [points]: Computing exacts for 4 points
0.146 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.147 * * * * [points]: Filtering points with unrepresentable outputs
0.147 * * * * [points]: Sampled 256 points with exact outputs
0.147 * * * [progress]: [2/2] Setting up program.
0.161 * [progress]: [Phase 2 of 3] Improving.
0.161 * * * * [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.161 * [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.162 * * [simplify]: iters left: 5 (12 enodes)
0.165 * * [simplify]: iters left: 4 (29 enodes)
0.170 * * [simplify]: iters left: 3 (46 enodes)
0.179 * * [simplify]: iters left: 2 (97 enodes)
0.201 * * [simplify]: iters left: 1 (335 enodes)
0.425 * * [simplify]: Extracting #0: cost 1 inf + 0
0.425 * * [simplify]: Extracting #1: cost 3 inf + 0
0.425 * * [simplify]: Extracting #2: cost 6 inf + 0
0.426 * * [simplify]: Extracting #3: cost 84 inf + 2
0.427 * * [simplify]: Extracting #4: cost 417 inf + 3
0.431 * * [simplify]: Extracting #5: cost 404 inf + 78485
0.447 * * [simplify]: Extracting #6: cost 124 inf + 437558
0.493 * * [simplify]: Extracting #7: cost 5 inf + 645994
0.538 * * [simplify]: Extracting #8: cost 0 inf + 656284
0.571 * [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.571 * [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.598 * * [progress]: iteration 1 / 4
0.598 * * * [progress]: picking best candidate
0.621 * * * * [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.621 * * * [progress]: localizing error
0.880 * * * [progress]: generating rewritten candidates
0.880 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.895 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.909 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.925 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.947 * * * [progress]: generating series expansions
0.947 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.947 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.947 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.948 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.948 * * * [progress]: simplifying candidates
0.948 * * * * [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.948 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
0.948 * * [simplify]: iters left: 2 (5 enodes)
0.950 * * [simplify]: iters left: 1 (19 enodes)
0.958 * * [simplify]: Extracting #0: cost 1 inf + 0
0.958 * * [simplify]: Extracting #1: cost 8 inf + 0
0.958 * * [simplify]: Extracting #2: cost 16 inf + 0
0.958 * * [simplify]: Extracting #3: cost 16 inf + 1766
0.959 * * [simplify]: Extracting #4: cost 6 inf + 6819
0.959 * * [simplify]: Extracting #5: cost 1 inf + 12227
0.960 * * [simplify]: Extracting #6: cost 0 inf + 13549
0.961 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
0.961 * [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.961 * * * * [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.961 * * * * [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.961 * * * * [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.961 * * * * [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.962 * [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.962 * * [simplify]: iters left: 5 (12 enodes)
0.968 * * [simplify]: iters left: 4 (29 enodes)
0.982 * * [simplify]: iters left: 3 (46 enodes)
0.998 * * [simplify]: iters left: 2 (97 enodes)
1.044 * * [simplify]: iters left: 1 (335 enodes)
1.244 * * [simplify]: Extracting #0: cost 1 inf + 0
1.244 * * [simplify]: Extracting #1: cost 3 inf + 0
1.244 * * [simplify]: Extracting #2: cost 6 inf + 0
1.244 * * [simplify]: Extracting #3: cost 84 inf + 2
1.245 * * [simplify]: Extracting #4: cost 417 inf + 3
1.249 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.266 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.311 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.370 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.426 * [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.426 * [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.426 * * * * [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.427 * [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.427 * * [simplify]: iters left: 5 (12 enodes)
1.433 * * [simplify]: iters left: 4 (29 enodes)
1.443 * * [simplify]: iters left: 3 (46 enodes)
1.458 * * [simplify]: iters left: 2 (97 enodes)
1.504 * * [simplify]: iters left: 1 (335 enodes)
1.754 * * [simplify]: Extracting #0: cost 1 inf + 0
1.754 * * [simplify]: Extracting #1: cost 3 inf + 0
1.754 * * [simplify]: Extracting #2: cost 6 inf + 0
1.754 * * [simplify]: Extracting #3: cost 84 inf + 2
1.755 * * [simplify]: Extracting #4: cost 417 inf + 3
1.759 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.776 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.805 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.833 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.861 * [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.861 * [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.861 * * * * [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.862 * [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.862 * * [simplify]: iters left: 5 (12 enodes)
1.865 * * [simplify]: iters left: 4 (29 enodes)
1.870 * * [simplify]: iters left: 3 (46 enodes)
1.878 * * [simplify]: iters left: 2 (97 enodes)
1.902 * * [simplify]: iters left: 1 (335 enodes)
2.087 * * [simplify]: Extracting #0: cost 1 inf + 0
2.087 * * [simplify]: Extracting #1: cost 3 inf + 0
2.087 * * [simplify]: Extracting #2: cost 6 inf + 0
2.088 * * [simplify]: Extracting #3: cost 84 inf + 2
2.090 * * [simplify]: Extracting #4: cost 417 inf + 3
2.094 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.111 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.159 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.218 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.247 * [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.247 * [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.247 * * * * [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.247 * [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.247 * * [simplify]: iters left: 5 (12 enodes)
2.251 * * [simplify]: iters left: 4 (29 enodes)
2.256 * * [simplify]: iters left: 3 (46 enodes)
2.265 * * [simplify]: iters left: 2 (97 enodes)
2.291 * * [simplify]: iters left: 1 (335 enodes)
2.449 * * [simplify]: Extracting #0: cost 1 inf + 0
2.449 * * [simplify]: Extracting #1: cost 3 inf + 0
2.449 * * [simplify]: Extracting #2: cost 6 inf + 0
2.449 * * [simplify]: Extracting #3: cost 84 inf + 2
2.450 * * [simplify]: Extracting #4: cost 417 inf + 3
2.455 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.475 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.502 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.530 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.579 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
2.579 * [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.579 * * * [progress]: adding candidates to table
2.817 * * [progress]: iteration 2 / 4
2.817 * * * [progress]: picking best candidate
2.847 * * * * [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.847 * * * [progress]: localizing error
3.020 * * * [progress]: generating rewritten candidates
3.020 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.032 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.038 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.042 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.053 * * * [progress]: generating series expansions
3.053 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.053 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.053 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.053 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.054 * * * [progress]: simplifying candidates
3.054 * * * * [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.054 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
3.054 * * [simplify]: iters left: 2 (5 enodes)
3.055 * * [simplify]: iters left: 1 (19 enodes)
3.059 * * [simplify]: Extracting #0: cost 1 inf + 0
3.059 * * [simplify]: Extracting #1: cost 8 inf + 0
3.059 * * [simplify]: Extracting #2: cost 16 inf + 0
3.059 * * [simplify]: Extracting #3: cost 16 inf + 1766
3.060 * * [simplify]: Extracting #4: cost 6 inf + 6819
3.060 * * [simplify]: Extracting #5: cost 1 inf + 12227
3.060 * * [simplify]: Extracting #6: cost 0 inf + 13549
3.061 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
3.061 * [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.061 * * * * [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.061 * * * * [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.061 * [simplify]: Simplifying (real->posit16 2.0)
3.061 * * [simplify]: iters left: 1 (2 enodes)
3.062 * * [simplify]: Extracting #0: cost 1 inf + 0
3.062 * * [simplify]: Extracting #1: cost 2 inf + 0
3.062 * * [simplify]: Extracting #2: cost 1 inf + 1
3.062 * * [simplify]: Extracting #3: cost 0 inf + 2
3.062 * [simplify]: Simplified to (real->posit16 2.0)
3.062 * [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.062 * * * * [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.062 * * * * [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.062 * * * * [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.062 * * * * [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.062 * * * * [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.062 * * * [progress]: adding candidates to table
3.274 * * [progress]: iteration 3 / 4
3.274 * * * [progress]: picking best candidate
3.288 * * * * [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.288 * * * [progress]: localizing error
3.503 * * * [progress]: generating rewritten candidates
3.503 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.507 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.512 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.520 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
3.529 * * * [progress]: generating series expansions
3.529 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.529 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.529 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.529 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
3.529 * * * [progress]: simplifying candidates
3.529 * * * * [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.530 * [simplify]: Simplifying (+.p16 beta alpha)
3.530 * * [simplify]: iters left: 1 (3 enodes)
3.530 * * [simplify]: Extracting #0: cost 1 inf + 0
3.530 * * [simplify]: Extracting #1: cost 3 inf + 0
3.530 * * [simplify]: Extracting #2: cost 1 inf + 2
3.530 * * [simplify]: Extracting #3: cost 0 inf + 44
3.530 * [simplify]: Simplified to (+.p16 alpha beta)
3.530 * [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.531 * * * * [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.531 * [simplify]: Simplifying (-.p16 beta alpha)
3.531 * * [simplify]: iters left: 1 (3 enodes)
3.532 * * [simplify]: Extracting #0: cost 1 inf + 0
3.532 * * [simplify]: Extracting #1: cost 6 inf + 0
3.532 * * [simplify]: Extracting #2: cost 5 inf + 44
3.532 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.532 * [simplify]: Simplified to (-.p16 beta alpha)
3.532 * [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.532 * * * * [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.533 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.533 * * [simplify]: iters left: 3 (7 enodes)
3.534 * * [simplify]: iters left: 2 (28 enodes)
3.540 * * [simplify]: iters left: 1 (79 enodes)
3.557 * * [simplify]: Extracting #0: cost 1 inf + 0
3.558 * * [simplify]: Extracting #1: cost 23 inf + 0
3.558 * * [simplify]: Extracting #2: cost 63 inf + 0
3.558 * * [simplify]: Extracting #3: cost 75 inf + 1531
3.559 * * [simplify]: Extracting #4: cost 37 inf + 47856
3.562 * * [simplify]: Extracting #5: cost 1 inf + 91596
3.565 * * [simplify]: Extracting #6: cost 0 inf + 94238
3.568 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.568 * [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.568 * * * * [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.568 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.568 * * [simplify]: iters left: 3 (8 enodes)
3.571 * * [simplify]: iters left: 2 (23 enodes)
3.575 * * [simplify]: iters left: 1 (40 enodes)
3.582 * * [simplify]: Extracting #0: cost 1 inf + 0
3.582 * * [simplify]: Extracting #1: cost 10 inf + 0
3.582 * * [simplify]: Extracting #2: cost 32 inf + 0
3.583 * * [simplify]: Extracting #3: cost 33 inf + 1045
3.583 * * [simplify]: Extracting #4: cost 25 inf + 6988
3.583 * * [simplify]: Extracting #5: cost 2 inf + 20756
3.584 * * [simplify]: Extracting #6: cost 0 inf + 22961
3.585 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.585 * [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.585 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
3.585 * * [simplify]: iters left: 2 (5 enodes)
3.586 * * [simplify]: iters left: 1 (9 enodes)
3.588 * * [simplify]: Extracting #0: cost 1 inf + 0
3.588 * * [simplify]: Extracting #1: cost 2 inf + 0
3.588 * * [simplify]: Extracting #2: cost 4 inf + 0
3.588 * * [simplify]: Extracting #3: cost 2 inf + 2
3.588 * * [simplify]: Extracting #4: cost 0 inf + 526
3.588 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
3.588 * [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.588 * * * * [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.588 * * * * [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.588 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
3.588 * * [simplify]: iters left: 3 (7 enodes)
3.590 * * [simplify]: iters left: 2 (17 enodes)
3.593 * * [simplify]: iters left: 1 (36 enodes)
3.601 * * [simplify]: Extracting #0: cost 1 inf + 0
3.601 * * [simplify]: Extracting #1: cost 10 inf + 0
3.601 * * [simplify]: Extracting #2: cost 15 inf + 1
3.601 * * [simplify]: Extracting #3: cost 14 inf + 323
3.601 * * [simplify]: Extracting #4: cost 9 inf + 1372
3.603 * * [simplify]: Extracting #5: cost 6 inf + 1498
3.603 * * [simplify]: Extracting #6: cost 0 inf + 3353
3.604 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.604 * [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.604 * * * * [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.604 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.604 * * [simplify]: iters left: 3 (7 enodes)
3.606 * * [simplify]: iters left: 2 (23 enodes)
3.611 * * [simplify]: iters left: 1 (42 enodes)
3.618 * * [simplify]: Extracting #0: cost 1 inf + 0
3.618 * * [simplify]: Extracting #1: cost 12 inf + 0
3.618 * * [simplify]: Extracting #2: cost 16 inf + 1
3.618 * * [simplify]: Extracting #3: cost 15 inf + 323
3.618 * * [simplify]: Extracting #4: cost 11 inf + 1050
3.618 * * [simplify]: Extracting #5: cost 5 inf + 2222
3.619 * * [simplify]: Extracting #6: cost 0 inf + 4395
3.619 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.619 * [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.619 * * * * [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.619 * * * * [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.619 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) beta)
3.620 * * [simplify]: iters left: 2 (4 enodes)
3.620 * * [simplify]: iters left: 1 (16 enodes)
3.624 * * [simplify]: Extracting #0: cost 1 inf + 0
3.624 * * [simplify]: Extracting #1: cost 9 inf + 0
3.624 * * [simplify]: Extracting #2: cost 11 inf + 1
3.624 * * [simplify]: Extracting #3: cost 13 inf + 323
3.624 * * [simplify]: Extracting #4: cost 9 inf + 1933
3.624 * * [simplify]: Extracting #5: cost 3 inf + 4862
3.625 * * [simplify]: Extracting #6: cost 0 inf + 7748
3.625 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
3.625 * [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.625 * * * * [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.625 * [simplify]: Simplifying (*.p16 beta (-.p16 beta alpha))
3.625 * * [simplify]: iters left: 2 (4 enodes)
3.627 * * [simplify]: iters left: 1 (16 enodes)
3.632 * * [simplify]: Extracting #0: cost 1 inf + 0
3.632 * * [simplify]: Extracting #1: cost 9 inf + 0
3.632 * * [simplify]: Extracting #2: cost 11 inf + 1
3.632 * * [simplify]: Extracting #3: cost 13 inf + 323
3.633 * * [simplify]: Extracting #4: cost 9 inf + 1933
3.633 * * [simplify]: Extracting #5: cost 3 inf + 4862
3.633 * * [simplify]: Extracting #6: cost 0 inf + 7748
3.634 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
3.634 * [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.634 * * * * [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.634 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.635 * * [simplify]: iters left: 3 (7 enodes)
3.638 * * [simplify]: iters left: 2 (28 enodes)
3.648 * * [simplify]: iters left: 1 (79 enodes)
3.684 * * [simplify]: Extracting #0: cost 1 inf + 0
3.684 * * [simplify]: Extracting #1: cost 23 inf + 0
3.684 * * [simplify]: Extracting #2: cost 63 inf + 0
3.685 * * [simplify]: Extracting #3: cost 75 inf + 1531
3.687 * * [simplify]: Extracting #4: cost 37 inf + 47856
3.693 * * [simplify]: Extracting #5: cost 1 inf + 91596
3.699 * * [simplify]: Extracting #6: cost 0 inf + 94238
3.705 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.705 * [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.705 * * * * [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.705 * * * * [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.706 * [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.706 * * [simplify]: iters left: 6 (15 enodes)
3.710 * * [simplify]: iters left: 5 (52 enodes)
3.723 * * [simplify]: iters left: 4 (152 enodes)
3.766 * * [simplify]: Extracting #0: cost 1 inf + 0
3.766 * * [simplify]: Extracting #1: cost 3 inf + 0
3.766 * * [simplify]: Extracting #2: cost 6 inf + 0
3.766 * * [simplify]: Extracting #3: cost 36 inf + 2
3.767 * * [simplify]: Extracting #4: cost 104 inf + 3
3.767 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.771 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.777 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.783 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.792 * [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.792 * [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.792 * * * * [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.792 * [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.792 * * [simplify]: iters left: 6 (15 enodes)
3.796 * * [simplify]: iters left: 5 (52 enodes)
3.816 * * [simplify]: iters left: 4 (152 enodes)
3.871 * * [simplify]: Extracting #0: cost 1 inf + 0
3.871 * * [simplify]: Extracting #1: cost 3 inf + 0
3.871 * * [simplify]: Extracting #2: cost 6 inf + 0
3.871 * * [simplify]: Extracting #3: cost 36 inf + 2
3.871 * * [simplify]: Extracting #4: cost 104 inf + 3
3.873 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.880 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.894 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.906 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.918 * [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.918 * [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.918 * * * * [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.919 * [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.919 * * [simplify]: iters left: 6 (15 enodes)
3.927 * * [simplify]: iters left: 5 (52 enodes)
3.949 * * [simplify]: iters left: 4 (152 enodes)
4.035 * * [simplify]: Extracting #0: cost 1 inf + 0
4.035 * * [simplify]: Extracting #1: cost 3 inf + 0
4.035 * * [simplify]: Extracting #2: cost 6 inf + 0
4.036 * * [simplify]: Extracting #3: cost 36 inf + 2
4.036 * * [simplify]: Extracting #4: cost 104 inf + 3
4.037 * * [simplify]: Extracting #5: cost 112 inf + 4517
4.045 * * [simplify]: Extracting #6: cost 50 inf + 77491
4.055 * * [simplify]: Extracting #7: cost 1 inf + 122190
4.067 * * [simplify]: Extracting #8: cost 0 inf + 124192
4.079 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
4.079 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.080 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.080 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
4.080 * * [simplify]: iters left: 6 (15 enodes)
4.087 * * [simplify]: iters left: 5 (52 enodes)
4.109 * * [simplify]: iters left: 4 (152 enodes)
4.168 * * [simplify]: Extracting #0: cost 1 inf + 0
4.168 * * [simplify]: Extracting #1: cost 3 inf + 0
4.168 * * [simplify]: Extracting #2: cost 6 inf + 0
4.168 * * [simplify]: Extracting #3: cost 36 inf + 2
4.169 * * [simplify]: Extracting #4: cost 104 inf + 3
4.169 * * [simplify]: Extracting #5: cost 112 inf + 4517
4.173 * * [simplify]: Extracting #6: cost 50 inf + 77491
4.178 * * [simplify]: Extracting #7: cost 1 inf + 122190
4.185 * * [simplify]: Extracting #8: cost 0 inf + 124192
4.191 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
4.192 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.192 * * * [progress]: adding candidates to table
4.698 * * [progress]: iteration 4 / 4
4.698 * * * [progress]: picking best candidate
4.823 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.823 * * * [progress]: localizing error
5.182 * * * [progress]: generating rewritten candidates
5.182 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
5.192 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
5.201 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
5.214 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
5.230 * * * [progress]: generating series expansions
5.230 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.231 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
5.231 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
5.231 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
5.231 * * * [progress]: simplifying candidates
5.231 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.231 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (real->posit16 2.0))
5.231 * * [simplify]: iters left: 2 (6 enodes)
5.234 * * [simplify]: iters left: 1 (15 enodes)
5.239 * * [simplify]: Extracting #0: cost 1 inf + 0
5.239 * * [simplify]: Extracting #1: cost 8 inf + 0
5.239 * * [simplify]: Extracting #2: cost 7 inf + 2
5.239 * * [simplify]: Extracting #3: cost 5 inf + 45
5.240 * * [simplify]: Extracting #4: cost 1 inf + 213
5.240 * * [simplify]: Extracting #5: cost 0 inf + 255
5.240 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (real->posit16 2.0))
5.240 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))
5.240 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
5.241 * [simplify]: Simplifying (+.p16 alpha beta)
5.241 * * [simplify]: iters left: 1 (3 enodes)
5.242 * * [simplify]: Extracting #0: cost 1 inf + 0
5.242 * * [simplify]: Extracting #1: cost 3 inf + 0
5.242 * * [simplify]: Extracting #2: cost 1 inf + 2
5.242 * * [simplify]: Extracting #3: cost 0 inf + 44
5.242 * [simplify]: Simplified to (+.p16 beta alpha)
5.242 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
5.242 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.243 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
5.243 * * [simplify]: iters left: 2 (5 enodes)
5.245 * * [simplify]: iters left: 1 (19 enodes)
5.252 * * [simplify]: Extracting #0: cost 1 inf + 0
5.252 * * [simplify]: Extracting #1: cost 8 inf + 0
5.252 * * [simplify]: Extracting #2: cost 16 inf + 0
5.252 * * [simplify]: Extracting #3: cost 16 inf + 1766
5.252 * * [simplify]: Extracting #4: cost 6 inf + 6819
5.253 * * [simplify]: Extracting #5: cost 1 inf + 12227
5.254 * * [simplify]: Extracting #6: cost 0 inf + 13549
5.255 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
5.255 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.255 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta)))) (real->posit16 2.0)))>
5.255 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.255 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
5.255 * * [simplify]: iters left: 3 (7 enodes)
5.259 * * [simplify]: iters left: 2 (17 enodes)
5.265 * * [simplify]: iters left: 1 (36 enodes)
5.278 * * [simplify]: Extracting #0: cost 1 inf + 0
5.279 * * [simplify]: Extracting #1: cost 10 inf + 0
5.279 * * [simplify]: Extracting #2: cost 15 inf + 1
5.279 * * [simplify]: Extracting #3: cost 14 inf + 323
5.280 * * [simplify]: Extracting #4: cost 9 inf + 1372
5.280 * * [simplify]: Extracting #5: cost 6 inf + 1498
5.281 * * [simplify]: Extracting #6: cost 0 inf + 3353
5.282 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
5.282 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
5.282 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.282 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
5.283 * * [simplify]: iters left: 3 (7 enodes)
5.286 * * [simplify]: iters left: 2 (23 enodes)
5.295 * * [simplify]: iters left: 1 (42 enodes)
5.311 * * [simplify]: Extracting #0: cost 1 inf + 0
5.311 * * [simplify]: Extracting #1: cost 12 inf + 0
5.312 * * [simplify]: Extracting #2: cost 16 inf + 1
5.312 * * [simplify]: Extracting #3: cost 15 inf + 323
5.312 * * [simplify]: Extracting #4: cost 11 inf + 1050
5.313 * * [simplify]: Extracting #5: cost 5 inf + 2222
5.313 * * [simplify]: Extracting #6: cost 0 inf + 4395
5.314 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
5.314 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
5.314 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.314 * * * * [progress]: [ 8 / 11 ] 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)))>
5.315 * [simplify]: Simplifying (-.p16 beta alpha)
5.315 * * [simplify]: iters left: 1 (3 enodes)
5.316 * * [simplify]: Extracting #0: cost 1 inf + 0
5.316 * * [simplify]: Extracting #1: cost 6 inf + 0
5.316 * * [simplify]: Extracting #2: cost 5 inf + 44
5.316 * * [simplify]: Extracting #3: cost 0 inf + 1571
5.317 * [simplify]: Simplified to (-.p16 beta alpha)
5.317 * [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)))
5.317 * * * * [progress]: [ 9 / 11 ] 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)))>
5.317 * [simplify]: Simplifying (-.p16 beta alpha)
5.317 * * [simplify]: iters left: 1 (3 enodes)
5.318 * * [simplify]: Extracting #0: cost 1 inf + 0
5.318 * * [simplify]: Extracting #1: cost 6 inf + 0
5.318 * * [simplify]: Extracting #2: cost 5 inf + 44
5.319 * * [simplify]: Extracting #3: cost 0 inf + 1571
5.319 * [simplify]: Simplified to (-.p16 beta alpha)
5.319 * [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)))
5.319 * * * * [progress]: [ 10 / 11 ] 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)))>
5.319 * [simplify]: Simplifying (-.p16 beta alpha)
5.319 * * [simplify]: iters left: 1 (3 enodes)
5.321 * * [simplify]: Extracting #0: cost 1 inf + 0
5.321 * * [simplify]: Extracting #1: cost 6 inf + 0
5.321 * * [simplify]: Extracting #2: cost 5 inf + 44
5.321 * * [simplify]: Extracting #3: cost 0 inf + 1571
5.321 * [simplify]: Simplified to (-.p16 beta alpha)
5.321 * [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)))
5.321 * * * * [progress]: [ 11 / 11 ] 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)))>
5.321 * [simplify]: Simplifying (-.p16 beta alpha)
5.321 * * [simplify]: iters left: 1 (3 enodes)
5.323 * * [simplify]: Extracting #0: cost 1 inf + 0
5.323 * * [simplify]: Extracting #1: cost 6 inf + 0
5.323 * * [simplify]: Extracting #2: cost 5 inf + 44
5.323 * * [simplify]: Extracting #3: cost 0 inf + 1571
5.323 * [simplify]: Simplified to (-.p16 beta alpha)
5.323 * [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)))
5.323 * * * [progress]: adding candidates to table
5.774 * [progress]: [Phase 3 of 3] Extracting.
5.774 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.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 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)))> #<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 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 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)))> #<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 (*.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)))>)
5.776 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
5.776 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.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 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)))> #<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 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 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)))> #<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 (*.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)))>)
6.060 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.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 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)))> #<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 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 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)))> #<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 (*.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)))>)
6.297 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
6.298 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
6.298 * * [simplify]: iters left: 6 (12 enodes)
6.300 * * [simplify]: Extracting #0: cost 1 inf + 0
6.300 * * [simplify]: Extracting #1: cost 3 inf + 0
6.300 * * [simplify]: Extracting #2: cost 6 inf + 0
6.300 * * [simplify]: Extracting #3: cost 8 inf + 1
6.300 * * [simplify]: Extracting #4: cost 8 inf + 4
6.300 * * [simplify]: Extracting #5: cost 6 inf + 6
6.301 * * [simplify]: Extracting #6: cost 0 inf + 2544
6.301 * [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))
6.301 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.342 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.348 * * * * [points]: Setting MPFR precision to 64
6.350 * * * * [points]: Setting MPFR precision to 320
6.351 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.358 * * * * [points]: Setting MPFR precision to 64
6.361 * * * * [points]: Setting MPFR precision to 320
6.364 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.369 * * * * [points]: Setting MPFR precision to 64
6.376 * * * * [points]: Setting MPFR precision to 320
6.382 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.387 * * * * [points]: Setting MPFR precision to 64
6.395 * * * * [points]: Setting MPFR precision to 320
6.402 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.422 * * * * [points]: Setting MPFR precision to 64
6.447 * * * * [points]: Setting MPFR precision to 320
6.465 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.468 * * * * [points]: Setting MPFR precision to 64
6.496 * * * * [points]: Setting MPFR precision to 320
6.524 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.528 * * * * [points]: Setting MPFR precision to 64
7.015 * * * * [points]: Setting MPFR precision to 320
7.121 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
7.127 * * * * [points]: Setting MPFR precision to 64
7.372 * * * * [points]: Setting MPFR precision to 320
7.619 * * * * [points]: Computing exacts for 8000 points
7.625 * * * * [points]: Setting MPFR precision to 64
8.415 * * * * [points]: Setting MPFR precision to 320
9.443 * * * * [points]: Filtering points with unrepresentable outputs
9.461 * * * * [points]: Sampling 3534 additional inputs, on iter 1 have 4466 / 8000
9.479 * * * * [points]: Computing exacts on every 220 of 3534 points to ramp up precision
9.484 * * * * [points]: Setting MPFR precision to 64
9.485 * * * * [points]: Setting MPFR precision to 320
9.486 * * * * [points]: Computing exacts on every 110 of 3534 points to ramp up precision
9.488 * * * * [points]: Setting MPFR precision to 64
9.490 * * * * [points]: Setting MPFR precision to 320
9.492 * * * * [points]: Computing exacts on every 55 of 3534 points to ramp up precision
9.496 * * * * [points]: Setting MPFR precision to 64
9.500 * * * * [points]: Setting MPFR precision to 320
9.504 * * * * [points]: Computing exacts on every 27 of 3534 points to ramp up precision
9.532 * * * * [points]: Setting MPFR precision to 64
9.541 * * * * [points]: Setting MPFR precision to 320
9.549 * * * * [points]: Computing exacts on every 13 of 3534 points to ramp up precision
9.552 * * * * [points]: Setting MPFR precision to 64
9.567 * * * * [points]: Setting MPFR precision to 320
9.582 * * * * [points]: Computing exacts on every 6 of 3534 points to ramp up precision
9.585 * * * * [points]: Setting MPFR precision to 64
9.613 * * * * [points]: Setting MPFR precision to 320
9.642 * * * * [points]: Computing exacts on every 3 of 3534 points to ramp up precision
9.645 * * * * [points]: Setting MPFR precision to 64
9.725 * * * * [points]: Setting MPFR precision to 320
9.777 * * * * [points]: Computing exacts for 3534 points
9.780 * * * * [points]: Setting MPFR precision to 64
10.131 * * * * [points]: Setting MPFR precision to 320
10.399 * * * * [points]: Filtering points with unrepresentable outputs
10.403 * * * * [points]: Sampling 1549 additional inputs, on iter 2 have 6451 / 8000
10.408 * * * * [points]: Computing exacts on every 96 of 1549 points to ramp up precision
10.411 * * * * [points]: Setting MPFR precision to 64
10.412 * * * * [points]: Setting MPFR precision to 320
10.413 * * * * [points]: Computing exacts on every 48 of 1549 points to ramp up precision
10.416 * * * * [points]: Setting MPFR precision to 64
10.418 * * * * [points]: Setting MPFR precision to 320
10.420 * * * * [points]: Computing exacts on every 24 of 1549 points to ramp up precision
10.422 * * * * [points]: Setting MPFR precision to 64
10.426 * * * * [points]: Setting MPFR precision to 320
10.430 * * * * [points]: Computing exacts on every 12 of 1549 points to ramp up precision
10.432 * * * * [points]: Setting MPFR precision to 64
10.439 * * * * [points]: Setting MPFR precision to 320
10.446 * * * * [points]: Computing exacts on every 6 of 1549 points to ramp up precision
10.449 * * * * [points]: Setting MPFR precision to 64
10.462 * * * * [points]: Setting MPFR precision to 320
10.476 * * * * [points]: Computing exacts on every 3 of 1549 points to ramp up precision
10.478 * * * * [points]: Setting MPFR precision to 64
10.801 * * * * [points]: Setting MPFR precision to 320
10.826 * * * * [points]: Computing exacts for 1549 points
10.829 * * * * [points]: Setting MPFR precision to 64
10.946 * * * * [points]: Setting MPFR precision to 320
11.039 * * * * [points]: Filtering points with unrepresentable outputs
11.040 * * * * [points]: Sampling 682 additional inputs, on iter 3 have 7318 / 8000
11.042 * * * * [points]: Computing exacts on every 42 of 682 points to ramp up precision
11.045 * * * * [points]: Setting MPFR precision to 64
11.046 * * * * [points]: Setting MPFR precision to 320
11.047 * * * * [points]: Computing exacts on every 21 of 682 points to ramp up precision
11.050 * * * * [points]: Setting MPFR precision to 64
11.052 * * * * [points]: Setting MPFR precision to 320
11.054 * * * * [points]: Computing exacts on every 10 of 682 points to ramp up precision
11.057 * * * * [points]: Setting MPFR precision to 64
11.061 * * * * [points]: Setting MPFR precision to 320
11.093 * * * * [points]: Computing exacts on every 5 of 682 points to ramp up precision
11.096 * * * * [points]: Setting MPFR precision to 64
11.104 * * * * [points]: Setting MPFR precision to 320
11.111 * * * * [points]: Computing exacts on every 2 of 682 points to ramp up precision
11.114 * * * * [points]: Setting MPFR precision to 64
11.127 * * * * [points]: Setting MPFR precision to 320
11.141 * * * * [points]: Computing exacts for 682 points
11.143 * * * * [points]: Setting MPFR precision to 64
11.184 * * * * [points]: Setting MPFR precision to 320
11.250 * * * * [points]: Filtering points with unrepresentable outputs
11.251 * * * * [points]: Sampling 313 additional inputs, on iter 4 have 7687 / 8000
11.251 * * * * [points]: Computing exacts on every 19 of 313 points to ramp up precision
11.256 * * * * [points]: Setting MPFR precision to 64
11.257 * * * * [points]: Setting MPFR precision to 320
11.258 * * * * [points]: Computing exacts on every 9 of 313 points to ramp up precision
11.261 * * * * [points]: Setting MPFR precision to 64
11.263 * * * * [points]: Setting MPFR precision to 320
11.265 * * * * [points]: Computing exacts on every 4 of 313 points to ramp up precision
11.268 * * * * [points]: Setting MPFR precision to 64
11.271 * * * * [points]: Setting MPFR precision to 320
11.275 * * * * [points]: Computing exacts on every 2 of 313 points to ramp up precision
11.278 * * * * [points]: Setting MPFR precision to 64
11.285 * * * * [points]: Setting MPFR precision to 320
11.291 * * * * [points]: Computing exacts for 313 points
11.293 * * * * [points]: Setting MPFR precision to 64
11.312 * * * * [points]: Setting MPFR precision to 320
11.331 * * * * [points]: Filtering points with unrepresentable outputs
11.332 * * * * [points]: Sampling 153 additional inputs, on iter 5 have 7847 / 8000
11.332 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
11.335 * * * * [points]: Setting MPFR precision to 64
11.336 * * * * [points]: Setting MPFR precision to 320
11.337 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
11.339 * * * * [points]: Setting MPFR precision to 64
11.341 * * * * [points]: Setting MPFR precision to 320
11.343 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
11.370 * * * * [points]: Setting MPFR precision to 64
11.374 * * * * [points]: Setting MPFR precision to 320
11.377 * * * * [points]: Computing exacts for 153 points
11.381 * * * * [points]: Setting MPFR precision to 64
11.390 * * * * [points]: Setting MPFR precision to 320
11.400 * * * * [points]: Filtering points with unrepresentable outputs
11.400 * * * * [points]: Sampling 64 additional inputs, on iter 6 have 7936 / 8000
11.400 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
11.403 * * * * [points]: Setting MPFR precision to 64
11.404 * * * * [points]: Setting MPFR precision to 320
11.404 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
11.407 * * * * [points]: Setting MPFR precision to 64
11.408 * * * * [points]: Setting MPFR precision to 320
11.410 * * * * [points]: Computing exacts for 64 points
11.412 * * * * [points]: Setting MPFR precision to 64
11.416 * * * * [points]: Setting MPFR precision to 320
11.420 * * * * [points]: Filtering points with unrepresentable outputs
11.420 * * * * [points]: Sampling 31 additional inputs, on iter 7 have 7969 / 8000
11.421 * * * * [points]: Computing exacts for 31 points
11.423 * * * * [points]: Setting MPFR precision to 64
11.425 * * * * [points]: Setting MPFR precision to 320
11.427 * * * * [points]: Filtering points with unrepresentable outputs
11.427 * * * * [points]: Sampling 14 additional inputs, on iter 8 have 7986 / 8000
11.427 * * * * [points]: Computing exacts for 14 points
11.430 * * * * [points]: Setting MPFR precision to 64
11.431 * * * * [points]: Setting MPFR precision to 320
11.432 * * * * [points]: Filtering points with unrepresentable outputs
11.432 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000
11.432 * * * * [points]: Computing exacts for 8 points
11.435 * * * * [points]: Setting MPFR precision to 64
11.435 * * * * [points]: Setting MPFR precision to 320
11.436 * * * * [points]: Filtering points with unrepresentable outputs
11.436 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
11.436 * * * * [points]: Computing exacts for 5 points
11.439 * * * * [points]: Setting MPFR precision to 64
11.439 * * * * [points]: Setting MPFR precision to 320
11.440 * * * * [points]: Filtering points with unrepresentable outputs
11.440 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
11.440 * * * * [points]: Computing exacts for 4 points
11.443 * * * * [points]: Setting MPFR precision to 64
11.443 * * * * [points]: Setting MPFR precision to 320
11.443 * * * * [points]: Filtering points with unrepresentable outputs
11.443 * * * * [points]: Sampled 8002 points with exact outputs
19.726 * [regime-testing]: Baseline error score: 64.0
19.729 * [regime-testing]: Oracle error score: 64.0
19.736 * [regime-testing]: End program error score: 0.7421714627303285