0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.039 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.047 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.061 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.069 * * * * [points]: Setting MPFR precision to 64
0.080 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Computing exacts for 256 points
0.099 * * * * [points]: Setting MPFR precision to 64
0.132 * * * * [points]: Setting MPFR precision to 320
0.162 * * * * [points]: Filtering points with unrepresentable outputs
0.163 * * * * [points]: Sampling 181 additional inputs, on iter 1 have 75 / 256
0.164 * * * * [points]: Computing exacts on every 11 of 181 points to ramp up precision
0.173 * * * * [points]: Setting MPFR precision to 64
0.175 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Computing exacts on every 5 of 181 points to ramp up precision
0.185 * * * * [points]: Setting MPFR precision to 64
0.189 * * * * [points]: Setting MPFR precision to 320
0.193 * * * * [points]: Computing exacts on every 2 of 181 points to ramp up precision
0.202 * * * * [points]: Setting MPFR precision to 64
0.240 * * * * [points]: Setting MPFR precision to 320
0.251 * * * * [points]: Computing exacts for 181 points
0.259 * * * * [points]: Setting MPFR precision to 64
0.282 * * * * [points]: Setting MPFR precision to 320
0.305 * * * * [points]: Filtering points with unrepresentable outputs
0.305 * * * * [points]: Sampling 135 additional inputs, on iter 2 have 121 / 256
0.306 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
0.315 * * * * [points]: Setting MPFR precision to 64
0.317 * * * * [points]: Setting MPFR precision to 320
0.319 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
0.328 * * * * [points]: Setting MPFR precision to 64
0.331 * * * * [points]: Setting MPFR precision to 320
0.335 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
0.345 * * * * [points]: Setting MPFR precision to 64
0.351 * * * * [points]: Setting MPFR precision to 320
0.354 * * * * [points]: Computing exacts for 135 points
0.358 * * * * [points]: Setting MPFR precision to 64
0.368 * * * * [points]: Setting MPFR precision to 320
0.378 * * * * [points]: Filtering points with unrepresentable outputs
0.378 * * * * [points]: Sampling 100 additional inputs, on iter 3 have 156 / 256
0.378 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
0.416 * * * * [points]: Setting MPFR precision to 64
0.418 * * * * [points]: Setting MPFR precision to 320
0.420 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
0.432 * * * * [points]: Setting MPFR precision to 64
0.435 * * * * [points]: Setting MPFR precision to 320
0.438 * * * * [points]: Computing exacts for 100 points
0.447 * * * * [points]: Setting MPFR precision to 64
0.459 * * * * [points]: Setting MPFR precision to 320
0.472 * * * * [points]: Filtering points with unrepresentable outputs
0.472 * * * * [points]: Sampling 62 additional inputs, on iter 4 have 194 / 256
0.473 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
0.482 * * * * [points]: Setting MPFR precision to 64
0.484 * * * * [points]: Setting MPFR precision to 320
0.486 * * * * [points]: Computing exacts for 62 points
0.495 * * * * [points]: Setting MPFR precision to 64
0.502 * * * * [points]: Setting MPFR precision to 320
0.510 * * * * [points]: Filtering points with unrepresentable outputs
0.510 * * * * [points]: Sampling 40 additional inputs, on iter 5 have 216 / 256
0.511 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
0.519 * * * * [points]: Setting MPFR precision to 64
0.521 * * * * [points]: Setting MPFR precision to 320
0.523 * * * * [points]: Computing exacts for 40 points
0.532 * * * * [points]: Setting MPFR precision to 64
0.537 * * * * [points]: Setting MPFR precision to 320
0.542 * * * * [points]: Filtering points with unrepresentable outputs
0.542 * * * * [points]: Sampling 27 additional inputs, on iter 6 have 229 / 256
0.542 * * * * [points]: Computing exacts for 27 points
0.551 * * * * [points]: Setting MPFR precision to 64
0.554 * * * * [points]: Setting MPFR precision to 320
0.558 * * * * [points]: Filtering points with unrepresentable outputs
0.558 * * * * [points]: Sampling 21 additional inputs, on iter 7 have 235 / 256
0.558 * * * * [points]: Computing exacts for 21 points
0.567 * * * * [points]: Setting MPFR precision to 64
0.570 * * * * [points]: Setting MPFR precision to 320
0.597 * * * * [points]: Filtering points with unrepresentable outputs
0.597 * * * * [points]: Sampling 18 additional inputs, on iter 8 have 238 / 256
0.597 * * * * [points]: Computing exacts for 18 points
0.609 * * * * [points]: Setting MPFR precision to 64
0.611 * * * * [points]: Setting MPFR precision to 320
0.612 * * * * [points]: Filtering points with unrepresentable outputs
0.612 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 241 / 256
0.612 * * * * [points]: Computing exacts for 15 points
0.617 * * * * [points]: Setting MPFR precision to 64
0.618 * * * * [points]: Setting MPFR precision to 320
0.619 * * * * [points]: Filtering points with unrepresentable outputs
0.619 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 247 / 256
0.619 * * * * [points]: Computing exacts for 9 points
0.624 * * * * [points]: Setting MPFR precision to 64
0.624 * * * * [points]: Setting MPFR precision to 320
0.625 * * * * [points]: Filtering points with unrepresentable outputs
0.625 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 251 / 256
0.625 * * * * [points]: Computing exacts for 5 points
0.630 * * * * [points]: Setting MPFR precision to 64
0.630 * * * * [points]: Setting MPFR precision to 320
0.631 * * * * [points]: Filtering points with unrepresentable outputs
0.631 * * * * [points]: Sampling 5 additional inputs, on iter 12 have 251 / 256
0.631 * * * * [points]: Computing exacts for 5 points
0.635 * * * * [points]: Setting MPFR precision to 64
0.636 * * * * [points]: Setting MPFR precision to 320
0.636 * * * * [points]: Filtering points with unrepresentable outputs
0.636 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 252 / 256
0.636 * * * * [points]: Computing exacts for 4 points
0.641 * * * * [points]: Setting MPFR precision to 64
0.642 * * * * [points]: Setting MPFR precision to 320
0.642 * * * * [points]: Filtering points with unrepresentable outputs
0.642 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 254 / 256
0.642 * * * * [points]: Computing exacts for 4 points
0.646 * * * * [points]: Setting MPFR precision to 64
0.647 * * * * [points]: Setting MPFR precision to 320
0.647 * * * * [points]: Filtering points with unrepresentable outputs
0.648 * * * * [points]: Sampled 256 points with exact outputs
0.648 * * * [progress]: [2/2] Setting up program.
0.666 * [progress]: [Phase 2 of 3] Improving.
0.666 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.666 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
0.667 * * [simplify]: iteration 1: (19 enodes)
0.672 * * [simplify]: iteration 2: (48 enodes)
0.685 * * [simplify]: iteration 3: (124 enodes)
0.777 * * [simplify]: iteration 4: (580 enodes)
1.800 * * [simplify]: Extracting #0: cost 1 inf + 0
1.801 * * [simplify]: Extracting #1: cost 3 inf + 0
1.801 * * [simplify]: Extracting #2: cost 6 inf + 0
1.801 * * [simplify]: Extracting #3: cost 86 inf + 1
1.802 * * [simplify]: Extracting #4: cost 502 inf + 3
1.806 * * [simplify]: Extracting #5: cost 732 inf + 33993
1.815 * * [simplify]: Extracting #6: cost 576 inf + 180580
1.836 * * [simplify]: Extracting #7: cost 536 inf + 213266
1.862 * * [simplify]: Extracting #8: cost 383 inf + 341463
1.930 * * [simplify]: Extracting #9: cost 38 inf + 765638
1.984 * * [simplify]: Extracting #10: cost 0 inf + 822985
2.043 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
2.078 * * [progress]: iteration 1 / 4
2.078 * * * [progress]: picking best candidate
2.109 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.109 * * * [progress]: localizing error
2.474 * * * [progress]: generating rewritten candidates
2.475 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
2.490 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.538 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.602 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
2.621 * * * [progress]: generating series expansions
2.621 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
2.621 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.621 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.621 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
2.621 * * * [progress]: simplifying candidates
2.621 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.622 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.623 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)), (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha)), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (+.p16 beta (*.p16 (real->posit16 2) i)), (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
2.623 * * [simplify]: iteration 1: (24 enodes)
2.636 * * [simplify]: iteration 2: (64 enodes)
2.665 * * [simplify]: iteration 3: (219 enodes)
2.804 * * [simplify]: iteration 4: (1073 enodes)
4.127 * * [simplify]: Extracting #0: cost 5 inf + 0
4.128 * * [simplify]: Extracting #1: cost 217 inf + 0
4.131 * * [simplify]: Extracting #2: cost 1115 inf + 322
4.137 * * [simplify]: Extracting #3: cost 1248 inf + 17158
4.156 * * [simplify]: Extracting #4: cost 1219 inf + 125380
4.198 * * [simplify]: Extracting #5: cost 753 inf + 628530
4.298 * * [simplify]: Extracting #6: cost 75 inf + 1452487
4.416 * * [simplify]: Extracting #7: cost 0 inf + 1536153
4.549 * * [simplify]: Extracting #8: cost 0 inf + 1535993
4.681 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)), (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))), (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))), (+.p16 beta (*.p16 (real->posit16 2) i)), (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
4.682 * * * [progress]: adding candidates to table
5.079 * * [progress]: iteration 2 / 4
5.079 * * * [progress]: picking best candidate
5.159 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.159 * * * [progress]: localizing error
5.472 * * * [progress]: generating rewritten candidates
5.472 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.599 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.624 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
5.645 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.870 * * * [progress]: generating series expansions
5.870 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.871 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
5.871 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
5.871 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.871 * * * [progress]: simplifying candidates
5.871 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.871 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))), (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))), (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
5.872 * * [simplify]: iteration 1: (21 enodes)
5.878 * * [simplify]: iteration 2: (52 enodes)
5.892 * * [simplify]: iteration 3: (143 enodes)
5.947 * * [simplify]: iteration 4: (698 enodes)
6.855 * * [simplify]: Extracting #0: cost 6 inf + 0
6.856 * * [simplify]: Extracting #1: cost 198 inf + 0
6.859 * * [simplify]: Extracting #2: cost 871 inf + 0
6.864 * * [simplify]: Extracting #3: cost 1120 inf + 6582
6.872 * * [simplify]: Extracting #4: cost 1048 inf + 125358
6.900 * * [simplify]: Extracting #5: cost 734 inf + 478093
6.969 * * [simplify]: Extracting #6: cost 159 inf + 1395323
7.072 * * [simplify]: Extracting #7: cost 0 inf + 1705797
7.250 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)) beta) (-.p16 beta alpha)), (*.p16 (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))), (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))), (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)), (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)), (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (-.p16 beta alpha))
7.251 * * * [progress]: adding candidates to table
7.585 * * [progress]: iteration 3 / 4
7.586 * * * [progress]: picking best candidate
7.770 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.770 * * * [progress]: localizing error
8.147 * * * [progress]: generating rewritten candidates
8.147 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
8.165 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
8.243 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
8.254 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
8.305 * * * [progress]: generating series expansions
8.305 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
8.305 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
8.305 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
8.305 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
8.305 * * * [progress]: simplifying candidates
8.305 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.305 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))) (real->posit16 2.0)))>
8.305 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
8.305 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
8.306 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.306 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.306 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.306 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.306 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.307 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))), (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))), (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))), (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))
8.307 * * [simplify]: iteration 1: (21 enodes)
8.318 * * [simplify]: iteration 2: (61 enodes)
8.346 * * [simplify]: iteration 3: (183 enodes)
8.419 * * [simplify]: iteration 4: (807 enodes)
9.255 * * [simplify]: Extracting #0: cost 5 inf + 0
9.256 * * [simplify]: Extracting #1: cost 173 inf + 0
9.261 * * [simplify]: Extracting #2: cost 905 inf + 0
9.271 * * [simplify]: Extracting #3: cost 1302 inf + 6620
9.289 * * [simplify]: Extracting #4: cost 1195 inf + 154865
9.351 * * [simplify]: Extracting #5: cost 771 inf + 749645
9.502 * * [simplify]: Extracting #6: cost 72 inf + 1953005
9.659 * * [simplify]: Extracting #7: cost 0 inf + 2083603
9.803 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))), (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))), (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))), (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))), (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)), (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
9.805 * * * [progress]: adding candidates to table
10.041 * * [progress]: iteration 4 / 4
10.041 * * * [progress]: picking best candidate
10.154 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.154 * * * [progress]: localizing error
10.504 * * * [progress]: generating rewritten candidates
10.504 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
10.515 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
10.530 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
10.548 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
10.594 * * * [progress]: generating series expansions
10.594 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
10.594 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
10.594 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
10.594 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
10.594 * * * [progress]: simplifying candidates
10.594 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.594 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))))) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.595 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
10.596 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))), (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))
10.596 * * [simplify]: iteration 1: (22 enodes)
10.606 * * [simplify]: iteration 2: (61 enodes)
10.623 * * [simplify]: iteration 3: (204 enodes)
10.744 * * [simplify]: iteration 4: (1051 enodes)
12.225 * * [simplify]: Extracting #0: cost 6 inf + 0
12.226 * * [simplify]: Extracting #1: cost 364 inf + 0
12.232 * * [simplify]: Extracting #2: cost 1564 inf + 0
12.259 * * [simplify]: Extracting #3: cost 1637 inf + 5065
12.281 * * [simplify]: Extracting #4: cost 1543 inf + 140191
12.328 * * [simplify]: Extracting #5: cost 1274 inf + 451523
12.438 * * [simplify]: Extracting #6: cost 323 inf + 1978943
12.663 * * [simplify]: Extracting #7: cost 0 inf + 2587029
12.882 * * [simplify]: Extracting #8: cost 0 inf + 2577749
13.094 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 (real->posit16 2.0) beta) alpha) (*.p16 (real->posit16 2) i))), (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 (+.p16 (real->posit16 2.0) beta) alpha) (*.p16 (real->posit16 2) i)))), (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))), (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 (real->posit16 2.0) beta) alpha) (*.p16 (real->posit16 2) i))), (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 (+.p16 (real->posit16 2.0) beta) alpha) (*.p16 (real->posit16 2) i))), (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 2.0) beta) alpha))), (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 2.0) beta) alpha))), (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 2.0) beta) alpha))), (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 2.0) beta) alpha)))
13.095 * * * [progress]: adding candidates to table
13.562 * [progress]: [Phase 3 of 3] Extracting.
13.562 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>)
13.568 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha)
13.568 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>)
13.877 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>)
14.166 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>)
14.530 * * * [regime]: Found split indices: #<option (#s(si 9 256))>
14.530 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
14.531 * * [simplify]: iteration 1: (19 enodes)
14.534 * * [simplify]: Extracting #0: cost 1 inf + 0
14.534 * * [simplify]: Extracting #1: cost 3 inf + 0
14.534 * * [simplify]: Extracting #2: cost 6 inf + 0
14.534 * * [simplify]: Extracting #3: cost 7 inf + 2
14.534 * * [simplify]: Extracting #4: cost 8 inf + 4
14.534 * * [simplify]: Extracting #5: cost 12 inf + 4
14.534 * * [simplify]: Extracting #6: cost 12 inf + 6
14.534 * * [simplify]: Extracting #7: cost 10 inf + 131
14.534 * * [simplify]: Extracting #8: cost 9 inf + 132
14.535 * * [simplify]: Extracting #9: cost 4 inf + 2228
14.535 * * [simplify]: Extracting #10: cost 2 inf + 5437
14.536 * * [simplify]: Extracting #11: cost 0 inf + 9649
14.536 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
14.537 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
14.600 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
14.609 * * * * [points]: Setting MPFR precision to 64
14.611 * * * * [points]: Setting MPFR precision to 320
14.613 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
14.622 * * * * [points]: Setting MPFR precision to 64
14.627 * * * * [points]: Setting MPFR precision to 320
14.632 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
14.657 * * * * [points]: Setting MPFR precision to 64
14.666 * * * * [points]: Setting MPFR precision to 320
14.675 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
14.685 * * * * [points]: Setting MPFR precision to 64
14.702 * * * * [points]: Setting MPFR precision to 320
14.717 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
14.721 * * * * [points]: Setting MPFR precision to 64
14.740 * * * * [points]: Setting MPFR precision to 320
14.758 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
14.763 * * * * [points]: Setting MPFR precision to 64
14.828 * * * * [points]: Setting MPFR precision to 320
14.867 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
14.877 * * * * [points]: Setting MPFR precision to 64
15.018 * * * * [points]: Setting MPFR precision to 320
15.132 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
15.138 * * * * [points]: Setting MPFR precision to 64
15.354 * * * * [points]: Setting MPFR precision to 320
16.179 * * * * [points]: Computing exacts for 8000 points
16.187 * * * * [points]: Setting MPFR precision to 64
17.262 * * * * [points]: Setting MPFR precision to 320
18.517 * * * * [points]: Filtering points with unrepresentable outputs
18.530 * * * * [points]: Sampling 5787 additional inputs, on iter 1 have 2213 / 8000
18.576 * * * * [points]: Computing exacts on every 361 of 5787 points to ramp up precision
18.584 * * * * [points]: Setting MPFR precision to 64
18.587 * * * * [points]: Setting MPFR precision to 320
18.589 * * * * [points]: Computing exacts on every 180 of 5787 points to ramp up precision
18.596 * * * * [points]: Setting MPFR precision to 64
18.599 * * * * [points]: Setting MPFR precision to 320
18.601 * * * * [points]: Computing exacts on every 90 of 5787 points to ramp up precision
18.606 * * * * [points]: Setting MPFR precision to 64
18.611 * * * * [points]: Setting MPFR precision to 320
18.615 * * * * [points]: Computing exacts on every 45 of 5787 points to ramp up precision
18.621 * * * * [points]: Setting MPFR precision to 64
18.639 * * * * [points]: Setting MPFR precision to 320
18.656 * * * * [points]: Computing exacts on every 22 of 5787 points to ramp up precision
18.666 * * * * [points]: Setting MPFR precision to 64
18.732 * * * * [points]: Setting MPFR precision to 320
18.766 * * * * [points]: Computing exacts on every 11 of 5787 points to ramp up precision
18.777 * * * * [points]: Setting MPFR precision to 64
18.842 * * * * [points]: Setting MPFR precision to 320
18.907 * * * * [points]: Computing exacts on every 5 of 5787 points to ramp up precision
18.964 * * * * [points]: Setting MPFR precision to 64
19.086 * * * * [points]: Setting MPFR precision to 320
19.251 * * * * [points]: Computing exacts on every 2 of 5787 points to ramp up precision
19.260 * * * * [points]: Setting MPFR precision to 64
19.996 * * * * [points]: Setting MPFR precision to 320
20.199 * * * * [points]: Computing exacts for 5787 points
20.208 * * * * [points]: Setting MPFR precision to 64
20.921 * * * * [points]: Setting MPFR precision to 320
21.565 * * * * [points]: Filtering points with unrepresentable outputs
21.570 * * * * [points]: Sampling 4179 additional inputs, on iter 2 have 3821 / 8000
21.587 * * * * [points]: Computing exacts on every 261 of 4179 points to ramp up precision
21.592 * * * * [points]: Setting MPFR precision to 64
21.593 * * * * [points]: Setting MPFR precision to 320
21.594 * * * * [points]: Computing exacts on every 130 of 4179 points to ramp up precision
21.599 * * * * [points]: Setting MPFR precision to 64
21.601 * * * * [points]: Setting MPFR precision to 320
21.603 * * * * [points]: Computing exacts on every 65 of 4179 points to ramp up precision
21.608 * * * * [points]: Setting MPFR precision to 64
21.612 * * * * [points]: Setting MPFR precision to 320
21.617 * * * * [points]: Computing exacts on every 32 of 4179 points to ramp up precision
21.622 * * * * [points]: Setting MPFR precision to 64
21.631 * * * * [points]: Setting MPFR precision to 320
21.660 * * * * [points]: Computing exacts on every 16 of 4179 points to ramp up precision
21.665 * * * * [points]: Setting MPFR precision to 64
21.684 * * * * [points]: Setting MPFR precision to 320
21.702 * * * * [points]: Computing exacts on every 8 of 4179 points to ramp up precision
21.706 * * * * [points]: Setting MPFR precision to 64
21.739 * * * * [points]: Setting MPFR precision to 320
21.805 * * * * [points]: Computing exacts on every 4 of 4179 points to ramp up precision
21.810 * * * * [points]: Setting MPFR precision to 64
21.921 * * * * [points]: Setting MPFR precision to 320
22.082 * * * * [points]: Computing exacts on every 2 of 4179 points to ramp up precision
22.092 * * * * [points]: Setting MPFR precision to 64
22.326 * * * * [points]: Setting MPFR precision to 320
22.506 * * * * [points]: Computing exacts for 4179 points
22.544 * * * * [points]: Setting MPFR precision to 64
23.185 * * * * [points]: Setting MPFR precision to 320
23.586 * * * * [points]: Filtering points with unrepresentable outputs
23.590 * * * * [points]: Sampling 2938 additional inputs, on iter 3 have 5062 / 8000
23.602 * * * * [points]: Computing exacts on every 183 of 2938 points to ramp up precision
23.607 * * * * [points]: Setting MPFR precision to 64
23.609 * * * * [points]: Setting MPFR precision to 320
23.610 * * * * [points]: Computing exacts on every 91 of 2938 points to ramp up precision
23.614 * * * * [points]: Setting MPFR precision to 64
23.618 * * * * [points]: Setting MPFR precision to 320
23.620 * * * * [points]: Computing exacts on every 45 of 2938 points to ramp up precision
23.625 * * * * [points]: Setting MPFR precision to 64
23.629 * * * * [points]: Setting MPFR precision to 320
23.634 * * * * [points]: Computing exacts on every 22 of 2938 points to ramp up precision
23.638 * * * * [points]: Setting MPFR precision to 64
23.647 * * * * [points]: Setting MPFR precision to 320
23.678 * * * * [points]: Computing exacts on every 11 of 2938 points to ramp up precision
23.683 * * * * [points]: Setting MPFR precision to 64
23.703 * * * * [points]: Setting MPFR precision to 320
23.720 * * * * [points]: Computing exacts on every 5 of 2938 points to ramp up precision
23.725 * * * * [points]: Setting MPFR precision to 64
23.758 * * * * [points]: Setting MPFR precision to 320
23.828 * * * * [points]: Computing exacts on every 2 of 2938 points to ramp up precision
23.835 * * * * [points]: Setting MPFR precision to 64
23.905 * * * * [points]: Setting MPFR precision to 320
24.035 * * * * [points]: Computing exacts for 2938 points
24.044 * * * * [points]: Setting MPFR precision to 64
24.440 * * * * [points]: Setting MPFR precision to 320
24.781 * * * * [points]: Filtering points with unrepresentable outputs
24.784 * * * * [points]: Sampling 2087 additional inputs, on iter 4 have 5913 / 8000
24.793 * * * * [points]: Computing exacts on every 130 of 2087 points to ramp up precision
24.800 * * * * [points]: Setting MPFR precision to 64
24.802 * * * * [points]: Setting MPFR precision to 320
24.804 * * * * [points]: Computing exacts on every 65 of 2087 points to ramp up precision
24.811 * * * * [points]: Setting MPFR precision to 64
24.814 * * * * [points]: Setting MPFR precision to 320
24.816 * * * * [points]: Computing exacts on every 32 of 2087 points to ramp up precision
24.821 * * * * [points]: Setting MPFR precision to 64
24.825 * * * * [points]: Setting MPFR precision to 320
24.831 * * * * [points]: Computing exacts on every 16 of 2087 points to ramp up precision
24.836 * * * * [points]: Setting MPFR precision to 64
24.847 * * * * [points]: Setting MPFR precision to 320
24.863 * * * * [points]: Computing exacts on every 8 of 2087 points to ramp up precision
24.873 * * * * [points]: Setting MPFR precision to 64
24.936 * * * * [points]: Setting MPFR precision to 320
24.953 * * * * [points]: Computing exacts on every 4 of 2087 points to ramp up precision
24.958 * * * * [points]: Setting MPFR precision to 64
24.986 * * * * [points]: Setting MPFR precision to 320
25.016 * * * * [points]: Computing exacts on every 2 of 2087 points to ramp up precision
25.021 * * * * [points]: Setting MPFR precision to 64
25.105 * * * * [points]: Setting MPFR precision to 320
25.157 * * * * [points]: Computing exacts for 2087 points
25.161 * * * * [points]: Setting MPFR precision to 64
25.381 * * * * [points]: Setting MPFR precision to 320
25.864 * * * * [points]: Filtering points with unrepresentable outputs
25.866 * * * * [points]: Sampling 1482 additional inputs, on iter 5 have 6518 / 8000
25.872 * * * * [points]: Computing exacts on every 92 of 1482 points to ramp up precision
25.877 * * * * [points]: Setting MPFR precision to 64
25.878 * * * * [points]: Setting MPFR precision to 320
25.879 * * * * [points]: Computing exacts on every 46 of 1482 points to ramp up precision
25.884 * * * * [points]: Setting MPFR precision to 64
25.886 * * * * [points]: Setting MPFR precision to 320
25.888 * * * * [points]: Computing exacts on every 23 of 1482 points to ramp up precision
25.893 * * * * [points]: Setting MPFR precision to 64
25.897 * * * * [points]: Setting MPFR precision to 320
25.901 * * * * [points]: Computing exacts on every 11 of 1482 points to ramp up precision
25.906 * * * * [points]: Setting MPFR precision to 64
25.921 * * * * [points]: Setting MPFR precision to 320
25.970 * * * * [points]: Computing exacts on every 5 of 1482 points to ramp up precision
25.979 * * * * [points]: Setting MPFR precision to 64
26.011 * * * * [points]: Setting MPFR precision to 320
26.029 * * * * [points]: Computing exacts on every 2 of 1482 points to ramp up precision
26.034 * * * * [points]: Setting MPFR precision to 64
26.068 * * * * [points]: Setting MPFR precision to 320
26.173 * * * * [points]: Computing exacts for 1482 points
26.182 * * * * [points]: Setting MPFR precision to 64
26.426 * * * * [points]: Setting MPFR precision to 320
26.650 * * * * [points]: Filtering points with unrepresentable outputs
26.651 * * * * [points]: Sampling 1065 additional inputs, on iter 6 have 6935 / 8000
26.656 * * * * [points]: Computing exacts on every 66 of 1065 points to ramp up precision
26.663 * * * * [points]: Setting MPFR precision to 64
26.664 * * * * [points]: Setting MPFR precision to 320
26.665 * * * * [points]: Computing exacts on every 33 of 1065 points to ramp up precision
26.673 * * * * [points]: Setting MPFR precision to 64
26.677 * * * * [points]: Setting MPFR precision to 320
26.681 * * * * [points]: Computing exacts on every 16 of 1065 points to ramp up precision
26.686 * * * * [points]: Setting MPFR precision to 64
26.691 * * * * [points]: Setting MPFR precision to 320
26.695 * * * * [points]: Computing exacts on every 8 of 1065 points to ramp up precision
26.700 * * * * [points]: Setting MPFR precision to 64
26.709 * * * * [points]: Setting MPFR precision to 320
26.722 * * * * [points]: Computing exacts on every 4 of 1065 points to ramp up precision
26.728 * * * * [points]: Setting MPFR precision to 64
26.743 * * * * [points]: Setting MPFR precision to 320
26.788 * * * * [points]: Computing exacts on every 2 of 1065 points to ramp up precision
26.800 * * * * [points]: Setting MPFR precision to 64
26.848 * * * * [points]: Setting MPFR precision to 320
26.896 * * * * [points]: Computing exacts for 1065 points
26.904 * * * * [points]: Setting MPFR precision to 64
27.067 * * * * [points]: Setting MPFR precision to 320
27.162 * * * * [points]: Filtering points with unrepresentable outputs
27.163 * * * * [points]: Sampling 767 additional inputs, on iter 7 have 7233 / 8000
27.166 * * * * [points]: Computing exacts on every 47 of 767 points to ramp up precision
27.200 * * * * [points]: Setting MPFR precision to 64
27.202 * * * * [points]: Setting MPFR precision to 320
27.203 * * * * [points]: Computing exacts on every 23 of 767 points to ramp up precision
27.207 * * * * [points]: Setting MPFR precision to 64
27.212 * * * * [points]: Setting MPFR precision to 320
27.214 * * * * [points]: Computing exacts on every 11 of 767 points to ramp up precision
27.219 * * * * [points]: Setting MPFR precision to 64
27.224 * * * * [points]: Setting MPFR precision to 320
27.235 * * * * [points]: Computing exacts on every 5 of 767 points to ramp up precision
27.244 * * * * [points]: Setting MPFR precision to 64
27.261 * * * * [points]: Setting MPFR precision to 320
27.278 * * * * [points]: Computing exacts on every 2 of 767 points to ramp up precision
27.287 * * * * [points]: Setting MPFR precision to 64
27.320 * * * * [points]: Setting MPFR precision to 320
27.355 * * * * [points]: Computing exacts for 767 points
27.393 * * * * [points]: Setting MPFR precision to 64
27.493 * * * * [points]: Setting MPFR precision to 320
27.564 * * * * [points]: Filtering points with unrepresentable outputs
27.565 * * * * [points]: Sampling 536 additional inputs, on iter 8 have 7464 / 8000
27.567 * * * * [points]: Computing exacts on every 33 of 536 points to ramp up precision
27.609 * * * * [points]: Setting MPFR precision to 64
27.612 * * * * [points]: Setting MPFR precision to 320
27.617 * * * * [points]: Computing exacts on every 16 of 536 points to ramp up precision
27.626 * * * * [points]: Setting MPFR precision to 64
27.630 * * * * [points]: Setting MPFR precision to 320
27.634 * * * * [points]: Computing exacts on every 8 of 536 points to ramp up precision
27.642 * * * * [points]: Setting MPFR precision to 64
27.650 * * * * [points]: Setting MPFR precision to 320
27.658 * * * * [points]: Computing exacts on every 4 of 536 points to ramp up precision
27.667 * * * * [points]: Setting MPFR precision to 64
27.680 * * * * [points]: Setting MPFR precision to 320
27.693 * * * * [points]: Computing exacts on every 2 of 536 points to ramp up precision
27.702 * * * * [points]: Setting MPFR precision to 64
27.724 * * * * [points]: Setting MPFR precision to 320
27.746 * * * * [points]: Computing exacts for 536 points
27.754 * * * * [points]: Setting MPFR precision to 64
27.856 * * * * [points]: Setting MPFR precision to 320
27.923 * * * * [points]: Filtering points with unrepresentable outputs
27.924 * * * * [points]: Sampling 395 additional inputs, on iter 9 have 7605 / 8000
27.927 * * * * [points]: Computing exacts on every 24 of 395 points to ramp up precision
27.936 * * * * [points]: Setting MPFR precision to 64
27.938 * * * * [points]: Setting MPFR precision to 320
27.940 * * * * [points]: Computing exacts on every 12 of 395 points to ramp up precision
27.949 * * * * [points]: Setting MPFR precision to 64
27.953 * * * * [points]: Setting MPFR precision to 320
27.956 * * * * [points]: Computing exacts on every 6 of 395 points to ramp up precision
27.965 * * * * [points]: Setting MPFR precision to 64
27.972 * * * * [points]: Setting MPFR precision to 320
27.979 * * * * [points]: Computing exacts on every 3 of 395 points to ramp up precision
28.020 * * * * [points]: Setting MPFR precision to 64
28.036 * * * * [points]: Setting MPFR precision to 320
28.048 * * * * [points]: Computing exacts for 395 points
28.056 * * * * [points]: Setting MPFR precision to 64
28.104 * * * * [points]: Setting MPFR precision to 320
28.131 * * * * [points]: Filtering points with unrepresentable outputs
28.132 * * * * [points]: Sampling 290 additional inputs, on iter 10 have 7710 / 8000
28.133 * * * * [points]: Computing exacts on every 18 of 290 points to ramp up precision
28.138 * * * * [points]: Setting MPFR precision to 64
28.139 * * * * [points]: Setting MPFR precision to 320
28.140 * * * * [points]: Computing exacts on every 9 of 290 points to ramp up precision
28.144 * * * * [points]: Setting MPFR precision to 64
28.147 * * * * [points]: Setting MPFR precision to 320
28.149 * * * * [points]: Computing exacts on every 4 of 290 points to ramp up precision
28.153 * * * * [points]: Setting MPFR precision to 64
28.184 * * * * [points]: Setting MPFR precision to 320
28.189 * * * * [points]: Computing exacts on every 2 of 290 points to ramp up precision
28.195 * * * * [points]: Setting MPFR precision to 64
28.206 * * * * [points]: Setting MPFR precision to 320
28.213 * * * * [points]: Computing exacts for 290 points
28.218 * * * * [points]: Setting MPFR precision to 64
28.241 * * * * [points]: Setting MPFR precision to 320
28.271 * * * * [points]: Filtering points with unrepresentable outputs
28.271 * * * * [points]: Sampling 218 additional inputs, on iter 11 have 7782 / 8000
28.272 * * * * [points]: Computing exacts on every 13 of 218 points to ramp up precision
28.277 * * * * [points]: Setting MPFR precision to 64
28.278 * * * * [points]: Setting MPFR precision to 320
28.279 * * * * [points]: Computing exacts on every 6 of 218 points to ramp up precision
28.284 * * * * [points]: Setting MPFR precision to 64
28.286 * * * * [points]: Setting MPFR precision to 320
28.289 * * * * [points]: Computing exacts on every 3 of 218 points to ramp up precision
28.293 * * * * [points]: Setting MPFR precision to 64
28.327 * * * * [points]: Setting MPFR precision to 320
28.338 * * * * [points]: Computing exacts for 218 points
28.346 * * * * [points]: Setting MPFR precision to 64
28.376 * * * * [points]: Setting MPFR precision to 320
28.404 * * * * [points]: Filtering points with unrepresentable outputs
28.404 * * * * [points]: Sampling 153 additional inputs, on iter 12 have 7847 / 8000
28.405 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
28.414 * * * * [points]: Setting MPFR precision to 64
28.416 * * * * [points]: Setting MPFR precision to 320
28.418 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
28.426 * * * * [points]: Setting MPFR precision to 64
28.430 * * * * [points]: Setting MPFR precision to 320
28.435 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
28.443 * * * * [points]: Setting MPFR precision to 64
28.451 * * * * [points]: Setting MPFR precision to 320
28.458 * * * * [points]: Computing exacts for 153 points
28.468 * * * * [points]: Setting MPFR precision to 64
28.490 * * * * [points]: Setting MPFR precision to 320
28.539 * * * * [points]: Filtering points with unrepresentable outputs
28.539 * * * * [points]: Sampling 109 additional inputs, on iter 13 have 7891 / 8000
28.540 * * * * [points]: Computing exacts on every 6 of 109 points to ramp up precision
28.544 * * * * [points]: Setting MPFR precision to 64
28.547 * * * * [points]: Setting MPFR precision to 320
28.548 * * * * [points]: Computing exacts on every 3 of 109 points to ramp up precision
28.553 * * * * [points]: Setting MPFR precision to 64
28.555 * * * * [points]: Setting MPFR precision to 320
28.557 * * * * [points]: Computing exacts for 109 points
28.561 * * * * [points]: Setting MPFR precision to 64
28.571 * * * * [points]: Setting MPFR precision to 320
28.587 * * * * [points]: Filtering points with unrepresentable outputs
28.587 * * * * [points]: Sampling 80 additional inputs, on iter 14 have 7920 / 8000
28.587 * * * * [points]: Computing exacts on every 5 of 80 points to ramp up precision
28.596 * * * * [points]: Setting MPFR precision to 64
28.598 * * * * [points]: Setting MPFR precision to 320
28.600 * * * * [points]: Computing exacts on every 2 of 80 points to ramp up precision
28.610 * * * * [points]: Setting MPFR precision to 64
28.614 * * * * [points]: Setting MPFR precision to 320
28.618 * * * * [points]: Computing exacts for 80 points
28.626 * * * * [points]: Setting MPFR precision to 64
28.632 * * * * [points]: Setting MPFR precision to 320
28.638 * * * * [points]: Filtering points with unrepresentable outputs
28.638 * * * * [points]: Sampling 56 additional inputs, on iter 15 have 7944 / 8000
28.639 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
28.644 * * * * [points]: Setting MPFR precision to 64
28.645 * * * * [points]: Setting MPFR precision to 320
28.646 * * * * [points]: Computing exacts for 56 points
28.651 * * * * [points]: Setting MPFR precision to 64
28.679 * * * * [points]: Setting MPFR precision to 320
28.683 * * * * [points]: Filtering points with unrepresentable outputs
28.683 * * * * [points]: Sampling 30 additional inputs, on iter 16 have 7970 / 8000
28.683 * * * * [points]: Computing exacts for 30 points
28.689 * * * * [points]: Setting MPFR precision to 64
28.692 * * * * [points]: Setting MPFR precision to 320
28.694 * * * * [points]: Filtering points with unrepresentable outputs
28.694 * * * * [points]: Sampling 23 additional inputs, on iter 17 have 7977 / 8000
28.694 * * * * [points]: Computing exacts for 23 points
28.699 * * * * [points]: Setting MPFR precision to 64
28.700 * * * * [points]: Setting MPFR precision to 320
28.702 * * * * [points]: Filtering points with unrepresentable outputs
28.702 * * * * [points]: Sampling 16 additional inputs, on iter 18 have 7984 / 8000
28.702 * * * * [points]: Computing exacts for 16 points
28.707 * * * * [points]: Setting MPFR precision to 64
28.709 * * * * [points]: Setting MPFR precision to 320
28.711 * * * * [points]: Filtering points with unrepresentable outputs
28.711 * * * * [points]: Sampling 13 additional inputs, on iter 19 have 7987 / 8000
28.711 * * * * [points]: Computing exacts for 13 points
28.720 * * * * [points]: Setting MPFR precision to 64
28.721 * * * * [points]: Setting MPFR precision to 320
28.723 * * * * [points]: Filtering points with unrepresentable outputs
28.723 * * * * [points]: Sampling 7 additional inputs, on iter 20 have 7993 / 8000
28.723 * * * * [points]: Computing exacts for 7 points
28.729 * * * * [points]: Setting MPFR precision to 64
28.730 * * * * [points]: Setting MPFR precision to 320
28.730 * * * * [points]: Filtering points with unrepresentable outputs
28.730 * * * * [points]: Sampling 5 additional inputs, on iter 21 have 7995 / 8000
28.731 * * * * [points]: Computing exacts for 5 points
28.735 * * * * [points]: Setting MPFR precision to 64
28.735 * * * * [points]: Setting MPFR precision to 320
28.736 * * * * [points]: Filtering points with unrepresentable outputs
28.736 * * * * [points]: Sampling 4 additional inputs, on iter 22 have 7997 / 8000
28.736 * * * * [points]: Computing exacts for 4 points
28.740 * * * * [points]: Setting MPFR precision to 64
28.741 * * * * [points]: Setting MPFR precision to 320
28.741 * * * * [points]: Filtering points with unrepresentable outputs
28.741 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 7997 / 8000
28.741 * * * * [points]: Computing exacts for 4 points
28.746 * * * * [points]: Setting MPFR precision to 64
28.747 * * * * [points]: Setting MPFR precision to 320
28.747 * * * * [points]: Filtering points with unrepresentable outputs
28.747 * * * * [points]: Sampled 8000 points with exact outputs
37.142 * [regime-testing]: Baseline error score: 64.0
37.146 * [regime-testing]: Oracle error score: 64.0
37.153 * [regime-testing]: End program error score: 0.6107424786687798