0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.033 * * * * [points]: Setting MPFR precision to 320
0.037 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.041 * * * * [points]: Setting MPFR precision to 64
0.047 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts for 256 points
0.057 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.096 * * * * [points]: Filtering points with unrepresentable outputs
0.101 * * * * [points]: Sampling 187 additional inputs, on iter 1 have 69 / 256
0.102 * * * * [points]: Computing exacts on every 11 of 187 points to ramp up precision
0.106 * * * * [points]: Setting MPFR precision to 64
0.108 * * * * [points]: Setting MPFR precision to 320
0.109 * * * * [points]: Computing exacts on every 5 of 187 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.119 * * * * [points]: Computing exacts on every 2 of 187 points to ramp up precision
0.123 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.152 * * * * [points]: Computing exacts for 187 points
0.158 * * * * [points]: Setting MPFR precision to 64
0.171 * * * * [points]: Setting MPFR precision to 320
0.185 * * * * [points]: Filtering points with unrepresentable outputs
0.189 * * * * [points]: Sampling 142 additional inputs, on iter 2 have 114 / 256
0.189 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.193 * * * * [points]: Setting MPFR precision to 64
0.195 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.200 * * * * [points]: Setting MPFR precision to 64
0.202 * * * * [points]: Setting MPFR precision to 320
0.204 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.208 * * * * [points]: Setting MPFR precision to 64
0.212 * * * * [points]: Setting MPFR precision to 320
0.216 * * * * [points]: Computing exacts for 142 points
0.220 * * * * [points]: Setting MPFR precision to 64
0.230 * * * * [points]: Setting MPFR precision to 320
0.241 * * * * [points]: Filtering points with unrepresentable outputs
0.264 * * * * [points]: Sampling 101 additional inputs, on iter 3 have 155 / 256
0.265 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision
0.269 * * * * [points]: Setting MPFR precision to 64
0.270 * * * * [points]: Setting MPFR precision to 320
0.271 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision
0.277 * * * * [points]: Setting MPFR precision to 64
0.280 * * * * [points]: Setting MPFR precision to 320
0.281 * * * * [points]: Computing exacts for 101 points
0.285 * * * * [points]: Setting MPFR precision to 64
0.293 * * * * [points]: Setting MPFR precision to 320
0.300 * * * * [points]: Filtering points with unrepresentable outputs
0.302 * * * * [points]: Sampling 72 additional inputs, on iter 4 have 184 / 256
0.302 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision
0.306 * * * * [points]: Setting MPFR precision to 64
0.308 * * * * [points]: Setting MPFR precision to 320
0.309 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision
0.313 * * * * [points]: Setting MPFR precision to 64
0.315 * * * * [points]: Setting MPFR precision to 320
0.317 * * * * [points]: Computing exacts for 72 points
0.321 * * * * [points]: Setting MPFR precision to 64
0.328 * * * * [points]: Setting MPFR precision to 320
0.339 * * * * [points]: Filtering points with unrepresentable outputs
0.342 * * * * [points]: Sampling 47 additional inputs, on iter 5 have 209 / 256
0.342 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.351 * * * * [points]: Setting MPFR precision to 64
0.354 * * * * [points]: Setting MPFR precision to 320
0.356 * * * * [points]: Computing exacts for 47 points
0.364 * * * * [points]: Setting MPFR precision to 64
0.371 * * * * [points]: Setting MPFR precision to 320
0.378 * * * * [points]: Filtering points with unrepresentable outputs
0.406 * * * * [points]: Sampling 36 additional inputs, on iter 6 have 220 / 256
0.407 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.414 * * * * [points]: Setting MPFR precision to 64
0.415 * * * * [points]: Setting MPFR precision to 320
0.418 * * * * [points]: Computing exacts for 36 points
0.422 * * * * [points]: Setting MPFR precision to 64
0.425 * * * * [points]: Setting MPFR precision to 320
0.428 * * * * [points]: Filtering points with unrepresentable outputs
0.429 * * * * [points]: Sampling 25 additional inputs, on iter 7 have 231 / 256
0.429 * * * * [points]: Computing exacts for 25 points
0.433 * * * * [points]: Setting MPFR precision to 64
0.435 * * * * [points]: Setting MPFR precision to 320
0.437 * * * * [points]: Filtering points with unrepresentable outputs
0.438 * * * * [points]: Sampling 20 additional inputs, on iter 8 have 236 / 256
0.438 * * * * [points]: Computing exacts for 20 points
0.442 * * * * [points]: Setting MPFR precision to 64
0.444 * * * * [points]: Setting MPFR precision to 320
0.445 * * * * [points]: Filtering points with unrepresentable outputs
0.446 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 243 / 256
0.446 * * * * [points]: Computing exacts for 13 points
0.450 * * * * [points]: Setting MPFR precision to 64
0.451 * * * * [points]: Setting MPFR precision to 320
0.452 * * * * [points]: Filtering points with unrepresentable outputs
0.453 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 248 / 256
0.453 * * * * [points]: Computing exacts for 8 points
0.457 * * * * [points]: Setting MPFR precision to 64
0.458 * * * * [points]: Setting MPFR precision to 320
0.458 * * * * [points]: Filtering points with unrepresentable outputs
0.459 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 252 / 256
0.459 * * * * [points]: Computing exacts for 4 points
0.463 * * * * [points]: Setting MPFR precision to 64
0.463 * * * * [points]: Setting MPFR precision to 320
0.464 * * * * [points]: Filtering points with unrepresentable outputs
0.464 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 253 / 256
0.464 * * * * [points]: Computing exacts for 4 points
0.468 * * * * [points]: Setting MPFR precision to 64
0.469 * * * * [points]: Setting MPFR precision to 320
0.469 * * * * [points]: Filtering points with unrepresentable outputs
0.469 * * * * [points]: Sampled 256 points with exact outputs
0.469 * * * [progress]: [2/2] Setting up program.
0.494 * [progress]: [Phase 2 of 3] Improving.
0.494 * * * * [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.494 * [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.494 * * [simplify]: iters left: 6 (19 enodes)
0.511 * * [simplify]: iters left: 5 (48 enodes)
0.521 * * [simplify]: iters left: 4 (124 enodes)
0.555 * * [simplify]: Extracting #0: cost 1 inf + 0
0.555 * * [simplify]: Extracting #1: cost 3 inf + 0
0.555 * * [simplify]: Extracting #2: cost 6 inf + 0
0.556 * * [simplify]: Extracting #3: cost 31 inf + 2
0.556 * * [simplify]: Extracting #4: cost 126 inf + 4
0.557 * * [simplify]: Extracting #5: cost 211 inf + 2985
0.558 * * [simplify]: Extracting #6: cost 160 inf + 31488
0.562 * * [simplify]: Extracting #7: cost 101 inf + 88177
0.570 * * [simplify]: Extracting #8: cost 1 inf + 172697
0.584 * * [simplify]: Extracting #9: cost 0 inf + 173382
0.594 * [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.594 * [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.648 * * [progress]: iteration 1 / 4
0.648 * * * [progress]: picking best candidate
0.706 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
0.706 * * * [progress]: localizing error
1.122 * * * [progress]: generating rewritten candidates
1.122 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
1.134 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.186 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.218 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
1.227 * * * [progress]: generating series expansions
1.227 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
1.227 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.227 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.227 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
1.227 * * * [progress]: simplifying candidates
1.227 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.227 * [simplify]: Simplifying (+.p16 alpha beta)
1.227 * * [simplify]: iters left: 1 (3 enodes)
1.228 * * [simplify]: Extracting #0: cost 1 inf + 0
1.228 * * [simplify]: Extracting #1: cost 3 inf + 0
1.228 * * [simplify]: Extracting #2: cost 1 inf + 2
1.228 * * [simplify]: Extracting #3: cost 0 inf + 44
1.228 * [simplify]: Simplified to (+.p16 beta alpha)
1.228 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1.228 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.229 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
1.229 * * [simplify]: iters left: 3 (7 enodes)
1.230 * * [simplify]: iters left: 2 (22 enodes)
1.235 * * [simplify]: iters left: 1 (61 enodes)
1.261 * * [simplify]: Extracting #0: cost 1 inf + 0
1.261 * * [simplify]: Extracting #1: cost 15 inf + 0
1.262 * * [simplify]: Extracting #2: cost 60 inf + 0
1.262 * * [simplify]: Extracting #3: cost 64 inf + 2
1.263 * * [simplify]: Extracting #4: cost 43 inf + 25499
1.267 * * [simplify]: Extracting #5: cost 3 inf + 68523
1.272 * * [simplify]: Extracting #6: cost 0 inf + 73168
1.276 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)))
1.276 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1.276 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.277 * [simplify]: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 beta alpha))
1.277 * * [simplify]: iters left: 2 (5 enodes)
1.279 * * [simplify]: iters left: 1 (17 enodes)
1.284 * * [simplify]: Extracting #0: cost 1 inf + 0
1.284 * * [simplify]: Extracting #1: cost 18 inf + 0
1.284 * * [simplify]: Extracting #2: cost 23 inf + 0
1.284 * * [simplify]: Extracting #3: cost 20 inf + 323
1.285 * * [simplify]: Extracting #4: cost 12 inf + 2616
1.285 * * [simplify]: Extracting #5: cost 0 inf + 9758
1.286 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))
1.286 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.286 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))>
1.286 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.286 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.286 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.287 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1.287 * * [simplify]: iters left: 6 (19 enodes)
1.295 * * [simplify]: iters left: 5 (48 enodes)
1.308 * * [simplify]: iters left: 4 (124 enodes)
1.343 * * [simplify]: Extracting #0: cost 1 inf + 0
1.343 * * [simplify]: Extracting #1: cost 3 inf + 0
1.344 * * [simplify]: Extracting #2: cost 6 inf + 0
1.344 * * [simplify]: Extracting #3: cost 31 inf + 2
1.344 * * [simplify]: Extracting #4: cost 126 inf + 4
1.345 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.346 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.350 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.359 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.369 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.388 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
1.388 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.388 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.388 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1.389 * * [simplify]: iters left: 6 (19 enodes)
1.397 * * [simplify]: iters left: 5 (48 enodes)
1.408 * * [simplify]: iters left: 4 (124 enodes)
1.441 * * [simplify]: Extracting #0: cost 1 inf + 0
1.441 * * [simplify]: Extracting #1: cost 3 inf + 0
1.441 * * [simplify]: Extracting #2: cost 6 inf + 0
1.442 * * [simplify]: Extracting #3: cost 31 inf + 2
1.442 * * [simplify]: Extracting #4: cost 126 inf + 4
1.442 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.444 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.447 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.456 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.466 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.482 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
1.483 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.483 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.483 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1.483 * * [simplify]: iters left: 6 (19 enodes)
1.493 * * [simplify]: iters left: 5 (48 enodes)
1.508 * * [simplify]: iters left: 4 (124 enodes)
1.543 * * [simplify]: Extracting #0: cost 1 inf + 0
1.543 * * [simplify]: Extracting #1: cost 3 inf + 0
1.543 * * [simplify]: Extracting #2: cost 6 inf + 0
1.543 * * [simplify]: Extracting #3: cost 31 inf + 2
1.543 * * [simplify]: Extracting #4: cost 126 inf + 4
1.544 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.545 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.549 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.561 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.570 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.580 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
1.580 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.580 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.580 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1.581 * * [simplify]: iters left: 6 (19 enodes)
1.586 * * [simplify]: iters left: 5 (48 enodes)
1.595 * * [simplify]: iters left: 4 (124 enodes)
1.638 * * [simplify]: Extracting #0: cost 1 inf + 0
1.638 * * [simplify]: Extracting #1: cost 3 inf + 0
1.638 * * [simplify]: Extracting #2: cost 6 inf + 0
1.639 * * [simplify]: Extracting #3: cost 31 inf + 2
1.639 * * [simplify]: Extracting #4: cost 126 inf + 4
1.640 * * [simplify]: Extracting #5: cost 211 inf + 2985
1.641 * * [simplify]: Extracting #6: cost 160 inf + 31488
1.645 * * [simplify]: Extracting #7: cost 101 inf + 88177
1.653 * * [simplify]: Extracting #8: cost 1 inf + 172697
1.666 * * [simplify]: Extracting #9: cost 0 inf + 173382
1.683 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
1.683 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
1.683 * * * [progress]: adding candidates to table
2.499 * * [progress]: iteration 2 / 4
2.499 * * * [progress]: picking best candidate
2.687 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.687 * * * [progress]: localizing error
3.251 * * * [progress]: generating rewritten candidates
3.251 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
3.275 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.388 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
3.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.648 * * * [progress]: generating series expansions
3.648 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
3.648 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
3.648 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
3.648 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.648 * * * [progress]: simplifying candidates
3.648 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.649 * [simplify]: Simplifying (+.p16 beta alpha)
3.649 * * [simplify]: iters left: 1 (3 enodes)
3.650 * * [simplify]: Extracting #0: cost 1 inf + 0
3.650 * * [simplify]: Extracting #1: cost 3 inf + 0
3.650 * * [simplify]: Extracting #2: cost 1 inf + 2
3.650 * * [simplify]: Extracting #3: cost 0 inf + 44
3.650 * [simplify]: Simplified to (+.p16 alpha beta)
3.650 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.650 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.651 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.651 * * [simplify]: iters left: 4 (9 enodes)
3.655 * * [simplify]: iters left: 3 (21 enodes)
3.661 * * [simplify]: iters left: 2 (27 enodes)
3.670 * * [simplify]: iters left: 1 (29 enodes)
3.678 * * [simplify]: Extracting #0: cost 1 inf + 0
3.678 * * [simplify]: Extracting #1: cost 3 inf + 0
3.679 * * [simplify]: Extracting #2: cost 8 inf + 0
3.679 * * [simplify]: Extracting #3: cost 8 inf + 2
3.679 * * [simplify]: Extracting #4: cost 7 inf + 45
3.679 * * [simplify]: Extracting #5: cost 1 inf + 1980
3.679 * * [simplify]: Extracting #6: cost 0 inf + 2343
3.680 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
3.680 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
3.680 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.680 * [simplify]: Simplifying (+.p16 alpha beta)
3.680 * * [simplify]: iters left: 1 (3 enodes)
3.681 * * [simplify]: Extracting #0: cost 1 inf + 0
3.682 * * [simplify]: Extracting #1: cost 3 inf + 0
3.682 * * [simplify]: Extracting #2: cost 1 inf + 2
3.682 * * [simplify]: Extracting #3: cost 0 inf + 44
3.682 * [simplify]: Simplified to (+.p16 beta alpha)
3.682 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))
3.682 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.682 * [simplify]: Simplifying (+.p16 beta alpha)
3.682 * * [simplify]: iters left: 1 (3 enodes)
3.684 * * [simplify]: Extracting #0: cost 1 inf + 0
3.684 * * [simplify]: Extracting #1: cost 3 inf + 0
3.684 * * [simplify]: Extracting #2: cost 1 inf + 2
3.684 * * [simplify]: Extracting #3: cost 0 inf + 44
3.684 * [simplify]: Simplified to (+.p16 alpha beta)
3.684 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.684 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.684 * [simplify]: Simplifying (-.p16 beta alpha)
3.684 * * [simplify]: iters left: 1 (3 enodes)
3.686 * * [simplify]: Extracting #0: cost 1 inf + 0
3.686 * * [simplify]: Extracting #1: cost 6 inf + 0
3.686 * * [simplify]: Extracting #2: cost 5 inf + 44
3.686 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.686 * [simplify]: Simplified to (-.p16 beta alpha)
3.686 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.686 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))>
3.686 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.687 * [simplify]: Simplifying (+.p16 alpha beta)
3.687 * * [simplify]: iters left: 1 (3 enodes)
3.688 * * [simplify]: Extracting #0: cost 1 inf + 0
3.688 * * [simplify]: Extracting #1: cost 3 inf + 0
3.688 * * [simplify]: Extracting #2: cost 1 inf + 2
3.688 * * [simplify]: Extracting #3: cost 0 inf + 44
3.688 * [simplify]: Simplified to (+.p16 beta alpha)
3.688 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.688 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.689 * [simplify]: Simplifying (+.p16 alpha beta)
3.689 * * [simplify]: iters left: 1 (3 enodes)
3.690 * * [simplify]: Extracting #0: cost 1 inf + 0
3.690 * * [simplify]: Extracting #1: cost 3 inf + 0
3.690 * * [simplify]: Extracting #2: cost 1 inf + 2
3.690 * * [simplify]: Extracting #3: cost 0 inf + 44
3.690 * [simplify]: Simplified to (+.p16 beta alpha)
3.690 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.690 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.690 * [simplify]: Simplifying (+.p16 alpha beta)
3.691 * * [simplify]: iters left: 1 (3 enodes)
3.692 * * [simplify]: Extracting #0: cost 1 inf + 0
3.692 * * [simplify]: Extracting #1: cost 3 inf + 0
3.692 * * [simplify]: Extracting #2: cost 1 inf + 2
3.692 * * [simplify]: Extracting #3: cost 0 inf + 44
3.692 * [simplify]: Simplified to (+.p16 beta alpha)
3.692 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.692 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.692 * [simplify]: Simplifying (+.p16 alpha beta)
3.692 * * [simplify]: iters left: 1 (3 enodes)
3.694 * * [simplify]: Extracting #0: cost 1 inf + 0
3.694 * * [simplify]: Extracting #1: cost 3 inf + 0
3.694 * * [simplify]: Extracting #2: cost 1 inf + 2
3.694 * * [simplify]: Extracting #3: cost 0 inf + 44
3.694 * [simplify]: Simplified to (+.p16 beta alpha)
3.694 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
3.694 * * * [progress]: adding candidates to table
4.222 * * [progress]: iteration 3 / 4
4.222 * * * [progress]: picking best candidate
4.416 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.416 * * * [progress]: localizing error
5.061 * * * [progress]: generating rewritten candidates
5.061 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
5.078 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
5.185 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
5.206 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.266 * * * [progress]: generating series expansions
5.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
5.266 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
5.266 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
5.266 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.267 * * * [progress]: simplifying candidates
5.267 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.267 * [simplify]: Simplifying (+.p16 beta alpha)
5.267 * * [simplify]: iters left: 1 (3 enodes)
5.268 * * [simplify]: Extracting #0: cost 1 inf + 0
5.268 * * [simplify]: Extracting #1: cost 3 inf + 0
5.268 * * [simplify]: Extracting #2: cost 1 inf + 2
5.268 * * [simplify]: Extracting #3: cost 0 inf + 44
5.269 * [simplify]: Simplified to (+.p16 alpha beta)
5.269 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
5.269 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))) (real->posit16 2.0)))>
5.269 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
5.269 * [simplify]: Simplifying (+.p16 beta alpha)
5.269 * * [simplify]: iters left: 1 (3 enodes)
5.271 * * [simplify]: Extracting #0: cost 1 inf + 0
5.271 * * [simplify]: Extracting #1: cost 3 inf + 0
5.271 * * [simplify]: Extracting #2: cost 1 inf + 2
5.271 * * [simplify]: Extracting #3: cost 0 inf + 44
5.271 * [simplify]: Simplified to (+.p16 alpha beta)
5.271 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
5.271 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
5.271 * [simplify]: Simplifying (-.p16 beta alpha)
5.272 * * [simplify]: iters left: 1 (3 enodes)
5.273 * * [simplify]: Extracting #0: cost 1 inf + 0
5.273 * * [simplify]: Extracting #1: cost 6 inf + 0
5.273 * * [simplify]: Extracting #2: cost 5 inf + 44
5.273 * * [simplify]: Extracting #3: cost 0 inf + 1571
5.274 * [simplify]: Simplified to (-.p16 beta alpha)
5.274 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
5.274 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.274 * [simplify]: Simplifying (+.p16 alpha beta)
5.274 * * [simplify]: iters left: 1 (3 enodes)
5.275 * * [simplify]: Extracting #0: cost 1 inf + 0
5.275 * * [simplify]: Extracting #1: cost 3 inf + 0
5.276 * * [simplify]: Extracting #2: cost 1 inf + 2
5.276 * * [simplify]: Extracting #3: cost 0 inf + 44
5.276 * [simplify]: Simplified to (+.p16 beta alpha)
5.276 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
5.276 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.276 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
5.276 * * [simplify]: iters left: 4 (9 enodes)
5.281 * * [simplify]: iters left: 3 (21 enodes)
5.287 * * [simplify]: iters left: 2 (27 enodes)
5.296 * * [simplify]: iters left: 1 (29 enodes)
5.304 * * [simplify]: Extracting #0: cost 1 inf + 0
5.304 * * [simplify]: Extracting #1: cost 3 inf + 0
5.304 * * [simplify]: Extracting #2: cost 8 inf + 0
5.305 * * [simplify]: Extracting #3: cost 8 inf + 2
5.305 * * [simplify]: Extracting #4: cost 7 inf + 45
5.305 * * [simplify]: Extracting #5: cost 1 inf + 1980
5.305 * * [simplify]: Extracting #6: cost 0 inf + 2343
5.306 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
5.306 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.306 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.306 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
5.306 * * [simplify]: iters left: 4 (9 enodes)
5.311 * * [simplify]: iters left: 3 (21 enodes)
5.319 * * [simplify]: iters left: 2 (27 enodes)
5.328 * * [simplify]: iters left: 1 (29 enodes)
5.336 * * [simplify]: Extracting #0: cost 1 inf + 0
5.336 * * [simplify]: Extracting #1: cost 3 inf + 0
5.336 * * [simplify]: Extracting #2: cost 8 inf + 0
5.336 * * [simplify]: Extracting #3: cost 8 inf + 2
5.336 * * [simplify]: Extracting #4: cost 7 inf + 45
5.336 * * [simplify]: Extracting #5: cost 1 inf + 1980
5.337 * * [simplify]: Extracting #6: cost 0 inf + 2343
5.337 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
5.337 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.337 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.337 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
5.338 * * [simplify]: iters left: 4 (9 enodes)
5.342 * * [simplify]: iters left: 3 (21 enodes)
5.348 * * [simplify]: iters left: 2 (27 enodes)
5.357 * * [simplify]: iters left: 1 (29 enodes)
5.365 * * [simplify]: Extracting #0: cost 1 inf + 0
5.365 * * [simplify]: Extracting #1: cost 3 inf + 0
5.365 * * [simplify]: Extracting #2: cost 8 inf + 0
5.365 * * [simplify]: Extracting #3: cost 8 inf + 2
5.365 * * [simplify]: Extracting #4: cost 7 inf + 45
5.365 * * [simplify]: Extracting #5: cost 1 inf + 1980
5.366 * * [simplify]: Extracting #6: cost 0 inf + 2343
5.366 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
5.366 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.366 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.367 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
5.367 * * [simplify]: iters left: 4 (9 enodes)
5.371 * * [simplify]: iters left: 3 (21 enodes)
5.378 * * [simplify]: iters left: 2 (27 enodes)
5.386 * * [simplify]: iters left: 1 (29 enodes)
5.394 * * [simplify]: Extracting #0: cost 1 inf + 0
5.394 * * [simplify]: Extracting #1: cost 3 inf + 0
5.394 * * [simplify]: Extracting #2: cost 8 inf + 0
5.395 * * [simplify]: Extracting #3: cost 8 inf + 2
5.395 * * [simplify]: Extracting #4: cost 7 inf + 45
5.395 * * [simplify]: Extracting #5: cost 1 inf + 1980
5.395 * * [simplify]: Extracting #6: cost 0 inf + 2343
5.396 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
5.396 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
5.396 * * * [progress]: adding candidates to table
5.987 * * [progress]: iteration 4 / 4
5.987 * * * [progress]: picking best candidate
6.192 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.192 * * * [progress]: localizing error
6.734 * * * [progress]: generating rewritten candidates
6.734 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
6.743 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
6.827 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
6.859 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.868 * * * [progress]: generating series expansions
6.868 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
6.868 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
6.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
6.868 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.869 * * * [progress]: simplifying candidates
6.869 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.869 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
6.869 * * [simplify]: iters left: 3 (8 enodes)
6.872 * * [simplify]: iters left: 2 (20 enodes)
6.875 * * [simplify]: iters left: 1 (26 enodes)
6.878 * * [simplify]: Extracting #0: cost 1 inf + 0
6.879 * * [simplify]: Extracting #1: cost 7 inf + 0
6.879 * * [simplify]: Extracting #2: cost 7 inf + 2
6.879 * * [simplify]: Extracting #3: cost 6 inf + 45
6.879 * * [simplify]: Extracting #4: cost 4 inf + 47
6.879 * * [simplify]: Extracting #5: cost 1 inf + 1136
6.879 * * [simplify]: Extracting #6: cost 0 inf + 1499
6.879 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
6.879 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))
6.879 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
6.879 * [simplify]: Simplifying (-.p16 beta alpha)
6.879 * * [simplify]: iters left: 1 (3 enodes)
6.880 * * [simplify]: Extracting #0: cost 1 inf + 0
6.880 * * [simplify]: Extracting #1: cost 6 inf + 0
6.880 * * [simplify]: Extracting #2: cost 5 inf + 44
6.880 * * [simplify]: Extracting #3: cost 0 inf + 1571
6.880 * [simplify]: Simplified to (-.p16 beta alpha)
6.880 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
6.881 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.881 * [simplify]: Simplifying (+.p16 beta alpha)
6.881 * * [simplify]: iters left: 1 (3 enodes)
6.881 * * [simplify]: Extracting #0: cost 1 inf + 0
6.881 * * [simplify]: Extracting #1: cost 3 inf + 0
6.881 * * [simplify]: Extracting #2: cost 1 inf + 2
6.881 * * [simplify]: Extracting #3: cost 0 inf + 44
6.881 * [simplify]: Simplified to (+.p16 alpha beta)
6.881 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
6.882 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 alpha beta)) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.882 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (*.p16 (real->posit16 2) i))
6.882 * * [simplify]: iters left: 6 (14 enodes)
6.885 * * [simplify]: iters left: 5 (41 enodes)
6.892 * * [simplify]: iters left: 4 (89 enodes)
6.911 * * [simplify]: iters left: 3 (280 enodes)
7.033 * * [simplify]: Extracting #0: cost 1 inf + 0
7.033 * * [simplify]: Extracting #1: cost 78 inf + 0
7.034 * * [simplify]: Extracting #2: cost 347 inf + 1
7.036 * * [simplify]: Extracting #3: cost 346 inf + 25012
7.045 * * [simplify]: Extracting #4: cost 212 inf + 167348
7.066 * * [simplify]: Extracting #5: cost 25 inf + 419319
7.091 * * [simplify]: Extracting #6: cost 0 inf + 467976
7.120 * * [simplify]: Extracting #7: cost 0 inf + 467696
7.154 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) i) (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)))
7.154 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 alpha beta)) (*.p16 (*.p16 (real->posit16 2) i) (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
7.154 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (*.p16 (*.p16 (real->posit16 2) i) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.154 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) i) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))
7.154 * * [simplify]: iters left: 6 (14 enodes)
7.158 * * [simplify]: iters left: 5 (41 enodes)
7.166 * * [simplify]: iters left: 4 (103 enodes)
7.194 * * [simplify]: iters left: 3 (421 enodes)
7.399 * * [simplify]: Extracting #0: cost 1 inf + 0
7.400 * * [simplify]: Extracting #1: cost 76 inf + 0
7.401 * * [simplify]: Extracting #2: cost 344 inf + 1
7.406 * * [simplify]: Extracting #3: cost 366 inf + 18737
7.421 * * [simplify]: Extracting #4: cost 232 inf + 155536
7.471 * * [simplify]: Extracting #5: cost 28 inf + 432600
7.527 * * [simplify]: Extracting #6: cost 1 inf + 477270
7.581 * * [simplify]: Extracting #7: cost 0 inf + 479752
7.637 * [simplify]: Simplified to (*.p16 (*.p16 i (real->posit16 2)) (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 alpha beta) (*.p16 i (real->posit16 2)))) (-.p16 beta alpha)))
7.637 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (*.p16 (*.p16 i (real->posit16 2)) (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 alpha beta) (*.p16 i (real->posit16 2)))) (-.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
7.637 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.638 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
7.638 * * [simplify]: iters left: 5 (15 enodes)
7.645 * * [simplify]: iters left: 4 (40 enodes)
7.659 * * [simplify]: iters left: 3 (83 enodes)
7.677 * * [simplify]: iters left: 2 (186 enodes)
7.722 * * [simplify]: Extracting #0: cost 1 inf + 0
7.722 * * [simplify]: Extracting #1: cost 34 inf + 0
7.723 * * [simplify]: Extracting #2: cost 147 inf + 0
7.723 * * [simplify]: Extracting #3: cost 194 inf + 929
7.724 * * [simplify]: Extracting #4: cost 192 inf + 17026
7.729 * * [simplify]: Extracting #5: cost 83 inf + 148498
7.738 * * [simplify]: Extracting #6: cost 15 inf + 276736
7.751 * * [simplify]: Extracting #7: cost 0 inf + 317549
7.763 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)))
7.763 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))
7.763 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.764 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
7.764 * * [simplify]: iters left: 5 (12 enodes)
7.767 * * [simplify]: iters left: 4 (35 enodes)
7.777 * * [simplify]: iters left: 3 (115 enodes)
7.819 * * [simplify]: Extracting #0: cost 1 inf + 0
7.819 * * [simplify]: Extracting #1: cost 43 inf + 0
7.820 * * [simplify]: Extracting #2: cost 178 inf + 0
7.821 * * [simplify]: Extracting #3: cost 205 inf + 2097
7.825 * * [simplify]: Extracting #4: cost 136 inf + 37748
7.841 * * [simplify]: Extracting #5: cost 10 inf + 123277
7.854 * * [simplify]: Extracting #6: cost 0 inf + 131163
7.864 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
7.864 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
7.864 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.864 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))>
7.864 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.865 * [simplify]: Simplifying (+.p16 alpha beta)
7.865 * * [simplify]: iters left: 1 (3 enodes)
7.865 * * [simplify]: Extracting #0: cost 1 inf + 0
7.865 * * [simplify]: Extracting #1: cost 3 inf + 0
7.865 * * [simplify]: Extracting #2: cost 1 inf + 2
7.865 * * [simplify]: Extracting #3: cost 0 inf + 44
7.865 * [simplify]: Simplified to (+.p16 beta alpha)
7.865 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
7.866 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.866 * [simplify]: Simplifying (+.p16 alpha beta)
7.866 * * [simplify]: iters left: 1 (3 enodes)
7.866 * * [simplify]: Extracting #0: cost 1 inf + 0
7.866 * * [simplify]: Extracting #1: cost 3 inf + 0
7.866 * * [simplify]: Extracting #2: cost 1 inf + 2
7.866 * * [simplify]: Extracting #3: cost 0 inf + 44
7.866 * [simplify]: Simplified to (+.p16 beta alpha)
7.867 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
7.867 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.867 * [simplify]: Simplifying (+.p16 alpha beta)
7.867 * * [simplify]: iters left: 1 (3 enodes)
7.867 * * [simplify]: Extracting #0: cost 1 inf + 0
7.867 * * [simplify]: Extracting #1: cost 3 inf + 0
7.867 * * [simplify]: Extracting #2: cost 1 inf + 2
7.867 * * [simplify]: Extracting #3: cost 0 inf + 44
7.867 * [simplify]: Simplified to (+.p16 beta alpha)
7.868 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
7.868 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
7.868 * [simplify]: Simplifying (+.p16 alpha beta)
7.868 * * [simplify]: iters left: 1 (3 enodes)
7.868 * * [simplify]: Extracting #0: cost 1 inf + 0
7.868 * * [simplify]: Extracting #1: cost 3 inf + 0
7.868 * * [simplify]: Extracting #2: cost 1 inf + 2
7.868 * * [simplify]: Extracting #3: cost 0 inf + 44
7.868 * [simplify]: Simplified to (+.p16 beta alpha)
7.869 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))
7.869 * * * [progress]: adding candidates to table
9.117 * [progress]: [Phase 3 of 3] Extracting.
9.117 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (*.p16 (*.p16 (real->posit16 2) i) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<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)))>)
9.123 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha)
9.123 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (*.p16 (*.p16 (real->posit16 2) i) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<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)))>)
9.980 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (*.p16 (*.p16 (real->posit16 2) i) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<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)))>)
10.697 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (*.p16 (*.p16 (real->posit16 2) i) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #<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)))>)
11.209 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
11.209 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
11.209 * * [simplify]: iters left: 6 (19 enodes)
11.212 * * [simplify]: Extracting #0: cost 1 inf + 0
11.212 * * [simplify]: Extracting #1: cost 3 inf + 0
11.212 * * [simplify]: Extracting #2: cost 6 inf + 0
11.212 * * [simplify]: Extracting #3: cost 7 inf + 2
11.213 * * [simplify]: Extracting #4: cost 9 inf + 4
11.213 * * [simplify]: Extracting #5: cost 12 inf + 4
11.213 * * [simplify]: Extracting #6: cost 12 inf + 6
11.213 * * [simplify]: Extracting #7: cost 10 inf + 131
11.213 * * [simplify]: Extracting #8: cost 9 inf + 132
11.213 * * [simplify]: Extracting #9: cost 4 inf + 2269
11.213 * * [simplify]: Extracting #10: cost 2 inf + 4958
11.213 * * [simplify]: Extracting #11: cost 0 inf + 9170
11.214 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
11.214 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.247 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.251 * * * * [points]: Setting MPFR precision to 64
11.253 * * * * [points]: Setting MPFR precision to 320
11.254 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.258 * * * * [points]: Setting MPFR precision to 64
11.261 * * * * [points]: Setting MPFR precision to 320
11.263 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.267 * * * * [points]: Setting MPFR precision to 64
11.272 * * * * [points]: Setting MPFR precision to 320
11.278 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.282 * * * * [points]: Setting MPFR precision to 64
11.291 * * * * [points]: Setting MPFR precision to 320
11.317 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.321 * * * * [points]: Setting MPFR precision to 64
11.341 * * * * [points]: Setting MPFR precision to 320
11.363 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.367 * * * * [points]: Setting MPFR precision to 64
11.404 * * * * [points]: Setting MPFR precision to 320
11.474 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.479 * * * * [points]: Setting MPFR precision to 64
11.553 * * * * [points]: Setting MPFR precision to 320
12.021 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
12.025 * * * * [points]: Setting MPFR precision to 64
12.209 * * * * [points]: Setting MPFR precision to 320
12.454 * * * * [points]: Computing exacts for 8000 points
12.462 * * * * [points]: Setting MPFR precision to 64
13.533 * * * * [points]: Setting MPFR precision to 320
14.760 * * * * [points]: Filtering points with unrepresentable outputs
15.415 * * * * [points]: Sampling 5757 additional inputs, on iter 1 have 2243 / 8000
15.459 * * * * [points]: Computing exacts on every 359 of 5757 points to ramp up precision
15.467 * * * * [points]: Setting MPFR precision to 64
15.470 * * * * [points]: Setting MPFR precision to 320
15.472 * * * * [points]: Computing exacts on every 179 of 5757 points to ramp up precision
15.480 * * * * [points]: Setting MPFR precision to 64
15.484 * * * * [points]: Setting MPFR precision to 320
15.489 * * * * [points]: Computing exacts on every 89 of 5757 points to ramp up precision
15.497 * * * * [points]: Setting MPFR precision to 64
15.505 * * * * [points]: Setting MPFR precision to 320
15.515 * * * * [points]: Computing exacts on every 44 of 5757 points to ramp up precision
15.523 * * * * [points]: Setting MPFR precision to 64
15.541 * * * * [points]: Setting MPFR precision to 320
15.561 * * * * [points]: Computing exacts on every 22 of 5757 points to ramp up precision
15.589 * * * * [points]: Setting MPFR precision to 64
15.626 * * * * [points]: Setting MPFR precision to 320
15.660 * * * * [points]: Computing exacts on every 11 of 5757 points to ramp up precision
15.667 * * * * [points]: Setting MPFR precision to 64
15.702 * * * * [points]: Setting MPFR precision to 320
15.772 * * * * [points]: Computing exacts on every 5 of 5757 points to ramp up precision
15.784 * * * * [points]: Setting MPFR precision to 64
15.919 * * * * [points]: Setting MPFR precision to 320
16.110 * * * * [points]: Computing exacts on every 2 of 5757 points to ramp up precision
16.119 * * * * [points]: Setting MPFR precision to 64
16.298 * * * * [points]: Setting MPFR precision to 320
16.480 * * * * [points]: Computing exacts for 5757 points
16.484 * * * * [points]: Setting MPFR precision to 64
17.370 * * * * [points]: Setting MPFR precision to 320
17.983 * * * * [points]: Filtering points with unrepresentable outputs
18.575 * * * * [points]: Sampling 4161 additional inputs, on iter 2 have 3839 / 8000
18.592 * * * * [points]: Computing exacts on every 260 of 4161 points to ramp up precision
18.596 * * * * [points]: Setting MPFR precision to 64
18.598 * * * * [points]: Setting MPFR precision to 320
18.599 * * * * [points]: Computing exacts on every 130 of 4161 points to ramp up precision
18.603 * * * * [points]: Setting MPFR precision to 64
18.605 * * * * [points]: Setting MPFR precision to 320
18.608 * * * * [points]: Computing exacts on every 65 of 4161 points to ramp up precision
18.612 * * * * [points]: Setting MPFR precision to 64
18.617 * * * * [points]: Setting MPFR precision to 320
18.622 * * * * [points]: Computing exacts on every 32 of 4161 points to ramp up precision
18.627 * * * * [points]: Setting MPFR precision to 64
18.637 * * * * [points]: Setting MPFR precision to 320
18.670 * * * * [points]: Computing exacts on every 16 of 4161 points to ramp up precision
18.678 * * * * [points]: Setting MPFR precision to 64
18.714 * * * * [points]: Setting MPFR precision to 320
18.749 * * * * [points]: Computing exacts on every 8 of 4161 points to ramp up precision
18.758 * * * * [points]: Setting MPFR precision to 64
18.821 * * * * [points]: Setting MPFR precision to 320
18.934 * * * * [points]: Computing exacts on every 4 of 4161 points to ramp up precision
18.942 * * * * [points]: Setting MPFR precision to 64
19.055 * * * * [points]: Setting MPFR precision to 320
19.228 * * * * [points]: Computing exacts on every 2 of 4161 points to ramp up precision
19.236 * * * * [points]: Setting MPFR precision to 64
19.478 * * * * [points]: Setting MPFR precision to 320
19.672 * * * * [points]: Computing exacts for 4161 points
19.680 * * * * [points]: Setting MPFR precision to 64
20.047 * * * * [points]: Setting MPFR precision to 320
20.526 * * * * [points]: Filtering points with unrepresentable outputs
20.708 * * * * [points]: Sampling 2997 additional inputs, on iter 3 have 5003 / 8000
20.731 * * * * [points]: Computing exacts on every 187 of 2997 points to ramp up precision
20.740 * * * * [points]: Setting MPFR precision to 64
20.742 * * * * [points]: Setting MPFR precision to 320
20.744 * * * * [points]: Computing exacts on every 93 of 2997 points to ramp up precision
20.752 * * * * [points]: Setting MPFR precision to 64
20.757 * * * * [points]: Setting MPFR precision to 320
20.762 * * * * [points]: Computing exacts on every 46 of 2997 points to ramp up precision
20.771 * * * * [points]: Setting MPFR precision to 64
20.777 * * * * [points]: Setting MPFR precision to 320
20.782 * * * * [points]: Computing exacts on every 23 of 2997 points to ramp up precision
20.786 * * * * [points]: Setting MPFR precision to 64
20.795 * * * * [points]: Setting MPFR precision to 320
20.805 * * * * [points]: Computing exacts on every 11 of 2997 points to ramp up precision
20.809 * * * * [points]: Setting MPFR precision to 64
20.855 * * * * [points]: Setting MPFR precision to 320
20.877 * * * * [points]: Computing exacts on every 5 of 2997 points to ramp up precision
20.882 * * * * [points]: Setting MPFR precision to 64
20.921 * * * * [points]: Setting MPFR precision to 320
20.967 * * * * [points]: Computing exacts on every 2 of 2997 points to ramp up precision
20.971 * * * * [points]: Setting MPFR precision to 64
21.098 * * * * [points]: Setting MPFR precision to 320
21.307 * * * * [points]: Computing exacts for 2997 points
21.315 * * * * [points]: Setting MPFR precision to 64
22.095 * * * * [points]: Setting MPFR precision to 320
22.488 * * * * [points]: Filtering points with unrepresentable outputs
22.567 * * * * [points]: Sampling 2128 additional inputs, on iter 4 have 5872 / 8000
22.584 * * * * [points]: Computing exacts on every 133 of 2128 points to ramp up precision
22.592 * * * * [points]: Setting MPFR precision to 64
22.594 * * * * [points]: Setting MPFR precision to 320
22.596 * * * * [points]: Computing exacts on every 66 of 2128 points to ramp up precision
22.604 * * * * [points]: Setting MPFR precision to 64
22.608 * * * * [points]: Setting MPFR precision to 320
22.612 * * * * [points]: Computing exacts on every 33 of 2128 points to ramp up precision
22.640 * * * * [points]: Setting MPFR precision to 64
22.648 * * * * [points]: Setting MPFR precision to 320
22.656 * * * * [points]: Computing exacts on every 16 of 2128 points to ramp up precision
22.664 * * * * [points]: Setting MPFR precision to 64
22.680 * * * * [points]: Setting MPFR precision to 320
22.696 * * * * [points]: Computing exacts on every 8 of 2128 points to ramp up precision
22.705 * * * * [points]: Setting MPFR precision to 64
22.722 * * * * [points]: Setting MPFR precision to 320
22.740 * * * * [points]: Computing exacts on every 4 of 2128 points to ramp up precision
22.744 * * * * [points]: Setting MPFR precision to 64
22.774 * * * * [points]: Setting MPFR precision to 320
22.842 * * * * [points]: Computing exacts on every 2 of 2128 points to ramp up precision
22.846 * * * * [points]: Setting MPFR precision to 64
22.931 * * * * [points]: Setting MPFR precision to 320
23.058 * * * * [points]: Computing exacts for 2128 points
23.066 * * * * [points]: Setting MPFR precision to 64
23.413 * * * * [points]: Setting MPFR precision to 320
23.699 * * * * [points]: Filtering points with unrepresentable outputs
23.748 * * * * [points]: Sampling 1543 additional inputs, on iter 5 have 6457 / 8000
23.754 * * * * [points]: Computing exacts on every 96 of 1543 points to ramp up precision
23.759 * * * * [points]: Setting MPFR precision to 64
23.760 * * * * [points]: Setting MPFR precision to 320
23.762 * * * * [points]: Computing exacts on every 48 of 1543 points to ramp up precision
23.766 * * * * [points]: Setting MPFR precision to 64
23.768 * * * * [points]: Setting MPFR precision to 320
23.771 * * * * [points]: Computing exacts on every 24 of 1543 points to ramp up precision
23.775 * * * * [points]: Setting MPFR precision to 64
23.780 * * * * [points]: Setting MPFR precision to 320
23.785 * * * * [points]: Computing exacts on every 12 of 1543 points to ramp up precision
23.789 * * * * [points]: Setting MPFR precision to 64
23.798 * * * * [points]: Setting MPFR precision to 320
23.807 * * * * [points]: Computing exacts on every 6 of 1543 points to ramp up precision
23.811 * * * * [points]: Setting MPFR precision to 64
23.847 * * * * [points]: Setting MPFR precision to 320
23.865 * * * * [points]: Computing exacts on every 3 of 1543 points to ramp up precision
23.869 * * * * [points]: Setting MPFR precision to 64
23.898 * * * * [points]: Setting MPFR precision to 320
23.930 * * * * [points]: Computing exacts for 1543 points
23.934 * * * * [points]: Setting MPFR precision to 64
24.076 * * * * [points]: Setting MPFR precision to 320
24.233 * * * * [points]: Filtering points with unrepresentable outputs
24.296 * * * * [points]: Sampling 1130 additional inputs, on iter 6 have 6870 / 8000
24.301 * * * * [points]: Computing exacts on every 70 of 1130 points to ramp up precision
24.306 * * * * [points]: Setting MPFR precision to 64
24.307 * * * * [points]: Setting MPFR precision to 320
24.308 * * * * [points]: Computing exacts on every 35 of 1130 points to ramp up precision
24.312 * * * * [points]: Setting MPFR precision to 64
24.314 * * * * [points]: Setting MPFR precision to 320
24.317 * * * * [points]: Computing exacts on every 17 of 1130 points to ramp up precision
24.321 * * * * [points]: Setting MPFR precision to 64
24.326 * * * * [points]: Setting MPFR precision to 320
24.330 * * * * [points]: Computing exacts on every 8 of 1130 points to ramp up precision
24.334 * * * * [points]: Setting MPFR precision to 64
24.344 * * * * [points]: Setting MPFR precision to 320
24.354 * * * * [points]: Computing exacts on every 4 of 1130 points to ramp up precision
24.358 * * * * [points]: Setting MPFR precision to 64
24.374 * * * * [points]: Setting MPFR precision to 320
24.416 * * * * [points]: Computing exacts on every 2 of 1130 points to ramp up precision
24.421 * * * * [points]: Setting MPFR precision to 64
24.451 * * * * [points]: Setting MPFR precision to 320
24.481 * * * * [points]: Computing exacts for 1130 points
24.485 * * * * [points]: Setting MPFR precision to 64
24.598 * * * * [points]: Setting MPFR precision to 320
24.724 * * * * [points]: Filtering points with unrepresentable outputs
24.746 * * * * [points]: Sampling 819 additional inputs, on iter 7 have 7181 / 8000
24.749 * * * * [points]: Computing exacts on every 51 of 819 points to ramp up precision
24.753 * * * * [points]: Setting MPFR precision to 64
24.755 * * * * [points]: Setting MPFR precision to 320
24.756 * * * * [points]: Computing exacts on every 25 of 819 points to ramp up precision
24.760 * * * * [points]: Setting MPFR precision to 64
24.762 * * * * [points]: Setting MPFR precision to 320
24.765 * * * * [points]: Computing exacts on every 12 of 819 points to ramp up precision
24.769 * * * * [points]: Setting MPFR precision to 64
24.773 * * * * [points]: Setting MPFR precision to 320
24.778 * * * * [points]: Computing exacts on every 6 of 819 points to ramp up precision
24.782 * * * * [points]: Setting MPFR precision to 64
24.791 * * * * [points]: Setting MPFR precision to 320
24.800 * * * * [points]: Computing exacts on every 3 of 819 points to ramp up precision
24.804 * * * * [points]: Setting MPFR precision to 64
24.837 * * * * [points]: Setting MPFR precision to 320
24.854 * * * * [points]: Computing exacts for 819 points
24.859 * * * * [points]: Setting MPFR precision to 64
24.933 * * * * [points]: Setting MPFR precision to 320
25.413 * * * * [points]: Filtering points with unrepresentable outputs
25.431 * * * * [points]: Sampling 583 additional inputs, on iter 8 have 7417 / 8000
25.433 * * * * [points]: Computing exacts on every 36 of 583 points to ramp up precision
25.440 * * * * [points]: Setting MPFR precision to 64
25.442 * * * * [points]: Setting MPFR precision to 320
25.445 * * * * [points]: Computing exacts on every 18 of 583 points to ramp up precision
25.452 * * * * [points]: Setting MPFR precision to 64
25.457 * * * * [points]: Setting MPFR precision to 320
25.461 * * * * [points]: Computing exacts on every 9 of 583 points to ramp up precision
25.469 * * * * [points]: Setting MPFR precision to 64
25.477 * * * * [points]: Setting MPFR precision to 320
25.486 * * * * [points]: Computing exacts on every 4 of 583 points to ramp up precision
25.494 * * * * [points]: Setting MPFR precision to 64
25.509 * * * * [points]: Setting MPFR precision to 320
25.520 * * * * [points]: Computing exacts on every 2 of 583 points to ramp up precision
25.545 * * * * [points]: Setting MPFR precision to 64
25.561 * * * * [points]: Setting MPFR precision to 320
25.577 * * * * [points]: Computing exacts for 583 points
25.582 * * * * [points]: Setting MPFR precision to 64
25.648 * * * * [points]: Setting MPFR precision to 320
25.759 * * * * [points]: Filtering points with unrepresentable outputs
25.772 * * * * [points]: Sampling 409 additional inputs, on iter 9 have 7591 / 8000
25.774 * * * * [points]: Computing exacts on every 25 of 409 points to ramp up precision
25.778 * * * * [points]: Setting MPFR precision to 64
25.779 * * * * [points]: Setting MPFR precision to 320
25.780 * * * * [points]: Computing exacts on every 12 of 409 points to ramp up precision
25.784 * * * * [points]: Setting MPFR precision to 64
25.787 * * * * [points]: Setting MPFR precision to 320
25.789 * * * * [points]: Computing exacts on every 6 of 409 points to ramp up precision
25.793 * * * * [points]: Setting MPFR precision to 64
25.797 * * * * [points]: Setting MPFR precision to 320
25.802 * * * * [points]: Computing exacts on every 3 of 409 points to ramp up precision
25.806 * * * * [points]: Setting MPFR precision to 64
25.814 * * * * [points]: Setting MPFR precision to 320
25.822 * * * * [points]: Computing exacts for 409 points
25.826 * * * * [points]: Setting MPFR precision to 64
25.876 * * * * [points]: Setting MPFR precision to 320
25.909 * * * * [points]: Filtering points with unrepresentable outputs
25.916 * * * * [points]: Sampling 299 additional inputs, on iter 10 have 7701 / 8000
25.918 * * * * [points]: Computing exacts on every 18 of 299 points to ramp up precision
25.922 * * * * [points]: Setting MPFR precision to 64
25.924 * * * * [points]: Setting MPFR precision to 320
25.925 * * * * [points]: Computing exacts on every 9 of 299 points to ramp up precision
25.929 * * * * [points]: Setting MPFR precision to 64
25.931 * * * * [points]: Setting MPFR precision to 320
25.933 * * * * [points]: Computing exacts on every 4 of 299 points to ramp up precision
25.937 * * * * [points]: Setting MPFR precision to 64
25.942 * * * * [points]: Setting MPFR precision to 320
25.946 * * * * [points]: Computing exacts on every 2 of 299 points to ramp up precision
25.950 * * * * [points]: Setting MPFR precision to 64
25.957 * * * * [points]: Setting MPFR precision to 320
25.965 * * * * [points]: Computing exacts for 299 points
25.994 * * * * [points]: Setting MPFR precision to 64
26.018 * * * * [points]: Setting MPFR precision to 320
26.041 * * * * [points]: Filtering points with unrepresentable outputs
26.047 * * * * [points]: Sampling 215 additional inputs, on iter 11 have 7785 / 8000
26.048 * * * * [points]: Computing exacts on every 13 of 215 points to ramp up precision
26.052 * * * * [points]: Setting MPFR precision to 64
26.053 * * * * [points]: Setting MPFR precision to 320
26.054 * * * * [points]: Computing exacts on every 6 of 215 points to ramp up precision
26.058 * * * * [points]: Setting MPFR precision to 64
26.060 * * * * [points]: Setting MPFR precision to 320
26.063 * * * * [points]: Computing exacts on every 3 of 215 points to ramp up precision
26.066 * * * * [points]: Setting MPFR precision to 64
26.070 * * * * [points]: Setting MPFR precision to 320
26.074 * * * * [points]: Computing exacts for 215 points
26.078 * * * * [points]: Setting MPFR precision to 64
26.094 * * * * [points]: Setting MPFR precision to 320
26.134 * * * * [points]: Filtering points with unrepresentable outputs
26.139 * * * * [points]: Sampling 146 additional inputs, on iter 12 have 7854 / 8000
26.139 * * * * [points]: Computing exacts on every 9 of 146 points to ramp up precision
26.144 * * * * [points]: Setting MPFR precision to 64
26.145 * * * * [points]: Setting MPFR precision to 320
26.146 * * * * [points]: Computing exacts on every 4 of 146 points to ramp up precision
26.152 * * * * [points]: Setting MPFR precision to 64
26.156 * * * * [points]: Setting MPFR precision to 320
26.160 * * * * [points]: Computing exacts on every 2 of 146 points to ramp up precision
26.168 * * * * [points]: Setting MPFR precision to 64
26.174 * * * * [points]: Setting MPFR precision to 320
26.178 * * * * [points]: Computing exacts for 146 points
26.182 * * * * [points]: Setting MPFR precision to 64
26.192 * * * * [points]: Setting MPFR precision to 320
26.203 * * * * [points]: Filtering points with unrepresentable outputs
26.207 * * * * [points]: Sampling 96 additional inputs, on iter 13 have 7904 / 8000
26.208 * * * * [points]: Computing exacts on every 6 of 96 points to ramp up precision
26.211 * * * * [points]: Setting MPFR precision to 64
26.213 * * * * [points]: Setting MPFR precision to 320
26.214 * * * * [points]: Computing exacts on every 3 of 96 points to ramp up precision
26.217 * * * * [points]: Setting MPFR precision to 64
26.219 * * * * [points]: Setting MPFR precision to 320
26.221 * * * * [points]: Computing exacts for 96 points
26.246 * * * * [points]: Setting MPFR precision to 64
26.254 * * * * [points]: Setting MPFR precision to 320
26.262 * * * * [points]: Filtering points with unrepresentable outputs
26.266 * * * * [points]: Sampling 69 additional inputs, on iter 14 have 7931 / 8000
26.266 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
26.270 * * * * [points]: Setting MPFR precision to 64
26.271 * * * * [points]: Setting MPFR precision to 320
26.272 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
26.276 * * * * [points]: Setting MPFR precision to 64
26.278 * * * * [points]: Setting MPFR precision to 320
26.280 * * * * [points]: Computing exacts for 69 points
26.284 * * * * [points]: Setting MPFR precision to 64
26.289 * * * * [points]: Setting MPFR precision to 320
26.295 * * * * [points]: Filtering points with unrepresentable outputs
26.296 * * * * [points]: Sampling 53 additional inputs, on iter 15 have 7947 / 8000
26.297 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
26.300 * * * * [points]: Setting MPFR precision to 64
26.301 * * * * [points]: Setting MPFR precision to 320
26.303 * * * * [points]: Computing exacts for 53 points
26.307 * * * * [points]: Setting MPFR precision to 64
26.311 * * * * [points]: Setting MPFR precision to 320
26.315 * * * * [points]: Filtering points with unrepresentable outputs
26.316 * * * * [points]: Sampling 37 additional inputs, on iter 16 have 7963 / 8000
26.316 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
26.320 * * * * [points]: Setting MPFR precision to 64
26.322 * * * * [points]: Setting MPFR precision to 320
26.323 * * * * [points]: Computing exacts for 37 points
26.326 * * * * [points]: Setting MPFR precision to 64
26.329 * * * * [points]: Setting MPFR precision to 320
26.332 * * * * [points]: Filtering points with unrepresentable outputs
26.333 * * * * [points]: Sampling 30 additional inputs, on iter 17 have 7970 / 8000
26.333 * * * * [points]: Computing exacts for 30 points
26.358 * * * * [points]: Setting MPFR precision to 64
26.361 * * * * [points]: Setting MPFR precision to 320
26.363 * * * * [points]: Filtering points with unrepresentable outputs
26.364 * * * * [points]: Sampling 21 additional inputs, on iter 18 have 7979 / 8000
26.364 * * * * [points]: Computing exacts for 21 points
26.369 * * * * [points]: Setting MPFR precision to 64
26.371 * * * * [points]: Setting MPFR precision to 320
26.373 * * * * [points]: Filtering points with unrepresentable outputs
26.373 * * * * [points]: Sampling 17 additional inputs, on iter 19 have 7983 / 8000
26.373 * * * * [points]: Computing exacts for 17 points
26.377 * * * * [points]: Setting MPFR precision to 64
26.379 * * * * [points]: Setting MPFR precision to 320
26.380 * * * * [points]: Filtering points with unrepresentable outputs
26.381 * * * * [points]: Sampling 8 additional inputs, on iter 20 have 7992 / 8000
26.381 * * * * [points]: Computing exacts for 8 points
26.386 * * * * [points]: Setting MPFR precision to 64
26.386 * * * * [points]: Setting MPFR precision to 320
26.387 * * * * [points]: Filtering points with unrepresentable outputs
26.388 * * * * [points]: Sampling 4 additional inputs, on iter 21 have 7996 / 8000
26.388 * * * * [points]: Computing exacts for 4 points
26.392 * * * * [points]: Setting MPFR precision to 64
26.392 * * * * [points]: Setting MPFR precision to 320
26.393 * * * * [points]: Filtering points with unrepresentable outputs
26.393 * * * * [points]: Sampling 4 additional inputs, on iter 22 have 7998 / 8000
26.393 * * * * [points]: Computing exacts for 4 points
26.397 * * * * [points]: Setting MPFR precision to 64
26.397 * * * * [points]: Setting MPFR precision to 320
26.398 * * * * [points]: Filtering points with unrepresentable outputs
26.398 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 7998 / 8000
26.398 * * * * [points]: Computing exacts for 4 points
26.402 * * * * [points]: Setting MPFR precision to 64
26.402 * * * * [points]: Setting MPFR precision to 320
26.403 * * * * [points]: Filtering points with unrepresentable outputs
26.403 * * * * [points]: Sampling 4 additional inputs, on iter 24 have 7999 / 8000
26.403 * * * * [points]: Computing exacts for 4 points
26.407 * * * * [points]: Setting MPFR precision to 64
26.407 * * * * [points]: Setting MPFR precision to 320
26.408 * * * * [points]: Filtering points with unrepresentable outputs
26.408 * * * * [points]: Sampled 8001 points with exact outputs
34.911 * [regime-testing]: Baseline error score: 64.0
34.914 * [regime-testing]: Oracle error score: 64.0
34.918 * [regime-testing]: End program error score: 0.6011985404608492