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.014 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.034 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.041 * * * * [points]: Setting MPFR precision to 64
0.047 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.061 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.080 * * * * [points]: Computing exacts for 256 points
0.089 * * * * [points]: Setting MPFR precision to 64
0.121 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Filtering points with unrepresentable outputs
0.184 * * * * [points]: Sampling 177 additional inputs, on iter 1 have 79 / 256
0.186 * * * * [points]: Computing exacts on every 11 of 177 points to ramp up precision
0.195 * * * * [points]: Setting MPFR precision to 64
0.197 * * * * [points]: Setting MPFR precision to 320
0.199 * * * * [points]: Computing exacts on every 5 of 177 points to ramp up precision
0.208 * * * * [points]: Setting MPFR precision to 64
0.212 * * * * [points]: Setting MPFR precision to 320
0.216 * * * * [points]: Computing exacts on every 2 of 177 points to ramp up precision
0.225 * * * * [points]: Setting MPFR precision to 64
0.233 * * * * [points]: Setting MPFR precision to 320
0.242 * * * * [points]: Computing exacts for 177 points
0.251 * * * * [points]: Setting MPFR precision to 64
0.274 * * * * [points]: Setting MPFR precision to 320
0.296 * * * * [points]: Filtering points with unrepresentable outputs
0.296 * * * * [points]: Sampling 126 additional inputs, on iter 2 have 130 / 256
0.298 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.306 * * * * [points]: Setting MPFR precision to 64
0.309 * * * * [points]: Setting MPFR precision to 320
0.311 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.320 * * * * [points]: Setting MPFR precision to 64
0.324 * * * * [points]: Setting MPFR precision to 320
0.328 * * * * [points]: Computing exacts for 126 points
0.351 * * * * [points]: Setting MPFR precision to 64
0.361 * * * * [points]: Setting MPFR precision to 320
0.370 * * * * [points]: Filtering points with unrepresentable outputs
0.370 * * * * [points]: Sampling 91 additional inputs, on iter 3 have 165 / 256
0.371 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
0.379 * * * * [points]: Setting MPFR precision to 64
0.381 * * * * [points]: Setting MPFR precision to 320
0.383 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
0.389 * * * * [points]: Setting MPFR precision to 64
0.391 * * * * [points]: Setting MPFR precision to 320
0.393 * * * * [points]: Computing exacts for 91 points
0.397 * * * * [points]: Setting MPFR precision to 64
0.404 * * * * [points]: Setting MPFR precision to 320
0.410 * * * * [points]: Filtering points with unrepresentable outputs
0.410 * * * * [points]: Sampling 62 additional inputs, on iter 4 have 194 / 256
0.410 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
0.414 * * * * [points]: Setting MPFR precision to 64
0.416 * * * * [points]: Setting MPFR precision to 320
0.417 * * * * [points]: Computing exacts for 62 points
0.421 * * * * [points]: Setting MPFR precision to 64
0.425 * * * * [points]: Setting MPFR precision to 320
0.432 * * * * [points]: Filtering points with unrepresentable outputs
0.432 * * * * [points]: Sampling 40 additional inputs, on iter 5 have 216 / 256
0.433 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
0.441 * * * * [points]: Setting MPFR precision to 64
0.443 * * * * [points]: Setting MPFR precision to 320
0.444 * * * * [points]: Computing exacts for 40 points
0.482 * * * * [points]: Setting MPFR precision to 64
0.487 * * * * [points]: Setting MPFR precision to 320
0.495 * * * * [points]: Filtering points with unrepresentable outputs
0.495 * * * * [points]: Sampling 30 additional inputs, on iter 6 have 226 / 256
0.496 * * * * [points]: Computing exacts for 30 points
0.504 * * * * [points]: Setting MPFR precision to 64
0.508 * * * * [points]: Setting MPFR precision to 320
0.512 * * * * [points]: Filtering points with unrepresentable outputs
0.512 * * * * [points]: Sampling 22 additional inputs, on iter 7 have 234 / 256
0.512 * * * * [points]: Computing exacts for 22 points
0.520 * * * * [points]: Setting MPFR precision to 64
0.523 * * * * [points]: Setting MPFR precision to 320
0.526 * * * * [points]: Filtering points with unrepresentable outputs
0.526 * * * * [points]: Sampling 15 additional inputs, on iter 8 have 241 / 256
0.526 * * * * [points]: Computing exacts for 15 points
0.530 * * * * [points]: Setting MPFR precision to 64
0.532 * * * * [points]: Setting MPFR precision to 320
0.533 * * * * [points]: Filtering points with unrepresentable outputs
0.533 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 246 / 256
0.533 * * * * [points]: Computing exacts for 10 points
0.537 * * * * [points]: Setting MPFR precision to 64
0.538 * * * * [points]: Setting MPFR precision to 320
0.539 * * * * [points]: Filtering points with unrepresentable outputs
0.539 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 246 / 256
0.539 * * * * [points]: Computing exacts for 10 points
0.543 * * * * [points]: Setting MPFR precision to 64
0.544 * * * * [points]: Setting MPFR precision to 320
0.545 * * * * [points]: Filtering points with unrepresentable outputs
0.545 * * * * [points]: Sampling 7 additional inputs, on iter 11 have 249 / 256
0.545 * * * * [points]: Computing exacts for 7 points
0.549 * * * * [points]: Setting MPFR precision to 64
0.549 * * * * [points]: Setting MPFR precision to 320
0.550 * * * * [points]: Filtering points with unrepresentable outputs
0.550 * * * * [points]: Sampling 5 additional inputs, on iter 12 have 251 / 256
0.550 * * * * [points]: Computing exacts for 5 points
0.554 * * * * [points]: Setting MPFR precision to 64
0.555 * * * * [points]: Setting MPFR precision to 320
0.555 * * * * [points]: Filtering points with unrepresentable outputs
0.555 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 253 / 256
0.555 * * * * [points]: Computing exacts for 4 points
0.559 * * * * [points]: Setting MPFR precision to 64
0.560 * * * * [points]: Setting MPFR precision to 320
0.560 * * * * [points]: Filtering points with unrepresentable outputs
0.560 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 253 / 256
0.560 * * * * [points]: Computing exacts for 4 points
0.564 * * * * [points]: Setting MPFR precision to 64
0.565 * * * * [points]: Setting MPFR precision to 320
0.565 * * * * [points]: Filtering points with unrepresentable outputs
0.565 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 254 / 256
0.565 * * * * [points]: Computing exacts for 4 points
0.569 * * * * [points]: Setting MPFR precision to 64
0.570 * * * * [points]: Setting MPFR precision to 320
0.570 * * * * [points]: Filtering points with unrepresentable outputs
0.570 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 254 / 256
0.570 * * * * [points]: Computing exacts for 4 points
0.593 * * * * [points]: Setting MPFR precision to 64
0.595 * * * * [points]: Setting MPFR precision to 320
0.595 * * * * [points]: Filtering points with unrepresentable outputs
0.595 * * * * [points]: Sampling 4 additional inputs, on iter 17 have 255 / 256
0.595 * * * * [points]: Computing exacts for 4 points
0.604 * * * * [points]: Setting MPFR precision to 64
0.604 * * * * [points]: Setting MPFR precision to 320
0.605 * * * * [points]: Filtering points with unrepresentable outputs
0.605 * * * * [points]: Sampled 256 points with exact outputs
0.605 * * * [progress]: [2/2] Setting up program.
0.631 * [progress]: [Phase 2 of 3] Improving.
0.631 * * * * [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.631 * [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.631 * * [simplify]: iters left: 6 (19 enodes)
0.640 * * [simplify]: iters left: 5 (48 enodes)
0.656 * * [simplify]: iters left: 4 (124 enodes)
0.718 * * [simplify]: Extracting #0: cost 1 inf + 0
0.718 * * [simplify]: Extracting #1: cost 3 inf + 0
0.718 * * [simplify]: Extracting #2: cost 6 inf + 0
0.718 * * [simplify]: Extracting #3: cost 31 inf + 2
0.719 * * [simplify]: Extracting #4: cost 126 inf + 4
0.720 * * [simplify]: Extracting #5: cost 211 inf + 2985
0.722 * * [simplify]: Extracting #6: cost 160 inf + 31488
0.728 * * [simplify]: Extracting #7: cost 101 inf + 88177
0.742 * * [simplify]: Extracting #8: cost 1 inf + 172697
0.758 * * [simplify]: Extracting #9: cost 0 inf + 173382
0.774 * [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 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
0.774 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
0.824 * * [progress]: iteration 1 / 4
0.824 * * * [progress]: picking best candidate
0.876 * * * * [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)))>
0.876 * * * [progress]: localizing error
1.160 * * * [progress]: generating rewritten candidates
1.160 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
1.490 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.531 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
1.540 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.559 * * * [progress]: generating series expansions
1.560 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
1.560 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.560 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
1.560 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
1.560 * * * [progress]: simplifying candidates
1.560 * * * * [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)) (-.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)))>
1.560 * [simplify]: Simplifying (+.p16 alpha beta)
1.560 * * [simplify]: iters left: 1 (3 enodes)
1.561 * * [simplify]: Extracting #0: cost 1 inf + 0
1.562 * * [simplify]: Extracting #1: cost 3 inf + 0
1.562 * * [simplify]: Extracting #2: cost 1 inf + 2
1.562 * * [simplify]: Extracting #3: cost 0 inf + 44
1.562 * [simplify]: Simplified to (+.p16 beta alpha)
1.562 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.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)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1.562 * * * * [progress]: [ 2 / 11 ] 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)))>
1.562 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
1.562 * * [simplify]: iters left: 3 (7 enodes)
1.565 * * [simplify]: iters left: 2 (22 enodes)
1.569 * * [simplify]: iters left: 1 (61 enodes)
1.582 * * [simplify]: Extracting #0: cost 1 inf + 0
1.582 * * [simplify]: Extracting #1: cost 15 inf + 0
1.583 * * [simplify]: Extracting #2: cost 60 inf + 0
1.583 * * [simplify]: Extracting #3: cost 64 inf + 2
1.583 * * [simplify]: Extracting #4: cost 43 inf + 25499
1.585 * * [simplify]: Extracting #5: cost 3 inf + 68523
1.588 * * [simplify]: Extracting #6: cost 0 inf + 73168
1.590 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)))
1.590 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.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)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1.590 * * * * [progress]: [ 3 / 11 ] 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)))>
1.591 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 beta alpha))
1.591 * * [simplify]: iters left: 2 (5 enodes)
1.592 * * [simplify]: iters left: 1 (17 enodes)
1.596 * * [simplify]: Extracting #0: cost 1 inf + 0
1.596 * * [simplify]: Extracting #1: cost 18 inf + 0
1.596 * * [simplify]: Extracting #2: cost 23 inf + 0
1.596 * * [simplify]: Extracting #3: cost 20 inf + 323
1.596 * * [simplify]: Extracting #4: cost 12 inf + 2616
1.597 * * [simplify]: Extracting #5: cost 0 inf + 9758
1.598 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))
1.598 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.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)))
1.598 * * * * [progress]: [ 4 / 11 ] 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)))>
1.598 * * * * [progress]: [ 5 / 11 ] 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)))>
1.598 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 alpha (+.p16 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)))>
1.598 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.598 * * * * [progress]: [ 8 / 11 ] 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)))>
1.599 * [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))
1.599 * * [simplify]: iters left: 6 (19 enodes)
1.608 * * [simplify]: iters left: 5 (48 enodes)
1.620 * * [simplify]: iters left: 4 (124 enodes)
1.664 * * [simplify]: Extracting #0: cost 1 inf + 0
1.664 * * [simplify]: Extracting #1: cost 3 inf + 0
1.665 * * [simplify]: Extracting #2: cost 6 inf + 0
1.665 * * [simplify]: Extracting #3: cost 31 inf + 2
1.665 * * [simplify]: Extracting #4: cost 126 inf + 4
1.666 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.667 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.671 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.681 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.691 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.707 * [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 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
1.707 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.707 * * * * [progress]: [ 9 / 11 ] 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)))>
1.707 * [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))
1.708 * * [simplify]: iters left: 6 (19 enodes)
1.716 * * [simplify]: iters left: 5 (48 enodes)
1.733 * * [simplify]: iters left: 4 (124 enodes)
1.777 * * [simplify]: Extracting #0: cost 1 inf + 0
1.777 * * [simplify]: Extracting #1: cost 3 inf + 0
1.777 * * [simplify]: Extracting #2: cost 6 inf + 0
1.777 * * [simplify]: Extracting #3: cost 31 inf + 2
1.778 * * [simplify]: Extracting #4: cost 126 inf + 4
1.779 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.782 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.786 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.795 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.806 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.816 * [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 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
1.816 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.816 * * * * [progress]: [ 10 / 11 ] 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)))>
1.816 * [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))
1.816 * * [simplify]: iters left: 6 (19 enodes)
1.823 * * [simplify]: iters left: 5 (48 enodes)
1.838 * * [simplify]: iters left: 4 (124 enodes)
1.898 * * [simplify]: Extracting #0: cost 1 inf + 0
1.898 * * [simplify]: Extracting #1: cost 3 inf + 0
1.898 * * [simplify]: Extracting #2: cost 6 inf + 0
1.898 * * [simplify]: Extracting #3: cost 31 inf + 2
1.899 * * [simplify]: Extracting #4: cost 126 inf + 4
1.901 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.904 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.910 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.924 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.938 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.954 * [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 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
1.954 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.954 * * * * [progress]: [ 11 / 11 ] 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)))>
1.955 * [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))
1.955 * * [simplify]: iters left: 6 (19 enodes)
1.962 * * [simplify]: iters left: 5 (48 enodes)
1.977 * * [simplify]: iters left: 4 (124 enodes)
2.030 * * [simplify]: Extracting #0: cost 1 inf + 0
2.030 * * [simplify]: Extracting #1: cost 3 inf + 0
2.030 * * [simplify]: Extracting #2: cost 6 inf + 0
2.030 * * [simplify]: Extracting #3: cost 31 inf + 2
2.030 * * [simplify]: Extracting #4: cost 126 inf + 4
2.031 * * [simplify]: Extracting #5: cost 211 inf + 2985
2.033 * * [simplify]: Extracting #6: cost 160 inf + 31488
2.038 * * [simplify]: Extracting #7: cost 101 inf + 88177
2.047 * * [simplify]: Extracting #8: cost 1 inf + 172697
2.057 * * [simplify]: Extracting #9: cost 0 inf + 173382
2.067 * [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 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
2.067 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
2.067 * * * [progress]: adding candidates to table
2.509 * * [progress]: iteration 2 / 4
2.509 * * * [progress]: picking best candidate
2.619 * * * * [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)))>
2.619 * * * [progress]: localizing error
2.921 * * * [progress]: generating rewritten candidates
2.921 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
2.933 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.996 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
3.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
3.016 * * * [progress]: generating series expansions
3.016 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
3.016 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
3.016 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
3.016 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
3.016 * * * [progress]: simplifying candidates
3.016 * * * * [progress]: [ 1 / 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)) (-.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)))>
3.017 * [simplify]: Simplifying (+.p16 beta alpha)
3.017 * * [simplify]: iters left: 1 (3 enodes)
3.017 * * [simplify]: Extracting #0: cost 1 inf + 0
3.018 * * [simplify]: Extracting #1: cost 3 inf + 0
3.018 * * [simplify]: Extracting #2: cost 1 inf + 2
3.018 * * [simplify]: Extracting #3: cost 0 inf + 44
3.018 * [simplify]: Simplified to (+.p16 alpha beta)
3.018 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.018 * * * * [progress]: [ 2 / 11 ] 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)))>
3.018 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.018 * * [simplify]: iters left: 4 (9 enodes)
3.021 * * [simplify]: iters left: 3 (21 enodes)
3.024 * * [simplify]: iters left: 2 (27 enodes)
3.028 * * [simplify]: iters left: 1 (29 enodes)
3.033 * * [simplify]: Extracting #0: cost 1 inf + 0
3.033 * * [simplify]: Extracting #1: cost 3 inf + 0
3.033 * * [simplify]: Extracting #2: cost 8 inf + 0
3.033 * * [simplify]: Extracting #3: cost 8 inf + 2
3.034 * * [simplify]: Extracting #4: cost 7 inf + 45
3.034 * * [simplify]: Extracting #5: cost 1 inf + 1980
3.034 * * [simplify]: Extracting #6: cost 0 inf + 2343
3.034 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
3.035 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.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)))
3.035 * * * * [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 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.035 * [simplify]: Simplifying (+.p16 alpha beta)
3.035 * * [simplify]: iters left: 1 (3 enodes)
3.036 * * [simplify]: Extracting #0: cost 1 inf + 0
3.036 * * [simplify]: Extracting #1: cost 3 inf + 0
3.036 * * [simplify]: Extracting #2: cost 1 inf + 2
3.036 * * [simplify]: Extracting #3: cost 0 inf + 44
3.036 * [simplify]: Simplified to (+.p16 beta alpha)
3.036 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.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)))) (real->posit16 1.0)) (real->posit16 2.0)))
3.036 * * * * [progress]: [ 4 / 11 ] 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)))>
3.036 * [simplify]: Simplifying (+.p16 beta alpha)
3.036 * * [simplify]: iters left: 1 (3 enodes)
3.037 * * [simplify]: Extracting #0: cost 1 inf + 0
3.037 * * [simplify]: Extracting #1: cost 3 inf + 0
3.037 * * [simplify]: Extracting #2: cost 1 inf + 2
3.037 * * [simplify]: Extracting #3: cost 0 inf + 44
3.037 * [simplify]: Simplified to (+.p16 alpha beta)
3.037 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.037 * * * * [progress]: [ 5 / 11 ] 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)))>
3.037 * [simplify]: Simplifying (-.p16 beta alpha)
3.037 * * [simplify]: iters left: 1 (3 enodes)
3.038 * * [simplify]: Extracting #0: cost 1 inf + 0
3.038 * * [simplify]: Extracting #1: cost 6 inf + 0
3.038 * * [simplify]: Extracting #2: cost 5 inf + 44
3.038 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.038 * [simplify]: Simplified to (-.p16 beta alpha)
3.038 * [simplify]: Simplified (2 1 1 1 2) to (λ (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)))
3.038 * * * * [progress]: [ 6 / 11 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.038 * * * * [progress]: [ 7 / 11 ] 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 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.038 * * * * [progress]: [ 8 / 11 ] 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)))>
3.039 * [simplify]: Simplifying (+.p16 alpha beta)
3.039 * * [simplify]: iters left: 1 (3 enodes)
3.040 * * [simplify]: Extracting #0: cost 1 inf + 0
3.040 * * [simplify]: Extracting #1: cost 3 inf + 0
3.040 * * [simplify]: Extracting #2: cost 1 inf + 2
3.040 * * [simplify]: Extracting #3: cost 0 inf + 44
3.040 * [simplify]: Simplified to (+.p16 beta alpha)
3.040 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.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)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.040 * * * * [progress]: [ 9 / 11 ] 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)))>
3.040 * [simplify]: Simplifying (+.p16 alpha beta)
3.040 * * [simplify]: iters left: 1 (3 enodes)
3.041 * * [simplify]: Extracting #0: cost 1 inf + 0
3.041 * * [simplify]: Extracting #1: cost 3 inf + 0
3.041 * * [simplify]: Extracting #2: cost 1 inf + 2
3.041 * * [simplify]: Extracting #3: cost 0 inf + 44
3.041 * [simplify]: Simplified to (+.p16 beta alpha)
3.041 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.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)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.041 * * * * [progress]: [ 10 / 11 ] 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)))>
3.041 * [simplify]: Simplifying (+.p16 alpha beta)
3.041 * * [simplify]: iters left: 1 (3 enodes)
3.042 * * [simplify]: Extracting #0: cost 1 inf + 0
3.042 * * [simplify]: Extracting #1: cost 3 inf + 0
3.042 * * [simplify]: Extracting #2: cost 1 inf + 2
3.042 * * [simplify]: Extracting #3: cost 0 inf + 44
3.042 * [simplify]: Simplified to (+.p16 beta alpha)
3.042 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.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)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.042 * * * * [progress]: [ 11 / 11 ] 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)))>
3.042 * [simplify]: Simplifying (+.p16 alpha beta)
3.042 * * [simplify]: iters left: 1 (3 enodes)
3.043 * * [simplify]: Extracting #0: cost 1 inf + 0
3.043 * * [simplify]: Extracting #1: cost 3 inf + 0
3.043 * * [simplify]: Extracting #2: cost 1 inf + 2
3.043 * * [simplify]: Extracting #3: cost 0 inf + 44
3.043 * [simplify]: Simplified to (+.p16 beta alpha)
3.043 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.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)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.043 * * * [progress]: adding candidates to table
3.486 * * [progress]: iteration 3 / 4
3.486 * * * [progress]: picking best candidate
3.605 * * * * [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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.606 * * * [progress]: localizing error
3.952 * * * [progress]: generating rewritten candidates
3.952 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
3.971 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.997 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
4.009 * * * [progress]: generating series expansions
4.009 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
4.010 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.010 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.010 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
4.010 * * * [progress]: simplifying candidates
4.010 * * * * [progress]: [ 1 / 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)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.010 * [simplify]: Simplifying (+.p16 beta alpha)
4.010 * * [simplify]: iters left: 1 (3 enodes)
4.011 * * [simplify]: Extracting #0: cost 1 inf + 0
4.011 * * [simplify]: Extracting #1: cost 3 inf + 0
4.011 * * [simplify]: Extracting #2: cost 1 inf + 2
4.011 * * [simplify]: Extracting #3: cost 0 inf + 44
4.011 * [simplify]: Simplified to (+.p16 alpha beta)
4.011 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 alpha beta))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
4.011 * * * * [progress]: [ 2 / 11 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.011 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
4.011 * * [simplify]: iters left: 4 (9 enodes)
4.013 * * [simplify]: iters left: 3 (21 enodes)
4.019 * * [simplify]: iters left: 2 (27 enodes)
4.023 * * [simplify]: iters left: 1 (29 enodes)
4.027 * * [simplify]: Extracting #0: cost 1 inf + 0
4.027 * * [simplify]: Extracting #1: cost 3 inf + 0
4.027 * * [simplify]: Extracting #2: cost 8 inf + 0
4.027 * * [simplify]: Extracting #3: cost 8 inf + 2
4.027 * * [simplify]: Extracting #4: cost 7 inf + 45
4.027 * * [simplify]: Extracting #5: cost 1 inf + 1980
4.027 * * [simplify]: Extracting #6: cost 0 inf + 2343
4.027 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
4.027 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.028 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha (+.p16 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)))>
4.028 * [simplify]: Simplifying (+.p16 alpha beta)
4.028 * * [simplify]: iters left: 1 (3 enodes)
4.028 * * [simplify]: Extracting #0: cost 1 inf + 0
4.028 * * [simplify]: Extracting #1: cost 3 inf + 0
4.028 * * [simplify]: Extracting #2: cost 1 inf + 2
4.028 * * [simplify]: Extracting #3: cost 0 inf + 44
4.029 * [simplify]: Simplified to (+.p16 beta alpha)
4.029 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha (+.p16 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)))
4.029 * * * * [progress]: [ 4 / 11 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.029 * [simplify]: Simplifying (+.p16 beta alpha)
4.029 * * [simplify]: iters left: 1 (3 enodes)
4.029 * * [simplify]: Extracting #0: cost 1 inf + 0
4.029 * * [simplify]: Extracting #1: cost 3 inf + 0
4.030 * * [simplify]: Extracting #2: cost 1 inf + 2
4.030 * * [simplify]: Extracting #3: cost 0 inf + 44
4.030 * [simplify]: Simplified to (+.p16 alpha beta)
4.030 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 alpha beta)) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
4.030 * * * * [progress]: [ 5 / 11 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.030 * [simplify]: Simplifying (-.p16 beta alpha)
4.030 * * [simplify]: iters left: 1 (3 enodes)
4.031 * * [simplify]: Extracting #0: cost 1 inf + 0
4.031 * * [simplify]: Extracting #1: cost 6 inf + 0
4.031 * * [simplify]: Extracting #2: cost 5 inf + 44
4.031 * * [simplify]: Extracting #3: cost 0 inf + 1571
4.031 * [simplify]: Simplified to (-.p16 beta alpha)
4.031 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
4.031 * * * * [progress]: [ 6 / 11 ] 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)))>
4.031 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
4.031 * * [simplify]: iters left: 2 (4 enodes)
4.032 * * [simplify]: iters left: 1 (8 enodes)
4.033 * * [simplify]: Extracting #0: cost 1 inf + 0
4.033 * * [simplify]: Extracting #1: cost 3 inf + 0
4.033 * * [simplify]: Extracting #2: cost 3 inf + 1
4.033 * * [simplify]: Extracting #3: cost 2 inf + 2
4.033 * * [simplify]: Extracting #4: cost 0 inf + 325
4.034 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
4.034 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (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 i (real->posit16 2))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
4.034 * * * * [progress]: [ 7 / 11 ] 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 beta (*.p16 (real->posit16 2) i)) alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.034 * * * * [progress]: [ 8 / 11 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.034 * * * * [progress]: [ 9 / 11 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.034 * * * * [progress]: [ 10 / 11 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.034 * * * * [progress]: [ 11 / 11 ] 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.034 * * * [progress]: adding candidates to table
4.428 * * [progress]: iteration 4 / 4
4.428 * * * [progress]: picking best candidate
4.523 * * * * [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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.523 * * * [progress]: localizing error
4.854 * * * [progress]: generating rewritten candidates
4.854 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
4.876 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
4.908 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1)
4.916 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
4.937 * * * [progress]: generating series expansions
4.937 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
4.938 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
4.938 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1)
4.939 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
4.939 * * * [progress]: simplifying candidates
4.939 * * * * [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 (+.p16 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)))>
4.939 * [simplify]: Simplifying (+.p16 beta alpha)
4.939 * * [simplify]: iters left: 1 (3 enodes)
4.940 * * [simplify]: Extracting #0: cost 1 inf + 0
4.940 * * [simplify]: Extracting #1: cost 3 inf + 0
4.940 * * [simplify]: Extracting #2: cost 1 inf + 2
4.940 * * [simplify]: Extracting #3: cost 0 inf + 44
4.940 * [simplify]: Simplified to (+.p16 alpha beta)
4.940 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
4.940 * * * * [progress]: [ 2 / 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)))>
4.941 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
4.941 * * [simplify]: iters left: 2 (4 enodes)
4.943 * * [simplify]: iters left: 1 (8 enodes)
4.945 * * [simplify]: Extracting #0: cost 1 inf + 0
4.945 * * [simplify]: Extracting #1: cost 3 inf + 0
4.945 * * [simplify]: Extracting #2: cost 3 inf + 1
4.945 * * [simplify]: Extracting #3: cost 2 inf + 2
4.945 * * [simplify]: Extracting #4: cost 0 inf + 325
4.945 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
4.945 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 i (real->posit16 2))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.945 * * * * [progress]: [ 3 / 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 beta (*.p16 (real->posit16 2) i)) alpha) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.945 * * * * [progress]: [ 4 / 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 (+.p16 (+.p16 alpha (+.p16 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)))>
4.945 * [simplify]: Simplifying (+.p16 beta alpha)
4.945 * * [simplify]: iters left: 1 (3 enodes)
4.946 * * [simplify]: Extracting #0: cost 1 inf + 0
4.946 * * [simplify]: Extracting #1: cost 3 inf + 0
4.946 * * [simplify]: Extracting #2: cost 1 inf + 2
4.946 * * [simplify]: Extracting #3: cost 0 inf + 44
4.947 * [simplify]: Simplified to (+.p16 alpha beta)
4.947 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
4.947 * * * * [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 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
4.947 * [simplify]: Simplifying (-.p16 beta alpha)
4.947 * * [simplify]: iters left: 1 (3 enodes)
4.948 * * [simplify]: Extracting #0: cost 1 inf + 0
4.948 * * [simplify]: Extracting #1: cost 6 inf + 0
4.948 * * [simplify]: Extracting #2: cost 5 inf + 44
4.948 * * [simplify]: Extracting #3: cost 0 inf + 1571
4.948 * [simplify]: Simplified to (-.p16 beta alpha)
4.949 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
4.949 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 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)))>
4.949 * [simplify]: Simplifying (+.p16 alpha beta)
4.949 * * [simplify]: iters left: 1 (3 enodes)
4.950 * * [simplify]: Extracting #0: cost 1 inf + 0
4.950 * * [simplify]: Extracting #1: cost 3 inf + 0
4.950 * * [simplify]: Extracting #2: cost 1 inf + 2
4.950 * * [simplify]: Extracting #3: cost 0 inf + 44
4.950 * [simplify]: Simplified to (+.p16 beta alpha)
4.950 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 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)))
4.950 * * * * [progress]: [ 7 / 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.950 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
4.951 * * [simplify]: iters left: 4 (9 enodes)
4.954 * * [simplify]: iters left: 3 (21 enodes)
4.959 * * [simplify]: iters left: 2 (27 enodes)
4.965 * * [simplify]: iters left: 1 (29 enodes)
4.971 * * [simplify]: Extracting #0: cost 1 inf + 0
4.971 * * [simplify]: Extracting #1: cost 3 inf + 0
4.972 * * [simplify]: Extracting #2: cost 8 inf + 0
4.972 * * [simplify]: Extracting #3: cost 8 inf + 2
4.972 * * [simplify]: Extracting #4: cost 7 inf + 45
4.972 * * [simplify]: Extracting #5: cost 1 inf + 1980
4.972 * * [simplify]: Extracting #6: cost 0 inf + 2343
4.973 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
4.973 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.973 * * * * [progress]: [ 8 / 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.973 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
4.973 * * [simplify]: iters left: 4 (9 enodes)
4.976 * * [simplify]: iters left: 3 (21 enodes)
4.983 * * [simplify]: iters left: 2 (27 enodes)
4.990 * * [simplify]: iters left: 1 (29 enodes)
4.996 * * [simplify]: Extracting #0: cost 1 inf + 0
4.996 * * [simplify]: Extracting #1: cost 3 inf + 0
4.996 * * [simplify]: Extracting #2: cost 8 inf + 0
4.996 * * [simplify]: Extracting #3: cost 8 inf + 2
4.996 * * [simplify]: Extracting #4: cost 7 inf + 45
4.997 * * [simplify]: Extracting #5: cost 1 inf + 1980
4.997 * * [simplify]: Extracting #6: cost 0 inf + 2343
4.997 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
4.997 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.998 * * * * [progress]: [ 9 / 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.998 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
4.998 * * [simplify]: iters left: 4 (9 enodes)
5.001 * * [simplify]: iters left: 3 (21 enodes)
5.006 * * [simplify]: iters left: 2 (27 enodes)
5.012 * * [simplify]: iters left: 1 (29 enodes)
5.018 * * [simplify]: Extracting #0: cost 1 inf + 0
5.018 * * [simplify]: Extracting #1: cost 3 inf + 0
5.018 * * [simplify]: Extracting #2: cost 8 inf + 0
5.019 * * [simplify]: Extracting #3: cost 8 inf + 2
5.019 * * [simplify]: Extracting #4: cost 7 inf + 45
5.019 * * [simplify]: Extracting #5: cost 1 inf + 1980
5.019 * * [simplify]: Extracting #6: cost 0 inf + 2343
5.019 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
5.019 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.020 * * * * [progress]: [ 10 / 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 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.020 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
5.020 * * [simplify]: iters left: 4 (9 enodes)
5.024 * * [simplify]: iters left: 3 (21 enodes)
5.029 * * [simplify]: iters left: 2 (27 enodes)
5.036 * * [simplify]: iters left: 1 (29 enodes)
5.043 * * [simplify]: Extracting #0: cost 1 inf + 0
5.043 * * [simplify]: Extracting #1: cost 3 inf + 0
5.043 * * [simplify]: Extracting #2: cost 8 inf + 0
5.043 * * [simplify]: Extracting #3: cost 8 inf + 2
5.043 * * [simplify]: Extracting #4: cost 7 inf + 45
5.044 * * [simplify]: Extracting #5: cost 1 inf + 1980
5.044 * * [simplify]: Extracting #6: cost 0 inf + 2343
5.044 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
5.044 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.044 * * * [progress]: adding candidates to table
5.438 * [progress]: [Phase 3 of 3] Extracting.
5.438 * * [regime]: Finding splitpoints for: (#<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 (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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 alpha beta)) (+.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 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha (+.p16 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 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 alpha (+.p16 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)))>)
5.441 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha)
5.441 * * * * [regimes]: Trying to branch on i from (#<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 (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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 alpha beta)) (+.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 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha (+.p16 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 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 alpha (+.p16 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)))>)
5.678 * * * * [regimes]: Trying to branch on beta from (#<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 (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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 alpha beta)) (+.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 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha (+.p16 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 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 alpha (+.p16 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)))>)
5.891 * * * * [regimes]: Trying to branch on alpha from (#<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 (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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 alpha beta)) (+.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 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha (+.p16 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 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 alpha (+.p16 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)))>)
6.123 * * * [regime]: Found split indices: #<option (#s(si 6 256))>
6.123 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
6.123 * * [simplify]: iters left: 6 (21 enodes)
6.126 * * [simplify]: Extracting #0: cost 1 inf + 0
6.126 * * [simplify]: Extracting #1: cost 3 inf + 0
6.126 * * [simplify]: Extracting #2: cost 6 inf + 0
6.126 * * [simplify]: Extracting #3: cost 8 inf + 1
6.126 * * [simplify]: Extracting #4: cost 9 inf + 4
6.127 * * [simplify]: Extracting #5: cost 13 inf + 4
6.127 * * [simplify]: Extracting #6: cost 14 inf + 6
6.127 * * [simplify]: Extracting #7: cost 12 inf + 131
6.127 * * [simplify]: Extracting #8: cost 11 inf + 132
6.127 * * [simplify]: Extracting #9: cost 7 inf + 1222
6.128 * * [simplify]: Extracting #10: cost 3 inf + 3880
6.128 * * [simplify]: Extracting #11: cost 2 inf + 5805
6.129 * * [simplify]: Extracting #12: cost 0 inf + 10177
6.130 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
6.130 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.183 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.188 * * * * [points]: Setting MPFR precision to 64
6.189 * * * * [points]: Setting MPFR precision to 320
6.190 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.195 * * * * [points]: Setting MPFR precision to 64
6.200 * * * * [points]: Setting MPFR precision to 320
6.204 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.212 * * * * [points]: Setting MPFR precision to 64
6.220 * * * * [points]: Setting MPFR precision to 320
6.227 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.237 * * * * [points]: Setting MPFR precision to 64
6.255 * * * * [points]: Setting MPFR precision to 320
6.270 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.279 * * * * [points]: Setting MPFR precision to 64
6.310 * * * * [points]: Setting MPFR precision to 320
6.379 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.388 * * * * [points]: Setting MPFR precision to 64
6.453 * * * * [points]: Setting MPFR precision to 320
6.515 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.525 * * * * [points]: Setting MPFR precision to 64
6.701 * * * * [points]: Setting MPFR precision to 320
6.800 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
6.811 * * * * [points]: Setting MPFR precision to 64
7.067 * * * * [points]: Setting MPFR precision to 320
7.371 * * * * [points]: Computing exacts for 8000 points
7.379 * * * * [points]: Setting MPFR precision to 64
8.793 * * * * [points]: Setting MPFR precision to 320
10.000 * * * * [points]: Filtering points with unrepresentable outputs
10.006 * * * * [points]: Sampling 5756 additional inputs, on iter 1 have 2244 / 8000
10.034 * * * * [points]: Computing exacts on every 359 of 5756 points to ramp up precision
10.042 * * * * [points]: Setting MPFR precision to 64
10.044 * * * * [points]: Setting MPFR precision to 320
10.045 * * * * [points]: Computing exacts on every 179 of 5756 points to ramp up precision
10.049 * * * * [points]: Setting MPFR precision to 64
10.052 * * * * [points]: Setting MPFR precision to 320
10.054 * * * * [points]: Computing exacts on every 89 of 5756 points to ramp up precision
10.058 * * * * [points]: Setting MPFR precision to 64
10.063 * * * * [points]: Setting MPFR precision to 320
10.086 * * * * [points]: Computing exacts on every 44 of 5756 points to ramp up precision
10.091 * * * * [points]: Setting MPFR precision to 64
10.101 * * * * [points]: Setting MPFR precision to 320
10.110 * * * * [points]: Computing exacts on every 22 of 5756 points to ramp up precision
10.114 * * * * [points]: Setting MPFR precision to 64
10.147 * * * * [points]: Setting MPFR precision to 320
10.181 * * * * [points]: Computing exacts on every 11 of 5756 points to ramp up precision
10.191 * * * * [points]: Setting MPFR precision to 64
10.259 * * * * [points]: Setting MPFR precision to 320
10.297 * * * * [points]: Computing exacts on every 5 of 5756 points to ramp up precision
10.302 * * * * [points]: Setting MPFR precision to 64
10.369 * * * * [points]: Setting MPFR precision to 320
10.474 * * * * [points]: Computing exacts on every 2 of 5756 points to ramp up precision
10.478 * * * * [points]: Setting MPFR precision to 64
10.639 * * * * [points]: Setting MPFR precision to 320
10.839 * * * * [points]: Computing exacts for 5756 points
10.846 * * * * [points]: Setting MPFR precision to 64
11.488 * * * * [points]: Setting MPFR precision to 320
12.661 * * * * [points]: Filtering points with unrepresentable outputs
12.671 * * * * [points]: Sampling 4123 additional inputs, on iter 2 have 3877 / 8000
12.703 * * * * [points]: Computing exacts on every 257 of 4123 points to ramp up precision
12.712 * * * * [points]: Setting MPFR precision to 64
12.714 * * * * [points]: Setting MPFR precision to 320
12.716 * * * * [points]: Computing exacts on every 128 of 4123 points to ramp up precision
12.726 * * * * [points]: Setting MPFR precision to 64
12.731 * * * * [points]: Setting MPFR precision to 320
12.736 * * * * [points]: Computing exacts on every 64 of 4123 points to ramp up precision
12.779 * * * * [points]: Setting MPFR precision to 64
12.790 * * * * [points]: Setting MPFR precision to 320
12.799 * * * * [points]: Computing exacts on every 32 of 4123 points to ramp up precision
12.809 * * * * [points]: Setting MPFR precision to 64
12.821 * * * * [points]: Setting MPFR precision to 320
12.830 * * * * [points]: Computing exacts on every 16 of 4123 points to ramp up precision
12.835 * * * * [points]: Setting MPFR precision to 64
12.852 * * * * [points]: Setting MPFR precision to 320
12.881 * * * * [points]: Computing exacts on every 8 of 4123 points to ramp up precision
12.890 * * * * [points]: Setting MPFR precision to 64
12.968 * * * * [points]: Setting MPFR precision to 320
13.000 * * * * [points]: Computing exacts on every 4 of 4123 points to ramp up precision
13.005 * * * * [points]: Setting MPFR precision to 64
13.065 * * * * [points]: Setting MPFR precision to 320
13.164 * * * * [points]: Computing exacts on every 2 of 4123 points to ramp up precision
13.168 * * * * [points]: Setting MPFR precision to 64
13.313 * * * * [points]: Setting MPFR precision to 320
13.516 * * * * [points]: Computing exacts for 4123 points
13.525 * * * * [points]: Setting MPFR precision to 64
14.149 * * * * [points]: Setting MPFR precision to 320
14.746 * * * * [points]: Filtering points with unrepresentable outputs
14.753 * * * * [points]: Sampling 2943 additional inputs, on iter 3 have 5057 / 8000
14.777 * * * * [points]: Computing exacts on every 183 of 2943 points to ramp up precision
14.786 * * * * [points]: Setting MPFR precision to 64
14.788 * * * * [points]: Setting MPFR precision to 320
14.790 * * * * [points]: Computing exacts on every 91 of 2943 points to ramp up precision
14.799 * * * * [points]: Setting MPFR precision to 64
14.804 * * * * [points]: Setting MPFR precision to 320
14.808 * * * * [points]: Computing exacts on every 45 of 2943 points to ramp up precision
14.852 * * * * [points]: Setting MPFR precision to 64
14.863 * * * * [points]: Setting MPFR precision to 320
14.871 * * * * [points]: Computing exacts on every 22 of 2943 points to ramp up precision
14.881 * * * * [points]: Setting MPFR precision to 64
14.899 * * * * [points]: Setting MPFR precision to 320
14.915 * * * * [points]: Computing exacts on every 11 of 2943 points to ramp up precision
14.924 * * * * [points]: Setting MPFR precision to 64
14.954 * * * * [points]: Setting MPFR precision to 320
14.986 * * * * [points]: Computing exacts on every 5 of 2943 points to ramp up precision
14.995 * * * * [points]: Setting MPFR precision to 64
15.524 * * * * [points]: Setting MPFR precision to 320
15.589 * * * * [points]: Computing exacts on every 2 of 2943 points to ramp up precision
15.598 * * * * [points]: Setting MPFR precision to 64
15.775 * * * * [points]: Setting MPFR precision to 320
15.907 * * * * [points]: Computing exacts for 2943 points
15.917 * * * * [points]: Setting MPFR precision to 64
16.353 * * * * [points]: Setting MPFR precision to 320
16.825 * * * * [points]: Filtering points with unrepresentable outputs
16.830 * * * * [points]: Sampling 2124 additional inputs, on iter 4 have 5876 / 8000
16.847 * * * * [points]: Computing exacts on every 132 of 2124 points to ramp up precision
16.855 * * * * [points]: Setting MPFR precision to 64
16.858 * * * * [points]: Setting MPFR precision to 320
16.860 * * * * [points]: Computing exacts on every 66 of 2124 points to ramp up precision
16.869 * * * * [points]: Setting MPFR precision to 64
16.874 * * * * [points]: Setting MPFR precision to 320
16.879 * * * * [points]: Computing exacts on every 33 of 2124 points to ramp up precision
16.887 * * * * [points]: Setting MPFR precision to 64
16.895 * * * * [points]: Setting MPFR precision to 320
16.903 * * * * [points]: Computing exacts on every 16 of 2124 points to ramp up precision
16.953 * * * * [points]: Setting MPFR precision to 64
16.972 * * * * [points]: Setting MPFR precision to 320
16.987 * * * * [points]: Computing exacts on every 8 of 2124 points to ramp up precision
16.995 * * * * [points]: Setting MPFR precision to 64
17.028 * * * * [points]: Setting MPFR precision to 320
17.059 * * * * [points]: Computing exacts on every 4 of 2124 points to ramp up precision
17.069 * * * * [points]: Setting MPFR precision to 64
17.121 * * * * [points]: Setting MPFR precision to 320
17.223 * * * * [points]: Computing exacts on every 2 of 2124 points to ramp up precision
17.232 * * * * [points]: Setting MPFR precision to 64
17.322 * * * * [points]: Setting MPFR precision to 320
17.459 * * * * [points]: Computing exacts for 2124 points
17.464 * * * * [points]: Setting MPFR precision to 64
17.702 * * * * [points]: Setting MPFR precision to 320
18.005 * * * * [points]: Filtering points with unrepresentable outputs
18.009 * * * * [points]: Sampling 1527 additional inputs, on iter 5 have 6473 / 8000
18.022 * * * * [points]: Computing exacts on every 95 of 1527 points to ramp up precision
18.031 * * * * [points]: Setting MPFR precision to 64
18.071 * * * * [points]: Setting MPFR precision to 320
18.072 * * * * [points]: Computing exacts on every 47 of 1527 points to ramp up precision
18.076 * * * * [points]: Setting MPFR precision to 64
18.079 * * * * [points]: Setting MPFR precision to 320
18.083 * * * * [points]: Computing exacts on every 23 of 1527 points to ramp up precision
18.091 * * * * [points]: Setting MPFR precision to 64
18.099 * * * * [points]: Setting MPFR precision to 320
18.106 * * * * [points]: Computing exacts on every 11 of 1527 points to ramp up precision
18.111 * * * * [points]: Setting MPFR precision to 64
18.119 * * * * [points]: Setting MPFR precision to 320
18.128 * * * * [points]: Computing exacts on every 5 of 1527 points to ramp up precision
18.132 * * * * [points]: Setting MPFR precision to 64
18.166 * * * * [points]: Setting MPFR precision to 320
18.201 * * * * [points]: Computing exacts on every 2 of 1527 points to ramp up precision
18.243 * * * * [points]: Setting MPFR precision to 64
18.316 * * * * [points]: Setting MPFR precision to 320
18.385 * * * * [points]: Computing exacts for 1527 points
18.394 * * * * [points]: Setting MPFR precision to 64
18.627 * * * * [points]: Setting MPFR precision to 320
18.866 * * * * [points]: Filtering points with unrepresentable outputs
18.869 * * * * [points]: Sampling 1116 additional inputs, on iter 6 have 6884 / 8000
18.878 * * * * [points]: Computing exacts on every 69 of 1116 points to ramp up precision
18.888 * * * * [points]: Setting MPFR precision to 64
18.890 * * * * [points]: Setting MPFR precision to 320
18.893 * * * * [points]: Computing exacts on every 34 of 1116 points to ramp up precision
18.903 * * * * [points]: Setting MPFR precision to 64
18.908 * * * * [points]: Setting MPFR precision to 320
18.912 * * * * [points]: Computing exacts on every 17 of 1116 points to ramp up precision
18.920 * * * * [points]: Setting MPFR precision to 64
18.929 * * * * [points]: Setting MPFR precision to 320
19.403 * * * * [points]: Computing exacts on every 8 of 1116 points to ramp up precision
19.415 * * * * [points]: Setting MPFR precision to 64
19.430 * * * * [points]: Setting MPFR precision to 320
19.444 * * * * [points]: Computing exacts on every 4 of 1116 points to ramp up precision
19.452 * * * * [points]: Setting MPFR precision to 64
19.481 * * * * [points]: Setting MPFR precision to 320
19.510 * * * * [points]: Computing exacts on every 2 of 1116 points to ramp up precision
19.519 * * * * [points]: Setting MPFR precision to 64
19.568 * * * * [points]: Setting MPFR precision to 320
19.662 * * * * [points]: Computing exacts for 1116 points
19.672 * * * * [points]: Setting MPFR precision to 64
19.802 * * * * [points]: Setting MPFR precision to 320
19.942 * * * * [points]: Filtering points with unrepresentable outputs
19.944 * * * * [points]: Sampling 797 additional inputs, on iter 7 have 7203 / 8000
19.951 * * * * [points]: Computing exacts on every 49 of 797 points to ramp up precision
19.959 * * * * [points]: Setting MPFR precision to 64
19.962 * * * * [points]: Setting MPFR precision to 320
19.964 * * * * [points]: Computing exacts on every 24 of 797 points to ramp up precision
19.972 * * * * [points]: Setting MPFR precision to 64
19.977 * * * * [points]: Setting MPFR precision to 320
19.981 * * * * [points]: Computing exacts on every 12 of 797 points to ramp up precision
19.990 * * * * [points]: Setting MPFR precision to 64
19.999 * * * * [points]: Setting MPFR precision to 320
20.043 * * * * [points]: Computing exacts on every 6 of 797 points to ramp up precision
20.054 * * * * [points]: Setting MPFR precision to 64
20.064 * * * * [points]: Setting MPFR precision to 320
20.072 * * * * [points]: Computing exacts on every 3 of 797 points to ramp up precision
20.076 * * * * [points]: Setting MPFR precision to 64
20.089 * * * * [points]: Setting MPFR precision to 320
20.114 * * * * [points]: Computing exacts for 797 points
20.122 * * * * [points]: Setting MPFR precision to 64
20.250 * * * * [points]: Setting MPFR precision to 320
20.351 * * * * [points]: Filtering points with unrepresentable outputs
20.353 * * * * [points]: Sampling 563 additional inputs, on iter 8 have 7437 / 8000
20.357 * * * * [points]: Computing exacts on every 35 of 563 points to ramp up precision
20.366 * * * * [points]: Setting MPFR precision to 64
20.368 * * * * [points]: Setting MPFR precision to 320
20.370 * * * * [points]: Computing exacts on every 17 of 563 points to ramp up precision
20.379 * * * * [points]: Setting MPFR precision to 64
20.384 * * * * [points]: Setting MPFR precision to 320
20.389 * * * * [points]: Computing exacts on every 8 of 563 points to ramp up precision
20.398 * * * * [points]: Setting MPFR precision to 64
20.442 * * * * [points]: Setting MPFR precision to 320
20.450 * * * * [points]: Computing exacts on every 4 of 563 points to ramp up precision
20.462 * * * * [points]: Setting MPFR precision to 64
20.476 * * * * [points]: Setting MPFR precision to 320
20.491 * * * * [points]: Computing exacts on every 2 of 563 points to ramp up precision
20.499 * * * * [points]: Setting MPFR precision to 64
20.524 * * * * [points]: Setting MPFR precision to 320
20.548 * * * * [points]: Computing exacts for 563 points
20.557 * * * * [points]: Setting MPFR precision to 64
20.631 * * * * [points]: Setting MPFR precision to 320
20.746 * * * * [points]: Filtering points with unrepresentable outputs
20.747 * * * * [points]: Sampling 406 additional inputs, on iter 9 have 7594 / 8000
20.751 * * * * [points]: Computing exacts on every 25 of 406 points to ramp up precision
20.759 * * * * [points]: Setting MPFR precision to 64
20.762 * * * * [points]: Setting MPFR precision to 320
20.764 * * * * [points]: Computing exacts on every 12 of 406 points to ramp up precision
20.773 * * * * [points]: Setting MPFR precision to 64
20.777 * * * * [points]: Setting MPFR precision to 320
20.781 * * * * [points]: Computing exacts on every 6 of 406 points to ramp up precision
20.790 * * * * [points]: Setting MPFR precision to 64
20.797 * * * * [points]: Setting MPFR precision to 320
20.806 * * * * [points]: Computing exacts on every 3 of 406 points to ramp up precision
20.814 * * * * [points]: Setting MPFR precision to 64
20.828 * * * * [points]: Setting MPFR precision to 320
20.841 * * * * [points]: Computing exacts for 406 points
20.887 * * * * [points]: Setting MPFR precision to 64
20.943 * * * * [points]: Setting MPFR precision to 320
20.996 * * * * [points]: Filtering points with unrepresentable outputs
20.997 * * * * [points]: Sampling 300 additional inputs, on iter 10 have 7700 / 8000
20.999 * * * * [points]: Computing exacts on every 18 of 300 points to ramp up precision
21.008 * * * * [points]: Setting MPFR precision to 64
21.010 * * * * [points]: Setting MPFR precision to 320
21.012 * * * * [points]: Computing exacts on every 9 of 300 points to ramp up precision
21.021 * * * * [points]: Setting MPFR precision to 64
21.025 * * * * [points]: Setting MPFR precision to 320
21.029 * * * * [points]: Computing exacts on every 4 of 300 points to ramp up precision
21.038 * * * * [points]: Setting MPFR precision to 64
21.045 * * * * [points]: Setting MPFR precision to 320
21.054 * * * * [points]: Computing exacts on every 2 of 300 points to ramp up precision
21.063 * * * * [points]: Setting MPFR precision to 64
21.112 * * * * [points]: Setting MPFR precision to 320
21.129 * * * * [points]: Computing exacts for 300 points
21.138 * * * * [points]: Setting MPFR precision to 64
21.176 * * * * [points]: Setting MPFR precision to 320
21.215 * * * * [points]: Filtering points with unrepresentable outputs
21.216 * * * * [points]: Sampling 211 additional inputs, on iter 11 have 7789 / 8000
21.218 * * * * [points]: Computing exacts on every 13 of 211 points to ramp up precision
21.226 * * * * [points]: Setting MPFR precision to 64
21.228 * * * * [points]: Setting MPFR precision to 320
21.230 * * * * [points]: Computing exacts on every 6 of 211 points to ramp up precision
21.239 * * * * [points]: Setting MPFR precision to 64
21.243 * * * * [points]: Setting MPFR precision to 320
21.247 * * * * [points]: Computing exacts on every 3 of 211 points to ramp up precision
21.255 * * * * [points]: Setting MPFR precision to 64
21.262 * * * * [points]: Setting MPFR precision to 320
21.269 * * * * [points]: Computing exacts for 211 points
21.312 * * * * [points]: Setting MPFR precision to 64
21.341 * * * * [points]: Setting MPFR precision to 320
21.370 * * * * [points]: Filtering points with unrepresentable outputs
21.371 * * * * [points]: Sampling 148 additional inputs, on iter 12 have 7852 / 8000
21.372 * * * * [points]: Computing exacts on every 9 of 148 points to ramp up precision
21.381 * * * * [points]: Setting MPFR precision to 64
21.383 * * * * [points]: Setting MPFR precision to 320
21.385 * * * * [points]: Computing exacts on every 4 of 148 points to ramp up precision
21.394 * * * * [points]: Setting MPFR precision to 64
21.398 * * * * [points]: Setting MPFR precision to 320
21.402 * * * * [points]: Computing exacts on every 2 of 148 points to ramp up precision
21.411 * * * * [points]: Setting MPFR precision to 64
21.417 * * * * [points]: Setting MPFR precision to 320
21.423 * * * * [points]: Computing exacts for 148 points
21.432 * * * * [points]: Setting MPFR precision to 64
21.445 * * * * [points]: Setting MPFR precision to 320
21.455 * * * * [points]: Filtering points with unrepresentable outputs
21.455 * * * * [points]: Sampling 102 additional inputs, on iter 13 have 7898 / 8000
21.455 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
21.460 * * * * [points]: Setting MPFR precision to 64
21.461 * * * * [points]: Setting MPFR precision to 320
21.462 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
21.495 * * * * [points]: Setting MPFR precision to 64
21.500 * * * * [points]: Setting MPFR precision to 320
21.502 * * * * [points]: Computing exacts for 102 points
21.506 * * * * [points]: Setting MPFR precision to 64
21.513 * * * * [points]: Setting MPFR precision to 320
21.520 * * * * [points]: Filtering points with unrepresentable outputs
21.520 * * * * [points]: Sampling 69 additional inputs, on iter 14 have 7931 / 8000
21.521 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
21.525 * * * * [points]: Setting MPFR precision to 64
21.526 * * * * [points]: Setting MPFR precision to 320
21.527 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
21.531 * * * * [points]: Setting MPFR precision to 64
21.533 * * * * [points]: Setting MPFR precision to 320
21.535 * * * * [points]: Computing exacts for 69 points
21.539 * * * * [points]: Setting MPFR precision to 64
21.544 * * * * [points]: Setting MPFR precision to 320
21.549 * * * * [points]: Filtering points with unrepresentable outputs
21.549 * * * * [points]: Sampling 46 additional inputs, on iter 15 have 7954 / 8000
21.549 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
21.557 * * * * [points]: Setting MPFR precision to 64
21.559 * * * * [points]: Setting MPFR precision to 320
21.561 * * * * [points]: Computing exacts for 46 points
21.571 * * * * [points]: Setting MPFR precision to 64
21.577 * * * * [points]: Setting MPFR precision to 320
21.583 * * * * [points]: Filtering points with unrepresentable outputs
21.584 * * * * [points]: Sampling 28 additional inputs, on iter 16 have 7972 / 8000
21.584 * * * * [points]: Computing exacts for 28 points
21.593 * * * * [points]: Setting MPFR precision to 64
21.597 * * * * [points]: Setting MPFR precision to 320
21.626 * * * * [points]: Filtering points with unrepresentable outputs
21.626 * * * * [points]: Sampling 17 additional inputs, on iter 17 have 7983 / 8000
21.626 * * * * [points]: Computing exacts for 17 points
21.639 * * * * [points]: Setting MPFR precision to 64
21.641 * * * * [points]: Setting MPFR precision to 320
21.644 * * * * [points]: Filtering points with unrepresentable outputs
21.644 * * * * [points]: Sampling 13 additional inputs, on iter 18 have 7987 / 8000
21.644 * * * * [points]: Computing exacts for 13 points
21.653 * * * * [points]: Setting MPFR precision to 64
21.655 * * * * [points]: Setting MPFR precision to 320
21.656 * * * * [points]: Filtering points with unrepresentable outputs
21.657 * * * * [points]: Sampling 10 additional inputs, on iter 19 have 7990 / 8000
21.657 * * * * [points]: Computing exacts for 10 points
21.665 * * * * [points]: Setting MPFR precision to 64
21.667 * * * * [points]: Setting MPFR precision to 320
21.668 * * * * [points]: Filtering points with unrepresentable outputs
21.668 * * * * [points]: Sampling 9 additional inputs, on iter 20 have 7991 / 8000
21.669 * * * * [points]: Computing exacts for 9 points
21.677 * * * * [points]: Setting MPFR precision to 64
21.679 * * * * [points]: Setting MPFR precision to 320
21.680 * * * * [points]: Filtering points with unrepresentable outputs
21.680 * * * * [points]: Sampling 7 additional inputs, on iter 21 have 7993 / 8000
21.680 * * * * [points]: Computing exacts for 7 points
21.688 * * * * [points]: Setting MPFR precision to 64
21.689 * * * * [points]: Setting MPFR precision to 320
21.690 * * * * [points]: Filtering points with unrepresentable outputs
21.691 * * * * [points]: Sampling 5 additional inputs, on iter 22 have 7995 / 8000
21.691 * * * * [points]: Computing exacts for 5 points
21.696 * * * * [points]: Setting MPFR precision to 64
21.697 * * * * [points]: Setting MPFR precision to 320
21.697 * * * * [points]: Filtering points with unrepresentable outputs
21.698 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 7997 / 8000
21.698 * * * * [points]: Computing exacts for 4 points
21.702 * * * * [points]: Setting MPFR precision to 64
21.702 * * * * [points]: Setting MPFR precision to 320
21.703 * * * * [points]: Filtering points with unrepresentable outputs
21.703 * * * * [points]: Sampled 8000 points with exact outputs
28.988 * [regime-testing]: Baseline error score: 64.0
28.992 * [regime-testing]: Oracle error score: 64.0
28.999 * [regime-testing]: End program error score: 0.5983749188852809