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.010 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.022 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.044 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.049 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.061 * * * * [points]: Computing exacts for 256 points
0.066 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Filtering points with unrepresentable outputs
0.121 * * * * [points]: Sampling 188 additional inputs, on iter 1 have 68 / 256
0.122 * * * * [points]: Computing exacts on every 11 of 188 points to ramp up precision
0.127 * * * * [points]: Setting MPFR precision to 64
0.129 * * * * [points]: Setting MPFR precision to 320
0.130 * * * * [points]: Computing exacts on every 5 of 188 points to ramp up precision
0.134 * * * * [points]: Setting MPFR precision to 64
0.136 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Computing exacts on every 2 of 188 points to ramp up precision
0.146 * * * * [points]: Setting MPFR precision to 64
0.154 * * * * [points]: Setting MPFR precision to 320
0.161 * * * * [points]: Computing exacts for 188 points
0.171 * * * * [points]: Setting MPFR precision to 64
0.194 * * * * [points]: Setting MPFR precision to 320
0.218 * * * * [points]: Filtering points with unrepresentable outputs
0.218 * * * * [points]: Sampling 120 additional inputs, on iter 2 have 136 / 256
0.219 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
0.228 * * * * [points]: Setting MPFR precision to 64
0.231 * * * * [points]: Setting MPFR precision to 320
0.233 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
0.243 * * * * [points]: Setting MPFR precision to 64
0.278 * * * * [points]: Setting MPFR precision to 320
0.282 * * * * [points]: Computing exacts for 120 points
0.294 * * * * [points]: Setting MPFR precision to 64
0.303 * * * * [points]: Setting MPFR precision to 320
0.312 * * * * [points]: Filtering points with unrepresentable outputs
0.312 * * * * [points]: Sampling 87 additional inputs, on iter 3 have 169 / 256
0.313 * * * * [points]: Computing exacts on every 5 of 87 points to ramp up precision
0.317 * * * * [points]: Setting MPFR precision to 64
0.318 * * * * [points]: Setting MPFR precision to 320
0.319 * * * * [points]: Computing exacts on every 2 of 87 points to ramp up precision
0.327 * * * * [points]: Setting MPFR precision to 64
0.331 * * * * [points]: Setting MPFR precision to 320
0.334 * * * * [points]: Computing exacts for 87 points
0.343 * * * * [points]: Setting MPFR precision to 64
0.354 * * * * [points]: Setting MPFR precision to 320
0.364 * * * * [points]: Filtering points with unrepresentable outputs
0.364 * * * * [points]: Sampling 64 additional inputs, on iter 4 have 192 / 256
0.365 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
0.373 * * * * [points]: Setting MPFR precision to 64
0.375 * * * * [points]: Setting MPFR precision to 320
0.376 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
0.385 * * * * [points]: Setting MPFR precision to 64
0.388 * * * * [points]: Setting MPFR precision to 320
0.391 * * * * [points]: Computing exacts for 64 points
0.396 * * * * [points]: Setting MPFR precision to 64
0.400 * * * * [points]: Setting MPFR precision to 320
0.425 * * * * [points]: Filtering points with unrepresentable outputs
0.425 * * * * [points]: Sampling 51 additional inputs, on iter 5 have 205 / 256
0.426 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
0.438 * * * * [points]: Setting MPFR precision to 64
0.440 * * * * [points]: Setting MPFR precision to 320
0.441 * * * * [points]: Computing exacts for 51 points
0.450 * * * * [points]: Setting MPFR precision to 64
0.456 * * * * [points]: Setting MPFR precision to 320
0.463 * * * * [points]: Filtering points with unrepresentable outputs
0.463 * * * * [points]: Sampling 32 additional inputs, on iter 6 have 224 / 256
0.463 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.472 * * * * [points]: Setting MPFR precision to 64
0.474 * * * * [points]: Setting MPFR precision to 320
0.475 * * * * [points]: Computing exacts for 32 points
0.484 * * * * [points]: Setting MPFR precision to 64
0.488 * * * * [points]: Setting MPFR precision to 320
0.492 * * * * [points]: Filtering points with unrepresentable outputs
0.492 * * * * [points]: Sampling 23 additional inputs, on iter 7 have 233 / 256
0.492 * * * * [points]: Computing exacts for 23 points
0.502 * * * * [points]: Setting MPFR precision to 64
0.505 * * * * [points]: Setting MPFR precision to 320
0.508 * * * * [points]: Filtering points with unrepresentable outputs
0.508 * * * * [points]: Sampling 14 additional inputs, on iter 8 have 242 / 256
0.508 * * * * [points]: Computing exacts for 14 points
0.517 * * * * [points]: Setting MPFR precision to 64
0.518 * * * * [points]: Setting MPFR precision to 320
0.520 * * * * [points]: Filtering points with unrepresentable outputs
0.520 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 247 / 256
0.520 * * * * [points]: Computing exacts for 9 points
0.529 * * * * [points]: Setting MPFR precision to 64
0.530 * * * * [points]: Setting MPFR precision to 320
0.531 * * * * [points]: Filtering points with unrepresentable outputs
0.531 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 250 / 256
0.531 * * * * [points]: Computing exacts for 6 points
0.540 * * * * [points]: Setting MPFR precision to 64
0.541 * * * * [points]: Setting MPFR precision to 320
0.542 * * * * [points]: Filtering points with unrepresentable outputs
0.542 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 251 / 256
0.542 * * * * [points]: Computing exacts for 5 points
0.551 * * * * [points]: Setting MPFR precision to 64
0.552 * * * * [points]: Setting MPFR precision to 320
0.553 * * * * [points]: Filtering points with unrepresentable outputs
0.553 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 252 / 256
0.553 * * * * [points]: Computing exacts for 4 points
0.578 * * * * [points]: Setting MPFR precision to 64
0.579 * * * * [points]: Setting MPFR precision to 320
0.579 * * * * [points]: Filtering points with unrepresentable outputs
0.579 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 253 / 256
0.579 * * * * [points]: Computing exacts for 4 points
0.588 * * * * [points]: Setting MPFR precision to 64
0.591 * * * * [points]: Setting MPFR precision to 320
0.591 * * * * [points]: Filtering points with unrepresentable outputs
0.591 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 253 / 256
0.591 * * * * [points]: Computing exacts for 4 points
0.600 * * * * [points]: Setting MPFR precision to 64
0.601 * * * * [points]: Setting MPFR precision to 320
0.601 * * * * [points]: Filtering points with unrepresentable outputs
0.601 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 254 / 256
0.601 * * * * [points]: Computing exacts for 4 points
0.610 * * * * [points]: Setting MPFR precision to 64
0.610 * * * * [points]: Setting MPFR precision to 320
0.611 * * * * [points]: Filtering points with unrepresentable outputs
0.611 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 255 / 256
0.611 * * * * [points]: Computing exacts for 4 points
0.620 * * * * [points]: Setting MPFR precision to 64
0.621 * * * * [points]: Setting MPFR precision to 320
0.621 * * * * [points]: Filtering points with unrepresentable outputs
0.622 * * * * [points]: Sampled 256 points with exact outputs
0.622 * * * [progress]: [2/2] Setting up program.
0.647 * [progress]: [Phase 2 of 3] Improving.
0.647 * * * * [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.648 * [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.648 * * [simplify]: iteration 1: (19 enodes)
0.655 * * [simplify]: iteration 2: (48 enodes)
0.663 * * [simplify]: iteration 3: (124 enodes)
0.730 * * [simplify]: iteration 4: (580 enodes)
1.321 * * [simplify]: Extracting #0: cost 1 inf + 0
1.321 * * [simplify]: Extracting #1: cost 3 inf + 0
1.321 * * [simplify]: Extracting #2: cost 6 inf + 0
1.321 * * [simplify]: Extracting #3: cost 86 inf + 1
1.323 * * [simplify]: Extracting #4: cost 502 inf + 3
1.330 * * [simplify]: Extracting #5: cost 732 inf + 33993
1.343 * * [simplify]: Extracting #6: cost 576 inf + 180580
1.360 * * [simplify]: Extracting #7: cost 536 inf + 213266
1.377 * * [simplify]: Extracting #8: cost 383 inf + 341463
1.422 * * [simplify]: Extracting #9: cost 38 inf + 765638
1.503 * * [simplify]: Extracting #10: cost 0 inf + 822985
1.561 * [simplify]: Simplified to:
  (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
1.593 * * [progress]: iteration 1 / 4
1.594 * * * [progress]: picking best candidate
1.627 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1.627 * * * [progress]: localizing error
1.963 * * * [progress]: generating rewritten candidates
1.964 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.983 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
2.010 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
2.044 * * * [progress]: generating series expansions
2.044 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.044 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.045 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2)
2.045 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
2.045 * * * [progress]: simplifying candidates
2.045 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.045 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.046 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.046 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.046 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
2.046 * [simplify]: Simplifying:
  (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))
  (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))
  (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
  (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
  (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))
  (*.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
  (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
  (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
  (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
2.047 * * [simplify]: iteration 1: (30 enodes)
2.062 * * [simplify]: iteration 2: (107 enodes)
2.118 * * [simplify]: iteration 3: (433 enodes)
2.518 * * [simplify]: Extracting #0: cost 9 inf + 0
2.518 * * [simplify]: Extracting #1: cost 164 inf + 0
2.521 * * [simplify]: Extracting #2: cost 555 inf + 2055
2.528 * * [simplify]: Extracting #3: cost 557 inf + 84433
2.556 * * [simplify]: Extracting #4: cost 129 inf + 494089
2.599 * * [simplify]: Extracting #5: cost 2 inf + 629723
2.678 * * [simplify]: Extracting #6: cost 0 inf + 630613
2.741 * [simplify]: Simplified to:
  (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha beta)))
  (*.p16 (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 alpha beta))
  (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)))
  (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
  (*.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (*.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
  (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
  (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
  (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))
2.742 * * * [progress]: adding candidates to table
3.329 * * [progress]: iteration 2 / 4
3.329 * * * [progress]: picking best candidate
3.449 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.449 * * * [progress]: localizing error
3.784 * * * [progress]: generating rewritten candidates
3.784 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
3.797 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
3.808 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
3.817 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.824 * * * [progress]: generating series expansions
3.824 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
3.824 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.824 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.824 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.825 * * * [progress]: simplifying candidates
3.825 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.825 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.825 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.825 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.825 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)))>
3.825 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.825 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.825 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.825 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.826 * [simplify]: Simplifying:
  (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))
  (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha))
  (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))
3.826 * * [simplify]: iteration 1: (18 enodes)
3.839 * * [simplify]: iteration 2: (60 enodes)
3.850 * * [simplify]: iteration 3: (164 enodes)
3.904 * * [simplify]: iteration 4: (495 enodes)
4.179 * * [simplify]: iteration 5: (1696 enodes)
10.836 * * [simplify]: Extracting #0: cost 5 inf + 0
10.837 * * [simplify]: Extracting #1: cost 319 inf + 0
10.848 * * [simplify]: Extracting #2: cost 1708 inf + 0
10.867 * * [simplify]: Extracting #3: cost 2229 inf + 11930
10.921 * * [simplify]: Extracting #4: cost 1810 inf + 518161
11.107 * * [simplify]: Extracting #5: cost 553 inf + 2581943
11.353 * * [simplify]: Extracting #6: cost 8 inf + 3634845
11.615 * * [simplify]: Extracting #7: cost 0 inf + 3654361
11.874 * [simplify]: Simplified to:
  (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta alpha)) (+.p16 beta alpha))
  (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta alpha)))
  (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))
  (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))
11.875 * * * [progress]: adding candidates to table
12.184 * * [progress]: iteration 3 / 4
12.184 * * * [progress]: picking best candidate
12.323 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.323 * * * [progress]: localizing error
12.654 * * * [progress]: generating rewritten candidates
12.654 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
12.669 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
12.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
12.714 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
12.816 * * * [progress]: generating series expansions
12.816 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
12.817 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
12.817 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
12.817 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
12.817 * * * [progress]: simplifying candidates
12.817 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) beta) (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (*.p16 alpha (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))))) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.817 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))>
12.818 * [simplify]: Simplifying:
  (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))
  (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))
  (*.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
  (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) beta)
  (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) alpha)
  (*.p16 beta (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))))
  (*.p16 alpha (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))))
  (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))
  (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha))
  (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha))
  (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha))
  (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha))
12.818 * * [simplify]: iteration 1: (23 enodes)
12.828 * * [simplify]: iteration 2: (76 enodes)
12.855 * * [simplify]: iteration 3: (244 enodes)
12.992 * * [simplify]: iteration 4: (1088 enodes)
14.085 * * [simplify]: Extracting #0: cost 7 inf + 0
14.096 * * [simplify]: Extracting #1: cost 400 inf + 0
14.104 * * [simplify]: Extracting #2: cost 1314 inf + 10922
14.122 * * [simplify]: Extracting #3: cost 1267 inf + 126579
14.156 * * [simplify]: Extracting #4: cost 1019 inf + 395819
14.238 * * [simplify]: Extracting #5: cost 557 inf + 902327
14.394 * * [simplify]: Extracting #6: cost 82 inf + 1407206
14.580 * * [simplify]: Extracting #7: cost 0 inf + 1512209
14.722 * [simplify]: Simplified to:
  (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))))
  (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))) (real->posit16 2.0)) (+.p16 beta alpha))
  (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))) (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))) (real->posit16 2.0)))
  (/.p16 (*.p16 beta (-.p16 beta alpha)) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))))
  (*.p16 (-.p16 beta alpha) (/.p16 alpha (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))
  (/.p16 (*.p16 beta (-.p16 beta alpha)) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))))
  (*.p16 (-.p16 beta alpha) (/.p16 alpha (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))
  (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))
  (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))
  (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))
  (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))
  (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))
14.724 * * * [progress]: adding candidates to table
15.222 * * [progress]: iteration 4 / 4
15.222 * * * [progress]: picking best candidate
15.312 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
15.312 * * * [progress]: localizing error
15.605 * * * [progress]: generating rewritten candidates
15.605 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
15.613 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
15.641 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
15.650 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
15.664 * * * [progress]: generating series expansions
15.664 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
15.664 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
15.664 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
15.664 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
15.664 * * * [progress]: simplifying candidates
15.664 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
15.664 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha)))) (real->posit16 2.0)))>
15.664 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.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)))>
15.664 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
15.665 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
15.665 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
15.665 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
15.665 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
15.665 * [simplify]: Simplifying:
  (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))
  (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
  (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))
  (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))
  (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))
  (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))
15.665 * * [simplify]: iteration 1: (15 enodes)
15.669 * * [simplify]: iteration 2: (41 enodes)
15.677 * * [simplify]: iteration 3: (115 enodes)
15.704 * * [simplify]: iteration 4: (301 enodes)
15.807 * * [simplify]: iteration 5: (604 enodes)
16.254 * * [simplify]: iteration 6: (1038 enodes)
16.792 * * [simplify]: iteration 7: (1184 enodes)
17.261 * * [simplify]: iteration 8: (1209 enodes)
17.564 * * [simplify]: iteration 9: (1225 enodes)
17.806 * * [simplify]: iteration 10: (1233 enodes)
17.871 * * [simplify]: iteration 11: (1245 enodes)
17.938 * * [simplify]: iteration 12: (1253 enodes)
18.072 * * [simplify]: iteration 13: (1265 enodes)
18.208 * * [simplify]: iteration 14: (1273 enodes)
18.322 * * [simplify]: iteration 15: (1285 enodes)
18.457 * * [simplify]: iteration 16: (1293 enodes)
18.564 * * [simplify]: iteration 17: (1305 enodes)
18.662 * * [simplify]: iteration 18: (1313 enodes)
18.785 * * [simplify]: iteration 19: (1325 enodes)
18.924 * * [simplify]: iteration 20: (1333 enodes)
19.005 * * [simplify]: iteration 21: (1345 enodes)
19.141 * * [simplify]: iteration 22: (1353 enodes)
19.216 * * [simplify]: iteration 23: (1365 enodes)
19.347 * * [simplify]: iteration 24: (1373 enodes)
19.452 * * [simplify]: iteration 25: (1385 enodes)
19.579 * * [simplify]: iteration 26: (1393 enodes)
19.722 * * [simplify]: iteration 27: (1405 enodes)
19.836 * * [simplify]: iteration 28: (1413 enodes)
19.934 * * [simplify]: iteration 29: (1425 enodes)
20.007 * * [simplify]: iteration 30: (1433 enodes)
20.097 * * [simplify]: iteration 31: (1445 enodes)
20.197 * * [simplify]: iteration 32: (1453 enodes)
20.314 * * [simplify]: iteration 33: (1465 enodes)
20.459 * * [simplify]: iteration 34: (1473 enodes)
20.577 * * [simplify]: iteration 35: (1485 enodes)
20.677 * * [simplify]: iteration 36: (1493 enodes)
20.785 * * [simplify]: iteration 37: (1505 enodes)
20.906 * * [simplify]: iteration 38: (1513 enodes)
20.995 * * [simplify]: iteration 39: (1525 enodes)
21.109 * * [simplify]: iteration 40: (1533 enodes)
21.235 * * [simplify]: iteration 41: (1545 enodes)
21.328 * * [simplify]: iteration 42: (1553 enodes)
21.432 * * [simplify]: iteration 43: (1565 enodes)
21.550 * * [simplify]: iteration 44: (1573 enodes)
21.664 * * [simplify]: iteration 45: (1585 enodes)
21.782 * * [simplify]: iteration 46: (1593 enodes)
21.944 * * [simplify]: iteration 47: (1605 enodes)
22.054 * * [simplify]: iteration 48: (1613 enodes)
22.185 * * [simplify]: iteration 49: (1625 enodes)
22.285 * * [simplify]: iteration 50: (1633 enodes)
22.379 * * [simplify]: iteration 51: (1645 enodes)
22.522 * * [simplify]: iteration 52: (1653 enodes)
22.643 * * [simplify]: iteration 53: (1665 enodes)
22.754 * * [simplify]: iteration 54: (1673 enodes)
22.887 * * [simplify]: iteration 55: (1685 enodes)
23.017 * * [simplify]: iteration 56: (1693 enodes)
23.135 * * [simplify]: iteration 57: (1705 enodes)
23.223 * * [simplify]: iteration 58: (1713 enodes)
23.317 * * [simplify]: iteration 59: (1725 enodes)
23.419 * * [simplify]: iteration 60: (1733 enodes)
23.525 * * [simplify]: iteration 61: (1745 enodes)
23.622 * * [simplify]: iteration 62: (1753 enodes)
23.743 * * [simplify]: iteration 63: (1765 enodes)
23.858 * * [simplify]: iteration 64: (1773 enodes)
23.977 * * [simplify]: iteration 65: (1785 enodes)
24.092 * * [simplify]: iteration 66: (1793 enodes)
24.188 * * [simplify]: iteration 67: (1805 enodes)
24.275 * * [simplify]: iteration 68: (1813 enodes)
24.410 * * [simplify]: iteration 69: (1825 enodes)
24.537 * * [simplify]: iteration 70: (1833 enodes)
24.710 * * [simplify]: iteration 71: (1845 enodes)
24.800 * * [simplify]: iteration 72: (1853 enodes)
24.932 * * [simplify]: iteration 73: (1865 enodes)
25.019 * * [simplify]: iteration 74: (1873 enodes)
25.183 * * [simplify]: iteration 75: (1885 enodes)
25.269 * * [simplify]: iteration 76: (1893 enodes)
25.414 * * [simplify]: iteration 77: (1905 enodes)
25.588 * * [simplify]: iteration 78: (1913 enodes)
25.767 * * [simplify]: iteration 79: (1925 enodes)
25.903 * * [simplify]: iteration 80: (1933 enodes)
25.995 * * [simplify]: iteration 81: (1945 enodes)
26.097 * * [simplify]: iteration 82: (1953 enodes)
26.199 * * [simplify]: iteration 83: (1965 enodes)
26.310 * * [simplify]: iteration 84: (1973 enodes)
26.406 * * [simplify]: iteration 85: (1985 enodes)
26.564 * * [simplify]: iteration 86: (1993 enodes)
26.720 * * [simplify]: Extracting #0: cost 3 inf + 0
26.720 * * [simplify]: Extracting #1: cost 56 inf + 0
26.721 * * [simplify]: Extracting #2: cost 78 inf + 686
26.723 * * [simplify]: Extracting #3: cost 64 inf + 5516
26.724 * * [simplify]: Extracting #4: cost 57 inf + 7609
26.729 * * [simplify]: Extracting #5: cost 18 inf + 34182
26.736 * * [simplify]: Extracting #6: cost 0 inf + 48015
26.744 * [simplify]: Simplified to:
  (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha))
  (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)
  (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 2.0)) beta) alpha) (+.p16 beta alpha))
  (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 2.0)) beta) alpha) (+.p16 beta alpha))
  (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 2.0)) beta) alpha) (+.p16 beta alpha))
  (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 2.0)) beta) alpha) (+.p16 beta alpha))
26.745 * * * [progress]: adding candidates to table
27.011 * [progress]: [Phase 3 of 3] Extracting.
27.011 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
27.015 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha)
27.015 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
27.265 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
27.578 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>)
27.932 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
27.933 * [simplify]: Simplifying:
  (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
27.933 * * [simplify]: iteration 1: (20 enodes)
27.936 * * [simplify]: Extracting #0: cost 1 inf + 0
27.936 * * [simplify]: Extracting #1: cost 3 inf + 0
27.936 * * [simplify]: Extracting #2: cost 6 inf + 0
27.936 * * [simplify]: Extracting #3: cost 7 inf + 2
27.936 * * [simplify]: Extracting #4: cost 10 inf + 3
27.937 * * [simplify]: Extracting #5: cost 13 inf + 4
27.937 * * [simplify]: Extracting #6: cost 13 inf + 6
27.937 * * [simplify]: Extracting #7: cost 11 inf + 131
27.937 * * [simplify]: Extracting #8: cost 9 inf + 215
27.937 * * [simplify]: Extracting #9: cost 4 inf + 2311
27.938 * * [simplify]: Extracting #10: cost 2 inf + 5081
27.938 * * [simplify]: Extracting #11: cost 1 inf + 7007
27.939 * * [simplify]: Extracting #12: cost 0 inf + 9373
27.939 * [simplify]: Simplified to:
  (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
27.940 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
28.000 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
28.009 * * * * [points]: Setting MPFR precision to 64
28.011 * * * * [points]: Setting MPFR precision to 320
28.014 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
28.022 * * * * [points]: Setting MPFR precision to 64
28.026 * * * * [points]: Setting MPFR precision to 320
28.031 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
28.040 * * * * [points]: Setting MPFR precision to 64
28.049 * * * * [points]: Setting MPFR precision to 320
28.058 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
28.067 * * * * [points]: Setting MPFR precision to 64
28.084 * * * * [points]: Setting MPFR precision to 320
28.122 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
28.135 * * * * [points]: Setting MPFR precision to 64
28.170 * * * * [points]: Setting MPFR precision to 320
28.199 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
28.208 * * * * [points]: Setting MPFR precision to 64
28.273 * * * * [points]: Setting MPFR precision to 320
28.389 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
28.399 * * * * [points]: Setting MPFR precision to 64
28.530 * * * * [points]: Setting MPFR precision to 320
28.683 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
28.688 * * * * [points]: Setting MPFR precision to 64
28.861 * * * * [points]: Setting MPFR precision to 320
29.093 * * * * [points]: Computing exacts for 8000 points
29.101 * * * * [points]: Setting MPFR precision to 64
30.839 * * * * [points]: Setting MPFR precision to 320
32.075 * * * * [points]: Filtering points with unrepresentable outputs
32.089 * * * * [points]: Sampling 5710 additional inputs, on iter 1 have 2290 / 8000
32.134 * * * * [points]: Computing exacts on every 356 of 5710 points to ramp up precision
32.143 * * * * [points]: Setting MPFR precision to 64
32.145 * * * * [points]: Setting MPFR precision to 320
32.147 * * * * [points]: Computing exacts on every 178 of 5710 points to ramp up precision
32.156 * * * * [points]: Setting MPFR precision to 64
32.160 * * * * [points]: Setting MPFR precision to 320
32.164 * * * * [points]: Computing exacts on every 89 of 5710 points to ramp up precision
32.173 * * * * [points]: Setting MPFR precision to 64
32.181 * * * * [points]: Setting MPFR precision to 320
32.189 * * * * [points]: Computing exacts on every 44 of 5710 points to ramp up precision
32.198 * * * * [points]: Setting MPFR precision to 64
32.214 * * * * [points]: Setting MPFR precision to 320
32.231 * * * * [points]: Computing exacts on every 22 of 5710 points to ramp up precision
32.266 * * * * [points]: Setting MPFR precision to 64
32.300 * * * * [points]: Setting MPFR precision to 320
32.332 * * * * [points]: Computing exacts on every 11 of 5710 points to ramp up precision
32.341 * * * * [points]: Setting MPFR precision to 64
32.401 * * * * [points]: Setting MPFR precision to 320
32.462 * * * * [points]: Computing exacts on every 5 of 5710 points to ramp up precision
32.512 * * * * [points]: Setting MPFR precision to 64
32.637 * * * * [points]: Setting MPFR precision to 320
32.740 * * * * [points]: Computing exacts on every 2 of 5710 points to ramp up precision
32.745 * * * * [points]: Setting MPFR precision to 64
32.914 * * * * [points]: Setting MPFR precision to 320
33.109 * * * * [points]: Computing exacts for 5710 points
33.119 * * * * [points]: Setting MPFR precision to 64
34.418 * * * * [points]: Setting MPFR precision to 320
35.292 * * * * [points]: Filtering points with unrepresentable outputs
35.301 * * * * [points]: Sampling 4119 additional inputs, on iter 2 have 3881 / 8000
35.330 * * * * [points]: Computing exacts on every 257 of 4119 points to ramp up precision
35.339 * * * * [points]: Setting MPFR precision to 64
35.341 * * * * [points]: Setting MPFR precision to 320
35.342 * * * * [points]: Computing exacts on every 128 of 4119 points to ramp up precision
35.351 * * * * [points]: Setting MPFR precision to 64
35.354 * * * * [points]: Setting MPFR precision to 320
35.358 * * * * [points]: Computing exacts on every 64 of 4119 points to ramp up precision
35.366 * * * * [points]: Setting MPFR precision to 64
35.373 * * * * [points]: Setting MPFR precision to 320
35.379 * * * * [points]: Computing exacts on every 32 of 4119 points to ramp up precision
35.407 * * * * [points]: Setting MPFR precision to 64
35.418 * * * * [points]: Setting MPFR precision to 320
35.426 * * * * [points]: Computing exacts on every 16 of 4119 points to ramp up precision
35.434 * * * * [points]: Setting MPFR precision to 64
35.465 * * * * [points]: Setting MPFR precision to 320
35.495 * * * * [points]: Computing exacts on every 8 of 4119 points to ramp up precision
35.504 * * * * [points]: Setting MPFR precision to 64
35.560 * * * * [points]: Setting MPFR precision to 320
35.644 * * * * [points]: Computing exacts on every 4 of 4119 points to ramp up precision
35.650 * * * * [points]: Setting MPFR precision to 64
35.715 * * * * [points]: Setting MPFR precision to 320
35.825 * * * * [points]: Computing exacts on every 2 of 4119 points to ramp up precision
35.835 * * * * [points]: Setting MPFR precision to 64
36.002 * * * * [points]: Setting MPFR precision to 320
36.155 * * * * [points]: Computing exacts for 4119 points
36.164 * * * * [points]: Setting MPFR precision to 64
36.609 * * * * [points]: Setting MPFR precision to 320
37.461 * * * * [points]: Filtering points with unrepresentable outputs
37.465 * * * * [points]: Sampling 2911 additional inputs, on iter 3 have 5089 / 8000
37.477 * * * * [points]: Computing exacts on every 181 of 2911 points to ramp up precision
37.481 * * * * [points]: Setting MPFR precision to 64
37.483 * * * * [points]: Setting MPFR precision to 320
37.484 * * * * [points]: Computing exacts on every 90 of 2911 points to ramp up precision
37.488 * * * * [points]: Setting MPFR precision to 64
37.490 * * * * [points]: Setting MPFR precision to 320
37.493 * * * * [points]: Computing exacts on every 45 of 2911 points to ramp up precision
37.497 * * * * [points]: Setting MPFR precision to 64
37.521 * * * * [points]: Setting MPFR precision to 320
37.526 * * * * [points]: Computing exacts on every 22 of 2911 points to ramp up precision
37.530 * * * * [points]: Setting MPFR precision to 64
37.541 * * * * [points]: Setting MPFR precision to 320
37.550 * * * * [points]: Computing exacts on every 11 of 2911 points to ramp up precision
37.555 * * * * [points]: Setting MPFR precision to 64
37.573 * * * * [points]: Setting MPFR precision to 320
37.591 * * * * [points]: Computing exacts on every 5 of 2911 points to ramp up precision
37.596 * * * * [points]: Setting MPFR precision to 64
37.655 * * * * [points]: Setting MPFR precision to 320
37.692 * * * * [points]: Computing exacts on every 2 of 2911 points to ramp up precision
37.697 * * * * [points]: Setting MPFR precision to 64
37.794 * * * * [points]: Setting MPFR precision to 320
37.865 * * * * [points]: Computing exacts for 2911 points
37.872 * * * * [points]: Setting MPFR precision to 64
38.147 * * * * [points]: Setting MPFR precision to 320
38.423 * * * * [points]: Filtering points with unrepresentable outputs
38.425 * * * * [points]: Sampling 2071 additional inputs, on iter 4 have 5929 / 8000
38.433 * * * * [points]: Computing exacts on every 129 of 2071 points to ramp up precision
38.438 * * * * [points]: Setting MPFR precision to 64
38.439 * * * * [points]: Setting MPFR precision to 320
38.441 * * * * [points]: Computing exacts on every 64 of 2071 points to ramp up precision
38.445 * * * * [points]: Setting MPFR precision to 64
38.448 * * * * [points]: Setting MPFR precision to 320
38.450 * * * * [points]: Computing exacts on every 32 of 2071 points to ramp up precision
38.455 * * * * [points]: Setting MPFR precision to 64
38.459 * * * * [points]: Setting MPFR precision to 320
38.464 * * * * [points]: Computing exacts on every 16 of 2071 points to ramp up precision
38.469 * * * * [points]: Setting MPFR precision to 64
38.499 * * * * [points]: Setting MPFR precision to 320
38.509 * * * * [points]: Computing exacts on every 8 of 2071 points to ramp up precision
38.514 * * * * [points]: Setting MPFR precision to 64
38.531 * * * * [points]: Setting MPFR precision to 320
38.547 * * * * [points]: Computing exacts on every 4 of 2071 points to ramp up precision
38.552 * * * * [points]: Setting MPFR precision to 64
38.583 * * * * [points]: Setting MPFR precision to 320
38.640 * * * * [points]: Computing exacts on every 2 of 2071 points to ramp up precision
38.644 * * * * [points]: Setting MPFR precision to 64
38.693 * * * * [points]: Setting MPFR precision to 320
38.772 * * * * [points]: Computing exacts for 2071 points
38.779 * * * * [points]: Setting MPFR precision to 64
38.957 * * * * [points]: Setting MPFR precision to 320
39.262 * * * * [points]: Filtering points with unrepresentable outputs
39.264 * * * * [points]: Sampling 1477 additional inputs, on iter 5 have 6523 / 8000
39.270 * * * * [points]: Computing exacts on every 92 of 1477 points to ramp up precision
39.274 * * * * [points]: Setting MPFR precision to 64
39.276 * * * * [points]: Setting MPFR precision to 320
39.277 * * * * [points]: Computing exacts on every 46 of 1477 points to ramp up precision
39.281 * * * * [points]: Setting MPFR precision to 64
39.283 * * * * [points]: Setting MPFR precision to 320
39.310 * * * * [points]: Computing exacts on every 23 of 1477 points to ramp up precision
39.315 * * * * [points]: Setting MPFR precision to 64
39.321 * * * * [points]: Setting MPFR precision to 320
39.325 * * * * [points]: Computing exacts on every 11 of 1477 points to ramp up precision
39.330 * * * * [points]: Setting MPFR precision to 64
39.338 * * * * [points]: Setting MPFR precision to 320
39.347 * * * * [points]: Computing exacts on every 5 of 1477 points to ramp up precision
39.351 * * * * [points]: Setting MPFR precision to 64
39.369 * * * * [points]: Setting MPFR precision to 320
39.386 * * * * [points]: Computing exacts on every 2 of 1477 points to ramp up precision
39.390 * * * * [points]: Setting MPFR precision to 64
39.898 * * * * [points]: Setting MPFR precision to 320
39.966 * * * * [points]: Computing exacts for 1477 points
39.975 * * * * [points]: Setting MPFR precision to 64
40.226 * * * * [points]: Setting MPFR precision to 320
40.435 * * * * [points]: Filtering points with unrepresentable outputs
40.436 * * * * [points]: Sampling 1059 additional inputs, on iter 6 have 6941 / 8000
40.441 * * * * [points]: Computing exacts on every 66 of 1059 points to ramp up precision
40.445 * * * * [points]: Setting MPFR precision to 64
40.446 * * * * [points]: Setting MPFR precision to 320
40.448 * * * * [points]: Computing exacts on every 33 of 1059 points to ramp up precision
40.452 * * * * [points]: Setting MPFR precision to 64
40.454 * * * * [points]: Setting MPFR precision to 320
40.457 * * * * [points]: Computing exacts on every 16 of 1059 points to ramp up precision
40.461 * * * * [points]: Setting MPFR precision to 64
40.465 * * * * [points]: Setting MPFR precision to 320
40.470 * * * * [points]: Computing exacts on every 8 of 1059 points to ramp up precision
40.474 * * * * [points]: Setting MPFR precision to 64
40.509 * * * * [points]: Setting MPFR precision to 320
40.519 * * * * [points]: Computing exacts on every 4 of 1059 points to ramp up precision
40.524 * * * * [points]: Setting MPFR precision to 64
40.539 * * * * [points]: Setting MPFR precision to 320
40.553 * * * * [points]: Computing exacts on every 2 of 1059 points to ramp up precision
40.558 * * * * [points]: Setting MPFR precision to 64
40.582 * * * * [points]: Setting MPFR precision to 320
40.608 * * * * [points]: Computing exacts for 1059 points
40.639 * * * * [points]: Setting MPFR precision to 64
40.716 * * * * [points]: Setting MPFR precision to 320
40.822 * * * * [points]: Filtering points with unrepresentable outputs
40.823 * * * * [points]: Sampling 742 additional inputs, on iter 7 have 7258 / 8000
40.826 * * * * [points]: Computing exacts on every 46 of 742 points to ramp up precision
40.831 * * * * [points]: Setting MPFR precision to 64
40.832 * * * * [points]: Setting MPFR precision to 320
40.834 * * * * [points]: Computing exacts on every 23 of 742 points to ramp up precision
40.838 * * * * [points]: Setting MPFR precision to 64
40.840 * * * * [points]: Setting MPFR precision to 320
40.842 * * * * [points]: Computing exacts on every 11 of 742 points to ramp up precision
40.847 * * * * [points]: Setting MPFR precision to 64
40.851 * * * * [points]: Setting MPFR precision to 320
40.856 * * * * [points]: Computing exacts on every 5 of 742 points to ramp up precision
40.860 * * * * [points]: Setting MPFR precision to 64
40.869 * * * * [points]: Setting MPFR precision to 320
40.905 * * * * [points]: Computing exacts on every 2 of 742 points to ramp up precision
40.909 * * * * [points]: Setting MPFR precision to 64
40.931 * * * * [points]: Setting MPFR precision to 320
40.948 * * * * [points]: Computing exacts for 742 points
40.953 * * * * [points]: Setting MPFR precision to 64
41.005 * * * * [points]: Setting MPFR precision to 320
41.088 * * * * [points]: Filtering points with unrepresentable outputs
41.089 * * * * [points]: Sampling 537 additional inputs, on iter 8 have 7463 / 8000
41.091 * * * * [points]: Computing exacts on every 33 of 537 points to ramp up precision
41.095 * * * * [points]: Setting MPFR precision to 64
41.097 * * * * [points]: Setting MPFR precision to 320
41.098 * * * * [points]: Computing exacts on every 16 of 537 points to ramp up precision
41.102 * * * * [points]: Setting MPFR precision to 64
41.105 * * * * [points]: Setting MPFR precision to 320
41.107 * * * * [points]: Computing exacts on every 8 of 537 points to ramp up precision
41.112 * * * * [points]: Setting MPFR precision to 64
41.117 * * * * [points]: Setting MPFR precision to 320
41.121 * * * * [points]: Computing exacts on every 4 of 537 points to ramp up precision
41.126 * * * * [points]: Setting MPFR precision to 64
41.133 * * * * [points]: Setting MPFR precision to 320
41.163 * * * * [points]: Computing exacts on every 2 of 537 points to ramp up precision
41.168 * * * * [points]: Setting MPFR precision to 64
41.182 * * * * [points]: Setting MPFR precision to 320
41.195 * * * * [points]: Computing exacts for 537 points
41.199 * * * * [points]: Setting MPFR precision to 64
41.237 * * * * [points]: Setting MPFR precision to 320
41.302 * * * * [points]: Filtering points with unrepresentable outputs
41.302 * * * * [points]: Sampling 381 additional inputs, on iter 9 have 7619 / 8000
41.306 * * * * [points]: Computing exacts on every 23 of 381 points to ramp up precision
41.310 * * * * [points]: Setting MPFR precision to 64
41.311 * * * * [points]: Setting MPFR precision to 320
41.313 * * * * [points]: Computing exacts on every 11 of 381 points to ramp up precision
41.318 * * * * [points]: Setting MPFR precision to 64
41.320 * * * * [points]: Setting MPFR precision to 320
41.322 * * * * [points]: Computing exacts on every 5 of 381 points to ramp up precision
41.327 * * * * [points]: Setting MPFR precision to 64
41.332 * * * * [points]: Setting MPFR precision to 320
41.336 * * * * [points]: Computing exacts on every 2 of 381 points to ramp up precision
41.341 * * * * [points]: Setting MPFR precision to 64
41.350 * * * * [points]: Setting MPFR precision to 320
41.360 * * * * [points]: Computing exacts for 381 points
41.365 * * * * [points]: Setting MPFR precision to 64
41.413 * * * * [points]: Setting MPFR precision to 320
41.443 * * * * [points]: Filtering points with unrepresentable outputs
41.443 * * * * [points]: Sampling 268 additional inputs, on iter 10 have 7732 / 8000
41.444 * * * * [points]: Computing exacts on every 16 of 268 points to ramp up precision
41.449 * * * * [points]: Setting MPFR precision to 64
41.450 * * * * [points]: Setting MPFR precision to 320
41.451 * * * * [points]: Computing exacts on every 8 of 268 points to ramp up precision
41.456 * * * * [points]: Setting MPFR precision to 64
41.458 * * * * [points]: Setting MPFR precision to 320
41.460 * * * * [points]: Computing exacts on every 4 of 268 points to ramp up precision
41.465 * * * * [points]: Setting MPFR precision to 64
41.469 * * * * [points]: Setting MPFR precision to 320
41.473 * * * * [points]: Computing exacts on every 2 of 268 points to ramp up precision
41.477 * * * * [points]: Setting MPFR precision to 64
41.484 * * * * [points]: Setting MPFR precision to 320
41.490 * * * * [points]: Computing exacts for 268 points
41.495 * * * * [points]: Setting MPFR precision to 64
41.533 * * * * [points]: Setting MPFR precision to 320
41.554 * * * * [points]: Filtering points with unrepresentable outputs
41.554 * * * * [points]: Sampling 198 additional inputs, on iter 11 have 7802 / 8000
41.555 * * * * [points]: Computing exacts on every 12 of 198 points to ramp up precision
41.560 * * * * [points]: Setting MPFR precision to 64
41.561 * * * * [points]: Setting MPFR precision to 320
41.562 * * * * [points]: Computing exacts on every 6 of 198 points to ramp up precision
41.567 * * * * [points]: Setting MPFR precision to 64
41.569 * * * * [points]: Setting MPFR precision to 320
41.572 * * * * [points]: Computing exacts on every 3 of 198 points to ramp up precision
41.576 * * * * [points]: Setting MPFR precision to 64
41.580 * * * * [points]: Setting MPFR precision to 320
41.584 * * * * [points]: Computing exacts for 198 points
41.588 * * * * [points]: Setting MPFR precision to 64
41.602 * * * * [points]: Setting MPFR precision to 320
41.617 * * * * [points]: Filtering points with unrepresentable outputs
41.617 * * * * [points]: Sampling 136 additional inputs, on iter 12 have 7864 / 8000
41.618 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
41.642 * * * * [points]: Setting MPFR precision to 64
41.644 * * * * [points]: Setting MPFR precision to 320
41.645 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
41.649 * * * * [points]: Setting MPFR precision to 64
41.653 * * * * [points]: Setting MPFR precision to 320
41.655 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
41.660 * * * * [points]: Setting MPFR precision to 64
41.663 * * * * [points]: Setting MPFR precision to 320
41.666 * * * * [points]: Computing exacts for 136 points
41.671 * * * * [points]: Setting MPFR precision to 64
41.682 * * * * [points]: Setting MPFR precision to 320
41.692 * * * * [points]: Filtering points with unrepresentable outputs
41.692 * * * * [points]: Sampling 96 additional inputs, on iter 13 have 7904 / 8000
41.692 * * * * [points]: Computing exacts on every 6 of 96 points to ramp up precision
41.697 * * * * [points]: Setting MPFR precision to 64
41.698 * * * * [points]: Setting MPFR precision to 320
41.699 * * * * [points]: Computing exacts on every 3 of 96 points to ramp up precision
41.703 * * * * [points]: Setting MPFR precision to 64
41.705 * * * * [points]: Setting MPFR precision to 320
41.707 * * * * [points]: Computing exacts for 96 points
41.712 * * * * [points]: Setting MPFR precision to 64
41.718 * * * * [points]: Setting MPFR precision to 320
41.725 * * * * [points]: Filtering points with unrepresentable outputs
41.725 * * * * [points]: Sampling 64 additional inputs, on iter 14 have 7936 / 8000
41.726 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
41.751 * * * * [points]: Setting MPFR precision to 64
41.752 * * * * [points]: Setting MPFR precision to 320
41.753 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
41.757 * * * * [points]: Setting MPFR precision to 64
41.760 * * * * [points]: Setting MPFR precision to 320
41.762 * * * * [points]: Computing exacts for 64 points
41.766 * * * * [points]: Setting MPFR precision to 64
41.772 * * * * [points]: Setting MPFR precision to 320
41.777 * * * * [points]: Filtering points with unrepresentable outputs
41.777 * * * * [points]: Sampling 44 additional inputs, on iter 15 have 7956 / 8000
41.777 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
41.781 * * * * [points]: Setting MPFR precision to 64
41.783 * * * * [points]: Setting MPFR precision to 320
41.784 * * * * [points]: Computing exacts for 44 points
41.788 * * * * [points]: Setting MPFR precision to 64
41.792 * * * * [points]: Setting MPFR precision to 320
41.796 * * * * [points]: Filtering points with unrepresentable outputs
41.796 * * * * [points]: Sampling 31 additional inputs, on iter 16 have 7969 / 8000
41.796 * * * * [points]: Computing exacts for 31 points
41.800 * * * * [points]: Setting MPFR precision to 64
41.803 * * * * [points]: Setting MPFR precision to 320
41.805 * * * * [points]: Filtering points with unrepresentable outputs
41.805 * * * * [points]: Sampling 19 additional inputs, on iter 17 have 7981 / 8000
41.805 * * * * [points]: Computing exacts for 19 points
41.810 * * * * [points]: Setting MPFR precision to 64
41.811 * * * * [points]: Setting MPFR precision to 320
41.813 * * * * [points]: Filtering points with unrepresentable outputs
41.813 * * * * [points]: Sampling 15 additional inputs, on iter 18 have 7985 / 8000
41.813 * * * * [points]: Computing exacts for 15 points
41.817 * * * * [points]: Setting MPFR precision to 64
41.819 * * * * [points]: Setting MPFR precision to 320
41.820 * * * * [points]: Filtering points with unrepresentable outputs
41.820 * * * * [points]: Sampling 11 additional inputs, on iter 19 have 7989 / 8000
41.820 * * * * [points]: Computing exacts for 11 points
41.824 * * * * [points]: Setting MPFR precision to 64
41.825 * * * * [points]: Setting MPFR precision to 320
41.826 * * * * [points]: Filtering points with unrepresentable outputs
41.826 * * * * [points]: Sampling 7 additional inputs, on iter 20 have 7993 / 8000
41.826 * * * * [points]: Computing exacts for 7 points
41.845 * * * * [points]: Setting MPFR precision to 64
41.846 * * * * [points]: Setting MPFR precision to 320
41.846 * * * * [points]: Filtering points with unrepresentable outputs
41.846 * * * * [points]: Sampling 6 additional inputs, on iter 21 have 7994 / 8000
41.846 * * * * [points]: Computing exacts for 6 points
41.852 * * * * [points]: Setting MPFR precision to 64
41.853 * * * * [points]: Setting MPFR precision to 320
41.854 * * * * [points]: Filtering points with unrepresentable outputs
41.854 * * * * [points]: Sampling 6 additional inputs, on iter 22 have 7994 / 8000
41.854 * * * * [points]: Computing exacts for 6 points
41.859 * * * * [points]: Setting MPFR precision to 64
41.859 * * * * [points]: Setting MPFR precision to 320
41.860 * * * * [points]: Filtering points with unrepresentable outputs
41.860 * * * * [points]: Sampling 5 additional inputs, on iter 23 have 7995 / 8000
41.860 * * * * [points]: Computing exacts for 5 points
41.864 * * * * [points]: Setting MPFR precision to 64
41.865 * * * * [points]: Setting MPFR precision to 320
41.865 * * * * [points]: Filtering points with unrepresentable outputs
41.865 * * * * [points]: Sampling 4 additional inputs, on iter 24 have 7996 / 8000
41.865 * * * * [points]: Computing exacts for 4 points
41.870 * * * * [points]: Setting MPFR precision to 64
41.871 * * * * [points]: Setting MPFR precision to 320
41.871 * * * * [points]: Filtering points with unrepresentable outputs
41.871 * * * * [points]: Sampling 4 additional inputs, on iter 25 have 7996 / 8000
41.871 * * * * [points]: Computing exacts for 4 points
41.876 * * * * [points]: Setting MPFR precision to 64
41.876 * * * * [points]: Setting MPFR precision to 320
41.877 * * * * [points]: Filtering points with unrepresentable outputs
41.877 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 7996 / 8000
41.877 * * * * [points]: Computing exacts for 4 points
41.881 * * * * [points]: Setting MPFR precision to 64
41.882 * * * * [points]: Setting MPFR precision to 320
41.882 * * * * [points]: Filtering points with unrepresentable outputs
41.882 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 7997 / 8000
41.882 * * * * [points]: Computing exacts for 4 points
41.886 * * * * [points]: Setting MPFR precision to 64
41.887 * * * * [points]: Setting MPFR precision to 320
41.887 * * * * [points]: Filtering points with unrepresentable outputs
41.887 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 7997 / 8000
41.887 * * * * [points]: Computing exacts for 4 points
41.892 * * * * [points]: Setting MPFR precision to 64
41.892 * * * * [points]: Setting MPFR precision to 320
41.893 * * * * [points]: Filtering points with unrepresentable outputs
41.893 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 7997 / 8000
41.893 * * * * [points]: Computing exacts for 4 points
41.897 * * * * [points]: Setting MPFR precision to 64
41.898 * * * * [points]: Setting MPFR precision to 320
41.898 * * * * [points]: Filtering points with unrepresentable outputs
41.898 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 7998 / 8000
41.898 * * * * [points]: Computing exacts for 4 points
41.902 * * * * [points]: Setting MPFR precision to 64
41.903 * * * * [points]: Setting MPFR precision to 320
41.903 * * * * [points]: Filtering points with unrepresentable outputs
41.903 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 7999 / 8000
41.903 * * * * [points]: Computing exacts for 4 points
41.908 * * * * [points]: Setting MPFR precision to 64
41.908 * * * * [points]: Setting MPFR precision to 320
41.909 * * * * [points]: Filtering points with unrepresentable outputs
41.909 * * * * [points]: Sampled 8000 points with exact outputs
48.324 * [regime-testing]: Baseline error score: 0.599226451651644
48.333 * [regime-testing]: Oracle error score: 0.4098696686843301
48.337 * [regime-testing]: End program error score: 0.599226451651644