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.008 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [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.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.022 * * * * [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.040 * * * * [points]: Computing exacts for 256 points
0.045 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.099 * * * * [points]: Filtering points with unrepresentable outputs
0.100 * * * * [points]: Sampling 110 additional inputs, on iter 1 have 146 / 256
0.100 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
0.106 * * * * [points]: Setting MPFR precision to 64
0.108 * * * * [points]: Setting MPFR precision to 320
0.109 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
0.115 * * * * [points]: Setting MPFR precision to 64
0.118 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Computing exacts for 110 points
0.126 * * * * [points]: Setting MPFR precision to 64
0.138 * * * * [points]: Setting MPFR precision to 320
0.150 * * * * [points]: Filtering points with unrepresentable outputs
0.150 * * * * [points]: Sampling 43 additional inputs, on iter 2 have 213 / 256
0.151 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.158 * * * * [points]: Computing exacts for 43 points
0.164 * * * * [points]: Setting MPFR precision to 64
0.194 * * * * [points]: Setting MPFR precision to 320
0.199 * * * * [points]: Filtering points with unrepresentable outputs
0.199 * * * * [points]: Sampling 18 additional inputs, on iter 3 have 238 / 256
0.199 * * * * [points]: Computing exacts for 18 points
0.207 * * * * [points]: Setting MPFR precision to 64
0.209 * * * * [points]: Setting MPFR precision to 320
0.211 * * * * [points]: Filtering points with unrepresentable outputs
0.211 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256
0.211 * * * * [points]: Computing exacts for 11 points
0.216 * * * * [points]: Setting MPFR precision to 64
0.218 * * * * [points]: Setting MPFR precision to 320
0.219 * * * * [points]: Filtering points with unrepresentable outputs
0.219 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.219 * * * * [points]: Computing exacts for 5 points
0.224 * * * * [points]: Setting MPFR precision to 64
0.225 * * * * [points]: Setting MPFR precision to 320
0.225 * * * * [points]: Filtering points with unrepresentable outputs
0.225 * * * * [points]: Sampled 256 points with exact outputs
0.225 * * * [progress]: [2/2] Setting up program.
0.250 * [progress]: [Phase 2 of 3] Improving.
0.250 * * * * [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.251 * [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.251 * * [simplify]: iters left: 5 (12 enodes)
0.257 * * [simplify]: iters left: 4 (29 enodes)
0.266 * * [simplify]: iters left: 3 (46 enodes)
0.283 * * [simplify]: iters left: 2 (97 enodes)
0.314 * * [simplify]: iters left: 1 (335 enodes)
0.518 * * [simplify]: Extracting #0: cost 1 inf + 0
0.518 * * [simplify]: Extracting #1: cost 3 inf + 0
0.518 * * [simplify]: Extracting #2: cost 6 inf + 0
0.519 * * [simplify]: Extracting #3: cost 84 inf + 2
0.520 * * [simplify]: Extracting #4: cost 417 inf + 3
0.524 * * [simplify]: Extracting #5: cost 404 inf + 78485
0.540 * * [simplify]: Extracting #6: cost 124 inf + 437558
0.570 * * [simplify]: Extracting #7: cost 5 inf + 645994
0.610 * * [simplify]: Extracting #8: cost 0 inf + 656284
0.638 * [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.638 * [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.654 * * [progress]: iteration 1 / 4
0.654 * * * [progress]: picking best candidate
0.669 * * * * [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.669 * * * [progress]: localizing error
0.833 * * * [progress]: generating rewritten candidates
0.833 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.842 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.849 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.858 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.870 * * * [progress]: generating series expansions
0.870 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.871 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.871 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.871 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.871 * * * [progress]: simplifying candidates
0.871 * * * * [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.871 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
0.871 * * [simplify]: iters left: 2 (5 enodes)
0.872 * * [simplify]: iters left: 1 (19 enodes)
0.875 * * [simplify]: Extracting #0: cost 1 inf + 0
0.875 * * [simplify]: Extracting #1: cost 8 inf + 0
0.875 * * [simplify]: Extracting #2: cost 16 inf + 0
0.875 * * [simplify]: Extracting #3: cost 16 inf + 1766
0.876 * * [simplify]: Extracting #4: cost 6 inf + 6819
0.876 * * [simplify]: Extracting #5: cost 1 inf + 12227
0.876 * * [simplify]: Extracting #6: cost 0 inf + 13549
0.877 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
0.877 * [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.877 * * * * [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.877 * * * * [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.877 * * * * [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.877 * * * * [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.877 * [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.877 * * [simplify]: iters left: 5 (12 enodes)
0.880 * * [simplify]: iters left: 4 (29 enodes)
0.889 * * [simplify]: iters left: 3 (46 enodes)
0.897 * * [simplify]: iters left: 2 (97 enodes)
0.919 * * [simplify]: iters left: 1 (335 enodes)
1.076 * * [simplify]: Extracting #0: cost 1 inf + 0
1.077 * * [simplify]: Extracting #1: cost 3 inf + 0
1.077 * * [simplify]: Extracting #2: cost 6 inf + 0
1.077 * * [simplify]: Extracting #3: cost 84 inf + 2
1.078 * * [simplify]: Extracting #4: cost 417 inf + 3
1.082 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.099 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.126 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.156 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.184 * [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.184 * [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.184 * * * * [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.184 * [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.184 * * [simplify]: iters left: 5 (12 enodes)
1.187 * * [simplify]: iters left: 4 (29 enodes)
1.193 * * [simplify]: iters left: 3 (46 enodes)
1.201 * * [simplify]: iters left: 2 (97 enodes)
1.224 * * [simplify]: iters left: 1 (335 enodes)
1.380 * * [simplify]: Extracting #0: cost 1 inf + 0
1.381 * * [simplify]: Extracting #1: cost 3 inf + 0
1.381 * * [simplify]: Extracting #2: cost 6 inf + 0
1.381 * * [simplify]: Extracting #3: cost 84 inf + 2
1.382 * * [simplify]: Extracting #4: cost 417 inf + 3
1.386 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.406 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.433 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.461 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.490 * [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.490 * [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.490 * * * * [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.490 * [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.490 * * [simplify]: iters left: 5 (12 enodes)
1.494 * * [simplify]: iters left: 4 (29 enodes)
1.499 * * [simplify]: iters left: 3 (46 enodes)
1.506 * * [simplify]: iters left: 2 (97 enodes)
1.528 * * [simplify]: iters left: 1 (335 enodes)
1.688 * * [simplify]: Extracting #0: cost 1 inf + 0
1.688 * * [simplify]: Extracting #1: cost 3 inf + 0
1.688 * * [simplify]: Extracting #2: cost 6 inf + 0
1.688 * * [simplify]: Extracting #3: cost 84 inf + 2
1.689 * * [simplify]: Extracting #4: cost 417 inf + 3
1.693 * * [simplify]: Extracting #5: cost 404 inf + 78485
1.710 * * [simplify]: Extracting #6: cost 124 inf + 437558
1.736 * * [simplify]: Extracting #7: cost 5 inf + 645994
1.767 * * [simplify]: Extracting #8: cost 0 inf + 656284
1.796 * [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.796 * [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.796 * * * * [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.796 * [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.796 * * [simplify]: iters left: 5 (12 enodes)
1.799 * * [simplify]: iters left: 4 (29 enodes)
1.804 * * [simplify]: iters left: 3 (46 enodes)
1.812 * * [simplify]: iters left: 2 (97 enodes)
1.835 * * [simplify]: iters left: 1 (335 enodes)
1.989 * * [simplify]: Extracting #0: cost 1 inf + 0
1.989 * * [simplify]: Extracting #1: cost 3 inf + 0
1.989 * * [simplify]: Extracting #2: cost 6 inf + 0
1.989 * * [simplify]: Extracting #3: cost 84 inf + 2
1.990 * * [simplify]: Extracting #4: cost 417 inf + 3
1.994 * * [simplify]: Extracting #5: cost 404 inf + 78485
2.014 * * [simplify]: Extracting #6: cost 124 inf + 437558
2.040 * * [simplify]: Extracting #7: cost 5 inf + 645994
2.069 * * [simplify]: Extracting #8: cost 0 inf + 656284
2.098 * [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.098 * [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.099 * * * [progress]: adding candidates to table
2.271 * * [progress]: iteration 2 / 4
2.271 * * * [progress]: picking best candidate
2.299 * * * * [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.300 * * * [progress]: localizing error
2.467 * * * [progress]: generating rewritten candidates
2.467 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.472 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.479 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.484 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.496 * * * [progress]: generating series expansions
2.496 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.496 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.496 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.496 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.496 * * * [progress]: simplifying candidates
2.496 * * * * [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.496 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
2.496 * * [simplify]: iters left: 2 (5 enodes)
2.497 * * [simplify]: iters left: 1 (19 enodes)
2.500 * * [simplify]: Extracting #0: cost 1 inf + 0
2.501 * * [simplify]: Extracting #1: cost 8 inf + 0
2.501 * * [simplify]: Extracting #2: cost 16 inf + 0
2.501 * * [simplify]: Extracting #3: cost 16 inf + 1766
2.501 * * [simplify]: Extracting #4: cost 6 inf + 6819
2.501 * * [simplify]: Extracting #5: cost 1 inf + 12227
2.502 * * [simplify]: Extracting #6: cost 0 inf + 13549
2.502 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
2.502 * [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.502 * * * * [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.502 * * * * [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.502 * [simplify]: Simplifying (real->posit16 2.0)
2.502 * * [simplify]: iters left: 1 (2 enodes)
2.504 * * [simplify]: Extracting #0: cost 1 inf + 0
2.504 * * [simplify]: Extracting #1: cost 2 inf + 0
2.504 * * [simplify]: Extracting #2: cost 1 inf + 1
2.504 * * [simplify]: Extracting #3: cost 0 inf + 2
2.504 * [simplify]: Simplified to (real->posit16 2.0)
2.504 * [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.504 * * * * [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.504 * * * * [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.504 * * * * [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.504 * * * * [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.504 * * * * [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.504 * * * [progress]: adding candidates to table
2.694 * * [progress]: iteration 3 / 4
2.694 * * * [progress]: picking best candidate
2.710 * * * * [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)))>
2.710 * * * [progress]: localizing error
2.942 * * * [progress]: generating rewritten candidates
2.942 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.946 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.952 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.969 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
2.973 * * * [progress]: generating series expansions
2.973 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.973 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.973 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
2.973 * * * [progress]: simplifying candidates
2.973 * * * * [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)))>
2.973 * [simplify]: Simplifying (+.p16 beta alpha)
2.973 * * [simplify]: iters left: 1 (3 enodes)
2.974 * * [simplify]: Extracting #0: cost 1 inf + 0
2.974 * * [simplify]: Extracting #1: cost 3 inf + 0
2.974 * * [simplify]: Extracting #2: cost 1 inf + 2
2.974 * * [simplify]: Extracting #3: cost 0 inf + 44
2.974 * [simplify]: Simplified to (+.p16 alpha beta)
2.974 * [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)))
2.974 * * * * [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)))>
2.974 * [simplify]: Simplifying (-.p16 beta alpha)
2.974 * * [simplify]: iters left: 1 (3 enodes)
2.975 * * [simplify]: Extracting #0: cost 1 inf + 0
2.975 * * [simplify]: Extracting #1: cost 6 inf + 0
2.975 * * [simplify]: Extracting #2: cost 5 inf + 44
2.975 * * [simplify]: Extracting #3: cost 0 inf + 1571
2.975 * [simplify]: Simplified to (-.p16 beta alpha)
2.975 * [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)))
2.975 * * * * [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)))>
2.976 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
2.976 * * [simplify]: iters left: 3 (7 enodes)
2.977 * * [simplify]: iters left: 2 (28 enodes)
2.984 * * [simplify]: iters left: 1 (79 enodes)
3.001 * * [simplify]: Extracting #0: cost 1 inf + 0
3.001 * * [simplify]: Extracting #1: cost 23 inf + 0
3.002 * * [simplify]: Extracting #2: cost 63 inf + 0
3.002 * * [simplify]: Extracting #3: cost 75 inf + 1531
3.003 * * [simplify]: Extracting #4: cost 37 inf + 47856
3.006 * * [simplify]: Extracting #5: cost 1 inf + 91596
3.010 * * [simplify]: Extracting #6: cost 0 inf + 94238
3.013 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.013 * [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.013 * * * * [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.013 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.013 * * [simplify]: iters left: 3 (8 enodes)
3.015 * * [simplify]: iters left: 2 (23 enodes)
3.019 * * [simplify]: iters left: 1 (40 enodes)
3.026 * * [simplify]: Extracting #0: cost 1 inf + 0
3.026 * * [simplify]: Extracting #1: cost 10 inf + 0
3.026 * * [simplify]: Extracting #2: cost 32 inf + 0
3.026 * * [simplify]: Extracting #3: cost 33 inf + 1045
3.027 * * [simplify]: Extracting #4: cost 25 inf + 6988
3.027 * * [simplify]: Extracting #5: cost 2 inf + 20756
3.028 * * [simplify]: Extracting #6: cost 0 inf + 22961
3.029 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.029 * [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.029 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
3.029 * * [simplify]: iters left: 2 (5 enodes)
3.030 * * [simplify]: iters left: 1 (9 enodes)
3.031 * * [simplify]: Extracting #0: cost 1 inf + 0
3.031 * * [simplify]: Extracting #1: cost 2 inf + 0
3.031 * * [simplify]: Extracting #2: cost 4 inf + 0
3.032 * * [simplify]: Extracting #3: cost 2 inf + 2
3.032 * * [simplify]: Extracting #4: cost 0 inf + 526
3.032 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
3.032 * [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.032 * * * * [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.032 * * * * [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.032 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
3.032 * * [simplify]: iters left: 3 (7 enodes)
3.034 * * [simplify]: iters left: 2 (17 enodes)
3.038 * * [simplify]: iters left: 1 (36 enodes)
3.044 * * [simplify]: Extracting #0: cost 1 inf + 0
3.044 * * [simplify]: Extracting #1: cost 10 inf + 0
3.044 * * [simplify]: Extracting #2: cost 15 inf + 1
3.044 * * [simplify]: Extracting #3: cost 14 inf + 323
3.044 * * [simplify]: Extracting #4: cost 9 inf + 1372
3.045 * * [simplify]: Extracting #5: cost 6 inf + 1498
3.045 * * [simplify]: Extracting #6: cost 0 inf + 3353
3.045 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.045 * [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.045 * * * * [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.046 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.046 * * [simplify]: iters left: 3 (7 enodes)
3.047 * * [simplify]: iters left: 2 (23 enodes)
3.052 * * [simplify]: iters left: 1 (42 enodes)
3.058 * * [simplify]: Extracting #0: cost 1 inf + 0
3.058 * * [simplify]: Extracting #1: cost 12 inf + 0
3.058 * * [simplify]: Extracting #2: cost 16 inf + 1
3.058 * * [simplify]: Extracting #3: cost 15 inf + 323
3.058 * * [simplify]: Extracting #4: cost 11 inf + 1050
3.059 * * [simplify]: Extracting #5: cost 5 inf + 2222
3.059 * * [simplify]: Extracting #6: cost 0 inf + 4395
3.059 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.059 * [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.060 * * * * [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.060 * * * * [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.060 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) beta)
3.060 * * [simplify]: iters left: 2 (4 enodes)
3.061 * * [simplify]: iters left: 1 (16 enodes)
3.063 * * [simplify]: Extracting #0: cost 1 inf + 0
3.063 * * [simplify]: Extracting #1: cost 9 inf + 0
3.063 * * [simplify]: Extracting #2: cost 11 inf + 1
3.063 * * [simplify]: Extracting #3: cost 13 inf + 323
3.063 * * [simplify]: Extracting #4: cost 9 inf + 1933
3.064 * * [simplify]: Extracting #5: cost 3 inf + 4862
3.064 * * [simplify]: Extracting #6: cost 0 inf + 7748
3.064 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
3.064 * [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.064 * * * * [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.064 * [simplify]: Simplifying (*.p16 beta (-.p16 beta alpha))
3.064 * * [simplify]: iters left: 2 (4 enodes)
3.065 * * [simplify]: iters left: 1 (16 enodes)
3.068 * * [simplify]: Extracting #0: cost 1 inf + 0
3.068 * * [simplify]: Extracting #1: cost 9 inf + 0
3.068 * * [simplify]: Extracting #2: cost 11 inf + 1
3.068 * * [simplify]: Extracting #3: cost 13 inf + 323
3.068 * * [simplify]: Extracting #4: cost 9 inf + 1933
3.068 * * [simplify]: Extracting #5: cost 3 inf + 4862
3.068 * * [simplify]: Extracting #6: cost 0 inf + 7748
3.069 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
3.069 * [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.069 * * * * [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.069 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.069 * * [simplify]: iters left: 3 (7 enodes)
3.071 * * [simplify]: iters left: 2 (28 enodes)
3.076 * * [simplify]: iters left: 1 (79 enodes)
3.093 * * [simplify]: Extracting #0: cost 1 inf + 0
3.093 * * [simplify]: Extracting #1: cost 23 inf + 0
3.093 * * [simplify]: Extracting #2: cost 63 inf + 0
3.094 * * [simplify]: Extracting #3: cost 75 inf + 1531
3.095 * * [simplify]: Extracting #4: cost 37 inf + 47856
3.098 * * [simplify]: Extracting #5: cost 1 inf + 91596
3.101 * * [simplify]: Extracting #6: cost 0 inf + 94238
3.104 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.104 * [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.104 * * * * [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.104 * * * * [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.104 * [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.104 * * [simplify]: iters left: 6 (15 enodes)
3.109 * * [simplify]: iters left: 5 (52 enodes)
3.120 * * [simplify]: iters left: 4 (152 enodes)
3.161 * * [simplify]: Extracting #0: cost 1 inf + 0
3.161 * * [simplify]: Extracting #1: cost 3 inf + 0
3.161 * * [simplify]: Extracting #2: cost 6 inf + 0
3.161 * * [simplify]: Extracting #3: cost 36 inf + 2
3.161 * * [simplify]: Extracting #4: cost 104 inf + 3
3.162 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.165 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.173 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.179 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.185 * [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.185 * [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.185 * * * * [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.185 * [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.185 * * [simplify]: iters left: 6 (15 enodes)
3.190 * * [simplify]: iters left: 5 (52 enodes)
3.201 * * [simplify]: iters left: 4 (152 enodes)
3.244 * * [simplify]: Extracting #0: cost 1 inf + 0
3.244 * * [simplify]: Extracting #1: cost 3 inf + 0
3.244 * * [simplify]: Extracting #2: cost 6 inf + 0
3.245 * * [simplify]: Extracting #3: cost 36 inf + 2
3.245 * * [simplify]: Extracting #4: cost 104 inf + 3
3.246 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.249 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.255 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.261 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.267 * [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.267 * [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.267 * * * * [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.268 * [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.268 * * [simplify]: iters left: 6 (15 enodes)
3.272 * * [simplify]: iters left: 5 (52 enodes)
3.282 * * [simplify]: iters left: 4 (152 enodes)
3.326 * * [simplify]: Extracting #0: cost 1 inf + 0
3.326 * * [simplify]: Extracting #1: cost 3 inf + 0
3.326 * * [simplify]: Extracting #2: cost 6 inf + 0
3.326 * * [simplify]: Extracting #3: cost 36 inf + 2
3.326 * * [simplify]: Extracting #4: cost 104 inf + 3
3.327 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.331 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.336 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.342 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.349 * [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.349 * [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.349 * * * * [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.349 * [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.349 * * [simplify]: iters left: 6 (15 enodes)
3.353 * * [simplify]: iters left: 5 (52 enodes)
3.364 * * [simplify]: iters left: 4 (152 enodes)
3.407 * * [simplify]: Extracting #0: cost 1 inf + 0
3.408 * * [simplify]: Extracting #1: cost 3 inf + 0
3.408 * * [simplify]: Extracting #2: cost 6 inf + 0
3.408 * * [simplify]: Extracting #3: cost 36 inf + 2
3.408 * * [simplify]: Extracting #4: cost 104 inf + 3
3.409 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.412 * * [simplify]: Extracting #6: cost 50 inf + 77491
3.418 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.424 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.430 * [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.430 * [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.430 * * * [progress]: adding candidates to table
3.932 * * [progress]: iteration 4 / 4
3.932 * * * [progress]: picking best candidate
4.068 * * * * [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.068 * * * [progress]: localizing error
4.244 * * * [progress]: generating rewritten candidates
4.244 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.257 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
4.264 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
4.269 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.281 * * * [progress]: generating series expansions
4.281 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.281 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
4.281 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
4.281 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.281 * * * [progress]: simplifying candidates
4.281 * * * * [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.281 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
4.281 * * [simplify]: iters left: 2 (5 enodes)
4.282 * * [simplify]: iters left: 1 (19 enodes)
4.285 * * [simplify]: Extracting #0: cost 1 inf + 0
4.286 * * [simplify]: Extracting #1: cost 8 inf + 0
4.286 * * [simplify]: Extracting #2: cost 16 inf + 0
4.286 * * [simplify]: Extracting #3: cost 16 inf + 1766
4.286 * * [simplify]: Extracting #4: cost 6 inf + 6819
4.286 * * [simplify]: Extracting #5: cost 1 inf + 12227
4.287 * * [simplify]: Extracting #6: cost 0 inf + 13549
4.287 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
4.287 * [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.287 * * * * [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.287 * * * * [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.287 * [simplify]: Simplifying (real->posit16 2.0)
4.287 * * [simplify]: iters left: 1 (2 enodes)
4.288 * * [simplify]: Extracting #0: cost 1 inf + 0
4.288 * * [simplify]: Extracting #1: cost 2 inf + 0
4.288 * * [simplify]: Extracting #2: cost 1 inf + 1
4.288 * * [simplify]: Extracting #3: cost 0 inf + 2
4.288 * [simplify]: Simplified to (real->posit16 2.0)
4.288 * [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.288 * * * * [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.289 * * * * [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.289 * [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.289 * * [simplify]: iters left: 6 (12 enodes)
4.292 * * [simplify]: iters left: 5 (29 enodes)
4.296 * * [simplify]: iters left: 4 (46 enodes)
4.304 * * [simplify]: iters left: 3 (97 enodes)
4.328 * * [simplify]: iters left: 2 (335 enodes)
4.497 * * [simplify]: Extracting #0: cost 1 inf + 0
4.497 * * [simplify]: Extracting #1: cost 3 inf + 0
4.497 * * [simplify]: Extracting #2: cost 6 inf + 0
4.497 * * [simplify]: Extracting #3: cost 84 inf + 2
4.499 * * [simplify]: Extracting #4: cost 417 inf + 3
4.502 * * [simplify]: Extracting #5: cost 428 inf + 54952
4.521 * * [simplify]: Extracting #6: cost 141 inf + 421995
4.548 * * [simplify]: Extracting #7: cost 6 inf + 644394
4.578 * * [simplify]: Extracting #8: cost 0 inf + 656444
4.615 * [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))
4.616 * [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)))
4.616 * * * * [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)))>
4.616 * [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.616 * * [simplify]: iters left: 6 (12 enodes)
4.622 * * [simplify]: iters left: 5 (29 enodes)
4.633 * * [simplify]: iters left: 4 (46 enodes)
4.649 * * [simplify]: iters left: 3 (97 enodes)
4.694 * * [simplify]: iters left: 2 (335 enodes)
4.969 * * [simplify]: Extracting #0: cost 1 inf + 0
4.970 * * [simplify]: Extracting #1: cost 3 inf + 0
4.970 * * [simplify]: Extracting #2: cost 6 inf + 0
4.970 * * [simplify]: Extracting #3: cost 84 inf + 2
4.972 * * [simplify]: Extracting #4: cost 417 inf + 3
4.980 * * [simplify]: Extracting #5: cost 428 inf + 54952
5.010 * * [simplify]: Extracting #6: cost 141 inf + 421995
5.063 * * [simplify]: Extracting #7: cost 6 inf + 644394
5.125 * * [simplify]: Extracting #8: cost 0 inf + 656444
5.183 * [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.183 * [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.183 * * * * [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)))>
5.183 * [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.184 * * [simplify]: iters left: 6 (12 enodes)
5.190 * * [simplify]: iters left: 5 (29 enodes)
5.200 * * [simplify]: iters left: 4 (46 enodes)
5.217 * * [simplify]: iters left: 3 (97 enodes)
5.261 * * [simplify]: iters left: 2 (335 enodes)
5.569 * * [simplify]: Extracting #0: cost 1 inf + 0
5.569 * * [simplify]: Extracting #1: cost 3 inf + 0
5.569 * * [simplify]: Extracting #2: cost 6 inf + 0
5.569 * * [simplify]: Extracting #3: cost 84 inf + 2
5.571 * * [simplify]: Extracting #4: cost 417 inf + 3
5.579 * * [simplify]: Extracting #5: cost 428 inf + 54952
5.616 * * [simplify]: Extracting #6: cost 141 inf + 421995
5.662 * * [simplify]: Extracting #7: cost 6 inf + 644394
5.691 * * [simplify]: Extracting #8: cost 0 inf + 656444
5.742 * [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.742 * [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.742 * * * * [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)))>
5.743 * [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.743 * * [simplify]: iters left: 6 (12 enodes)
5.749 * * [simplify]: iters left: 5 (29 enodes)
5.760 * * [simplify]: iters left: 4 (46 enodes)
5.777 * * [simplify]: iters left: 3 (97 enodes)
5.821 * * [simplify]: iters left: 2 (335 enodes)
6.108 * * [simplify]: Extracting #0: cost 1 inf + 0
6.108 * * [simplify]: Extracting #1: cost 3 inf + 0
6.108 * * [simplify]: Extracting #2: cost 6 inf + 0
6.108 * * [simplify]: Extracting #3: cost 84 inf + 2
6.110 * * [simplify]: Extracting #4: cost 417 inf + 3
6.117 * * [simplify]: Extracting #5: cost 428 inf + 54952
6.149 * * [simplify]: Extracting #6: cost 141 inf + 421995
6.209 * * [simplify]: Extracting #7: cost 6 inf + 644394
6.254 * * [simplify]: Extracting #8: cost 0 inf + 656444
6.284 * [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.284 * [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.284 * * * [progress]: adding candidates to table
6.609 * [progress]: [Phase 3 of 3] Extracting.
6.609 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (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 alpha beta)) (*.p16 (+.p16 beta (+.p16 alpha (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 (+.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 (*.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)))> #<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)))>)
6.612 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
6.612 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (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 alpha beta)) (*.p16 (+.p16 beta (+.p16 alpha (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 (+.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 (*.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)))> #<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)))>)
6.876 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (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 alpha beta)) (*.p16 (+.p16 beta (+.p16 alpha (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 (+.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 (*.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)))> #<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)))>)
7.177 * * * [regime]: Found split indices: #<option (#s(si 8 256))>
7.178 * [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.178 * * [simplify]: iters left: 6 (12 enodes)
7.180 * * [simplify]: Extracting #0: cost 1 inf + 0
7.180 * * [simplify]: Extracting #1: cost 3 inf + 0
7.187 * * [simplify]: Extracting #2: cost 6 inf + 0
7.187 * * [simplify]: Extracting #3: cost 8 inf + 1
7.187 * * [simplify]: Extracting #4: cost 8 inf + 4
7.187 * * [simplify]: Extracting #5: cost 6 inf + 6
7.187 * * [simplify]: Extracting #6: cost 0 inf + 2544
7.188 * [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.188 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
7.232 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
7.239 * * * * [points]: Setting MPFR precision to 64
7.241 * * * * [points]: Setting MPFR precision to 320
7.242 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
7.248 * * * * [points]: Setting MPFR precision to 64
7.251 * * * * [points]: Setting MPFR precision to 320
7.255 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
7.261 * * * * [points]: Setting MPFR precision to 64
7.268 * * * * [points]: Setting MPFR precision to 320
7.275 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
7.280 * * * * [points]: Setting MPFR precision to 64
7.294 * * * * [points]: Setting MPFR precision to 320
7.307 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
7.313 * * * * [points]: Setting MPFR precision to 64
7.339 * * * * [points]: Setting MPFR precision to 320
7.366 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
7.371 * * * * [points]: Setting MPFR precision to 64
7.454 * * * * [points]: Setting MPFR precision to 320
7.515 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
7.521 * * * * [points]: Setting MPFR precision to 64
7.624 * * * * [points]: Setting MPFR precision to 320
7.724 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
7.727 * * * * [points]: Setting MPFR precision to 64
7.950 * * * * [points]: Setting MPFR precision to 320
8.168 * * * * [points]: Computing exacts for 8000 points
8.175 * * * * [points]: Setting MPFR precision to 64
9.205 * * * * [points]: Setting MPFR precision to 320
10.412 * * * * [points]: Filtering points with unrepresentable outputs
10.433 * * * * [points]: Sampling 3541 additional inputs, on iter 1 have 4459 / 8000
10.451 * * * * [points]: Computing exacts on every 221 of 3541 points to ramp up precision
10.457 * * * * [points]: Setting MPFR precision to 64
10.459 * * * * [points]: Setting MPFR precision to 320
10.461 * * * * [points]: Computing exacts on every 110 of 3541 points to ramp up precision
10.467 * * * * [points]: Setting MPFR precision to 64
10.469 * * * * [points]: Setting MPFR precision to 320
10.471 * * * * [points]: Computing exacts on every 55 of 3541 points to ramp up precision
10.474 * * * * [points]: Setting MPFR precision to 64
10.477 * * * * [points]: Setting MPFR precision to 320
10.481 * * * * [points]: Computing exacts on every 27 of 3541 points to ramp up precision
10.484 * * * * [points]: Setting MPFR precision to 64
10.492 * * * * [points]: Setting MPFR precision to 320
10.503 * * * * [points]: Computing exacts on every 13 of 3541 points to ramp up precision
10.508 * * * * [points]: Setting MPFR precision to 64
10.535 * * * * [points]: Setting MPFR precision to 320
10.554 * * * * [points]: Computing exacts on every 6 of 3541 points to ramp up precision
10.557 * * * * [points]: Setting MPFR precision to 64
10.633 * * * * [points]: Setting MPFR precision to 320
10.689 * * * * [points]: Computing exacts on every 3 of 3541 points to ramp up precision
10.694 * * * * [points]: Setting MPFR precision to 64
10.768 * * * * [points]: Setting MPFR precision to 320
10.902 * * * * [points]: Computing exacts for 3541 points
10.908 * * * * [points]: Setting MPFR precision to 64
11.246 * * * * [points]: Setting MPFR precision to 320
11.528 * * * * [points]: Filtering points with unrepresentable outputs
11.531 * * * * [points]: Sampling 1604 additional inputs, on iter 2 have 6396 / 8000
11.536 * * * * [points]: Computing exacts on every 100 of 1604 points to ramp up precision
11.539 * * * * [points]: Setting MPFR precision to 64
11.540 * * * * [points]: Setting MPFR precision to 320
11.541 * * * * [points]: Computing exacts on every 50 of 1604 points to ramp up precision
11.544 * * * * [points]: Setting MPFR precision to 64
11.546 * * * * [points]: Setting MPFR precision to 320
11.548 * * * * [points]: Computing exacts on every 25 of 1604 points to ramp up precision
11.550 * * * * [points]: Setting MPFR precision to 64
11.554 * * * * [points]: Setting MPFR precision to 320
11.558 * * * * [points]: Computing exacts on every 12 of 1604 points to ramp up precision
11.560 * * * * [points]: Setting MPFR precision to 64
11.590 * * * * [points]: Setting MPFR precision to 320
11.598 * * * * [points]: Computing exacts on every 6 of 1604 points to ramp up precision
11.602 * * * * [points]: Setting MPFR precision to 64
11.616 * * * * [points]: Setting MPFR precision to 320
11.630 * * * * [points]: Computing exacts on every 3 of 1604 points to ramp up precision
11.633 * * * * [points]: Setting MPFR precision to 64
11.657 * * * * [points]: Setting MPFR precision to 320
11.683 * * * * [points]: Computing exacts for 1604 points
11.686 * * * * [points]: Setting MPFR precision to 64
11.903 * * * * [points]: Setting MPFR precision to 320
12.113 * * * * [points]: Filtering points with unrepresentable outputs
12.115 * * * * [points]: Sampling 687 additional inputs, on iter 3 have 7313 / 8000
12.117 * * * * [points]: Computing exacts on every 42 of 687 points to ramp up precision
12.120 * * * * [points]: Setting MPFR precision to 64
12.121 * * * * [points]: Setting MPFR precision to 320
12.122 * * * * [points]: Computing exacts on every 21 of 687 points to ramp up precision
12.125 * * * * [points]: Setting MPFR precision to 64
12.126 * * * * [points]: Setting MPFR precision to 320
12.128 * * * * [points]: Computing exacts on every 10 of 687 points to ramp up precision
12.131 * * * * [points]: Setting MPFR precision to 64
12.135 * * * * [points]: Setting MPFR precision to 320
12.139 * * * * [points]: Computing exacts on every 5 of 687 points to ramp up precision
12.141 * * * * [points]: Setting MPFR precision to 64
12.153 * * * * [points]: Setting MPFR precision to 320
12.164 * * * * [points]: Computing exacts on every 2 of 687 points to ramp up precision
12.170 * * * * [points]: Setting MPFR precision to 64
12.192 * * * * [points]: Setting MPFR precision to 320
12.218 * * * * [points]: Computing exacts for 687 points
12.258 * * * * [points]: Setting MPFR precision to 64
12.332 * * * * [points]: Setting MPFR precision to 320
12.407 * * * * [points]: Filtering points with unrepresentable outputs
12.408 * * * * [points]: Sampling 315 additional inputs, on iter 4 have 7685 / 8000
12.410 * * * * [points]: Computing exacts on every 19 of 315 points to ramp up precision
12.416 * * * * [points]: Setting MPFR precision to 64
12.417 * * * * [points]: Setting MPFR precision to 320
12.419 * * * * [points]: Computing exacts on every 9 of 315 points to ramp up precision
12.424 * * * * [points]: Setting MPFR precision to 64
12.427 * * * * [points]: Setting MPFR precision to 320
12.430 * * * * [points]: Computing exacts on every 4 of 315 points to ramp up precision
12.436 * * * * [points]: Setting MPFR precision to 64
12.442 * * * * [points]: Setting MPFR precision to 320
12.448 * * * * [points]: Computing exacts on every 2 of 315 points to ramp up precision
12.453 * * * * [points]: Setting MPFR precision to 64
12.464 * * * * [points]: Setting MPFR precision to 320
12.516 * * * * [points]: Computing exacts for 315 points
12.523 * * * * [points]: Setting MPFR precision to 64
12.555 * * * * [points]: Setting MPFR precision to 320
12.588 * * * * [points]: Filtering points with unrepresentable outputs
12.589 * * * * [points]: Sampling 138 additional inputs, on iter 5 have 7862 / 8000
12.590 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
12.596 * * * * [points]: Setting MPFR precision to 64
12.597 * * * * [points]: Setting MPFR precision to 320
12.599 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
12.605 * * * * [points]: Setting MPFR precision to 64
12.608 * * * * [points]: Setting MPFR precision to 320
12.611 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
12.617 * * * * [points]: Setting MPFR precision to 64
12.622 * * * * [points]: Setting MPFR precision to 320
12.627 * * * * [points]: Computing exacts for 138 points
12.633 * * * * [points]: Setting MPFR precision to 64
12.648 * * * * [points]: Setting MPFR precision to 320
12.662 * * * * [points]: Filtering points with unrepresentable outputs
12.662 * * * * [points]: Sampling 53 additional inputs, on iter 6 have 7947 / 8000
12.663 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
12.667 * * * * [points]: Setting MPFR precision to 64
12.668 * * * * [points]: Setting MPFR precision to 320
12.669 * * * * [points]: Computing exacts for 53 points
12.672 * * * * [points]: Setting MPFR precision to 64
12.675 * * * * [points]: Setting MPFR precision to 320
12.679 * * * * [points]: Filtering points with unrepresentable outputs
12.679 * * * * [points]: Sampling 19 additional inputs, on iter 7 have 7981 / 8000
12.679 * * * * [points]: Computing exacts for 19 points
12.682 * * * * [points]: Setting MPFR precision to 64
12.706 * * * * [points]: Setting MPFR precision to 320
12.708 * * * * [points]: Filtering points with unrepresentable outputs
12.708 * * * * [points]: Sampling 8 additional inputs, on iter 8 have 7992 / 8000
12.708 * * * * [points]: Computing exacts for 8 points
12.713 * * * * [points]: Setting MPFR precision to 64
12.714 * * * * [points]: Setting MPFR precision to 320
12.719 * * * * [points]: Filtering points with unrepresentable outputs
12.719 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 7998 / 8000
12.719 * * * * [points]: Computing exacts for 4 points
12.725 * * * * [points]: Setting MPFR precision to 64
12.726 * * * * [points]: Setting MPFR precision to 320
12.727 * * * * [points]: Filtering points with unrepresentable outputs
12.727 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7999 / 8000
12.727 * * * * [points]: Computing exacts for 4 points
12.732 * * * * [points]: Setting MPFR precision to 64
12.733 * * * * [points]: Setting MPFR precision to 320
12.733 * * * * [points]: Filtering points with unrepresentable outputs
12.733 * * * * [points]: Sampled 8002 points with exact outputs
19.886 * [regime-testing]: Baseline error score: 64.0
19.890 * [regime-testing]: Oracle error score: 64.0
19.902 * [regime-testing]: End program error score: 0.7194956867308049