0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.016 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.028 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 64
0.043 * * * * [points]: Setting MPFR precision to 320
0.049 * * * * [points]: Computing exacts for 256 points
0.054 * * * * [points]: Setting MPFR precision to 64
0.088 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Filtering points with unrepresentable outputs
0.107 * * * * [points]: Sampling 182 additional inputs, on iter 1 have 74 / 256
0.108 * * * * [points]: Computing exacts on every 11 of 182 points to ramp up precision
0.113 * * * * [points]: Setting MPFR precision to 64
0.114 * * * * [points]: Setting MPFR precision to 320
0.115 * * * * [points]: Computing exacts on every 5 of 182 points to ramp up precision
0.120 * * * * [points]: Setting MPFR precision to 64
0.122 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Computing exacts on every 2 of 182 points to ramp up precision
0.130 * * * * [points]: Setting MPFR precision to 64
0.135 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Computing exacts for 182 points
0.144 * * * * [points]: Setting MPFR precision to 64
0.164 * * * * [points]: Setting MPFR precision to 320
0.188 * * * * [points]: Filtering points with unrepresentable outputs
0.188 * * * * [points]: Sampling 136 additional inputs, on iter 2 have 120 / 256
0.190 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
0.198 * * * * [points]: Setting MPFR precision to 64
0.200 * * * * [points]: Setting MPFR precision to 320
0.202 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
0.227 * * * * [points]: Setting MPFR precision to 64
0.229 * * * * [points]: Setting MPFR precision to 320
0.231 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
0.239 * * * * [points]: Setting MPFR precision to 64
0.245 * * * * [points]: Setting MPFR precision to 320
0.249 * * * * [points]: Computing exacts for 136 points
0.253 * * * * [points]: Setting MPFR precision to 64
0.263 * * * * [points]: Setting MPFR precision to 320
0.274 * * * * [points]: Filtering points with unrepresentable outputs
0.274 * * * * [points]: Sampling 98 additional inputs, on iter 3 have 158 / 256
0.274 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
0.279 * * * * [points]: Setting MPFR precision to 64
0.281 * * * * [points]: Setting MPFR precision to 320
0.283 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
0.291 * * * * [points]: Setting MPFR precision to 64
0.295 * * * * [points]: Setting MPFR precision to 320
0.298 * * * * [points]: Computing exacts for 98 points
0.307 * * * * [points]: Setting MPFR precision to 64
0.319 * * * * [points]: Setting MPFR precision to 320
0.331 * * * * [points]: Filtering points with unrepresentable outputs
0.332 * * * * [points]: Sampling 69 additional inputs, on iter 4 have 187 / 256
0.332 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
0.341 * * * * [points]: Setting MPFR precision to 64
0.344 * * * * [points]: Setting MPFR precision to 320
0.345 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
0.382 * * * * [points]: Setting MPFR precision to 64
0.385 * * * * [points]: Setting MPFR precision to 320
0.388 * * * * [points]: Computing exacts for 69 points
0.396 * * * * [points]: Setting MPFR precision to 64
0.401 * * * * [points]: Setting MPFR precision to 320
0.406 * * * * [points]: Filtering points with unrepresentable outputs
0.406 * * * * [points]: Sampling 45 additional inputs, on iter 5 have 211 / 256
0.406 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
0.411 * * * * [points]: Setting MPFR precision to 64
0.412 * * * * [points]: Setting MPFR precision to 320
0.413 * * * * [points]: Computing exacts for 45 points
0.418 * * * * [points]: Setting MPFR precision to 64
0.421 * * * * [points]: Setting MPFR precision to 320
0.425 * * * * [points]: Filtering points with unrepresentable outputs
0.426 * * * * [points]: Sampling 31 additional inputs, on iter 6 have 225 / 256
0.426 * * * * [points]: Computing exacts for 31 points
0.435 * * * * [points]: Setting MPFR precision to 64
0.439 * * * * [points]: Setting MPFR precision to 320
0.444 * * * * [points]: Filtering points with unrepresentable outputs
0.444 * * * * [points]: Sampling 21 additional inputs, on iter 7 have 235 / 256
0.444 * * * * [points]: Computing exacts for 21 points
0.453 * * * * [points]: Setting MPFR precision to 64
0.456 * * * * [points]: Setting MPFR precision to 320
0.459 * * * * [points]: Filtering points with unrepresentable outputs
0.459 * * * * [points]: Sampling 13 additional inputs, on iter 8 have 243 / 256
0.460 * * * * [points]: Computing exacts for 13 points
0.469 * * * * [points]: Setting MPFR precision to 64
0.471 * * * * [points]: Setting MPFR precision to 320
0.472 * * * * [points]: Filtering points with unrepresentable outputs
0.472 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 248 / 256
0.472 * * * * [points]: Computing exacts for 8 points
0.477 * * * * [points]: Setting MPFR precision to 64
0.477 * * * * [points]: Setting MPFR precision to 320
0.478 * * * * [points]: Filtering points with unrepresentable outputs
0.478 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 250 / 256
0.478 * * * * [points]: Computing exacts for 6 points
0.483 * * * * [points]: Setting MPFR precision to 64
0.483 * * * * [points]: Setting MPFR precision to 320
0.484 * * * * [points]: Filtering points with unrepresentable outputs
0.484 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 251 / 256
0.484 * * * * [points]: Computing exacts for 5 points
0.488 * * * * [points]: Setting MPFR precision to 64
0.489 * * * * [points]: Setting MPFR precision to 320
0.489 * * * * [points]: Filtering points with unrepresentable outputs
0.489 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 253 / 256
0.489 * * * * [points]: Computing exacts for 4 points
0.509 * * * * [points]: Setting MPFR precision to 64
0.511 * * * * [points]: Setting MPFR precision to 320
0.512 * * * * [points]: Filtering points with unrepresentable outputs
0.512 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 255 / 256
0.512 * * * * [points]: Computing exacts for 4 points
0.516 * * * * [points]: Setting MPFR precision to 64
0.517 * * * * [points]: Setting MPFR precision to 320
0.518 * * * * [points]: Filtering points with unrepresentable outputs
0.518 * * * * [points]: Sampled 256 points with exact outputs
0.518 * * * [progress]: [2/2] Setting up program.
0.533 * [progress]: [Phase 2 of 3] Improving.
0.533 * * * * [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.533 * [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.533 * * [simplify]: iters left: 6 (19 enodes)
0.538 * * [simplify]: iters left: 5 (48 enodes)
0.548 * * [simplify]: iters left: 4 (124 enodes)
0.605 * * [simplify]: Extracting #0: cost 1 inf + 0
0.605 * * [simplify]: Extracting #1: cost 3 inf + 0
0.605 * * [simplify]: Extracting #2: cost 6 inf + 0
0.605 * * [simplify]: Extracting #3: cost 31 inf + 2
0.606 * * [simplify]: Extracting #4: cost 126 inf + 4
0.607 * * [simplify]: Extracting #5: cost 211 inf + 2985
0.611 * * [simplify]: Extracting #6: cost 160 inf + 31488
0.618 * * [simplify]: Extracting #7: cost 101 inf + 88177
0.636 * * [simplify]: Extracting #8: cost 1 inf + 172697
0.647 * * [simplify]: Extracting #9: cost 0 inf + 173382
0.656 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
0.656 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
0.709 * * [progress]: iteration 1 / 4
0.709 * * * [progress]: picking best candidate
0.770 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.770 * * * [progress]: localizing error
1.172 * * * [progress]: generating rewritten candidates
1.173 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.177 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.185 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
1.213 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.225 * * * [progress]: generating series expansions
1.225 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.225 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.225 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2)
1.225 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.225 * * * [progress]: simplifying candidates
1.225 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.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.226 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
1.226 * * [simplify]: iters left: 4 (11 enodes)
1.232 * * [simplify]: iters left: 3 (27 enodes)
1.239 * * [simplify]: iters left: 2 (46 enodes)
1.246 * * [simplify]: iters left: 1 (66 enodes)
1.262 * * [simplify]: Extracting #0: cost 1 inf + 0
1.262 * * [simplify]: Extracting #1: cost 16 inf + 0
1.262 * * [simplify]: Extracting #2: cost 17 inf + 2
1.262 * * [simplify]: Extracting #3: cost 14 inf + 47
1.263 * * [simplify]: Extracting #4: cost 7 inf + 942
1.263 * * [simplify]: Extracting #5: cost 1 inf + 3284
1.264 * * [simplify]: Extracting #6: cost 0 inf + 3688
1.264 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
1.264 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1.264 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.265 * [simplify]: Simplifying (-.p16 beta alpha)
1.265 * * [simplify]: iters left: 1 (3 enodes)
1.265 * * [simplify]: Extracting #0: cost 1 inf + 0
1.265 * * [simplify]: Extracting #1: cost 6 inf + 0
1.265 * * [simplify]: Extracting #2: cost 5 inf + 44
1.265 * * [simplify]: Extracting #3: cost 0 inf + 1571
1.265 * [simplify]: Simplified to (-.p16 beta alpha)
1.265 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1.266 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.266 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha))
1.266 * * [simplify]: iters left: 3 (7 enodes)
1.267 * * [simplify]: iters left: 2 (28 enodes)
1.275 * * [simplify]: iters left: 1 (91 enodes)
1.320 * * [simplify]: Extracting #0: cost 1 inf + 0
1.320 * * [simplify]: Extracting #1: cost 27 inf + 0
1.320 * * [simplify]: Extracting #2: cost 76 inf + 0
1.321 * * [simplify]: Extracting #3: cost 90 inf + 1126
1.322 * * [simplify]: Extracting #4: cost 76 inf + 20412
1.327 * * [simplify]: Extracting #5: cost 14 inf + 82238
1.334 * * [simplify]: Extracting #6: cost 1 inf + 104423
1.341 * * [simplify]: Extracting #7: cost 0 inf + 106745
1.345 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1.345 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1.346 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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.346 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
1.346 * * [simplify]: iters left: 4 (10 enodes)
1.348 * * [simplify]: iters left: 3 (28 enodes)
1.353 * * [simplify]: iters left: 2 (45 enodes)
1.362 * * [simplify]: iters left: 1 (95 enodes)
1.387 * * [simplify]: Extracting #0: cost 1 inf + 0
1.387 * * [simplify]: Extracting #1: cost 20 inf + 0
1.387 * * [simplify]: Extracting #2: cost 91 inf + 0
1.387 * * [simplify]: Extracting #3: cost 119 inf + 2
1.388 * * [simplify]: Extracting #4: cost 108 inf + 13203
1.390 * * [simplify]: Extracting #5: cost 35 inf + 85388
1.394 * * [simplify]: Extracting #6: cost 8 inf + 108558
1.398 * * [simplify]: Extracting #7: cost 0 inf + 118029
1.403 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
1.403 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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.403 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
1.404 * * [simplify]: iters left: 5 (13 enodes)
1.407 * * [simplify]: iters left: 4 (29 enodes)
1.412 * * [simplify]: iters left: 3 (48 enodes)
1.423 * * [simplify]: iters left: 2 (68 enodes)
1.446 * * [simplify]: iters left: 1 (85 enodes)
1.468 * * [simplify]: Extracting #0: cost 1 inf + 0
1.468 * * [simplify]: Extracting #1: cost 3 inf + 0
1.468 * * [simplify]: Extracting #2: cost 16 inf + 0
1.468 * * [simplify]: Extracting #3: cost 17 inf + 2
1.468 * * [simplify]: Extracting #4: cost 15 inf + 46
1.469 * * [simplify]: Extracting #5: cost 10 inf + 215
1.469 * * [simplify]: Extracting #6: cost 1 inf + 3284
1.471 * * [simplify]: Extracting #7: cost 0 inf + 4169
1.472 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
1.472 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1.472 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) 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.472 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.472 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.472 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (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 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.472 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.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 2.0)))>
1.472 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (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.473 * [simplify]: Simplifying (/.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.473 * * [simplify]: iters left: 6 (21 enodes)
1.484 * * [simplify]: iters left: 5 (69 enodes)
1.513 * * [simplify]: iters left: 4 (218 enodes)
1.657 * * [simplify]: Extracting #0: cost 1 inf + 0
1.657 * * [simplify]: Extracting #1: cost 3 inf + 0
1.657 * * [simplify]: Extracting #2: cost 6 inf + 0
1.657 * * [simplify]: Extracting #3: cost 44 inf + 2
1.658 * * [simplify]: Extracting #4: cost 162 inf + 3
1.660 * * [simplify]: Extracting #5: cost 312 inf + 2340
1.665 * * [simplify]: Extracting #6: cost 261 inf + 38236
1.675 * * [simplify]: Extracting #7: cost 173 inf + 106010
1.701 * * [simplify]: Extracting #8: cost 35 inf + 236229
1.739 * * [simplify]: Extracting #9: cost 0 inf + 267735
1.774 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
1.774 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))
1.774 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (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.774 * [simplify]: Simplifying (/.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.775 * * [simplify]: iters left: 6 (21 enodes)
1.785 * * [simplify]: iters left: 5 (69 enodes)
1.815 * * [simplify]: iters left: 4 (218 enodes)
1.959 * * [simplify]: Extracting #0: cost 1 inf + 0
1.960 * * [simplify]: Extracting #1: cost 3 inf + 0
1.960 * * [simplify]: Extracting #2: cost 6 inf + 0
1.960 * * [simplify]: Extracting #3: cost 44 inf + 2
1.960 * * [simplify]: Extracting #4: cost 162 inf + 3
1.963 * * [simplify]: Extracting #5: cost 312 inf + 2340
1.967 * * [simplify]: Extracting #6: cost 261 inf + 38236
1.982 * * [simplify]: Extracting #7: cost 173 inf + 106010
2.007 * * [simplify]: Extracting #8: cost 35 inf + 236229
2.040 * * [simplify]: Extracting #9: cost 0 inf + 267735
2.074 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
2.074 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))
2.074 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (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.074 * [simplify]: Simplifying (/.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.075 * * [simplify]: iters left: 6 (21 enodes)
2.085 * * [simplify]: iters left: 5 (69 enodes)
2.116 * * [simplify]: iters left: 4 (218 enodes)
2.265 * * [simplify]: Extracting #0: cost 1 inf + 0
2.265 * * [simplify]: Extracting #1: cost 3 inf + 0
2.265 * * [simplify]: Extracting #2: cost 6 inf + 0
2.265 * * [simplify]: Extracting #3: cost 44 inf + 2
2.266 * * [simplify]: Extracting #4: cost 162 inf + 3
2.268 * * [simplify]: Extracting #5: cost 312 inf + 2340
2.273 * * [simplify]: Extracting #6: cost 261 inf + 38236
2.283 * * [simplify]: Extracting #7: cost 173 inf + 106010
2.309 * * [simplify]: Extracting #8: cost 35 inf + 236229
2.342 * * [simplify]: Extracting #9: cost 0 inf + 267735
2.377 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
2.377 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))
2.377 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (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.377 * [simplify]: Simplifying (/.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.377 * * [simplify]: iters left: 6 (21 enodes)
2.388 * * [simplify]: iters left: 5 (69 enodes)
2.422 * * [simplify]: iters left: 4 (218 enodes)
2.538 * * [simplify]: Extracting #0: cost 1 inf + 0
2.538 * * [simplify]: Extracting #1: cost 3 inf + 0
2.538 * * [simplify]: Extracting #2: cost 6 inf + 0
2.538 * * [simplify]: Extracting #3: cost 44 inf + 2
2.539 * * [simplify]: Extracting #4: cost 162 inf + 3
2.541 * * [simplify]: Extracting #5: cost 312 inf + 2340
2.545 * * [simplify]: Extracting #6: cost 261 inf + 38236
2.555 * * [simplify]: Extracting #7: cost 173 inf + 106010
2.580 * * [simplify]: Extracting #8: cost 35 inf + 236229
2.598 * * [simplify]: Extracting #9: cost 0 inf + 267735
2.617 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
2.617 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))
2.617 * * * [progress]: adding candidates to table
3.158 * * [progress]: iteration 2 / 4
3.158 * * * [progress]: picking best candidate
3.311 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
3.312 * * * [progress]: localizing error
3.798 * * * [progress]: generating rewritten candidates
3.798 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
3.833 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
3.848 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
3.862 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.873 * * * [progress]: generating series expansions
3.873 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
3.873 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.873 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
3.873 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.873 * * * [progress]: simplifying candidates
3.873 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))>
3.874 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
3.874 * * [simplify]: iters left: 2 (5 enodes)
3.876 * * [simplify]: iters left: 1 (19 enodes)
3.883 * * [simplify]: Extracting #0: cost 1 inf + 0
3.883 * * [simplify]: Extracting #1: cost 8 inf + 0
3.883 * * [simplify]: Extracting #2: cost 16 inf + 0
3.884 * * [simplify]: Extracting #3: cost 16 inf + 1766
3.884 * * [simplify]: Extracting #4: cost 6 inf + 6819
3.885 * * [simplify]: Extracting #5: cost 1 inf + 12227
3.885 * * [simplify]: Extracting #6: cost 0 inf + 13549
3.886 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
3.886 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))
3.886 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.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)))>
3.886 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.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)))>
3.887 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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)))>
3.887 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
3.887 * * [simplify]: iters left: 4 (11 enodes)
3.893 * * [simplify]: iters left: 3 (27 enodes)
3.902 * * [simplify]: iters left: 2 (46 enodes)
3.918 * * [simplify]: iters left: 1 (66 enodes)
3.930 * * [simplify]: Extracting #0: cost 1 inf + 0
3.930 * * [simplify]: Extracting #1: cost 16 inf + 0
3.930 * * [simplify]: Extracting #2: cost 17 inf + 2
3.930 * * [simplify]: Extracting #3: cost 14 inf + 47
3.930 * * [simplify]: Extracting #4: cost 7 inf + 942
3.930 * * [simplify]: Extracting #5: cost 1 inf + 3284
3.931 * * [simplify]: Extracting #6: cost 0 inf + 3688
3.932 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
3.932 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
3.932 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.932 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
3.932 * * [simplify]: iters left: 6 (15 enodes)
3.935 * * [simplify]: iters left: 5 (40 enodes)
3.945 * * [simplify]: iters left: 4 (91 enodes)
3.962 * * [simplify]: iters left: 3 (251 enodes)
4.092 * * [simplify]: Extracting #0: cost 1 inf + 0
4.092 * * [simplify]: Extracting #1: cost 43 inf + 0
4.093 * * [simplify]: Extracting #2: cost 207 inf + 0
4.094 * * [simplify]: Extracting #3: cost 235 inf + 13570
4.101 * * [simplify]: Extracting #4: cost 144 inf + 98572
4.116 * * [simplify]: Extracting #5: cost 69 inf + 198082
4.131 * * [simplify]: Extracting #6: cost 6 inf + 292506
4.149 * * [simplify]: Extracting #7: cost 0 inf + 302696
4.180 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha))
4.180 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.180 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.180 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.181 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.181 * * [simplify]: iters left: 4 (10 enodes)
4.186 * * [simplify]: iters left: 3 (28 enodes)
4.195 * * [simplify]: iters left: 2 (45 enodes)
4.211 * * [simplify]: iters left: 1 (95 enodes)
4.255 * * [simplify]: Extracting #0: cost 1 inf + 0
4.256 * * [simplify]: Extracting #1: cost 20 inf + 0
4.256 * * [simplify]: Extracting #2: cost 91 inf + 0
4.257 * * [simplify]: Extracting #3: cost 119 inf + 2
4.258 * * [simplify]: Extracting #4: cost 108 inf + 13203
4.263 * * [simplify]: Extracting #5: cost 35 inf + 85388
4.271 * * [simplify]: Extracting #6: cost 8 inf + 108558
4.280 * * [simplify]: Extracting #7: cost 0 inf + 118029
4.290 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
4.290 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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)))
4.290 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
4.291 * * [simplify]: iters left: 5 (13 enodes)
4.297 * * [simplify]: iters left: 4 (29 enodes)
4.306 * * [simplify]: iters left: 3 (48 enodes)
4.322 * * [simplify]: iters left: 2 (68 enodes)
4.342 * * [simplify]: iters left: 1 (85 enodes)
4.364 * * [simplify]: Extracting #0: cost 1 inf + 0
4.365 * * [simplify]: Extracting #1: cost 3 inf + 0
4.367 * * [simplify]: Extracting #2: cost 16 inf + 0
4.367 * * [simplify]: Extracting #3: cost 17 inf + 2
4.368 * * [simplify]: Extracting #4: cost 15 inf + 46
4.368 * * [simplify]: Extracting #5: cost 10 inf + 215
4.369 * * [simplify]: Extracting #6: cost 1 inf + 3284
4.370 * * [simplify]: Extracting #7: cost 0 inf + 4169
4.371 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
4.371 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.371 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.372 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.372 * * [simplify]: iters left: 4 (10 enodes)
4.377 * * [simplify]: iters left: 3 (28 enodes)
4.387 * * [simplify]: iters left: 2 (45 enodes)
4.403 * * [simplify]: iters left: 1 (95 enodes)
4.425 * * [simplify]: Extracting #0: cost 1 inf + 0
4.425 * * [simplify]: Extracting #1: cost 20 inf + 0
4.425 * * [simplify]: Extracting #2: cost 91 inf + 0
4.425 * * [simplify]: Extracting #3: cost 119 inf + 2
4.426 * * [simplify]: Extracting #4: cost 108 inf + 13203
4.428 * * [simplify]: Extracting #5: cost 35 inf + 85388
4.433 * * [simplify]: Extracting #6: cost 8 inf + 108558
4.437 * * [simplify]: Extracting #7: cost 0 inf + 118029
4.445 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
4.445 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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)))
4.445 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
4.445 * * [simplify]: iters left: 5 (13 enodes)
4.452 * * [simplify]: iters left: 4 (29 enodes)
4.462 * * [simplify]: iters left: 3 (48 enodes)
4.479 * * [simplify]: iters left: 2 (68 enodes)
4.499 * * [simplify]: iters left: 1 (85 enodes)
4.516 * * [simplify]: Extracting #0: cost 1 inf + 0
4.516 * * [simplify]: Extracting #1: cost 3 inf + 0
4.516 * * [simplify]: Extracting #2: cost 16 inf + 0
4.517 * * [simplify]: Extracting #3: cost 17 inf + 2
4.517 * * [simplify]: Extracting #4: cost 15 inf + 46
4.517 * * [simplify]: Extracting #5: cost 10 inf + 215
4.518 * * [simplify]: Extracting #6: cost 1 inf + 3284
4.519 * * [simplify]: Extracting #7: cost 0 inf + 4169
4.520 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
4.520 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.520 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.520 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.520 * * [simplify]: iters left: 4 (10 enodes)
4.523 * * [simplify]: iters left: 3 (28 enodes)
4.527 * * [simplify]: iters left: 2 (45 enodes)
4.535 * * [simplify]: iters left: 1 (95 enodes)
4.557 * * [simplify]: Extracting #0: cost 1 inf + 0
4.557 * * [simplify]: Extracting #1: cost 20 inf + 0
4.557 * * [simplify]: Extracting #2: cost 91 inf + 0
4.557 * * [simplify]: Extracting #3: cost 119 inf + 2
4.558 * * [simplify]: Extracting #4: cost 108 inf + 13203
4.560 * * [simplify]: Extracting #5: cost 35 inf + 85388
4.566 * * [simplify]: Extracting #6: cost 8 inf + 108558
4.571 * * [simplify]: Extracting #7: cost 0 inf + 118029
4.575 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
4.575 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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)))
4.575 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
4.576 * * [simplify]: iters left: 5 (13 enodes)
4.579 * * [simplify]: iters left: 4 (29 enodes)
4.584 * * [simplify]: iters left: 3 (48 enodes)
4.592 * * [simplify]: iters left: 2 (68 enodes)
4.602 * * [simplify]: iters left: 1 (85 enodes)
4.613 * * [simplify]: Extracting #0: cost 1 inf + 0
4.613 * * [simplify]: Extracting #1: cost 3 inf + 0
4.613 * * [simplify]: Extracting #2: cost 16 inf + 0
4.614 * * [simplify]: Extracting #3: cost 17 inf + 2
4.614 * * [simplify]: Extracting #4: cost 15 inf + 46
4.614 * * [simplify]: Extracting #5: cost 10 inf + 215
4.614 * * [simplify]: Extracting #6: cost 1 inf + 3284
4.615 * * [simplify]: Extracting #7: cost 0 inf + 4169
4.615 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
4.615 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.616 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.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)))>
4.616 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.616 * * [simplify]: iters left: 4 (10 enodes)
4.618 * * [simplify]: iters left: 3 (28 enodes)
4.623 * * [simplify]: iters left: 2 (45 enodes)
4.631 * * [simplify]: iters left: 1 (95 enodes)
4.654 * * [simplify]: Extracting #0: cost 1 inf + 0
4.654 * * [simplify]: Extracting #1: cost 20 inf + 0
4.654 * * [simplify]: Extracting #2: cost 91 inf + 0
4.655 * * [simplify]: Extracting #3: cost 119 inf + 2
4.655 * * [simplify]: Extracting #4: cost 108 inf + 13203
4.658 * * [simplify]: Extracting #5: cost 35 inf + 85388
4.662 * * [simplify]: Extracting #6: cost 8 inf + 108558
4.666 * * [simplify]: Extracting #7: cost 0 inf + 118029
4.670 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
4.670 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.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)))
4.671 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
4.671 * * [simplify]: iters left: 5 (13 enodes)
4.674 * * [simplify]: iters left: 4 (29 enodes)
4.679 * * [simplify]: iters left: 3 (48 enodes)
4.687 * * [simplify]: iters left: 2 (68 enodes)
4.698 * * [simplify]: iters left: 1 (85 enodes)
4.712 * * [simplify]: Extracting #0: cost 1 inf + 0
4.712 * * [simplify]: Extracting #1: cost 3 inf + 0
4.712 * * [simplify]: Extracting #2: cost 16 inf + 0
4.712 * * [simplify]: Extracting #3: cost 17 inf + 2
4.712 * * [simplify]: Extracting #4: cost 15 inf + 46
4.712 * * [simplify]: Extracting #5: cost 10 inf + 215
4.713 * * [simplify]: Extracting #6: cost 1 inf + 3284
4.713 * * [simplify]: Extracting #7: cost 0 inf + 4169
4.714 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))
4.714 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
4.714 * * * [progress]: adding candidates to table
5.075 * * [progress]: iteration 3 / 4
5.075 * * * [progress]: picking best candidate
5.194 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.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)))>
5.194 * * * [progress]: localizing error
5.525 * * * [progress]: generating rewritten candidates
5.525 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
5.538 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
5.544 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
5.549 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
5.567 * * * [progress]: generating series expansions
5.567 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.567 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
5.567 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
5.567 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
5.567 * * * [progress]: simplifying candidates
5.567 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 beta alpha))) (/.p16 (+.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)))>
5.567 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
5.568 * * [simplify]: iters left: 2 (5 enodes)
5.569 * * [simplify]: iters left: 1 (19 enodes)
5.572 * * [simplify]: Extracting #0: cost 1 inf + 0
5.572 * * [simplify]: Extracting #1: cost 8 inf + 0
5.572 * * [simplify]: Extracting #2: cost 16 inf + 0
5.572 * * [simplify]: Extracting #3: cost 16 inf + 1766
5.572 * * [simplify]: Extracting #4: cost 6 inf + 6819
5.573 * * [simplify]: Extracting #5: cost 1 inf + 12227
5.573 * * [simplify]: Extracting #6: cost 0 inf + 13549
5.573 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
5.573 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 beta alpha))) (/.p16 (+.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)))
5.573 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.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)))>
5.574 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
5.574 * * [simplify]: iters left: 4 (11 enodes)
5.577 * * [simplify]: iters left: 3 (27 enodes)
5.582 * * [simplify]: iters left: 2 (46 enodes)
5.590 * * [simplify]: iters left: 1 (66 enodes)
5.601 * * [simplify]: Extracting #0: cost 1 inf + 0
5.601 * * [simplify]: Extracting #1: cost 16 inf + 0
5.601 * * [simplify]: Extracting #2: cost 17 inf + 2
5.601 * * [simplify]: Extracting #3: cost 14 inf + 47
5.601 * * [simplify]: Extracting #4: cost 7 inf + 942
5.602 * * [simplify]: Extracting #5: cost 1 inf + 3284
5.602 * * [simplify]: Extracting #6: cost 0 inf + 3688
5.603 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))
5.603 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.603 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
5.603 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
5.603 * * [simplify]: iters left: 6 (15 enodes)
5.607 * * [simplify]: iters left: 5 (40 enodes)
5.614 * * [simplify]: iters left: 4 (91 enodes)
5.636 * * [simplify]: iters left: 3 (251 enodes)
5.728 * * [simplify]: Extracting #0: cost 1 inf + 0
5.728 * * [simplify]: Extracting #1: cost 43 inf + 0
5.728 * * [simplify]: Extracting #2: cost 207 inf + 0
5.730 * * [simplify]: Extracting #3: cost 235 inf + 13570
5.733 * * [simplify]: Extracting #4: cost 144 inf + 98572
5.741 * * [simplify]: Extracting #5: cost 69 inf + 198082
5.758 * * [simplify]: Extracting #6: cost 6 inf + 292506
5.772 * * [simplify]: Extracting #7: cost 0 inf + 302696
5.787 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha))
5.788 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
5.788 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.788 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.788 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.788 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.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)))>
5.788 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.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)))>
5.788 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.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)))>
5.788 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.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)))>
5.788 * * * [progress]: adding candidates to table
6.161 * * [progress]: iteration 4 / 4
6.161 * * * [progress]: picking best candidate
6.294 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.294 * * * [progress]: localizing error
6.612 * * * [progress]: generating rewritten candidates
6.612 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
6.630 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
6.637 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
6.648 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.653 * * * [progress]: generating series expansions
6.653 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
6.653 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
6.653 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2)
6.653 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.653 * * * [progress]: simplifying candidates
6.653 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.654 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
6.654 * * [simplify]: iters left: 2 (5 enodes)
6.655 * * [simplify]: iters left: 1 (19 enodes)
6.658 * * [simplify]: Extracting #0: cost 1 inf + 0
6.658 * * [simplify]: Extracting #1: cost 8 inf + 0
6.658 * * [simplify]: Extracting #2: cost 16 inf + 0
6.658 * * [simplify]: Extracting #3: cost 16 inf + 1766
6.659 * * [simplify]: Extracting #4: cost 6 inf + 6819
6.659 * * [simplify]: Extracting #5: cost 1 inf + 12227
6.659 * * [simplify]: Extracting #6: cost 0 inf + 13549
6.660 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
6.660 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))
6.660 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.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)))>
6.660 * [simplify]: Simplifying (*.p16 (real->posit16 2) i)
6.660 * * [simplify]: iters left: 2 (4 enodes)
6.662 * * [simplify]: iters left: 1 (8 enodes)
6.663 * * [simplify]: Extracting #0: cost 1 inf + 0
6.663 * * [simplify]: Extracting #1: cost 3 inf + 0
6.663 * * [simplify]: Extracting #2: cost 3 inf + 1
6.663 * * [simplify]: Extracting #3: cost 2 inf + 2
6.663 * * [simplify]: Extracting #4: cost 0 inf + 325
6.663 * [simplify]: Simplified to (*.p16 i (real->posit16 2))
6.663 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 i (real->posit16 2))))) (real->posit16 1.0)) (real->posit16 2.0)))
6.663 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)) beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.664 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.664 * [simplify]: Simplifying (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))
6.664 * * [simplify]: iters left: 4 (11 enodes)
6.666 * * [simplify]: iters left: 3 (27 enodes)
6.671 * * [simplify]: iters left: 2 (46 enodes)
6.679 * * [simplify]: iters left: 1 (71 enodes)
6.690 * * [simplify]: Extracting #0: cost 1 inf + 0
6.690 * * [simplify]: Extracting #1: cost 15 inf + 0
6.690 * * [simplify]: Extracting #2: cost 16 inf + 2
6.690 * * [simplify]: Extracting #3: cost 11 inf + 172
6.691 * * [simplify]: Extracting #4: cost 9 inf + 215
6.692 * * [simplify]: Extracting #5: cost 6 inf + 901
6.693 * * [simplify]: Extracting #6: cost 0 inf + 3284
6.693 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 (real->posit16 2.0) (*.p16 (real->posit16 2) i)) beta) alpha)
6.693 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 (real->posit16 2.0) (*.p16 (real->posit16 2) i)) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
6.694 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
6.694 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))))
6.694 * * [simplify]: iters left: 6 (15 enodes)
6.698 * * [simplify]: iters left: 5 (41 enodes)
6.705 * * [simplify]: iters left: 4 (91 enodes)
6.742 * * [simplify]: iters left: 3 (255 enodes)
6.886 * * [simplify]: Extracting #0: cost 1 inf + 0
6.886 * * [simplify]: Extracting #1: cost 44 inf + 0
6.887 * * [simplify]: Extracting #2: cost 201 inf + 0
6.888 * * [simplify]: Extracting #3: cost 257 inf + 8516
6.892 * * [simplify]: Extracting #4: cost 160 inf + 100329
6.900 * * [simplify]: Extracting #5: cost 76 inf + 206298
6.914 * * [simplify]: Extracting #6: cost 9 inf + 308852
6.930 * * [simplify]: Extracting #7: cost 0 inf + 323894
6.961 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha))
6.961 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
6.961 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.961 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.961 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.961 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.961 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.961 * * * [progress]: adding candidates to table
7.282 * [progress]: [Phase 3 of 3] Extracting.
7.282 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.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 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (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)))>)
7.284 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha)
7.284 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.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 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (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)))>)
7.519 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.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 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (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)))>)
7.829 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.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)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.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 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (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)))>)
8.397 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
8.398 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))
8.398 * * [simplify]: iters left: 6 (22 enodes)
8.401 * * [simplify]: Extracting #0: cost 1 inf + 0
8.401 * * [simplify]: Extracting #1: cost 3 inf + 0
8.401 * * [simplify]: Extracting #2: cost 6 inf + 0
8.401 * * [simplify]: Extracting #3: cost 8 inf + 1
8.401 * * [simplify]: Extracting #4: cost 9 inf + 4
8.401 * * [simplify]: Extracting #5: cost 13 inf + 4
8.401 * * [simplify]: Extracting #6: cost 13 inf + 6
8.401 * * [simplify]: Extracting #7: cost 12 inf + 172
8.402 * * [simplify]: Extracting #8: cost 12 inf + 173
8.402 * * [simplify]: Extracting #9: cost 11 inf + 174
8.402 * * [simplify]: Extracting #10: cost 6 inf + 1709
8.402 * * [simplify]: Extracting #11: cost 3 inf + 3962
8.403 * * [simplify]: Extracting #12: cost 1 inf + 7693
8.404 * * [simplify]: Extracting #13: cost 0 inf + 10019
8.405 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))
8.405 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
8.439 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
8.444 * * * * [points]: Setting MPFR precision to 64
8.445 * * * * [points]: Setting MPFR precision to 320
8.446 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
8.450 * * * * [points]: Setting MPFR precision to 64
8.453 * * * * [points]: Setting MPFR precision to 320
8.455 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
8.460 * * * * [points]: Setting MPFR precision to 64
8.465 * * * * [points]: Setting MPFR precision to 320
8.470 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
8.474 * * * * [points]: Setting MPFR precision to 64
8.503 * * * * [points]: Setting MPFR precision to 320
8.513 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
8.519 * * * * [points]: Setting MPFR precision to 64
8.539 * * * * [points]: Setting MPFR precision to 320
8.559 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
8.564 * * * * [points]: Setting MPFR precision to 64
8.602 * * * * [points]: Setting MPFR precision to 320
8.697 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
8.707 * * * * [points]: Setting MPFR precision to 64
8.846 * * * * [points]: Setting MPFR precision to 320
9.034 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.044 * * * * [points]: Setting MPFR precision to 64
9.374 * * * * [points]: Setting MPFR precision to 320
9.759 * * * * [points]: Computing exacts for 8000 points
9.769 * * * * [points]: Setting MPFR precision to 64
10.801 * * * * [points]: Setting MPFR precision to 320
12.318 * * * * [points]: Filtering points with unrepresentable outputs
12.332 * * * * [points]: Sampling 5686 additional inputs, on iter 1 have 2314 / 8000
12.413 * * * * [points]: Computing exacts on every 355 of 5686 points to ramp up precision
12.423 * * * * [points]: Setting MPFR precision to 64
12.425 * * * * [points]: Setting MPFR precision to 320
12.427 * * * * [points]: Computing exacts on every 177 of 5686 points to ramp up precision
12.437 * * * * [points]: Setting MPFR precision to 64
12.441 * * * * [points]: Setting MPFR precision to 320
12.446 * * * * [points]: Computing exacts on every 88 of 5686 points to ramp up precision
12.455 * * * * [points]: Setting MPFR precision to 64
12.464 * * * * [points]: Setting MPFR precision to 320
12.469 * * * * [points]: Computing exacts on every 44 of 5686 points to ramp up precision
12.474 * * * * [points]: Setting MPFR precision to 64
12.484 * * * * [points]: Setting MPFR precision to 320
12.496 * * * * [points]: Computing exacts on every 22 of 5686 points to ramp up precision
12.505 * * * * [points]: Setting MPFR precision to 64
12.540 * * * * [points]: Setting MPFR precision to 320
12.610 * * * * [points]: Computing exacts on every 11 of 5686 points to ramp up precision
12.619 * * * * [points]: Setting MPFR precision to 64
12.683 * * * * [points]: Setting MPFR precision to 320
12.747 * * * * [points]: Computing exacts on every 5 of 5686 points to ramp up precision
12.755 * * * * [points]: Setting MPFR precision to 64
12.925 * * * * [points]: Setting MPFR precision to 320
13.056 * * * * [points]: Computing exacts on every 2 of 5686 points to ramp up precision
13.114 * * * * [points]: Setting MPFR precision to 64
13.435 * * * * [points]: Setting MPFR precision to 320
13.742 * * * * [points]: Computing exacts for 5686 points
13.751 * * * * [points]: Setting MPFR precision to 64
14.734 * * * * [points]: Setting MPFR precision to 320
15.703 * * * * [points]: Filtering points with unrepresentable outputs
15.713 * * * * [points]: Sampling 4108 additional inputs, on iter 2 have 3892 / 8000
16.215 * * * * [points]: Computing exacts on every 256 of 4108 points to ramp up precision
16.224 * * * * [points]: Setting MPFR precision to 64
16.226 * * * * [points]: Setting MPFR precision to 320
16.228 * * * * [points]: Computing exacts on every 128 of 4108 points to ramp up precision
16.237 * * * * [points]: Setting MPFR precision to 64
16.242 * * * * [points]: Setting MPFR precision to 320
16.246 * * * * [points]: Computing exacts on every 64 of 4108 points to ramp up precision
16.255 * * * * [points]: Setting MPFR precision to 64
16.264 * * * * [points]: Setting MPFR precision to 320
16.274 * * * * [points]: Computing exacts on every 32 of 4108 points to ramp up precision
16.283 * * * * [points]: Setting MPFR precision to 64
16.302 * * * * [points]: Setting MPFR precision to 320
16.319 * * * * [points]: Computing exacts on every 16 of 4108 points to ramp up precision
16.328 * * * * [points]: Setting MPFR precision to 64
16.360 * * * * [points]: Setting MPFR precision to 320
16.424 * * * * [points]: Computing exacts on every 8 of 4108 points to ramp up precision
16.436 * * * * [points]: Setting MPFR precision to 64
16.500 * * * * [points]: Setting MPFR precision to 320
16.564 * * * * [points]: Computing exacts on every 4 of 4108 points to ramp up precision
16.572 * * * * [points]: Setting MPFR precision to 64
16.728 * * * * [points]: Setting MPFR precision to 320
16.842 * * * * [points]: Computing exacts on every 2 of 4108 points to ramp up precision
16.852 * * * * [points]: Setting MPFR precision to 64
17.092 * * * * [points]: Setting MPFR precision to 320
17.343 * * * * [points]: Computing exacts for 4108 points
17.352 * * * * [points]: Setting MPFR precision to 64
18.079 * * * * [points]: Setting MPFR precision to 320
18.761 * * * * [points]: Filtering points with unrepresentable outputs
18.767 * * * * [points]: Sampling 2962 additional inputs, on iter 3 have 5038 / 8000
18.833 * * * * [points]: Computing exacts on every 185 of 2962 points to ramp up precision
18.839 * * * * [points]: Setting MPFR precision to 64
18.841 * * * * [points]: Setting MPFR precision to 320
18.842 * * * * [points]: Computing exacts on every 92 of 2962 points to ramp up precision
18.847 * * * * [points]: Setting MPFR precision to 64
18.849 * * * * [points]: Setting MPFR precision to 320
18.852 * * * * [points]: Computing exacts on every 46 of 2962 points to ramp up precision
18.856 * * * * [points]: Setting MPFR precision to 64
18.861 * * * * [points]: Setting MPFR precision to 320
18.866 * * * * [points]: Computing exacts on every 23 of 2962 points to ramp up precision
18.870 * * * * [points]: Setting MPFR precision to 64
18.879 * * * * [points]: Setting MPFR precision to 320
18.888 * * * * [points]: Computing exacts on every 11 of 2962 points to ramp up precision
18.893 * * * * [points]: Setting MPFR precision to 64
18.911 * * * * [points]: Setting MPFR precision to 320
18.951 * * * * [points]: Computing exacts on every 5 of 2962 points to ramp up precision
18.956 * * * * [points]: Setting MPFR precision to 64
18.998 * * * * [points]: Setting MPFR precision to 320
19.034 * * * * [points]: Computing exacts on every 2 of 2962 points to ramp up precision
19.039 * * * * [points]: Setting MPFR precision to 64
19.142 * * * * [points]: Setting MPFR precision to 320
19.216 * * * * [points]: Computing exacts for 2962 points
19.253 * * * * [points]: Setting MPFR precision to 64
19.506 * * * * [points]: Setting MPFR precision to 320
20.118 * * * * [points]: Filtering points with unrepresentable outputs
20.123 * * * * [points]: Sampling 2153 additional inputs, on iter 4 have 5847 / 8000
20.139 * * * * [points]: Computing exacts on every 134 of 2153 points to ramp up precision
20.149 * * * * [points]: Setting MPFR precision to 64
20.151 * * * * [points]: Setting MPFR precision to 320
20.153 * * * * [points]: Computing exacts on every 67 of 2153 points to ramp up precision
20.201 * * * * [points]: Setting MPFR precision to 64
20.204 * * * * [points]: Setting MPFR precision to 320
20.206 * * * * [points]: Computing exacts on every 33 of 2153 points to ramp up precision
20.212 * * * * [points]: Setting MPFR precision to 64
20.217 * * * * [points]: Setting MPFR precision to 320
20.222 * * * * [points]: Computing exacts on every 16 of 2153 points to ramp up precision
20.226 * * * * [points]: Setting MPFR precision to 64
20.236 * * * * [points]: Setting MPFR precision to 320
20.245 * * * * [points]: Computing exacts on every 8 of 2153 points to ramp up precision
20.250 * * * * [points]: Setting MPFR precision to 64
20.270 * * * * [points]: Setting MPFR precision to 320
20.290 * * * * [points]: Computing exacts on every 4 of 2153 points to ramp up precision
20.300 * * * * [points]: Setting MPFR precision to 64
20.376 * * * * [points]: Setting MPFR precision to 320
20.427 * * * * [points]: Computing exacts on every 2 of 2153 points to ramp up precision
20.435 * * * * [points]: Setting MPFR precision to 64
20.534 * * * * [points]: Setting MPFR precision to 320
20.676 * * * * [points]: Computing exacts for 2153 points
20.685 * * * * [points]: Setting MPFR precision to 64
20.894 * * * * [points]: Setting MPFR precision to 320
21.122 * * * * [points]: Filtering points with unrepresentable outputs
21.124 * * * * [points]: Sampling 1525 additional inputs, on iter 5 have 6475 / 8000
21.130 * * * * [points]: Computing exacts on every 95 of 1525 points to ramp up precision
21.136 * * * * [points]: Setting MPFR precision to 64
21.137 * * * * [points]: Setting MPFR precision to 320
21.138 * * * * [points]: Computing exacts on every 47 of 1525 points to ramp up precision
21.143 * * * * [points]: Setting MPFR precision to 64
21.145 * * * * [points]: Setting MPFR precision to 320
21.147 * * * * [points]: Computing exacts on every 23 of 1525 points to ramp up precision
21.152 * * * * [points]: Setting MPFR precision to 64
21.157 * * * * [points]: Setting MPFR precision to 320
21.162 * * * * [points]: Computing exacts on every 11 of 1525 points to ramp up precision
21.166 * * * * [points]: Setting MPFR precision to 64
21.176 * * * * [points]: Setting MPFR precision to 320
21.186 * * * * [points]: Computing exacts on every 5 of 1525 points to ramp up precision
21.191 * * * * [points]: Setting MPFR precision to 64
21.236 * * * * [points]: Setting MPFR precision to 320
21.256 * * * * [points]: Computing exacts on every 2 of 1525 points to ramp up precision
21.261 * * * * [points]: Setting MPFR precision to 64
21.299 * * * * [points]: Setting MPFR precision to 320
21.337 * * * * [points]: Computing exacts for 1525 points
21.370 * * * * [points]: Setting MPFR precision to 64
21.499 * * * * [points]: Setting MPFR precision to 320
21.645 * * * * [points]: Filtering points with unrepresentable outputs
21.646 * * * * [points]: Sampling 1110 additional inputs, on iter 6 have 6890 / 8000
21.651 * * * * [points]: Computing exacts on every 69 of 1110 points to ramp up precision
21.689 * * * * [points]: Setting MPFR precision to 64
21.693 * * * * [points]: Setting MPFR precision to 320
21.696 * * * * [points]: Computing exacts on every 34 of 1110 points to ramp up precision
21.701 * * * * [points]: Setting MPFR precision to 64
21.704 * * * * [points]: Setting MPFR precision to 320
21.706 * * * * [points]: Computing exacts on every 17 of 1110 points to ramp up precision
21.711 * * * * [points]: Setting MPFR precision to 64
21.715 * * * * [points]: Setting MPFR precision to 320
21.720 * * * * [points]: Computing exacts on every 8 of 1110 points to ramp up precision
21.725 * * * * [points]: Setting MPFR precision to 64
21.734 * * * * [points]: Setting MPFR precision to 320
21.743 * * * * [points]: Computing exacts on every 4 of 1110 points to ramp up precision
21.748 * * * * [points]: Setting MPFR precision to 64
21.764 * * * * [points]: Setting MPFR precision to 320
21.780 * * * * [points]: Computing exacts on every 2 of 1110 points to ramp up precision
21.807 * * * * [points]: Setting MPFR precision to 64
21.836 * * * * [points]: Setting MPFR precision to 320
21.863 * * * * [points]: Computing exacts for 1110 points
21.868 * * * * [points]: Setting MPFR precision to 64
21.984 * * * * [points]: Setting MPFR precision to 320
22.065 * * * * [points]: Filtering points with unrepresentable outputs
22.066 * * * * [points]: Sampling 794 additional inputs, on iter 7 have 7206 / 8000
22.072 * * * * [points]: Computing exacts on every 49 of 794 points to ramp up precision
22.133 * * * * [points]: Setting MPFR precision to 64
22.135 * * * * [points]: Setting MPFR precision to 320
22.138 * * * * [points]: Computing exacts on every 24 of 794 points to ramp up precision
22.150 * * * * [points]: Setting MPFR precision to 64
22.154 * * * * [points]: Setting MPFR precision to 320
22.158 * * * * [points]: Computing exacts on every 12 of 794 points to ramp up precision
22.167 * * * * [points]: Setting MPFR precision to 64
22.176 * * * * [points]: Setting MPFR precision to 320
22.184 * * * * [points]: Computing exacts on every 6 of 794 points to ramp up precision
22.194 * * * * [points]: Setting MPFR precision to 64
22.208 * * * * [points]: Setting MPFR precision to 320
22.222 * * * * [points]: Computing exacts on every 3 of 794 points to ramp up precision
22.230 * * * * [points]: Setting MPFR precision to 64
22.245 * * * * [points]: Setting MPFR precision to 320
22.260 * * * * [points]: Computing exacts for 794 points
22.265 * * * * [points]: Setting MPFR precision to 64
22.351 * * * * [points]: Setting MPFR precision to 320
22.409 * * * * [points]: Filtering points with unrepresentable outputs
22.409 * * * * [points]: Sampling 590 additional inputs, on iter 8 have 7410 / 8000
22.412 * * * * [points]: Computing exacts on every 36 of 590 points to ramp up precision
22.417 * * * * [points]: Setting MPFR precision to 64
22.419 * * * * [points]: Setting MPFR precision to 320
22.774 * * * * [points]: Computing exacts on every 18 of 590 points to ramp up precision
22.787 * * * * [points]: Setting MPFR precision to 64
22.792 * * * * [points]: Setting MPFR precision to 320
22.796 * * * * [points]: Computing exacts on every 9 of 590 points to ramp up precision
22.805 * * * * [points]: Setting MPFR precision to 64
22.813 * * * * [points]: Setting MPFR precision to 320
22.821 * * * * [points]: Computing exacts on every 4 of 590 points to ramp up precision
22.830 * * * * [points]: Setting MPFR precision to 64
22.844 * * * * [points]: Setting MPFR precision to 320
22.858 * * * * [points]: Computing exacts on every 2 of 590 points to ramp up precision
22.865 * * * * [points]: Setting MPFR precision to 64
22.888 * * * * [points]: Setting MPFR precision to 320
22.911 * * * * [points]: Computing exacts for 590 points
22.918 * * * * [points]: Setting MPFR precision to 64
22.988 * * * * [points]: Setting MPFR precision to 320
23.031 * * * * [points]: Filtering points with unrepresentable outputs
23.032 * * * * [points]: Sampling 425 additional inputs, on iter 9 have 7575 / 8000
23.034 * * * * [points]: Computing exacts on every 26 of 425 points to ramp up precision
23.038 * * * * [points]: Setting MPFR precision to 64
23.040 * * * * [points]: Setting MPFR precision to 320
23.041 * * * * [points]: Computing exacts on every 13 of 425 points to ramp up precision
23.046 * * * * [points]: Setting MPFR precision to 64
23.048 * * * * [points]: Setting MPFR precision to 320
23.050 * * * * [points]: Computing exacts on every 6 of 425 points to ramp up precision
23.055 * * * * [points]: Setting MPFR precision to 64
23.059 * * * * [points]: Setting MPFR precision to 320
23.064 * * * * [points]: Computing exacts on every 3 of 425 points to ramp up precision
23.092 * * * * [points]: Setting MPFR precision to 64
23.102 * * * * [points]: Setting MPFR precision to 320
23.110 * * * * [points]: Computing exacts for 425 points
23.115 * * * * [points]: Setting MPFR precision to 64
23.146 * * * * [points]: Setting MPFR precision to 320
23.177 * * * * [points]: Filtering points with unrepresentable outputs
23.178 * * * * [points]: Sampling 310 additional inputs, on iter 10 have 7690 / 8000
23.179 * * * * [points]: Computing exacts on every 19 of 310 points to ramp up precision
23.184 * * * * [points]: Setting MPFR precision to 64
23.185 * * * * [points]: Setting MPFR precision to 320
23.186 * * * * [points]: Computing exacts on every 9 of 310 points to ramp up precision
23.190 * * * * [points]: Setting MPFR precision to 64
23.193 * * * * [points]: Setting MPFR precision to 320
23.219 * * * * [points]: Computing exacts on every 4 of 310 points to ramp up precision
23.225 * * * * [points]: Setting MPFR precision to 64
23.237 * * * * [points]: Setting MPFR precision to 320
23.245 * * * * [points]: Computing exacts on every 2 of 310 points to ramp up precision
23.254 * * * * [points]: Setting MPFR precision to 64
23.267 * * * * [points]: Setting MPFR precision to 320
23.277 * * * * [points]: Computing exacts for 310 points
23.282 * * * * [points]: Setting MPFR precision to 64
23.305 * * * * [points]: Setting MPFR precision to 320
23.329 * * * * [points]: Filtering points with unrepresentable outputs
23.329 * * * * [points]: Sampling 222 additional inputs, on iter 11 have 7778 / 8000
23.330 * * * * [points]: Computing exacts on every 13 of 222 points to ramp up precision
23.335 * * * * [points]: Setting MPFR precision to 64
23.336 * * * * [points]: Setting MPFR precision to 320
23.337 * * * * [points]: Computing exacts on every 6 of 222 points to ramp up precision
23.369 * * * * [points]: Setting MPFR precision to 64
23.373 * * * * [points]: Setting MPFR precision to 320
23.375 * * * * [points]: Computing exacts on every 3 of 222 points to ramp up precision
23.381 * * * * [points]: Setting MPFR precision to 64
23.385 * * * * [points]: Setting MPFR precision to 320
23.389 * * * * [points]: Computing exacts for 222 points
23.394 * * * * [points]: Setting MPFR precision to 64
23.410 * * * * [points]: Setting MPFR precision to 320
23.426 * * * * [points]: Filtering points with unrepresentable outputs
23.426 * * * * [points]: Sampling 166 additional inputs, on iter 12 have 7834 / 8000
23.427 * * * * [points]: Computing exacts on every 10 of 166 points to ramp up precision
23.431 * * * * [points]: Setting MPFR precision to 64
23.432 * * * * [points]: Setting MPFR precision to 320
23.433 * * * * [points]: Computing exacts on every 5 of 166 points to ramp up precision
23.438 * * * * [points]: Setting MPFR precision to 64
23.440 * * * * [points]: Setting MPFR precision to 320
23.442 * * * * [points]: Computing exacts on every 2 of 166 points to ramp up precision
23.447 * * * * [points]: Setting MPFR precision to 64
23.451 * * * * [points]: Setting MPFR precision to 320
23.455 * * * * [points]: Computing exacts for 166 points
23.459 * * * * [points]: Setting MPFR precision to 64
23.491 * * * * [points]: Setting MPFR precision to 320
23.505 * * * * [points]: Filtering points with unrepresentable outputs
23.505 * * * * [points]: Sampling 118 additional inputs, on iter 13 have 7882 / 8000
23.506 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
23.510 * * * * [points]: Setting MPFR precision to 64
23.511 * * * * [points]: Setting MPFR precision to 320
23.512 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
23.517 * * * * [points]: Setting MPFR precision to 64
23.519 * * * * [points]: Setting MPFR precision to 320
23.521 * * * * [points]: Computing exacts for 118 points
23.526 * * * * [points]: Setting MPFR precision to 64
23.535 * * * * [points]: Setting MPFR precision to 320
23.544 * * * * [points]: Filtering points with unrepresentable outputs
23.544 * * * * [points]: Sampling 88 additional inputs, on iter 14 have 7912 / 8000
23.544 * * * * [points]: Computing exacts on every 5 of 88 points to ramp up precision
23.549 * * * * [points]: Setting MPFR precision to 64
23.550 * * * * [points]: Setting MPFR precision to 320
23.551 * * * * [points]: Computing exacts on every 2 of 88 points to ramp up precision
23.558 * * * * [points]: Setting MPFR precision to 64
23.562 * * * * [points]: Setting MPFR precision to 320
23.566 * * * * [points]: Computing exacts for 88 points
23.573 * * * * [points]: Setting MPFR precision to 64
23.580 * * * * [points]: Setting MPFR precision to 320
23.608 * * * * [points]: Filtering points with unrepresentable outputs
23.608 * * * * [points]: Sampling 67 additional inputs, on iter 15 have 7933 / 8000
23.609 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
23.620 * * * * [points]: Setting MPFR precision to 64
23.622 * * * * [points]: Setting MPFR precision to 320
23.623 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
23.627 * * * * [points]: Setting MPFR precision to 64
23.629 * * * * [points]: Setting MPFR precision to 320
23.631 * * * * [points]: Computing exacts for 67 points
23.635 * * * * [points]: Setting MPFR precision to 64
23.640 * * * * [points]: Setting MPFR precision to 320
23.645 * * * * [points]: Filtering points with unrepresentable outputs
23.645 * * * * [points]: Sampling 49 additional inputs, on iter 16 have 7951 / 8000
23.645 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
23.649 * * * * [points]: Setting MPFR precision to 64
23.650 * * * * [points]: Setting MPFR precision to 320
23.651 * * * * [points]: Computing exacts for 49 points
23.656 * * * * [points]: Setting MPFR precision to 64
23.659 * * * * [points]: Setting MPFR precision to 320
23.663 * * * * [points]: Filtering points with unrepresentable outputs
23.663 * * * * [points]: Sampling 37 additional inputs, on iter 17 have 7963 / 8000
23.663 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
23.668 * * * * [points]: Setting MPFR precision to 64
23.669 * * * * [points]: Setting MPFR precision to 320
23.670 * * * * [points]: Computing exacts for 37 points
23.674 * * * * [points]: Setting MPFR precision to 64
23.677 * * * * [points]: Setting MPFR precision to 320
23.680 * * * * [points]: Filtering points with unrepresentable outputs
23.680 * * * * [points]: Sampling 26 additional inputs, on iter 18 have 7974 / 8000
23.680 * * * * [points]: Computing exacts for 26 points
23.685 * * * * [points]: Setting MPFR precision to 64
23.687 * * * * [points]: Setting MPFR precision to 320
23.689 * * * * [points]: Filtering points with unrepresentable outputs
23.689 * * * * [points]: Sampling 19 additional inputs, on iter 19 have 7981 / 8000
23.689 * * * * [points]: Computing exacts for 19 points
23.694 * * * * [points]: Setting MPFR precision to 64
23.695 * * * * [points]: Setting MPFR precision to 320
23.713 * * * * [points]: Filtering points with unrepresentable outputs
23.713 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 7985 / 8000
23.713 * * * * [points]: Computing exacts for 15 points
23.717 * * * * [points]: Setting MPFR precision to 64
23.719 * * * * [points]: Setting MPFR precision to 320
23.720 * * * * [points]: Filtering points with unrepresentable outputs
23.720 * * * * [points]: Sampling 10 additional inputs, on iter 21 have 7990 / 8000
23.720 * * * * [points]: Computing exacts for 10 points
23.726 * * * * [points]: Setting MPFR precision to 64
23.727 * * * * [points]: Setting MPFR precision to 320
23.728 * * * * [points]: Filtering points with unrepresentable outputs
23.728 * * * * [points]: Sampling 8 additional inputs, on iter 22 have 7992 / 8000
23.728 * * * * [points]: Computing exacts for 8 points
23.732 * * * * [points]: Setting MPFR precision to 64
23.733 * * * * [points]: Setting MPFR precision to 320
23.734 * * * * [points]: Filtering points with unrepresentable outputs
23.734 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 7997 / 8000
23.734 * * * * [points]: Computing exacts for 4 points
23.738 * * * * [points]: Setting MPFR precision to 64
23.739 * * * * [points]: Setting MPFR precision to 320
23.739 * * * * [points]: Filtering points with unrepresentable outputs
23.739 * * * * [points]: Sampling 4 additional inputs, on iter 24 have 7999 / 8000
23.739 * * * * [points]: Computing exacts for 4 points
23.748 * * * * [points]: Setting MPFR precision to 64
23.749 * * * * [points]: Setting MPFR precision to 320
23.749 * * * * [points]: Filtering points with unrepresentable outputs
23.749 * * * * [points]: Sampling 4 additional inputs, on iter 25 have 7999 / 8000
23.749 * * * * [points]: Computing exacts for 4 points
23.757 * * * * [points]: Setting MPFR precision to 64
23.758 * * * * [points]: Setting MPFR precision to 320
23.759 * * * * [points]: Filtering points with unrepresentable outputs
23.759 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 7999 / 8000
23.759 * * * * [points]: Computing exacts for 4 points
23.767 * * * * [points]: Setting MPFR precision to 64
23.768 * * * * [points]: Setting MPFR precision to 320
23.768 * * * * [points]: Filtering points with unrepresentable outputs
23.769 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 7999 / 8000
23.769 * * * * [points]: Computing exacts for 4 points
23.777 * * * * [points]: Setting MPFR precision to 64
23.778 * * * * [points]: Setting MPFR precision to 320
23.778 * * * * [points]: Filtering points with unrepresentable outputs
23.779 * * * * [points]: Sampled 8001 points with exact outputs
29.850 * [regime-testing]: Baseline error score: 64.0
29.854 * [regime-testing]: Oracle error score: 64.0
29.861 * [regime-testing]: End program error score: 0.5784308088878672