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.017 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.031 * * * * [points]: Setting MPFR precision to 64
0.035 * * * * [points]: Setting MPFR precision to 320
0.047 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.056 * * * * [points]: Setting MPFR precision to 64
0.063 * * * * [points]: Setting MPFR precision to 320
0.069 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.078 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.100 * * * * [points]: Computing exacts for 256 points
0.110 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Filtering points with unrepresentable outputs
0.177 * * * * [points]: Sampling 189 additional inputs, on iter 1 have 67 / 256
0.179 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision
0.188 * * * * [points]: Setting MPFR precision to 64
0.189 * * * * [points]: Setting MPFR precision to 320
0.190 * * * * [points]: Computing exacts on every 5 of 189 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 2 of 189 points to ramp up precision
0.224 * * * * [points]: Setting MPFR precision to 64
0.235 * * * * [points]: Setting MPFR precision to 320
0.242 * * * * [points]: Computing exacts for 189 points
0.251 * * * * [points]: Setting MPFR precision to 64
0.266 * * * * [points]: Setting MPFR precision to 320
0.279 * * * * [points]: Filtering points with unrepresentable outputs
0.280 * * * * [points]: Sampling 125 additional inputs, on iter 2 have 131 / 256
0.280 * * * * [points]: Computing exacts on every 7 of 125 points to ramp up precision
0.285 * * * * [points]: Setting MPFR precision to 64
0.286 * * * * [points]: Setting MPFR precision to 320
0.287 * * * * [points]: Computing exacts on every 3 of 125 points to ramp up precision
0.292 * * * * [points]: Setting MPFR precision to 64
0.294 * * * * [points]: Setting MPFR precision to 320
0.296 * * * * [points]: Computing exacts for 125 points
0.301 * * * * [points]: Setting MPFR precision to 64
0.316 * * * * [points]: Setting MPFR precision to 320
0.333 * * * * [points]: Filtering points with unrepresentable outputs
0.334 * * * * [points]: Sampling 87 additional inputs, on iter 3 have 169 / 256
0.335 * * * * [points]: Computing exacts on every 5 of 87 points to ramp up precision
0.343 * * * * [points]: Setting MPFR precision to 64
0.346 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Computing exacts on every 2 of 87 points to ramp up precision
0.391 * * * * [points]: Setting MPFR precision to 64
0.398 * * * * [points]: Setting MPFR precision to 320
0.401 * * * * [points]: Computing exacts for 87 points
0.410 * * * * [points]: Setting MPFR precision to 64
0.421 * * * * [points]: Setting MPFR precision to 320
0.433 * * * * [points]: Filtering points with unrepresentable outputs
0.433 * * * * [points]: Sampling 61 additional inputs, on iter 4 have 195 / 256
0.433 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
0.443 * * * * [points]: Setting MPFR precision to 64
0.445 * * * * [points]: Setting MPFR precision to 320
0.447 * * * * [points]: Computing exacts for 61 points
0.456 * * * * [points]: Setting MPFR precision to 64
0.463 * * * * [points]: Setting MPFR precision to 320
0.471 * * * * [points]: Filtering points with unrepresentable outputs
0.471 * * * * [points]: Sampling 46 additional inputs, on iter 5 have 210 / 256
0.472 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
0.481 * * * * [points]: Setting MPFR precision to 64
0.484 * * * * [points]: Setting MPFR precision to 320
0.487 * * * * [points]: Computing exacts for 46 points
0.496 * * * * [points]: Setting MPFR precision to 64
0.502 * * * * [points]: Setting MPFR precision to 320
0.508 * * * * [points]: Filtering points with unrepresentable outputs
0.508 * * * * [points]: Sampling 30 additional inputs, on iter 6 have 226 / 256
0.509 * * * * [points]: Computing exacts for 30 points
0.518 * * * * [points]: Setting MPFR precision to 64
0.522 * * * * [points]: Setting MPFR precision to 320
0.525 * * * * [points]: Filtering points with unrepresentable outputs
0.525 * * * * [points]: Sampling 25 additional inputs, on iter 7 have 231 / 256
0.525 * * * * [points]: Computing exacts for 25 points
0.529 * * * * [points]: Setting MPFR precision to 64
0.548 * * * * [points]: Setting MPFR precision to 320
0.550 * * * * [points]: Filtering points with unrepresentable outputs
0.550 * * * * [points]: Sampling 16 additional inputs, on iter 8 have 240 / 256
0.550 * * * * [points]: Computing exacts for 16 points
0.555 * * * * [points]: Setting MPFR precision to 64
0.556 * * * * [points]: Setting MPFR precision to 320
0.559 * * * * [points]: Filtering points with unrepresentable outputs
0.559 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 243 / 256
0.559 * * * * [points]: Computing exacts for 13 points
0.564 * * * * [points]: Setting MPFR precision to 64
0.565 * * * * [points]: Setting MPFR precision to 320
0.566 * * * * [points]: Filtering points with unrepresentable outputs
0.566 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 245 / 256
0.566 * * * * [points]: Computing exacts for 11 points
0.571 * * * * [points]: Setting MPFR precision to 64
0.571 * * * * [points]: Setting MPFR precision to 320
0.572 * * * * [points]: Filtering points with unrepresentable outputs
0.572 * * * * [points]: Sampling 9 additional inputs, on iter 11 have 247 / 256
0.572 * * * * [points]: Computing exacts for 9 points
0.577 * * * * [points]: Setting MPFR precision to 64
0.578 * * * * [points]: Setting MPFR precision to 320
0.578 * * * * [points]: Filtering points with unrepresentable outputs
0.578 * * * * [points]: Sampling 6 additional inputs, on iter 12 have 250 / 256
0.578 * * * * [points]: Computing exacts for 6 points
0.583 * * * * [points]: Setting MPFR precision to 64
0.584 * * * * [points]: Setting MPFR precision to 320
0.584 * * * * [points]: Filtering points with unrepresentable outputs
0.584 * * * * [points]: Sampling 5 additional inputs, on iter 13 have 251 / 256
0.584 * * * * [points]: Computing exacts for 5 points
0.588 * * * * [points]: Setting MPFR precision to 64
0.589 * * * * [points]: Setting MPFR precision to 320
0.589 * * * * [points]: Filtering points with unrepresentable outputs
0.589 * * * * [points]: Sampling 5 additional inputs, on iter 14 have 251 / 256
0.589 * * * * [points]: Computing exacts for 5 points
0.594 * * * * [points]: Setting MPFR precision to 64
0.594 * * * * [points]: Setting MPFR precision to 320
0.595 * * * * [points]: Filtering points with unrepresentable outputs
0.595 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 252 / 256
0.595 * * * * [points]: Computing exacts for 4 points
0.599 * * * * [points]: Setting MPFR precision to 64
0.599 * * * * [points]: Setting MPFR precision to 320
0.600 * * * * [points]: Filtering points with unrepresentable outputs
0.600 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 254 / 256
0.600 * * * * [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.946 * [progress]: [Phase 2 of 3] Improving.
0.946 * * * * [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.946 * [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.946 * * [simplify]: iters left: 6 (19 enodes)
0.951 * * [simplify]: iters left: 5 (48 enodes)
0.962 * * [simplify]: iters left: 4 (124 enodes)
0.998 * * [simplify]: Extracting #0: cost 1 inf + 0
0.998 * * [simplify]: Extracting #1: cost 3 inf + 0
0.998 * * [simplify]: Extracting #2: cost 6 inf + 0
0.998 * * [simplify]: Extracting #3: cost 31 inf + 2
0.998 * * [simplify]: Extracting #4: cost 126 inf + 4
0.999 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.000 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.004 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.018 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.042 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.061 * [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.061 * [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.104 * * [progress]: iteration 1 / 4
1.104 * * * [progress]: picking best candidate
1.143 * * * * [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)))>
1.143 * * * [progress]: localizing error
1.561 * * * [progress]: generating rewritten candidates
1.561 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
1.587 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.659 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.691 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
1.700 * * * [progress]: generating series expansions
1.700 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
1.700 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.700 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.700 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
1.700 * * * [progress]: simplifying candidates
1.701 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.701 * [simplify]: Simplifying (+.p16 alpha beta)
1.701 * * [simplify]: iters left: 1 (3 enodes)
1.701 * * [simplify]: Extracting #0: cost 1 inf + 0
1.701 * * [simplify]: Extracting #1: cost 3 inf + 0
1.701 * * [simplify]: Extracting #2: cost 1 inf + 2
1.701 * * [simplify]: Extracting #3: cost 0 inf + 44
1.702 * [simplify]: Simplified to (+.p16 beta alpha)
1.702 * [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.702 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.702 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
1.702 * * [simplify]: iters left: 3 (7 enodes)
1.704 * * [simplify]: iters left: 2 (22 enodes)
1.707 * * [simplify]: iters left: 1 (61 enodes)
1.725 * * [simplify]: Extracting #0: cost 1 inf + 0
1.725 * * [simplify]: Extracting #1: cost 15 inf + 0
1.726 * * [simplify]: Extracting #2: cost 60 inf + 0
1.726 * * [simplify]: Extracting #3: cost 64 inf + 2
1.727 * * [simplify]: Extracting #4: cost 43 inf + 25499
1.731 * * [simplify]: Extracting #5: cost 3 inf + 68523
1.736 * * [simplify]: Extracting #6: cost 0 inf + 73168
1.741 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)))
1.741 * [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.741 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.741 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 beta alpha))
1.742 * * [simplify]: iters left: 2 (5 enodes)
1.744 * * [simplify]: iters left: 1 (17 enodes)
1.749 * * [simplify]: Extracting #0: cost 1 inf + 0
1.750 * * [simplify]: Extracting #1: cost 18 inf + 0
1.750 * * [simplify]: Extracting #2: cost 23 inf + 0
1.750 * * [simplify]: Extracting #3: cost 20 inf + 323
1.750 * * [simplify]: Extracting #4: cost 12 inf + 2616
1.751 * * [simplify]: Extracting #5: cost 0 inf + 9758
1.751 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))
1.752 * [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.752 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))>
1.752 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.752 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.752 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.752 * [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.752 * * [simplify]: iters left: 6 (19 enodes)
1.762 * * [simplify]: iters left: 5 (48 enodes)
1.780 * * [simplify]: iters left: 4 (124 enodes)
1.855 * * [simplify]: Extracting #0: cost 1 inf + 0
1.855 * * [simplify]: Extracting #1: cost 3 inf + 0
1.855 * * [simplify]: Extracting #2: cost 6 inf + 0
1.855 * * [simplify]: Extracting #3: cost 31 inf + 2
1.856 * * [simplify]: Extracting #4: cost 126 inf + 4
1.857 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.861 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.867 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.885 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.905 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.923 * [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.924 * [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.924 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.924 * [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.924 * * [simplify]: iters left: 6 (19 enodes)
1.933 * * [simplify]: iters left: 5 (48 enodes)
1.956 * * [simplify]: iters left: 4 (124 enodes)
2.027 * * [simplify]: Extracting #0: cost 1 inf + 0
2.027 * * [simplify]: Extracting #1: cost 3 inf + 0
2.027 * * [simplify]: Extracting #2: cost 6 inf + 0
2.027 * * [simplify]: Extracting #3: cost 31 inf + 2
2.028 * * [simplify]: Extracting #4: cost 126 inf + 4
2.029 * * [simplify]: Extracting #5: cost 211 inf + 2985
2.033 * * [simplify]: Extracting #6: cost 160 inf + 31488
2.039 * * [simplify]: Extracting #7: cost 101 inf + 88177
2.058 * * [simplify]: Extracting #8: cost 1 inf + 172697
2.080 * * [simplify]: Extracting #9: cost 0 inf + 173382
2.099 * [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.099 * [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.100 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.100 * [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))
2.100 * * [simplify]: iters left: 6 (19 enodes)
2.106 * * [simplify]: iters left: 5 (48 enodes)
2.115 * * [simplify]: iters left: 4 (124 enodes)
2.184 * * [simplify]: Extracting #0: cost 1 inf + 0
2.184 * * [simplify]: Extracting #1: cost 3 inf + 0
2.184 * * [simplify]: Extracting #2: cost 6 inf + 0
2.184 * * [simplify]: Extracting #3: cost 31 inf + 2
2.185 * * [simplify]: Extracting #4: cost 126 inf + 4
2.186 * * [simplify]: Extracting #5: cost 211 inf + 2985
2.189 * * [simplify]: Extracting #6: cost 160 inf + 31488
2.196 * * [simplify]: Extracting #7: cost 101 inf + 88177
2.216 * * [simplify]: Extracting #8: cost 1 inf + 172697
2.235 * * [simplify]: Extracting #9: cost 0 inf + 173382
2.254 * [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.254 * [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.254 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.254 * [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))
2.255 * * [simplify]: iters left: 6 (19 enodes)
2.264 * * [simplify]: iters left: 5 (48 enodes)
2.282 * * [simplify]: iters left: 4 (124 enodes)
2.355 * * [simplify]: Extracting #0: cost 1 inf + 0
2.355 * * [simplify]: Extracting #1: cost 3 inf + 0
2.355 * * [simplify]: Extracting #2: cost 6 inf + 0
2.355 * * [simplify]: Extracting #3: cost 31 inf + 2
2.355 * * [simplify]: Extracting #4: cost 126 inf + 4
2.357 * * [simplify]: Extracting #5: cost 211 inf + 2985
2.360 * * [simplify]: Extracting #6: cost 160 inf + 31488
2.367 * * [simplify]: Extracting #7: cost 101 inf + 88177
2.384 * * [simplify]: Extracting #8: cost 1 inf + 172697
2.403 * * [simplify]: Extracting #9: cost 0 inf + 173382
2.421 * [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.422 * [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.422 * * * [progress]: adding candidates to table
3.055 * * [progress]: iteration 2 / 4
3.055 * * * [progress]: picking best candidate
3.178 * * * * [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)))>
3.178 * * * [progress]: localizing error
3.622 * * * [progress]: generating rewritten candidates
3.622 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
3.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.762 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
3.778 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.049 * * * [progress]: generating series expansions
4.050 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
4.050 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.050 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.050 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.050 * * * [progress]: simplifying candidates
4.050 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.050 * [simplify]: Simplifying (+.p16 beta alpha)
4.050 * * [simplify]: iters left: 1 (3 enodes)
4.052 * * [simplify]: Extracting #0: cost 1 inf + 0
4.052 * * [simplify]: Extracting #1: cost 3 inf + 0
4.052 * * [simplify]: Extracting #2: cost 1 inf + 2
4.052 * * [simplify]: Extracting #3: cost 0 inf + 44
4.052 * [simplify]: Simplified to (+.p16 alpha beta)
4.052 * [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)))
4.052 * * * * [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.052 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
4.052 * * [simplify]: iters left: 4 (9 enodes)
4.057 * * [simplify]: iters left: 3 (21 enodes)
4.064 * * [simplify]: iters left: 2 (27 enodes)
4.073 * * [simplify]: iters left: 1 (29 enodes)
4.080 * * [simplify]: Extracting #0: cost 1 inf + 0
4.080 * * [simplify]: Extracting #1: cost 3 inf + 0
4.081 * * [simplify]: Extracting #2: cost 8 inf + 0
4.081 * * [simplify]: Extracting #3: cost 8 inf + 2
4.081 * * [simplify]: Extracting #4: cost 7 inf + 45
4.081 * * [simplify]: Extracting #5: cost 1 inf + 1980
4.081 * * [simplify]: Extracting #6: cost 0 inf + 2343
4.082 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
4.082 * [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)))
4.082 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.082 * [simplify]: Simplifying (+.p16 alpha beta)
4.082 * * [simplify]: iters left: 1 (3 enodes)
4.084 * * [simplify]: Extracting #0: cost 1 inf + 0
4.084 * * [simplify]: Extracting #1: cost 3 inf + 0
4.084 * * [simplify]: Extracting #2: cost 1 inf + 2
4.084 * * [simplify]: Extracting #3: cost 0 inf + 44
4.084 * [simplify]: Simplified to (+.p16 beta alpha)
4.084 * [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)))
4.084 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.084 * [simplify]: Simplifying (+.p16 beta alpha)
4.084 * * [simplify]: iters left: 1 (3 enodes)
4.085 * * [simplify]: Extracting #0: cost 1 inf + 0
4.086 * * [simplify]: Extracting #1: cost 3 inf + 0
4.086 * * [simplify]: Extracting #2: cost 1 inf + 2
4.086 * * [simplify]: Extracting #3: cost 0 inf + 44
4.086 * [simplify]: Simplified to (+.p16 alpha beta)
4.086 * [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)))
4.086 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.086 * [simplify]: Simplifying (-.p16 beta alpha)
4.086 * * [simplify]: iters left: 1 (3 enodes)
4.088 * * [simplify]: Extracting #0: cost 1 inf + 0
4.088 * * [simplify]: Extracting #1: cost 6 inf + 0
4.088 * * [simplify]: Extracting #2: cost 5 inf + 44
4.088 * * [simplify]: Extracting #3: cost 0 inf + 1571
4.088 * [simplify]: Simplified to (-.p16 beta alpha)
4.088 * [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)))
4.088 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))>
4.088 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.089 * [simplify]: Simplifying (+.p16 alpha beta)
4.089 * * [simplify]: iters left: 1 (3 enodes)
4.090 * * [simplify]: Extracting #0: cost 1 inf + 0
4.090 * * [simplify]: Extracting #1: cost 3 inf + 0
4.090 * * [simplify]: Extracting #2: cost 1 inf + 2
4.090 * * [simplify]: Extracting #3: cost 0 inf + 44
4.090 * [simplify]: Simplified to (+.p16 beta alpha)
4.090 * [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)))
4.090 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.091 * [simplify]: Simplifying (+.p16 alpha beta)
4.091 * * [simplify]: iters left: 1 (3 enodes)
4.092 * * [simplify]: Extracting #0: cost 1 inf + 0
4.092 * * [simplify]: Extracting #1: cost 3 inf + 0
4.092 * * [simplify]: Extracting #2: cost 1 inf + 2
4.092 * * [simplify]: Extracting #3: cost 0 inf + 44
4.092 * [simplify]: Simplified to (+.p16 beta alpha)
4.092 * [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)))
4.092 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.093 * [simplify]: Simplifying (+.p16 alpha beta)
4.093 * * [simplify]: iters left: 1 (3 enodes)
4.094 * * [simplify]: Extracting #0: cost 1 inf + 0
4.094 * * [simplify]: Extracting #1: cost 3 inf + 0
4.094 * * [simplify]: Extracting #2: cost 1 inf + 2
4.094 * * [simplify]: Extracting #3: cost 0 inf + 44
4.094 * [simplify]: Simplified to (+.p16 beta alpha)
4.094 * [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)))
4.095 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.095 * [simplify]: Simplifying (+.p16 alpha beta)
4.095 * * [simplify]: iters left: 1 (3 enodes)
4.096 * * [simplify]: Extracting #0: cost 1 inf + 0
4.096 * * [simplify]: Extracting #1: cost 3 inf + 0
4.096 * * [simplify]: Extracting #2: cost 1 inf + 2
4.096 * * [simplify]: Extracting #3: cost 0 inf + 44
4.096 * [simplify]: Simplified to (+.p16 beta alpha)
4.096 * [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)))
4.097 * * * [progress]: adding candidates to table
4.611 * * [progress]: iteration 3 / 4
4.611 * * * [progress]: picking best candidate
4.831 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.831 * * * [progress]: localizing error
5.299 * * * [progress]: generating rewritten candidates
5.300 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2)
5.335 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
5.345 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
5.410 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.429 * * * [progress]: generating series expansions
5.429 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2)
5.430 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
5.430 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.430 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.430 * * * [progress]: simplifying candidates
5.430 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.430 * [simplify]: Simplifying (+.p16 beta alpha)
5.430 * * [simplify]: iters left: 1 (3 enodes)
5.432 * * [simplify]: Extracting #0: cost 1 inf + 0
5.432 * * [simplify]: Extracting #1: cost 3 inf + 0
5.432 * * [simplify]: Extracting #2: cost 1 inf + 2
5.432 * * [simplify]: Extracting #3: cost 0 inf + 44
5.432 * [simplify]: Simplified to (+.p16 alpha beta)
5.432 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)))) (real->posit16 1.0)) (real->posit16 2.0)))
5.432 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.434 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
5.434 * * [simplify]: iters left: 4 (10 enodes)
5.439 * * [simplify]: iters left: 3 (28 enodes)
5.448 * * [simplify]: iters left: 2 (45 enodes)
5.464 * * [simplify]: iters left: 1 (94 enodes)
5.507 * * [simplify]: Extracting #0: cost 1 inf + 0
5.508 * * [simplify]: Extracting #1: cost 22 inf + 0
5.508 * * [simplify]: Extracting #2: cost 75 inf + 0
5.509 * * [simplify]: Extracting #3: cost 107 inf + 2
5.510 * * [simplify]: Extracting #4: cost 96 inf + 15851
5.514 * * [simplify]: Extracting #5: cost 36 inf + 72598
5.523 * * [simplify]: Extracting #6: cost 4 inf + 121509
5.532 * * [simplify]: Extracting #7: cost 0 inf + 127325
5.541 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
5.541 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.541 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
5.542 * [simplify]: Simplifying (-.p16 beta alpha)
5.542 * * [simplify]: iters left: 1 (3 enodes)
5.543 * * [simplify]: Extracting #0: cost 1 inf + 0
5.543 * * [simplify]: Extracting #1: cost 6 inf + 0
5.543 * * [simplify]: Extracting #2: cost 5 inf + 44
5.543 * * [simplify]: Extracting #3: cost 0 inf + 1571
5.543 * [simplify]: Simplified to (-.p16 beta alpha)
5.544 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
5.544 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.544 * [simplify]: Simplifying (+.p16 beta alpha)
5.544 * * [simplify]: iters left: 1 (3 enodes)
5.545 * * [simplify]: Extracting #0: cost 1 inf + 0
5.545 * * [simplify]: Extracting #1: cost 3 inf + 0
5.545 * * [simplify]: Extracting #2: cost 1 inf + 2
5.545 * * [simplify]: Extracting #3: cost 0 inf + 44
5.546 * [simplify]: Simplified to (+.p16 alpha beta)
5.546 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
5.546 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.546 * [simplify]: Simplifying (-.p16 beta alpha)
5.546 * * [simplify]: iters left: 1 (3 enodes)
5.548 * * [simplify]: Extracting #0: cost 1 inf + 0
5.548 * * [simplify]: Extracting #1: cost 6 inf + 0
5.548 * * [simplify]: Extracting #2: cost 5 inf + 44
5.548 * * [simplify]: Extracting #3: cost 0 inf + 1571
5.548 * [simplify]: Simplified to (-.p16 beta alpha)
5.548 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.548 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.548 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))))) (real->posit16 2.0)))>
5.548 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.549 * [simplify]: Simplifying (+.p16 alpha beta)
5.549 * * [simplify]: iters left: 1 (3 enodes)
5.550 * * [simplify]: Extracting #0: cost 1 inf + 0
5.550 * * [simplify]: Extracting #1: cost 3 inf + 0
5.550 * * [simplify]: Extracting #2: cost 1 inf + 2
5.550 * * [simplify]: Extracting #3: cost 0 inf + 44
5.550 * [simplify]: Simplified to (+.p16 beta alpha)
5.550 * [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)))
5.550 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.551 * [simplify]: Simplifying (+.p16 alpha beta)
5.551 * * [simplify]: iters left: 1 (3 enodes)
5.552 * * [simplify]: Extracting #0: cost 1 inf + 0
5.552 * * [simplify]: Extracting #1: cost 3 inf + 0
5.552 * * [simplify]: Extracting #2: cost 1 inf + 2
5.553 * * [simplify]: Extracting #3: cost 0 inf + 44
5.553 * [simplify]: Simplified to (+.p16 beta alpha)
5.553 * [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)))
5.553 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.553 * [simplify]: Simplifying (+.p16 alpha beta)
5.553 * * [simplify]: iters left: 1 (3 enodes)
5.554 * * [simplify]: Extracting #0: cost 1 inf + 0
5.554 * * [simplify]: Extracting #1: cost 3 inf + 0
5.555 * * [simplify]: Extracting #2: cost 1 inf + 2
5.555 * * [simplify]: Extracting #3: cost 0 inf + 44
5.555 * [simplify]: Simplified to (+.p16 beta alpha)
5.555 * [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)))
5.555 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.555 * [simplify]: Simplifying (+.p16 alpha beta)
5.555 * * [simplify]: iters left: 1 (3 enodes)
5.556 * * [simplify]: Extracting #0: cost 1 inf + 0
5.556 * * [simplify]: Extracting #1: cost 3 inf + 0
5.557 * * [simplify]: Extracting #2: cost 1 inf + 2
5.557 * * [simplify]: Extracting #3: cost 0 inf + 44
5.557 * [simplify]: Simplified to (+.p16 beta alpha)
5.557 * [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)))
5.557 * * * [progress]: adding candidates to table
6.047 * * [progress]: iteration 4 / 4
6.047 * * * [progress]: picking best candidate
6.253 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.253 * * * [progress]: localizing error
6.609 * * * [progress]: generating rewritten candidates
6.609 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
6.633 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
6.697 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
6.715 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.735 * * * [progress]: generating series expansions
6.736 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
6.736 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
6.736 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
6.736 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.736 * * * [progress]: simplifying candidates
6.736 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.736 * [simplify]: Simplifying (+.p16 beta alpha)
6.736 * * [simplify]: iters left: 1 (3 enodes)
6.737 * * [simplify]: Extracting #0: cost 1 inf + 0
6.737 * * [simplify]: Extracting #1: cost 3 inf + 0
6.738 * * [simplify]: Extracting #2: cost 1 inf + 2
6.738 * * [simplify]: Extracting #3: cost 0 inf + 44
6.738 * [simplify]: Simplified to (+.p16 alpha beta)
6.738 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
6.738 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
6.738 * [simplify]: Simplifying (+.p16 beta alpha)
6.738 * * [simplify]: iters left: 1 (3 enodes)
6.739 * * [simplify]: Extracting #0: cost 1 inf + 0
6.739 * * [simplify]: Extracting #1: cost 3 inf + 0
6.740 * * [simplify]: Extracting #2: cost 1 inf + 2
6.740 * * [simplify]: Extracting #3: cost 0 inf + 44
6.740 * [simplify]: Simplified to (+.p16 alpha beta)
6.740 * [simplify]: Simplified (2 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)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
6.740 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
6.740 * [simplify]: Simplifying (-.p16 beta alpha)
6.740 * * [simplify]: iters left: 1 (3 enodes)
6.742 * * [simplify]: Extracting #0: cost 1 inf + 0
6.742 * * [simplify]: Extracting #1: cost 6 inf + 0
6.742 * * [simplify]: Extracting #2: cost 5 inf + 44
6.742 * * [simplify]: Extracting #3: cost 0 inf + 1571
6.742 * [simplify]: Simplified to (-.p16 beta alpha)
6.742 * [simplify]: Simplified (2 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)) (real->posit16 2.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
6.742 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.742 * [simplify]: Simplifying (+.p16 alpha beta)
6.742 * * [simplify]: iters left: 1 (3 enodes)
6.744 * * [simplify]: Extracting #0: cost 1 inf + 0
6.744 * * [simplify]: Extracting #1: cost 3 inf + 0
6.744 * * [simplify]: Extracting #2: cost 1 inf + 2
6.744 * * [simplify]: Extracting #3: cost 0 inf + 44
6.744 * [simplify]: Simplified to (+.p16 beta alpha)
6.744 * [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)) (-.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)))
6.744 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 2.0)))>
6.744 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.744 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
6.745 * * [simplify]: iters left: 4 (10 enodes)
6.749 * * [simplify]: iters left: 3 (28 enodes)
6.758 * * [simplify]: iters left: 2 (45 enodes)
6.773 * * [simplify]: iters left: 1 (94 enodes)
6.816 * * [simplify]: Extracting #0: cost 1 inf + 0
6.816 * * [simplify]: Extracting #1: cost 22 inf + 0
6.816 * * [simplify]: Extracting #2: cost 75 inf + 0
6.817 * * [simplify]: Extracting #3: cost 107 inf + 2
6.818 * * [simplify]: Extracting #4: cost 96 inf + 15851
6.822 * * [simplify]: Extracting #5: cost 36 inf + 72598
6.831 * * [simplify]: Extracting #6: cost 4 inf + 121509
6.840 * * [simplify]: Extracting #7: cost 0 inf + 127325
6.849 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
6.849 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
6.850 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.850 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
6.850 * * [simplify]: iters left: 4 (10 enodes)
6.855 * * [simplify]: iters left: 3 (28 enodes)
6.864 * * [simplify]: iters left: 2 (45 enodes)
6.880 * * [simplify]: iters left: 1 (94 enodes)
6.922 * * [simplify]: Extracting #0: cost 1 inf + 0
6.922 * * [simplify]: Extracting #1: cost 22 inf + 0
6.923 * * [simplify]: Extracting #2: cost 75 inf + 0
6.923 * * [simplify]: Extracting #3: cost 107 inf + 2
6.925 * * [simplify]: Extracting #4: cost 96 inf + 15851
6.929 * * [simplify]: Extracting #5: cost 36 inf + 72598
6.937 * * [simplify]: Extracting #6: cost 4 inf + 121509
6.949 * * [simplify]: Extracting #7: cost 0 inf + 127325
6.958 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
6.958 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
6.959 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.959 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
6.959 * * [simplify]: iters left: 4 (10 enodes)
6.964 * * [simplify]: iters left: 3 (28 enodes)
6.973 * * [simplify]: iters left: 2 (45 enodes)
6.989 * * [simplify]: iters left: 1 (94 enodes)
7.030 * * [simplify]: Extracting #0: cost 1 inf + 0
7.030 * * [simplify]: Extracting #1: cost 22 inf + 0
7.030 * * [simplify]: Extracting #2: cost 75 inf + 0
7.031 * * [simplify]: Extracting #3: cost 107 inf + 2
7.032 * * [simplify]: Extracting #4: cost 96 inf + 15851
7.036 * * [simplify]: Extracting #5: cost 36 inf + 72598
7.044 * * [simplify]: Extracting #6: cost 4 inf + 121509
7.053 * * [simplify]: Extracting #7: cost 0 inf + 127325
7.063 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
7.063 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
7.063 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.063 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
7.063 * * [simplify]: iters left: 4 (10 enodes)
7.068 * * [simplify]: iters left: 3 (28 enodes)
7.077 * * [simplify]: iters left: 2 (45 enodes)
7.094 * * [simplify]: iters left: 1 (94 enodes)
7.136 * * [simplify]: Extracting #0: cost 1 inf + 0
7.136 * * [simplify]: Extracting #1: cost 22 inf + 0
7.137 * * [simplify]: Extracting #2: cost 75 inf + 0
7.137 * * [simplify]: Extracting #3: cost 107 inf + 2
7.139 * * [simplify]: Extracting #4: cost 96 inf + 15851
7.144 * * [simplify]: Extracting #5: cost 36 inf + 72598
7.152 * * [simplify]: Extracting #6: cost 4 inf + 121509
7.161 * * [simplify]: Extracting #7: cost 0 inf + 127325
7.171 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
7.171 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
7.171 * * * [progress]: adding candidates to table
7.468 * [progress]: [Phase 3 of 3] Extracting.
7.468 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 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 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>)
7.472 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha)
7.472 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 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 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>)
7.830 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 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 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>)
8.139 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 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 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>)
8.442 * * * [regime]: Found split indices: #<option (#s(si 7 256))>
8.442 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
8.442 * * [simplify]: iters left: 6 (19 enodes)
8.444 * * [simplify]: Extracting #0: cost 1 inf + 0
8.444 * * [simplify]: Extracting #1: cost 3 inf + 0
8.444 * * [simplify]: Extracting #2: cost 6 inf + 0
8.444 * * [simplify]: Extracting #3: cost 7 inf + 2
8.444 * * [simplify]: Extracting #4: cost 8 inf + 4
8.444 * * [simplify]: Extracting #5: cost 12 inf + 4
8.444 * * [simplify]: Extracting #6: cost 12 inf + 6
8.444 * * [simplify]: Extracting #7: cost 10 inf + 131
8.444 * * [simplify]: Extracting #8: cost 9 inf + 132
8.444 * * [simplify]: Extracting #9: cost 4 inf + 2228
8.445 * * [simplify]: Extracting #10: cost 2 inf + 5437
8.445 * * [simplify]: Extracting #11: cost 0 inf + 9649
8.445 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
8.445 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
8.479 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
8.483 * * * * [points]: Setting MPFR precision to 64
8.485 * * * * [points]: Setting MPFR precision to 320
8.486 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
8.491 * * * * [points]: Setting MPFR precision to 64
8.493 * * * * [points]: Setting MPFR precision to 320
8.496 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
8.500 * * * * [points]: Setting MPFR precision to 64
8.506 * * * * [points]: Setting MPFR precision to 320
8.511 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
8.540 * * * * [points]: Setting MPFR precision to 64
8.561 * * * * [points]: Setting MPFR precision to 320
8.578 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
8.587 * * * * [points]: Setting MPFR precision to 64
8.621 * * * * [points]: Setting MPFR precision to 320
8.653 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
8.662 * * * * [points]: Setting MPFR precision to 64
8.728 * * * * [points]: Setting MPFR precision to 320
8.835 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
8.845 * * * * [points]: Setting MPFR precision to 64
9.024 * * * * [points]: Setting MPFR precision to 320
9.161 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.170 * * * * [points]: Setting MPFR precision to 64
9.499 * * * * [points]: Setting MPFR precision to 320
9.808 * * * * [points]: Computing exacts for 8000 points
9.812 * * * * [points]: Setting MPFR precision to 64
10.956 * * * * [points]: Setting MPFR precision to 320
11.952 * * * * [points]: Filtering points with unrepresentable outputs
11.961 * * * * [points]: Sampling 5798 additional inputs, on iter 1 have 2202 / 8000
12.041 * * * * [points]: Computing exacts on every 362 of 5798 points to ramp up precision
12.050 * * * * [points]: Setting MPFR precision to 64
12.054 * * * * [points]: Setting MPFR precision to 320
12.056 * * * * [points]: Computing exacts on every 181 of 5798 points to ramp up precision
12.065 * * * * [points]: Setting MPFR precision to 64
12.069 * * * * [points]: Setting MPFR precision to 320
12.073 * * * * [points]: Computing exacts on every 90 of 5798 points to ramp up precision
12.083 * * * * [points]: Setting MPFR precision to 64
12.091 * * * * [points]: Setting MPFR precision to 320
12.100 * * * * [points]: Computing exacts on every 45 of 5798 points to ramp up precision
12.109 * * * * [points]: Setting MPFR precision to 64
12.118 * * * * [points]: Setting MPFR precision to 320
12.127 * * * * [points]: Computing exacts on every 22 of 5798 points to ramp up precision
12.131 * * * * [points]: Setting MPFR precision to 64
12.149 * * * * [points]: Setting MPFR precision to 320
12.200 * * * * [points]: Computing exacts on every 11 of 5798 points to ramp up precision
12.213 * * * * [points]: Setting MPFR precision to 64
12.280 * * * * [points]: Setting MPFR precision to 320
12.343 * * * * [points]: Computing exacts on every 5 of 5798 points to ramp up precision
12.353 * * * * [points]: Setting MPFR precision to 64
12.506 * * * * [points]: Setting MPFR precision to 320
12.641 * * * * [points]: Computing exacts on every 2 of 5798 points to ramp up precision
12.650 * * * * [points]: Setting MPFR precision to 64
12.926 * * * * [points]: Setting MPFR precision to 320
13.216 * * * * [points]: Computing exacts for 5798 points
13.227 * * * * [points]: Setting MPFR precision to 64
13.996 * * * * [points]: Setting MPFR precision to 320
14.838 * * * * [points]: Filtering points with unrepresentable outputs
14.842 * * * * [points]: Sampling 4182 additional inputs, on iter 2 have 3818 / 8000
14.859 * * * * [points]: Computing exacts on every 261 of 4182 points to ramp up precision
14.864 * * * * [points]: Setting MPFR precision to 64
14.865 * * * * [points]: Setting MPFR precision to 320
14.866 * * * * [points]: Computing exacts on every 130 of 4182 points to ramp up precision
14.871 * * * * [points]: Setting MPFR precision to 64
14.874 * * * * [points]: Setting MPFR precision to 320
14.876 * * * * [points]: Computing exacts on every 65 of 4182 points to ramp up precision
14.881 * * * * [points]: Setting MPFR precision to 64
14.885 * * * * [points]: Setting MPFR precision to 320
14.892 * * * * [points]: Computing exacts on every 32 of 4182 points to ramp up precision
14.900 * * * * [points]: Setting MPFR precision to 64
14.917 * * * * [points]: Setting MPFR precision to 320
14.933 * * * * [points]: Computing exacts on every 16 of 4182 points to ramp up precision
14.942 * * * * [points]: Setting MPFR precision to 64
15.009 * * * * [points]: Setting MPFR precision to 320
15.041 * * * * [points]: Computing exacts on every 8 of 4182 points to ramp up precision
15.051 * * * * [points]: Setting MPFR precision to 64
15.112 * * * * [points]: Setting MPFR precision to 320
15.172 * * * * [points]: Computing exacts on every 4 of 4182 points to ramp up precision
15.207 * * * * [points]: Setting MPFR precision to 64
15.272 * * * * [points]: Setting MPFR precision to 320
15.364 * * * * [points]: Computing exacts on every 2 of 4182 points to ramp up precision
15.369 * * * * [points]: Setting MPFR precision to 64
15.473 * * * * [points]: Setting MPFR precision to 320
15.605 * * * * [points]: Computing exacts for 4182 points
15.610 * * * * [points]: Setting MPFR precision to 64
16.087 * * * * [points]: Setting MPFR precision to 320
16.570 * * * * [points]: Filtering points with unrepresentable outputs
16.574 * * * * [points]: Sampling 2998 additional inputs, on iter 3 have 5002 / 8000
16.586 * * * * [points]: Computing exacts on every 187 of 2998 points to ramp up precision
16.591 * * * * [points]: Setting MPFR precision to 64
16.593 * * * * [points]: Setting MPFR precision to 320
16.594 * * * * [points]: Computing exacts on every 93 of 2998 points to ramp up precision
16.598 * * * * [points]: Setting MPFR precision to 64
16.601 * * * * [points]: Setting MPFR precision to 320
16.603 * * * * [points]: Computing exacts on every 46 of 2998 points to ramp up precision
16.608 * * * * [points]: Setting MPFR precision to 64
16.612 * * * * [points]: Setting MPFR precision to 320
16.617 * * * * [points]: Computing exacts on every 23 of 2998 points to ramp up precision
16.621 * * * * [points]: Setting MPFR precision to 64
16.630 * * * * [points]: Setting MPFR precision to 320
16.680 * * * * [points]: Computing exacts on every 11 of 2998 points to ramp up precision
16.693 * * * * [points]: Setting MPFR precision to 64
16.725 * * * * [points]: Setting MPFR precision to 320
16.758 * * * * [points]: Computing exacts on every 5 of 2998 points to ramp up precision
16.767 * * * * [points]: Setting MPFR precision to 64
16.832 * * * * [points]: Setting MPFR precision to 320
17.334 * * * * [points]: Computing exacts on every 2 of 2998 points to ramp up precision
17.343 * * * * [points]: Setting MPFR precision to 64
17.419 * * * * [points]: Setting MPFR precision to 320
17.520 * * * * [points]: Computing exacts for 2998 points
17.524 * * * * [points]: Setting MPFR precision to 64
17.804 * * * * [points]: Setting MPFR precision to 320
18.148 * * * * [points]: Filtering points with unrepresentable outputs
18.153 * * * * [points]: Sampling 2152 additional inputs, on iter 4 have 5848 / 8000
18.167 * * * * [points]: Computing exacts on every 134 of 2152 points to ramp up precision
18.171 * * * * [points]: Setting MPFR precision to 64
18.173 * * * * [points]: Setting MPFR precision to 320
18.174 * * * * [points]: Computing exacts on every 67 of 2152 points to ramp up precision
18.179 * * * * [points]: Setting MPFR precision to 64
18.182 * * * * [points]: Setting MPFR precision to 320
18.184 * * * * [points]: Computing exacts on every 33 of 2152 points to ramp up precision
18.189 * * * * [points]: Setting MPFR precision to 64
18.193 * * * * [points]: Setting MPFR precision to 320
18.198 * * * * [points]: Computing exacts on every 16 of 2152 points to ramp up precision
18.202 * * * * [points]: Setting MPFR precision to 64
18.214 * * * * [points]: Setting MPFR precision to 320
18.229 * * * * [points]: Computing exacts on every 8 of 2152 points to ramp up precision
18.265 * * * * [points]: Setting MPFR precision to 64
18.297 * * * * [points]: Setting MPFR precision to 320
18.316 * * * * [points]: Computing exacts on every 4 of 2152 points to ramp up precision
18.321 * * * * [points]: Setting MPFR precision to 64
18.371 * * * * [points]: Setting MPFR precision to 320
18.418 * * * * [points]: Computing exacts on every 2 of 2152 points to ramp up precision
18.454 * * * * [points]: Setting MPFR precision to 64
18.530 * * * * [points]: Setting MPFR precision to 320
18.583 * * * * [points]: Computing exacts for 2152 points
18.615 * * * * [points]: Setting MPFR precision to 64
18.876 * * * * [points]: Setting MPFR precision to 320
19.061 * * * * [points]: Filtering points with unrepresentable outputs
19.063 * * * * [points]: Sampling 1527 additional inputs, on iter 5 have 6473 / 8000
19.069 * * * * [points]: Computing exacts on every 95 of 1527 points to ramp up precision
19.074 * * * * [points]: Setting MPFR precision to 64
19.075 * * * * [points]: Setting MPFR precision to 320
19.076 * * * * [points]: Computing exacts on every 47 of 1527 points to ramp up precision
19.080 * * * * [points]: Setting MPFR precision to 64
19.083 * * * * [points]: Setting MPFR precision to 320
19.085 * * * * [points]: Computing exacts on every 23 of 1527 points to ramp up precision
19.117 * * * * [points]: Setting MPFR precision to 64
19.124 * * * * [points]: Setting MPFR precision to 320
19.128 * * * * [points]: Computing exacts on every 11 of 1527 points to ramp up precision
19.132 * * * * [points]: Setting MPFR precision to 64
19.141 * * * * [points]: Setting MPFR precision to 320
19.150 * * * * [points]: Computing exacts on every 5 of 1527 points to ramp up precision
19.155 * * * * [points]: Setting MPFR precision to 64
19.184 * * * * [points]: Setting MPFR precision to 320
19.218 * * * * [points]: Computing exacts on every 2 of 1527 points to ramp up precision
19.227 * * * * [points]: Setting MPFR precision to 64
19.306 * * * * [points]: Setting MPFR precision to 320
19.342 * * * * [points]: Computing exacts for 1527 points
19.346 * * * * [points]: Setting MPFR precision to 64
19.527 * * * * [points]: Setting MPFR precision to 320
19.679 * * * * [points]: Filtering points with unrepresentable outputs
19.680 * * * * [points]: Sampling 1105 additional inputs, on iter 6 have 6895 / 8000
19.684 * * * * [points]: Computing exacts on every 69 of 1105 points to ramp up precision
19.690 * * * * [points]: Setting MPFR precision to 64
19.691 * * * * [points]: Setting MPFR precision to 320
19.692 * * * * [points]: Computing exacts on every 34 of 1105 points to ramp up precision
19.697 * * * * [points]: Setting MPFR precision to 64
19.699 * * * * [points]: Setting MPFR precision to 320
19.703 * * * * [points]: Computing exacts on every 17 of 1105 points to ramp up precision
19.711 * * * * [points]: Setting MPFR precision to 64
19.718 * * * * [points]: Setting MPFR precision to 320
19.726 * * * * [points]: Computing exacts on every 8 of 1105 points to ramp up precision
19.735 * * * * [points]: Setting MPFR precision to 64
19.786 * * * * [points]: Setting MPFR precision to 320
19.803 * * * * [points]: Computing exacts on every 4 of 1105 points to ramp up precision
19.812 * * * * [points]: Setting MPFR precision to 64
19.840 * * * * [points]: Setting MPFR precision to 320
19.855 * * * * [points]: Computing exacts on every 2 of 1105 points to ramp up precision
19.860 * * * * [points]: Setting MPFR precision to 64
19.886 * * * * [points]: Setting MPFR precision to 320
20.347 * * * * [points]: Computing exacts for 1105 points
20.359 * * * * [points]: Setting MPFR precision to 64
20.502 * * * * [points]: Setting MPFR precision to 320
20.700 * * * * [points]: Filtering points with unrepresentable outputs
20.702 * * * * [points]: Sampling 787 additional inputs, on iter 7 have 7213 / 8000
20.708 * * * * [points]: Computing exacts on every 49 of 787 points to ramp up precision
20.718 * * * * [points]: Setting MPFR precision to 64
20.721 * * * * [points]: Setting MPFR precision to 320
20.723 * * * * [points]: Computing exacts on every 24 of 787 points to ramp up precision
20.732 * * * * [points]: Setting MPFR precision to 64
20.736 * * * * [points]: Setting MPFR precision to 320
20.740 * * * * [points]: Computing exacts on every 12 of 787 points to ramp up precision
20.749 * * * * [points]: Setting MPFR precision to 64
20.757 * * * * [points]: Setting MPFR precision to 320
20.765 * * * * [points]: Computing exacts on every 6 of 787 points to ramp up precision
20.774 * * * * [points]: Setting MPFR precision to 64
20.830 * * * * [points]: Setting MPFR precision to 320
20.848 * * * * [points]: Computing exacts on every 3 of 787 points to ramp up precision
20.857 * * * * [points]: Setting MPFR precision to 64
20.883 * * * * [points]: Setting MPFR precision to 320
20.909 * * * * [points]: Computing exacts for 787 points
20.918 * * * * [points]: Setting MPFR precision to 64
21.065 * * * * [points]: Setting MPFR precision to 320
21.174 * * * * [points]: Filtering points with unrepresentable outputs
21.175 * * * * [points]: Sampling 562 additional inputs, on iter 8 have 7438 / 8000
21.180 * * * * [points]: Computing exacts on every 35 of 562 points to ramp up precision
21.189 * * * * [points]: Setting MPFR precision to 64
21.191 * * * * [points]: Setting MPFR precision to 320
21.193 * * * * [points]: Computing exacts on every 17 of 562 points to ramp up precision
21.202 * * * * [points]: Setting MPFR precision to 64
21.207 * * * * [points]: Setting MPFR precision to 320
21.211 * * * * [points]: Computing exacts on every 8 of 562 points to ramp up precision
21.220 * * * * [points]: Setting MPFR precision to 64
21.228 * * * * [points]: Setting MPFR precision to 320
21.236 * * * * [points]: Computing exacts on every 4 of 562 points to ramp up precision
21.246 * * * * [points]: Setting MPFR precision to 64
21.300 * * * * [points]: Setting MPFR precision to 320
21.315 * * * * [points]: Computing exacts on every 2 of 562 points to ramp up precision
21.324 * * * * [points]: Setting MPFR precision to 64
21.349 * * * * [points]: Setting MPFR precision to 320
21.374 * * * * [points]: Computing exacts for 562 points
21.384 * * * * [points]: Setting MPFR precision to 64
21.460 * * * * [points]: Setting MPFR precision to 320
21.580 * * * * [points]: Filtering points with unrepresentable outputs
21.581 * * * * [points]: Sampling 377 additional inputs, on iter 9 have 7623 / 8000
21.584 * * * * [points]: Computing exacts on every 23 of 377 points to ramp up precision
21.593 * * * * [points]: Setting MPFR precision to 64
21.595 * * * * [points]: Setting MPFR precision to 320
21.597 * * * * [points]: Computing exacts on every 11 of 377 points to ramp up precision
21.606 * * * * [points]: Setting MPFR precision to 64
21.611 * * * * [points]: Setting MPFR precision to 320
21.615 * * * * [points]: Computing exacts on every 5 of 377 points to ramp up precision
21.624 * * * * [points]: Setting MPFR precision to 64
21.632 * * * * [points]: Setting MPFR precision to 320
21.640 * * * * [points]: Computing exacts on every 2 of 377 points to ramp up precision
21.649 * * * * [points]: Setting MPFR precision to 64
21.666 * * * * [points]: Setting MPFR precision to 320
21.682 * * * * [points]: Computing exacts for 377 points
21.691 * * * * [points]: Setting MPFR precision to 64
21.776 * * * * [points]: Setting MPFR precision to 320
21.827 * * * * [points]: Filtering points with unrepresentable outputs
21.828 * * * * [points]: Sampling 269 additional inputs, on iter 10 have 7731 / 8000
21.830 * * * * [points]: Computing exacts on every 16 of 269 points to ramp up precision
21.840 * * * * [points]: Setting MPFR precision to 64
21.842 * * * * [points]: Setting MPFR precision to 320
21.844 * * * * [points]: Computing exacts on every 8 of 269 points to ramp up precision
21.853 * * * * [points]: Setting MPFR precision to 64
21.857 * * * * [points]: Setting MPFR precision to 320
21.861 * * * * [points]: Computing exacts on every 4 of 269 points to ramp up precision
21.870 * * * * [points]: Setting MPFR precision to 64
21.878 * * * * [points]: Setting MPFR precision to 320
21.885 * * * * [points]: Computing exacts on every 2 of 269 points to ramp up precision
21.894 * * * * [points]: Setting MPFR precision to 64
21.906 * * * * [points]: Setting MPFR precision to 320
21.954 * * * * [points]: Computing exacts for 269 points
21.966 * * * * [points]: Setting MPFR precision to 64
22.001 * * * * [points]: Setting MPFR precision to 320
22.037 * * * * [points]: Filtering points with unrepresentable outputs
22.038 * * * * [points]: Sampling 194 additional inputs, on iter 11 have 7806 / 8000
22.039 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
22.048 * * * * [points]: Setting MPFR precision to 64
22.050 * * * * [points]: Setting MPFR precision to 320
22.052 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
22.062 * * * * [points]: Setting MPFR precision to 64
22.066 * * * * [points]: Setting MPFR precision to 320
22.070 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
22.079 * * * * [points]: Setting MPFR precision to 64
22.085 * * * * [points]: Setting MPFR precision to 320
22.094 * * * * [points]: Computing exacts for 194 points
22.103 * * * * [points]: Setting MPFR precision to 64
22.128 * * * * [points]: Setting MPFR precision to 320
22.193 * * * * [points]: Filtering points with unrepresentable outputs
22.194 * * * * [points]: Sampling 145 additional inputs, on iter 12 have 7855 / 8000
22.195 * * * * [points]: Computing exacts on every 9 of 145 points to ramp up precision
22.204 * * * * [points]: Setting MPFR precision to 64
22.206 * * * * [points]: Setting MPFR precision to 320
22.208 * * * * [points]: Computing exacts on every 4 of 145 points to ramp up precision
22.217 * * * * [points]: Setting MPFR precision to 64
22.221 * * * * [points]: Setting MPFR precision to 320
22.225 * * * * [points]: Computing exacts on every 2 of 145 points to ramp up precision
22.235 * * * * [points]: Setting MPFR precision to 64
22.241 * * * * [points]: Setting MPFR precision to 320
22.248 * * * * [points]: Computing exacts for 145 points
22.257 * * * * [points]: Setting MPFR precision to 64
22.276 * * * * [points]: Setting MPFR precision to 320
22.297 * * * * [points]: Filtering points with unrepresentable outputs
22.298 * * * * [points]: Sampling 104 additional inputs, on iter 13 have 7896 / 8000
22.298 * * * * [points]: Computing exacts on every 6 of 104 points to ramp up precision
22.308 * * * * [points]: Setting MPFR precision to 64
22.310 * * * * [points]: Setting MPFR precision to 320
22.312 * * * * [points]: Computing exacts on every 3 of 104 points to ramp up precision
22.321 * * * * [points]: Setting MPFR precision to 64
22.325 * * * * [points]: Setting MPFR precision to 320
22.328 * * * * [points]: Computing exacts for 104 points
22.368 * * * * [points]: Setting MPFR precision to 64
22.385 * * * * [points]: Setting MPFR precision to 320
22.399 * * * * [points]: Filtering points with unrepresentable outputs
22.400 * * * * [points]: Sampling 73 additional inputs, on iter 14 have 7927 / 8000
22.401 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
22.410 * * * * [points]: Setting MPFR precision to 64
22.412 * * * * [points]: Setting MPFR precision to 320
22.414 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
22.423 * * * * [points]: Setting MPFR precision to 64
22.427 * * * * [points]: Setting MPFR precision to 320
22.430 * * * * [points]: Computing exacts for 73 points
22.439 * * * * [points]: Setting MPFR precision to 64
22.449 * * * * [points]: Setting MPFR precision to 320
22.459 * * * * [points]: Filtering points with unrepresentable outputs
22.459 * * * * [points]: Sampling 53 additional inputs, on iter 15 have 7947 / 8000
22.460 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
22.469 * * * * [points]: Setting MPFR precision to 64
22.471 * * * * [points]: Setting MPFR precision to 320
22.473 * * * * [points]: Computing exacts for 53 points
22.483 * * * * [points]: Setting MPFR precision to 64
22.490 * * * * [points]: Setting MPFR precision to 320
22.497 * * * * [points]: Filtering points with unrepresentable outputs
22.497 * * * * [points]: Sampling 33 additional inputs, on iter 16 have 7967 / 8000
22.498 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
22.507 * * * * [points]: Setting MPFR precision to 64
22.509 * * * * [points]: Setting MPFR precision to 320
22.511 * * * * [points]: Computing exacts for 33 points
22.520 * * * * [points]: Setting MPFR precision to 64
22.525 * * * * [points]: Setting MPFR precision to 320
22.529 * * * * [points]: Filtering points with unrepresentable outputs
22.530 * * * * [points]: Sampling 25 additional inputs, on iter 17 have 7975 / 8000
22.530 * * * * [points]: Computing exacts for 25 points
22.567 * * * * [points]: Setting MPFR precision to 64
22.574 * * * * [points]: Setting MPFR precision to 320
22.577 * * * * [points]: Filtering points with unrepresentable outputs
22.577 * * * * [points]: Sampling 13 additional inputs, on iter 18 have 7987 / 8000
22.578 * * * * [points]: Computing exacts for 13 points
22.587 * * * * [points]: Setting MPFR precision to 64
22.589 * * * * [points]: Setting MPFR precision to 320
22.591 * * * * [points]: Filtering points with unrepresentable outputs
22.591 * * * * [points]: Sampling 11 additional inputs, on iter 19 have 7989 / 8000
22.592 * * * * [points]: Computing exacts for 11 points
22.601 * * * * [points]: Setting MPFR precision to 64
22.603 * * * * [points]: Setting MPFR precision to 320
22.605 * * * * [points]: Filtering points with unrepresentable outputs
22.605 * * * * [points]: Sampling 7 additional inputs, on iter 20 have 7993 / 8000
22.605 * * * * [points]: Computing exacts for 7 points
22.614 * * * * [points]: Setting MPFR precision to 64
22.615 * * * * [points]: Setting MPFR precision to 320
22.616 * * * * [points]: Filtering points with unrepresentable outputs
22.616 * * * * [points]: Sampling 6 additional inputs, on iter 21 have 7994 / 8000
22.616 * * * * [points]: Computing exacts for 6 points
22.625 * * * * [points]: Setting MPFR precision to 64
22.626 * * * * [points]: Setting MPFR precision to 320
22.627 * * * * [points]: Filtering points with unrepresentable outputs
22.627 * * * * [points]: Sampling 4 additional inputs, on iter 22 have 7996 / 8000
22.627 * * * * [points]: Computing exacts for 4 points
22.636 * * * * [points]: Setting MPFR precision to 64
22.637 * * * * [points]: Setting MPFR precision to 320
22.637 * * * * [points]: Filtering points with unrepresentable outputs
22.638 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 7997 / 8000
22.638 * * * * [points]: Computing exacts for 4 points
22.646 * * * * [points]: Setting MPFR precision to 64
22.647 * * * * [points]: Setting MPFR precision to 320
22.648 * * * * [points]: Filtering points with unrepresentable outputs
22.648 * * * * [points]: Sampling 4 additional inputs, on iter 24 have 7999 / 8000
22.648 * * * * [points]: Computing exacts for 4 points
22.658 * * * * [points]: Setting MPFR precision to 64
22.658 * * * * [points]: Setting MPFR precision to 320
22.659 * * * * [points]: Filtering points with unrepresentable outputs
22.659 * * * * [points]: Sampling 4 additional inputs, on iter 25 have 7999 / 8000
22.659 * * * * [points]: Computing exacts for 4 points
22.668 * * * * [points]: Setting MPFR precision to 64
22.669 * * * * [points]: Setting MPFR precision to 320
22.669 * * * * [points]: Filtering points with unrepresentable outputs
22.669 * * * * [points]: Sampled 8000 points with exact outputs
30.310 * [regime-testing]: Baseline error score: 64.0
30.317 * [regime-testing]: Oracle error score: 64.0
30.337 * [regime-testing]: End program error score: 0.6547550551093462