0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.040 * * * * [points]: Setting MPFR precision to 64
0.046 * * * * [points]: Setting MPFR precision to 320
0.052 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.059 * * * * [points]: Setting MPFR precision to 64
0.069 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Computing exacts for 256 points
0.087 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.148 * * * * [points]: Filtering points with unrepresentable outputs
0.149 * * * * [points]: Sampling 219 additional inputs, on iter 1 have 37 / 256
0.150 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
0.157 * * * * [points]: Setting MPFR precision to 64
0.159 * * * * [points]: Setting MPFR precision to 320
0.161 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
0.169 * * * * [points]: Setting MPFR precision to 64
0.173 * * * * [points]: Setting MPFR precision to 320
0.200 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
0.210 * * * * [points]: Setting MPFR precision to 64
0.217 * * * * [points]: Setting MPFR precision to 320
0.224 * * * * [points]: Computing exacts for 219 points
0.232 * * * * [points]: Setting MPFR precision to 64
0.257 * * * * [points]: Setting MPFR precision to 320
0.282 * * * * [points]: Filtering points with unrepresentable outputs
0.283 * * * * [points]: Sampling 186 additional inputs, on iter 2 have 70 / 256
0.284 * * * * [points]: Computing exacts on every 11 of 186 points to ramp up precision
0.291 * * * * [points]: Setting MPFR precision to 64
0.293 * * * * [points]: Setting MPFR precision to 320
0.295 * * * * [points]: Computing exacts on every 5 of 186 points to ramp up precision
0.303 * * * * [points]: Setting MPFR precision to 64
0.307 * * * * [points]: Setting MPFR precision to 320
0.310 * * * * [points]: Computing exacts on every 2 of 186 points to ramp up precision
0.318 * * * * [points]: Setting MPFR precision to 64
0.325 * * * * [points]: Setting MPFR precision to 320
0.333 * * * * [points]: Computing exacts for 186 points
0.364 * * * * [points]: Setting MPFR precision to 64
0.379 * * * * [points]: Setting MPFR precision to 320
0.392 * * * * [points]: Filtering points with unrepresentable outputs
0.393 * * * * [points]: Sampling 167 additional inputs, on iter 3 have 89 / 256
0.393 * * * * [points]: Computing exacts on every 10 of 167 points to ramp up precision
0.398 * * * * [points]: Setting MPFR precision to 64
0.399 * * * * [points]: Setting MPFR precision to 320
0.400 * * * * [points]: Computing exacts on every 5 of 167 points to ramp up precision
0.405 * * * * [points]: Setting MPFR precision to 64
0.407 * * * * [points]: Setting MPFR precision to 320
0.410 * * * * [points]: Computing exacts on every 2 of 167 points to ramp up precision
0.417 * * * * [points]: Setting MPFR precision to 64
0.422 * * * * [points]: Setting MPFR precision to 320
0.426 * * * * [points]: Computing exacts for 167 points
0.430 * * * * [points]: Setting MPFR precision to 64
0.446 * * * * [points]: Setting MPFR precision to 320
0.457 * * * * [points]: Filtering points with unrepresentable outputs
0.458 * * * * [points]: Sampling 147 additional inputs, on iter 4 have 109 / 256
0.458 * * * * [points]: Computing exacts on every 9 of 147 points to ramp up precision
0.490 * * * * [points]: Setting MPFR precision to 64
0.492 * * * * [points]: Setting MPFR precision to 320
0.494 * * * * [points]: Computing exacts on every 4 of 147 points to ramp up precision
0.504 * * * * [points]: Setting MPFR precision to 64
0.507 * * * * [points]: Setting MPFR precision to 320
0.510 * * * * [points]: Computing exacts on every 2 of 147 points to ramp up precision
0.518 * * * * [points]: Setting MPFR precision to 64
0.523 * * * * [points]: Setting MPFR precision to 320
0.529 * * * * [points]: Computing exacts for 147 points
0.537 * * * * [points]: Setting MPFR precision to 64
0.548 * * * * [points]: Setting MPFR precision to 320
0.559 * * * * [points]: Filtering points with unrepresentable outputs
0.559 * * * * [points]: Sampling 118 additional inputs, on iter 5 have 138 / 256
0.559 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.564 * * * * [points]: Setting MPFR precision to 64
0.566 * * * * [points]: Setting MPFR precision to 320
0.568 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.575 * * * * [points]: Setting MPFR precision to 64
0.578 * * * * [points]: Setting MPFR precision to 320
0.581 * * * * [points]: Computing exacts for 118 points
0.588 * * * * [points]: Setting MPFR precision to 64
0.602 * * * * [points]: Setting MPFR precision to 320
0.637 * * * * [points]: Filtering points with unrepresentable outputs
0.637 * * * * [points]: Sampling 109 additional inputs, on iter 6 have 147 / 256
0.637 * * * * [points]: Computing exacts on every 6 of 109 points to ramp up precision
0.645 * * * * [points]: Setting MPFR precision to 64
0.647 * * * * [points]: Setting MPFR precision to 320
0.648 * * * * [points]: Computing exacts on every 3 of 109 points to ramp up precision
0.654 * * * * [points]: Setting MPFR precision to 64
0.657 * * * * [points]: Setting MPFR precision to 320
0.660 * * * * [points]: Computing exacts for 109 points
0.665 * * * * [points]: Setting MPFR precision to 64
0.672 * * * * [points]: Setting MPFR precision to 320
0.680 * * * * [points]: Filtering points with unrepresentable outputs
0.680 * * * * [points]: Sampling 98 additional inputs, on iter 7 have 158 / 256
0.680 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
0.685 * * * * [points]: Setting MPFR precision to 64
0.686 * * * * [points]: Setting MPFR precision to 320
0.687 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
0.693 * * * * [points]: Setting MPFR precision to 64
0.695 * * * * [points]: Setting MPFR precision to 320
0.696 * * * * [points]: Computing exacts for 98 points
0.701 * * * * [points]: Setting MPFR precision to 64
0.708 * * * * [points]: Setting MPFR precision to 320
0.715 * * * * [points]: Filtering points with unrepresentable outputs
0.715 * * * * [points]: Sampling 90 additional inputs, on iter 8 have 166 / 256
0.715 * * * * [points]: Computing exacts on every 5 of 90 points to ramp up precision
0.720 * * * * [points]: Setting MPFR precision to 64
0.721 * * * * [points]: Setting MPFR precision to 320
0.736 * * * * [points]: Computing exacts on every 2 of 90 points to ramp up precision
0.741 * * * * [points]: Setting MPFR precision to 64
0.744 * * * * [points]: Setting MPFR precision to 320
0.750 * * * * [points]: Computing exacts for 90 points
0.758 * * * * [points]: Setting MPFR precision to 64
0.768 * * * * [points]: Setting MPFR precision to 320
0.778 * * * * [points]: Filtering points with unrepresentable outputs
0.778 * * * * [points]: Sampling 79 additional inputs, on iter 9 have 177 / 256
0.779 * * * * [points]: Computing exacts on every 4 of 79 points to ramp up precision
0.783 * * * * [points]: Setting MPFR precision to 64
0.785 * * * * [points]: Setting MPFR precision to 320
0.786 * * * * [points]: Computing exacts on every 2 of 79 points to ramp up precision
0.794 * * * * [points]: Setting MPFR precision to 64
0.796 * * * * [points]: Setting MPFR precision to 320
0.798 * * * * [points]: Computing exacts for 79 points
0.802 * * * * [points]: Setting MPFR precision to 64
0.810 * * * * [points]: Setting MPFR precision to 320
0.819 * * * * [points]: Filtering points with unrepresentable outputs
0.819 * * * * [points]: Sampling 68 additional inputs, on iter 10 have 188 / 256
0.820 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.827 * * * * [points]: Setting MPFR precision to 64
0.829 * * * * [points]: Setting MPFR precision to 320
0.830 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.838 * * * * [points]: Setting MPFR precision to 64
0.840 * * * * [points]: Setting MPFR precision to 320
0.843 * * * * [points]: Computing exacts for 68 points
1.167 * * * * [points]: Setting MPFR precision to 64
1.175 * * * * [points]: Setting MPFR precision to 320
1.183 * * * * [points]: Filtering points with unrepresentable outputs
1.183 * * * * [points]: Sampling 57 additional inputs, on iter 11 have 199 / 256
1.184 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
1.192 * * * * [points]: Setting MPFR precision to 64
1.194 * * * * [points]: Setting MPFR precision to 320
1.196 * * * * [points]: Computing exacts for 57 points
1.204 * * * * [points]: Setting MPFR precision to 64
1.211 * * * * [points]: Setting MPFR precision to 320
1.218 * * * * [points]: Filtering points with unrepresentable outputs
1.218 * * * * [points]: Sampling 51 additional inputs, on iter 12 have 205 / 256
1.219 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
1.226 * * * * [points]: Setting MPFR precision to 64
1.228 * * * * [points]: Setting MPFR precision to 320
1.229 * * * * [points]: Computing exacts for 51 points
1.237 * * * * [points]: Setting MPFR precision to 64
1.243 * * * * [points]: Setting MPFR precision to 320
1.249 * * * * [points]: Filtering points with unrepresentable outputs
1.249 * * * * [points]: Sampling 44 additional inputs, on iter 13 have 212 / 256
1.250 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
1.258 * * * * [points]: Setting MPFR precision to 64
1.260 * * * * [points]: Setting MPFR precision to 320
1.261 * * * * [points]: Computing exacts for 44 points
1.271 * * * * [points]: Setting MPFR precision to 64
1.277 * * * * [points]: Setting MPFR precision to 320
1.283 * * * * [points]: Filtering points with unrepresentable outputs
1.283 * * * * [points]: Sampling 38 additional inputs, on iter 14 have 218 / 256
1.283 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
1.297 * * * * [points]: Setting MPFR precision to 64
1.299 * * * * [points]: Setting MPFR precision to 320
1.301 * * * * [points]: Computing exacts for 38 points
1.328 * * * * [points]: Setting MPFR precision to 64
1.331 * * * * [points]: Setting MPFR precision to 320
1.334 * * * * [points]: Filtering points with unrepresentable outputs
1.334 * * * * [points]: Sampling 31 additional inputs, on iter 15 have 225 / 256
1.334 * * * * [points]: Computing exacts for 31 points
1.340 * * * * [points]: Setting MPFR precision to 64
1.343 * * * * [points]: Setting MPFR precision to 320
1.345 * * * * [points]: Filtering points with unrepresentable outputs
1.345 * * * * [points]: Sampling 29 additional inputs, on iter 16 have 227 / 256
1.346 * * * * [points]: Computing exacts for 29 points
1.353 * * * * [points]: Setting MPFR precision to 64
1.357 * * * * [points]: Setting MPFR precision to 320
1.361 * * * * [points]: Filtering points with unrepresentable outputs
1.361 * * * * [points]: Sampling 23 additional inputs, on iter 17 have 233 / 256
1.362 * * * * [points]: Computing exacts for 23 points
1.371 * * * * [points]: Setting MPFR precision to 64
1.373 * * * * [points]: Setting MPFR precision to 320
1.375 * * * * [points]: Filtering points with unrepresentable outputs
1.375 * * * * [points]: Sampling 19 additional inputs, on iter 18 have 237 / 256
1.375 * * * * [points]: Computing exacts for 19 points
1.379 * * * * [points]: Setting MPFR precision to 64
1.381 * * * * [points]: Setting MPFR precision to 320
1.382 * * * * [points]: Filtering points with unrepresentable outputs
1.382 * * * * [points]: Sampling 18 additional inputs, on iter 19 have 238 / 256
1.382 * * * * [points]: Computing exacts for 18 points
1.387 * * * * [points]: Setting MPFR precision to 64
1.389 * * * * [points]: Setting MPFR precision to 320
1.390 * * * * [points]: Filtering points with unrepresentable outputs
1.390 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 241 / 256
1.390 * * * * [points]: Computing exacts for 15 points
1.395 * * * * [points]: Setting MPFR precision to 64
1.396 * * * * [points]: Setting MPFR precision to 320
1.397 * * * * [points]: Filtering points with unrepresentable outputs
1.397 * * * * [points]: Sampling 13 additional inputs, on iter 21 have 243 / 256
1.397 * * * * [points]: Computing exacts for 13 points
1.405 * * * * [points]: Setting MPFR precision to 64
1.407 * * * * [points]: Setting MPFR precision to 320
1.408 * * * * [points]: Filtering points with unrepresentable outputs
1.409 * * * * [points]: Sampling 12 additional inputs, on iter 22 have 244 / 256
1.409 * * * * [points]: Computing exacts for 12 points
1.418 * * * * [points]: Setting MPFR precision to 64
1.419 * * * * [points]: Setting MPFR precision to 320
1.421 * * * * [points]: Filtering points with unrepresentable outputs
1.421 * * * * [points]: Sampling 10 additional inputs, on iter 23 have 246 / 256
1.421 * * * * [points]: Computing exacts for 10 points
1.451 * * * * [points]: Setting MPFR precision to 64
1.453 * * * * [points]: Setting MPFR precision to 320
1.454 * * * * [points]: Filtering points with unrepresentable outputs
1.454 * * * * [points]: Sampling 9 additional inputs, on iter 24 have 247 / 256
1.454 * * * * [points]: Computing exacts for 9 points
1.461 * * * * [points]: Setting MPFR precision to 64
1.462 * * * * [points]: Setting MPFR precision to 320
1.463 * * * * [points]: Filtering points with unrepresentable outputs
1.463 * * * * [points]: Sampling 8 additional inputs, on iter 25 have 248 / 256
1.463 * * * * [points]: Computing exacts for 8 points
1.468 * * * * [points]: Setting MPFR precision to 64
1.469 * * * * [points]: Setting MPFR precision to 320
1.469 * * * * [points]: Filtering points with unrepresentable outputs
1.469 * * * * [points]: Sampling 6 additional inputs, on iter 26 have 250 / 256
1.469 * * * * [points]: Computing exacts for 6 points
1.474 * * * * [points]: Setting MPFR precision to 64
1.475 * * * * [points]: Setting MPFR precision to 320
1.475 * * * * [points]: Filtering points with unrepresentable outputs
1.475 * * * * [points]: Sampling 6 additional inputs, on iter 27 have 250 / 256
1.475 * * * * [points]: Computing exacts for 6 points
1.480 * * * * [points]: Setting MPFR precision to 64
1.481 * * * * [points]: Setting MPFR precision to 320
1.481 * * * * [points]: Filtering points with unrepresentable outputs
1.481 * * * * [points]: Sampling 5 additional inputs, on iter 28 have 251 / 256
1.481 * * * * [points]: Computing exacts for 5 points
1.488 * * * * [points]: Setting MPFR precision to 64
1.489 * * * * [points]: Setting MPFR precision to 320
1.490 * * * * [points]: Filtering points with unrepresentable outputs
1.490 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
1.490 * * * * [points]: Computing exacts for 4 points
1.497 * * * * [points]: Setting MPFR precision to 64
1.497 * * * * [points]: Setting MPFR precision to 320
1.498 * * * * [points]: Filtering points with unrepresentable outputs
1.498 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 255 / 256
1.498 * * * * [points]: Computing exacts for 4 points
1.507 * * * * [points]: Setting MPFR precision to 64
1.508 * * * * [points]: Setting MPFR precision to 320
1.509 * * * * [points]: Filtering points with unrepresentable outputs
1.509 * * * * [points]: Sampled 257 points with exact outputs
1.509 * * * [progress]: [2/2] Setting up program.
1.525 * [progress]: [Phase 2 of 3] Improving.
1.525 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
1.525 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
1.526 * * [simplify]: iters left: 6 (19 enodes)
1.531 * * [simplify]: iters left: 5 (76 enodes)
1.571 * * [simplify]: iters left: 4 (344 enodes)
1.787 * * [simplify]: Extracting #0: cost 1 inf + 0
1.788 * * [simplify]: Extracting #1: cost 75 inf + 0
1.789 * * [simplify]: Extracting #2: cost 474 inf + 1
1.795 * * [simplify]: Extracting #3: cost 741 inf + 26817
1.808 * * [simplify]: Extracting #4: cost 682 inf + 140740
1.825 * * [simplify]: Extracting #5: cost 610 inf + 190036
1.837 * * [simplify]: Extracting #6: cost 582 inf + 205163
1.859 * * [simplify]: Extracting #7: cost 359 inf + 459086
1.917 * * [simplify]: Extracting #8: cost 52 inf + 926046
2.003 * * [simplify]: Extracting #9: cost 0 inf + 1027849
2.085 * * [simplify]: Extracting #10: cost 0 inf + 1026329
2.148 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
2.148 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
2.196 * * [progress]: iteration 1 / 4
2.197 * * * [progress]: picking best candidate
2.244 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.244 * * * [progress]: localizing error
2.548 * * * [progress]: generating rewritten candidates
2.548 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.555 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.567 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.572 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.588 * * * [progress]: generating series expansions
2.588 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.588 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.589 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.589 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.589 * * * [progress]: simplifying candidates
2.589 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.589 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.589 * * [simplify]: iters left: 6 (14 enodes)
2.595 * * [simplify]: iters left: 5 (47 enodes)
2.609 * * [simplify]: iters left: 4 (148 enodes)
2.678 * * [simplify]: Extracting #0: cost 1 inf + 0
2.678 * * [simplify]: Extracting #1: cost 28 inf + 0
2.678 * * [simplify]: Extracting #2: cost 90 inf + 1
2.679 * * [simplify]: Extracting #3: cost 191 inf + 1329
2.682 * * [simplify]: Extracting #4: cost 164 inf + 48484
2.689 * * [simplify]: Extracting #5: cost 29 inf + 170988
2.700 * * [simplify]: Extracting #6: cost 1 inf + 215931
2.715 * * [simplify]: Extracting #7: cost 0 inf + 218175
2.729 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 beta i) alpha)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.729 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 beta i) alpha)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.729 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.730 * [simplify]: Simplifying (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
2.730 * * [simplify]: iters left: 5 (14 enodes)
2.736 * * [simplify]: iters left: 4 (45 enodes)
2.753 * * [simplify]: iters left: 3 (124 enodes)
2.807 * * [simplify]: iters left: 2 (422 enodes)
3.086 * * [simplify]: Extracting #0: cost 1 inf + 0
3.086 * * [simplify]: Extracting #1: cost 17 inf + 0
3.086 * * [simplify]: Extracting #2: cost 111 inf + 0
3.088 * * [simplify]: Extracting #3: cost 298 inf + 1693
3.092 * * [simplify]: Extracting #4: cost 234 inf + 47528
3.114 * * [simplify]: Extracting #5: cost 43 inf + 244057
3.135 * * [simplify]: Extracting #6: cost 0 inf + 292064
3.161 * * [simplify]: Extracting #7: cost 0 inf + 292024
3.193 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (+.p16 alpha i) i) (*.p16 beta (+.p16 alpha i))))
3.193 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (+.p16 alpha i) i) (*.p16 beta (+.p16 alpha i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
3.193 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
3.193 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.194 * * [simplify]: iters left: 4 (11 enodes)
3.198 * * [simplify]: iters left: 3 (34 enodes)
3.207 * * [simplify]: iters left: 2 (62 enodes)
3.224 * * [simplify]: iters left: 1 (116 enodes)
3.248 * * [simplify]: Extracting #0: cost 1 inf + 0
3.248 * * [simplify]: Extracting #1: cost 18 inf + 0
3.248 * * [simplify]: Extracting #2: cost 32 inf + 1
3.249 * * [simplify]: Extracting #3: cost 28 inf + 688
3.249 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.249 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.250 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.251 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.251 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
3.252 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.252 * * [simplify]: iters left: 5 (13 enodes)
3.255 * * [simplify]: iters left: 4 (36 enodes)
3.262 * * [simplify]: iters left: 3 (69 enodes)
3.274 * * [simplify]: iters left: 2 (108 enodes)
3.290 * * [simplify]: iters left: 1 (142 enodes)
3.310 * * [simplify]: Extracting #0: cost 1 inf + 0
3.310 * * [simplify]: Extracting #1: cost 3 inf + 0
3.310 * * [simplify]: Extracting #2: cost 25 inf + 0
3.310 * * [simplify]: Extracting #3: cost 26 inf + 2
3.311 * * [simplify]: Extracting #4: cost 20 inf + 1217
3.311 * * [simplify]: Extracting #5: cost 5 inf + 6972
3.312 * * [simplify]: Extracting #6: cost 0 inf + 9668
3.313 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
3.313 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
3.313 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
3.313 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
3.313 * * [simplify]: iters left: 6 (19 enodes)
3.318 * * [simplify]: iters left: 5 (69 enodes)
3.338 * * [simplify]: iters left: 4 (285 enodes)
3.520 * * [simplify]: Extracting #0: cost 1 inf + 0
3.520 * * [simplify]: Extracting #1: cost 53 inf + 0
3.526 * * [simplify]: Extracting #2: cost 282 inf + 1
3.530 * * [simplify]: Extracting #3: cost 503 inf + 21086
3.540 * * [simplify]: Extracting #4: cost 370 inf + 159062
3.558 * * [simplify]: Extracting #5: cost 256 inf + 274476
3.597 * * [simplify]: Extracting #6: cost 34 inf + 547909
3.638 * * [simplify]: Extracting #7: cost 0 inf + 598118
3.676 * * [simplify]: Extracting #8: cost 0 inf + 597758
3.708 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 2) i) beta)))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
3.708 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 2) i) beta)))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
3.708 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
3.708 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
3.709 * * [simplify]: iters left: 6 (18 enodes)
3.716 * * [simplify]: iters left: 5 (60 enodes)
3.733 * * [simplify]: iters left: 4 (217 enodes)
3.827 * * [simplify]: Extracting #0: cost 1 inf + 0
3.827 * * [simplify]: Extracting #1: cost 37 inf + 0
3.828 * * [simplify]: Extracting #2: cost 231 inf + 0
3.829 * * [simplify]: Extracting #3: cost 367 inf + 1775
3.837 * * [simplify]: Extracting #4: cost 340 inf + 85025
3.861 * * [simplify]: Extracting #5: cost 68 inf + 357292
3.906 * * [simplify]: Extracting #6: cost 0 inf + 446465
3.947 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 i (+.p16 beta alpha)) i) (*.p16 beta alpha))))
3.947 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 i (+.p16 beta alpha)) i) (*.p16 beta alpha))))))
3.947 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
3.947 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
3.948 * * [simplify]: iters left: 6 (21 enodes)
3.957 * * [simplify]: iters left: 5 (82 enodes)
3.991 * * [simplify]: iters left: 4 (367 enodes)
4.276 * * [simplify]: Extracting #0: cost 1 inf + 0
4.276 * * [simplify]: Extracting #1: cost 72 inf + 0
4.277 * * [simplify]: Extracting #2: cost 417 inf + 1
4.280 * * [simplify]: Extracting #3: cost 758 inf + 26822
4.289 * * [simplify]: Extracting #4: cost 733 inf + 164690
4.299 * * [simplify]: Extracting #5: cost 709 inf + 186755
4.311 * * [simplify]: Extracting #6: cost 690 inf + 202056
4.339 * * [simplify]: Extracting #7: cost 459 inf + 518766
4.406 * * [simplify]: Extracting #8: cost 62 inf + 1150522
4.488 * * [simplify]: Extracting #9: cost 1 inf + 1257644
4.562 * * [simplify]: Extracting #10: cost 0 inf + 1260729
4.637 * * [simplify]: Extracting #11: cost 0 inf + 1260609
4.710 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))
4.711 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.711 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
4.711 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
4.711 * * [simplify]: iters left: 6 (13 enodes)
4.715 * * [simplify]: iters left: 5 (45 enodes)
4.727 * * [simplify]: iters left: 4 (208 enodes)
4.851 * * [simplify]: Extracting #0: cost 1 inf + 0
4.854 * * [simplify]: Extracting #1: cost 61 inf + 0
4.855 * * [simplify]: Extracting #2: cost 446 inf + 0
4.857 * * [simplify]: Extracting #3: cost 619 inf + 769
4.863 * * [simplify]: Extracting #4: cost 480 inf + 118531
4.887 * * [simplify]: Extracting #5: cost 160 inf + 462396
4.927 * * [simplify]: Extracting #6: cost 6 inf + 655313
4.970 * * [simplify]: Extracting #7: cost 0 inf + 665383
5.043 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
5.044 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))))
5.044 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
5.044 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
5.045 * * [simplify]: iters left: 5 (15 enodes)
5.052 * * [simplify]: iters left: 4 (44 enodes)
5.070 * * [simplify]: iters left: 3 (112 enodes)
5.125 * * [simplify]: iters left: 2 (473 enodes)
5.494 * * [simplify]: Extracting #0: cost 1 inf + 0
5.494 * * [simplify]: Extracting #1: cost 35 inf + 0
5.495 * * [simplify]: Extracting #2: cost 286 inf + 1
5.497 * * [simplify]: Extracting #3: cost 528 inf + 4158
5.500 * * [simplify]: Extracting #4: cost 530 inf + 7620
5.504 * * [simplify]: Extracting #5: cost 473 inf + 34154
5.528 * * [simplify]: Extracting #6: cost 203 inf + 247385
5.579 * * [simplify]: Extracting #7: cost 17 inf + 433812
5.635 * * [simplify]: Extracting #8: cost 0 inf + 455263
5.691 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
5.691 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
5.692 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
5.692 * * [simplify]: iters left: 6 (17 enodes)
5.698 * * [simplify]: iters left: 5 (52 enodes)
5.715 * * [simplify]: iters left: 4 (154 enodes)
5.772 * * [simplify]: Extracting #0: cost 1 inf + 0
5.772 * * [simplify]: Extracting #1: cost 27 inf + 0
5.772 * * [simplify]: Extracting #2: cost 137 inf + 0
5.773 * * [simplify]: Extracting #3: cost 277 inf + 366
5.774 * * [simplify]: Extracting #4: cost 284 inf + 5479
5.775 * * [simplify]: Extracting #5: cost 252 inf + 13708
5.778 * * [simplify]: Extracting #6: cost 206 inf + 39018
5.790 * * [simplify]: Extracting #7: cost 38 inf + 214592
5.812 * * [simplify]: Extracting #8: cost 0 inf + 247968
5.842 * * [simplify]: Extracting #9: cost 0 inf + 243888
5.867 * * [simplify]: Extracting #10: cost 0 inf + 243528
5.890 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
5.890 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
5.890 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.890 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta)))
5.891 * * [simplify]: iters left: 3 (7 enodes)
5.892 * * [simplify]: iters left: 2 (23 enodes)
5.896 * * [simplify]: iters left: 1 (33 enodes)
5.901 * * [simplify]: Extracting #0: cost 1 inf + 0
5.901 * * [simplify]: Extracting #1: cost 7 inf + 0
5.901 * * [simplify]: Extracting #2: cost 13 inf + 0
5.902 * * [simplify]: Extracting #3: cost 9 inf + 45
5.902 * * [simplify]: Extracting #4: cost 2 inf + 1821
5.902 * * [simplify]: Extracting #5: cost 0 inf + 2907
5.902 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 alpha beta))
5.903 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 alpha beta)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
5.903 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.903 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i))
5.903 * * [simplify]: iters left: 3 (7 enodes)
5.906 * * [simplify]: iters left: 2 (17 enodes)
5.911 * * [simplify]: iters left: 1 (25 enodes)
5.919 * * [simplify]: Extracting #0: cost 1 inf + 0
5.919 * * [simplify]: Extracting #1: cost 9 inf + 0
5.919 * * [simplify]: Extracting #2: cost 13 inf + 0
5.919 * * [simplify]: Extracting #3: cost 10 inf + 3
5.919 * * [simplify]: Extracting #4: cost 2 inf + 3423
5.920 * * [simplify]: Extracting #5: cost 0 inf + 4829
5.920 * [simplify]: Simplified to (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 alpha beta))
5.920 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 alpha beta)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
5.921 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.921 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
5.921 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i))
5.921 * * [simplify]: iters left: 3 (6 enodes)
5.924 * * [simplify]: iters left: 2 (13 enodes)
5.928 * * [simplify]: Extracting #0: cost 1 inf + 0
5.928 * * [simplify]: Extracting #1: cost 3 inf + 0
5.928 * * [simplify]: Extracting #2: cost 4 inf + 1
5.928 * * [simplify]: Extracting #3: cost 4 inf + 2
5.929 * * [simplify]: Extracting #4: cost 0 inf + 689
5.929 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2)))
5.929 * [simplify]: Simplified (2 2 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))) (real->posit16 1.0))))
5.929 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0))))>
5.929 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.930 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
5.930 * * [simplify]: iters left: 6 (19 enodes)
5.939 * * [simplify]: iters left: 5 (76 enodes)
5.975 * * [simplify]: iters left: 4 (344 enodes)
6.196 * * [simplify]: Extracting #0: cost 1 inf + 0
6.196 * * [simplify]: Extracting #1: cost 75 inf + 0
6.197 * * [simplify]: Extracting #2: cost 474 inf + 1
6.200 * * [simplify]: Extracting #3: cost 741 inf + 26817
6.207 * * [simplify]: Extracting #4: cost 682 inf + 140740
6.222 * * [simplify]: Extracting #5: cost 610 inf + 190036
6.242 * * [simplify]: Extracting #6: cost 582 inf + 205163
6.272 * * [simplify]: Extracting #7: cost 359 inf + 459086
6.317 * * [simplify]: Extracting #8: cost 52 inf + 926046
6.390 * * [simplify]: Extracting #9: cost 0 inf + 1027849
6.473 * * [simplify]: Extracting #10: cost 0 inf + 1026329
6.546 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
6.546 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
6.546 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.547 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
6.547 * * [simplify]: iters left: 6 (19 enodes)
6.552 * * [simplify]: iters left: 5 (76 enodes)
6.572 * * [simplify]: iters left: 4 (344 enodes)
6.772 * * [simplify]: Extracting #0: cost 1 inf + 0
6.772 * * [simplify]: Extracting #1: cost 75 inf + 0
6.774 * * [simplify]: Extracting #2: cost 474 inf + 1
6.779 * * [simplify]: Extracting #3: cost 741 inf + 26817
6.792 * * [simplify]: Extracting #4: cost 682 inf + 140740
6.801 * * [simplify]: Extracting #5: cost 610 inf + 190036
6.812 * * [simplify]: Extracting #6: cost 582 inf + 205163
6.844 * * [simplify]: Extracting #7: cost 359 inf + 459086
6.890 * * [simplify]: Extracting #8: cost 52 inf + 926046
6.960 * * [simplify]: Extracting #9: cost 0 inf + 1027849
7.033 * * [simplify]: Extracting #10: cost 0 inf + 1026329
7.091 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
7.091 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
7.091 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
7.091 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
7.091 * * [simplify]: iters left: 6 (19 enodes)
7.096 * * [simplify]: iters left: 5 (76 enodes)
7.118 * * [simplify]: iters left: 4 (344 enodes)
7.336 * * [simplify]: Extracting #0: cost 1 inf + 0
7.336 * * [simplify]: Extracting #1: cost 75 inf + 0
7.337 * * [simplify]: Extracting #2: cost 474 inf + 1
7.341 * * [simplify]: Extracting #3: cost 741 inf + 26817
7.347 * * [simplify]: Extracting #4: cost 682 inf + 140740
7.358 * * [simplify]: Extracting #5: cost 610 inf + 190036
7.375 * * [simplify]: Extracting #6: cost 582 inf + 205163
7.402 * * [simplify]: Extracting #7: cost 359 inf + 459086
7.468 * * [simplify]: Extracting #8: cost 52 inf + 926046
7.544 * * [simplify]: Extracting #9: cost 0 inf + 1027849
7.605 * * [simplify]: Extracting #10: cost 0 inf + 1026329
7.679 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
7.679 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
7.679 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
7.679 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
7.679 * * [simplify]: iters left: 6 (19 enodes)
7.684 * * [simplify]: iters left: 5 (76 enodes)
7.706 * * [simplify]: iters left: 4 (344 enodes)
7.895 * * [simplify]: Extracting #0: cost 1 inf + 0
7.895 * * [simplify]: Extracting #1: cost 75 inf + 0
7.897 * * [simplify]: Extracting #2: cost 474 inf + 1
7.902 * * [simplify]: Extracting #3: cost 741 inf + 26817
7.912 * * [simplify]: Extracting #4: cost 682 inf + 140740
7.925 * * [simplify]: Extracting #5: cost 610 inf + 190036
7.939 * * [simplify]: Extracting #6: cost 582 inf + 205163
7.961 * * [simplify]: Extracting #7: cost 359 inf + 459086
8.031 * * [simplify]: Extracting #8: cost 52 inf + 926046
8.086 * * [simplify]: Extracting #9: cost 0 inf + 1027849
8.146 * * [simplify]: Extracting #10: cost 0 inf + 1026329
8.223 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
8.223 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
8.223 * * * [progress]: adding candidates to table
8.955 * * [progress]: iteration 2 / 4
8.955 * * * [progress]: picking best candidate
9.185 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.185 * * * [progress]: localizing error
9.651 * * * [progress]: generating rewritten candidates
9.651 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
9.684 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
9.697 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.743 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
9.824 * * * [progress]: generating series expansions
9.824 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
9.824 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
9.825 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.825 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
9.825 * * * [progress]: simplifying candidates
9.825 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.825 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
9.825 * * [simplify]: iters left: 4 (10 enodes)
9.830 * * [simplify]: iters left: 3 (25 enodes)
9.837 * * [simplify]: iters left: 2 (37 enodes)
9.847 * * [simplify]: iters left: 1 (40 enodes)
9.857 * * [simplify]: Extracting #0: cost 1 inf + 0
9.858 * * [simplify]: Extracting #1: cost 3 inf + 0
9.858 * * [simplify]: Extracting #2: cost 12 inf + 0
9.858 * * [simplify]: Extracting #3: cost 9 inf + 45
9.858 * * [simplify]: Extracting #4: cost 7 inf + 212
9.858 * * [simplify]: Extracting #5: cost 6 inf + 213
9.858 * * [simplify]: Extracting #6: cost 0 inf + 2590
9.859 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
9.859 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
9.859 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.859 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
9.860 * * [simplify]: iters left: 6 (19 enodes)
9.869 * * [simplify]: iters left: 5 (61 enodes)
9.894 * * [simplify]: iters left: 4 (215 enodes)
10.033 * * [simplify]: Extracting #0: cost 1 inf + 0
10.033 * * [simplify]: Extracting #1: cost 22 inf + 0
10.034 * * [simplify]: Extracting #2: cost 157 inf + 0
10.036 * * [simplify]: Extracting #3: cost 351 inf + 1090
10.039 * * [simplify]: Extracting #4: cost 392 inf + 5117
10.051 * * [simplify]: Extracting #5: cost 251 inf + 127248
10.091 * * [simplify]: Extracting #6: cost 24 inf + 378730
10.116 * * [simplify]: Extracting #7: cost 0 inf + 401240
10.151 * * [simplify]: Extracting #8: cost 0 inf + 401120
10.198 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))
10.198 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.199 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
10.199 * [simplify]: Simplifying (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
10.199 * * [simplify]: iters left: 5 (12 enodes)
10.203 * * [simplify]: iters left: 4 (41 enodes)
10.213 * * [simplify]: iters left: 3 (156 enodes)
10.298 * * [simplify]: Extracting #0: cost 1 inf + 0
10.298 * * [simplify]: Extracting #1: cost 66 inf + 0
10.299 * * [simplify]: Extracting #2: cost 331 inf + 0
10.300 * * [simplify]: Extracting #3: cost 401 inf + 2820
10.304 * * [simplify]: Extracting #4: cost 325 inf + 51469
10.316 * * [simplify]: Extracting #5: cost 77 inf + 233093
10.352 * * [simplify]: Extracting #6: cost 1 inf + 291952
10.378 * * [simplify]: Extracting #7: cost 0 inf + 292995
10.408 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.408 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
10.409 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.409 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
10.409 * * [simplify]: iters left: 5 (12 enodes)
10.415 * * [simplify]: iters left: 4 (35 enodes)
10.429 * * [simplify]: iters left: 3 (115 enodes)
10.494 * * [simplify]: Extracting #0: cost 1 inf + 0
10.495 * * [simplify]: Extracting #1: cost 57 inf + 0
10.496 * * [simplify]: Extracting #2: cost 211 inf + 0
10.497 * * [simplify]: Extracting #3: cost 242 inf + 2097
10.500 * * [simplify]: Extracting #4: cost 201 inf + 17680
10.504 * * [simplify]: Extracting #5: cost 79 inf + 93773
10.517 * * [simplify]: Extracting #6: cost 0 inf + 156101
10.528 * * [simplify]: Extracting #7: cost 0 inf + 156094
10.539 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
10.539 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.539 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.539 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.539 * * [simplify]: iters left: 5 (15 enodes)
10.543 * * [simplify]: iters left: 4 (44 enodes)
10.552 * * [simplify]: iters left: 3 (112 enodes)
10.596 * * [simplify]: iters left: 2 (473 enodes)
10.975 * * [simplify]: Extracting #0: cost 1 inf + 0
10.975 * * [simplify]: Extracting #1: cost 35 inf + 0
10.975 * * [simplify]: Extracting #2: cost 286 inf + 1
10.978 * * [simplify]: Extracting #3: cost 528 inf + 4158
10.984 * * [simplify]: Extracting #4: cost 530 inf + 7620
10.988 * * [simplify]: Extracting #5: cost 473 inf + 34154
11.003 * * [simplify]: Extracting #6: cost 203 inf + 247385
11.039 * * [simplify]: Extracting #7: cost 17 inf + 433812
11.094 * * [simplify]: Extracting #8: cost 0 inf + 455263
11.145 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
11.145 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.146 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.146 * * [simplify]: iters left: 6 (17 enodes)
11.154 * * [simplify]: iters left: 5 (52 enodes)
11.167 * * [simplify]: iters left: 4 (154 enodes)
11.242 * * [simplify]: Extracting #0: cost 1 inf + 0
11.242 * * [simplify]: Extracting #1: cost 27 inf + 0
11.243 * * [simplify]: Extracting #2: cost 137 inf + 0
11.244 * * [simplify]: Extracting #3: cost 277 inf + 366
11.247 * * [simplify]: Extracting #4: cost 284 inf + 5479
11.250 * * [simplify]: Extracting #5: cost 252 inf + 13708
11.255 * * [simplify]: Extracting #6: cost 206 inf + 39018
11.282 * * [simplify]: Extracting #7: cost 38 inf + 214592
11.313 * * [simplify]: Extracting #8: cost 0 inf + 247968
11.343 * * [simplify]: Extracting #9: cost 0 inf + 243888
11.375 * * [simplify]: Extracting #10: cost 0 inf + 243528
11.405 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
11.405 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
11.406 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.406 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.406 * * [simplify]: iters left: 5 (15 enodes)
11.414 * * [simplify]: iters left: 4 (44 enodes)
11.433 * * [simplify]: iters left: 3 (112 enodes)
11.473 * * [simplify]: iters left: 2 (473 enodes)
11.920 * * [simplify]: Extracting #0: cost 1 inf + 0
11.921 * * [simplify]: Extracting #1: cost 35 inf + 0
11.922 * * [simplify]: Extracting #2: cost 286 inf + 1
11.925 * * [simplify]: Extracting #3: cost 528 inf + 4158
11.931 * * [simplify]: Extracting #4: cost 530 inf + 7620
11.938 * * [simplify]: Extracting #5: cost 473 inf + 34154
11.964 * * [simplify]: Extracting #6: cost 203 inf + 247385
12.023 * * [simplify]: Extracting #7: cost 17 inf + 433812
12.076 * * [simplify]: Extracting #8: cost 0 inf + 455263
12.131 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
12.131 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
12.132 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.132 * * [simplify]: iters left: 6 (17 enodes)
12.140 * * [simplify]: iters left: 5 (52 enodes)
12.161 * * [simplify]: iters left: 4 (154 enodes)
12.212 * * [simplify]: Extracting #0: cost 1 inf + 0
12.212 * * [simplify]: Extracting #1: cost 27 inf + 0
12.213 * * [simplify]: Extracting #2: cost 137 inf + 0
12.213 * * [simplify]: Extracting #3: cost 277 inf + 366
12.214 * * [simplify]: Extracting #4: cost 284 inf + 5479
12.216 * * [simplify]: Extracting #5: cost 252 inf + 13708
12.218 * * [simplify]: Extracting #6: cost 206 inf + 39018
12.230 * * [simplify]: Extracting #7: cost 38 inf + 214592
12.245 * * [simplify]: Extracting #8: cost 0 inf + 247968
12.263 * * [simplify]: Extracting #9: cost 0 inf + 243888
12.284 * * [simplify]: Extracting #10: cost 0 inf + 243528
12.299 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
12.300 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
12.300 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
12.300 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.300 * * [simplify]: iters left: 5 (15 enodes)
12.304 * * [simplify]: iters left: 4 (44 enodes)
12.312 * * [simplify]: iters left: 3 (112 enodes)
12.344 * * [simplify]: iters left: 2 (473 enodes)
12.733 * * [simplify]: Extracting #0: cost 1 inf + 0
12.733 * * [simplify]: Extracting #1: cost 35 inf + 0
12.735 * * [simplify]: Extracting #2: cost 286 inf + 1
12.740 * * [simplify]: Extracting #3: cost 528 inf + 4158
12.745 * * [simplify]: Extracting #4: cost 530 inf + 7620
12.749 * * [simplify]: Extracting #5: cost 473 inf + 34154
12.765 * * [simplify]: Extracting #6: cost 203 inf + 247385
12.815 * * [simplify]: Extracting #7: cost 17 inf + 433812
12.855 * * [simplify]: Extracting #8: cost 0 inf + 455263
12.909 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
12.909 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
12.910 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.910 * * [simplify]: iters left: 6 (17 enodes)
12.914 * * [simplify]: iters left: 5 (52 enodes)
12.927 * * [simplify]: iters left: 4 (154 enodes)
13.026 * * [simplify]: Extracting #0: cost 1 inf + 0
13.026 * * [simplify]: Extracting #1: cost 27 inf + 0
13.027 * * [simplify]: Extracting #2: cost 137 inf + 0
13.028 * * [simplify]: Extracting #3: cost 277 inf + 366
13.029 * * [simplify]: Extracting #4: cost 284 inf + 5479
13.033 * * [simplify]: Extracting #5: cost 252 inf + 13708
13.036 * * [simplify]: Extracting #6: cost 206 inf + 39018
13.046 * * [simplify]: Extracting #7: cost 38 inf + 214592
13.064 * * [simplify]: Extracting #8: cost 0 inf + 247968
13.096 * * [simplify]: Extracting #9: cost 0 inf + 243888
13.127 * * [simplify]: Extracting #10: cost 0 inf + 243528
13.146 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
13.147 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
13.147 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
13.147 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.147 * * [simplify]: iters left: 5 (15 enodes)
13.152 * * [simplify]: iters left: 4 (44 enodes)
13.161 * * [simplify]: iters left: 3 (112 enodes)
13.190 * * [simplify]: iters left: 2 (473 enodes)
13.631 * * [simplify]: Extracting #0: cost 1 inf + 0
13.632 * * [simplify]: Extracting #1: cost 35 inf + 0
13.633 * * [simplify]: Extracting #2: cost 286 inf + 1
13.637 * * [simplify]: Extracting #3: cost 528 inf + 4158
13.643 * * [simplify]: Extracting #4: cost 530 inf + 7620
13.651 * * [simplify]: Extracting #5: cost 473 inf + 34154
13.687 * * [simplify]: Extracting #6: cost 203 inf + 247385
13.756 * * [simplify]: Extracting #7: cost 17 inf + 433812
13.836 * * [simplify]: Extracting #8: cost 0 inf + 455263
13.906 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
13.906 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
13.907 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.907 * * [simplify]: iters left: 6 (17 enodes)
13.911 * * [simplify]: iters left: 5 (52 enodes)
13.930 * * [simplify]: iters left: 4 (154 enodes)
14.033 * * [simplify]: Extracting #0: cost 1 inf + 0
14.034 * * [simplify]: Extracting #1: cost 27 inf + 0
14.034 * * [simplify]: Extracting #2: cost 137 inf + 0
14.036 * * [simplify]: Extracting #3: cost 277 inf + 366
14.038 * * [simplify]: Extracting #4: cost 284 inf + 5479
14.041 * * [simplify]: Extracting #5: cost 252 inf + 13708
14.046 * * [simplify]: Extracting #6: cost 206 inf + 39018
14.070 * * [simplify]: Extracting #7: cost 38 inf + 214592
14.096 * * [simplify]: Extracting #8: cost 0 inf + 247968
14.116 * * [simplify]: Extracting #9: cost 0 inf + 243888
14.132 * * [simplify]: Extracting #10: cost 0 inf + 243528
14.162 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
14.163 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
14.163 * * * [progress]: adding candidates to table
14.569 * * [progress]: iteration 3 / 4
14.569 * * * [progress]: picking best candidate
14.879 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
14.879 * * * [progress]: localizing error
15.378 * * * [progress]: generating rewritten candidates
15.378 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
15.386 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
15.415 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
15.446 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
15.522 * * * [progress]: generating series expansions
15.522 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
15.522 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
15.522 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
15.522 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
15.522 * * * [progress]: simplifying candidates
15.522 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
15.522 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
15.523 * * [simplify]: iters left: 6 (19 enodes)
15.532 * * [simplify]: iters left: 5 (61 enodes)
15.547 * * [simplify]: iters left: 4 (215 enodes)
15.673 * * [simplify]: Extracting #0: cost 1 inf + 0
15.673 * * [simplify]: Extracting #1: cost 22 inf + 0
15.674 * * [simplify]: Extracting #2: cost 157 inf + 0
15.675 * * [simplify]: Extracting #3: cost 351 inf + 1090
15.677 * * [simplify]: Extracting #4: cost 392 inf + 5117
15.683 * * [simplify]: Extracting #5: cost 251 inf + 127248
15.716 * * [simplify]: Extracting #6: cost 24 inf + 378730
15.766 * * [simplify]: Extracting #7: cost 0 inf + 401240
15.801 * * [simplify]: Extracting #8: cost 0 inf + 401120
15.838 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))
15.838 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
15.839 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
15.839 * [simplify]: Simplifying (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.839 * * [simplify]: iters left: 5 (12 enodes)
15.843 * * [simplify]: iters left: 4 (41 enodes)
15.855 * * [simplify]: iters left: 3 (156 enodes)
15.951 * * [simplify]: Extracting #0: cost 1 inf + 0
15.951 * * [simplify]: Extracting #1: cost 66 inf + 0
15.952 * * [simplify]: Extracting #2: cost 331 inf + 0
15.953 * * [simplify]: Extracting #3: cost 401 inf + 2820
15.958 * * [simplify]: Extracting #4: cost 325 inf + 51469
15.983 * * [simplify]: Extracting #5: cost 77 inf + 233093
16.019 * * [simplify]: Extracting #6: cost 1 inf + 291952
16.039 * * [simplify]: Extracting #7: cost 0 inf + 292995
16.077 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
16.077 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
16.077 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.077 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
16.078 * * [simplify]: iters left: 5 (13 enodes)
16.084 * * [simplify]: iters left: 4 (32 enodes)
16.095 * * [simplify]: iters left: 3 (58 enodes)
16.115 * * [simplify]: iters left: 2 (88 enodes)
16.147 * * [simplify]: iters left: 1 (106 enodes)
16.171 * * [simplify]: Extracting #0: cost 1 inf + 0
16.171 * * [simplify]: Extracting #1: cost 3 inf + 0
16.171 * * [simplify]: Extracting #2: cost 20 inf + 0
16.171 * * [simplify]: Extracting #3: cost 19 inf + 3
16.171 * * [simplify]: Extracting #4: cost 13 inf + 256
16.172 * * [simplify]: Extracting #5: cost 10 inf + 382
16.172 * * [simplify]: Extracting #6: cost 0 inf + 4416
16.173 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
16.173 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
16.173 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.173 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))
16.173 * * [simplify]: iters left: 5 (14 enodes)
16.177 * * [simplify]: iters left: 4 (36 enodes)
16.184 * * [simplify]: iters left: 3 (94 enodes)
16.223 * * [simplify]: iters left: 2 (461 enodes)
16.660 * * [simplify]: Extracting #0: cost 1 inf + 0
16.661 * * [simplify]: Extracting #1: cost 90 inf + 0
16.663 * * [simplify]: Extracting #2: cost 499 inf + 0
16.668 * * [simplify]: Extracting #3: cost 748 inf + 1538
16.675 * * [simplify]: Extracting #4: cost 725 inf + 12457
16.685 * * [simplify]: Extracting #5: cost 525 inf + 159208
16.744 * * [simplify]: Extracting #6: cost 39 inf + 657895
16.848 * * [simplify]: Extracting #7: cost 0 inf + 701036
16.950 * * [simplify]: Extracting #8: cost 0 inf + 700996
17.003 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
17.004 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.004 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.004 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.004 * * [simplify]: iters left: 4 (10 enodes)
17.007 * * [simplify]: iters left: 3 (25 enodes)
17.011 * * [simplify]: iters left: 2 (37 enodes)
17.017 * * [simplify]: iters left: 1 (40 enodes)
17.022 * * [simplify]: Extracting #0: cost 1 inf + 0
17.023 * * [simplify]: Extracting #1: cost 3 inf + 0
17.023 * * [simplify]: Extracting #2: cost 12 inf + 0
17.023 * * [simplify]: Extracting #3: cost 9 inf + 45
17.023 * * [simplify]: Extracting #4: cost 7 inf + 212
17.023 * * [simplify]: Extracting #5: cost 6 inf + 213
17.023 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.023 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.023 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.023 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.024 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.024 * * [simplify]: iters left: 4 (10 enodes)
17.026 * * [simplify]: iters left: 3 (25 enodes)
17.030 * * [simplify]: iters left: 2 (37 enodes)
17.036 * * [simplify]: iters left: 1 (40 enodes)
17.042 * * [simplify]: Extracting #0: cost 1 inf + 0
17.042 * * [simplify]: Extracting #1: cost 3 inf + 0
17.042 * * [simplify]: Extracting #2: cost 12 inf + 0
17.043 * * [simplify]: Extracting #3: cost 9 inf + 45
17.043 * * [simplify]: Extracting #4: cost 7 inf + 212
17.043 * * [simplify]: Extracting #5: cost 6 inf + 213
17.043 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.043 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.043 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.043 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.044 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.044 * * [simplify]: iters left: 4 (10 enodes)
17.046 * * [simplify]: iters left: 3 (25 enodes)
17.050 * * [simplify]: iters left: 2 (37 enodes)
17.056 * * [simplify]: iters left: 1 (40 enodes)
17.063 * * [simplify]: Extracting #0: cost 1 inf + 0
17.063 * * [simplify]: Extracting #1: cost 3 inf + 0
17.063 * * [simplify]: Extracting #2: cost 12 inf + 0
17.063 * * [simplify]: Extracting #3: cost 9 inf + 45
17.063 * * [simplify]: Extracting #4: cost 7 inf + 212
17.063 * * [simplify]: Extracting #5: cost 6 inf + 213
17.063 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.064 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.064 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.064 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.064 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.064 * * [simplify]: iters left: 4 (10 enodes)
17.067 * * [simplify]: iters left: 3 (25 enodes)
17.071 * * [simplify]: iters left: 2 (37 enodes)
17.076 * * [simplify]: iters left: 1 (40 enodes)
17.086 * * [simplify]: Extracting #0: cost 1 inf + 0
17.086 * * [simplify]: Extracting #1: cost 3 inf + 0
17.086 * * [simplify]: Extracting #2: cost 12 inf + 0
17.087 * * [simplify]: Extracting #3: cost 9 inf + 45
17.087 * * [simplify]: Extracting #4: cost 7 inf + 212
17.087 * * [simplify]: Extracting #5: cost 6 inf + 213
17.087 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.088 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.088 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.088 * * * [progress]: adding candidates to table
17.407 * * [progress]: iteration 4 / 4
17.407 * * * [progress]: picking best candidate
17.661 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.661 * * * [progress]: localizing error
18.074 * * * [progress]: generating rewritten candidates
18.075 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
18.082 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
18.145 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
18.151 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
18.176 * * * [progress]: generating series expansions
18.176 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
18.176 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
18.176 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
18.176 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
18.176 * * * [progress]: simplifying candidates
18.176 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.176 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
18.176 * * [simplify]: iters left: 6 (19 enodes)
18.183 * * [simplify]: iters left: 5 (61 enodes)
18.201 * * [simplify]: iters left: 4 (215 enodes)
18.303 * * [simplify]: Extracting #0: cost 1 inf + 0
18.304 * * [simplify]: Extracting #1: cost 22 inf + 0
18.304 * * [simplify]: Extracting #2: cost 157 inf + 0
18.305 * * [simplify]: Extracting #3: cost 351 inf + 1090
18.307 * * [simplify]: Extracting #4: cost 392 inf + 5117
18.321 * * [simplify]: Extracting #5: cost 251 inf + 127248
18.351 * * [simplify]: Extracting #6: cost 24 inf + 378730
18.379 * * [simplify]: Extracting #7: cost 0 inf + 401240
18.415 * * [simplify]: Extracting #8: cost 0 inf + 401120
18.441 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))
18.441 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
18.441 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
18.442 * [simplify]: Simplifying (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
18.442 * * [simplify]: iters left: 5 (12 enodes)
18.445 * * [simplify]: iters left: 4 (41 enodes)
18.455 * * [simplify]: iters left: 3 (156 enodes)
18.524 * * [simplify]: Extracting #0: cost 1 inf + 0
18.524 * * [simplify]: Extracting #1: cost 66 inf + 0
18.525 * * [simplify]: Extracting #2: cost 331 inf + 0
18.526 * * [simplify]: Extracting #3: cost 401 inf + 2820
18.530 * * [simplify]: Extracting #4: cost 325 inf + 51469
18.542 * * [simplify]: Extracting #5: cost 77 inf + 233093
18.565 * * [simplify]: Extracting #6: cost 1 inf + 291952
18.585 * * [simplify]: Extracting #7: cost 0 inf + 292995
18.605 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
18.605 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
18.605 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.606 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
18.606 * * [simplify]: iters left: 5 (13 enodes)
18.610 * * [simplify]: iters left: 4 (32 enodes)
18.616 * * [simplify]: iters left: 3 (58 enodes)
18.626 * * [simplify]: iters left: 2 (88 enodes)
18.641 * * [simplify]: iters left: 1 (106 enodes)
18.660 * * [simplify]: Extracting #0: cost 1 inf + 0
18.660 * * [simplify]: Extracting #1: cost 3 inf + 0
18.660 * * [simplify]: Extracting #2: cost 20 inf + 0
18.660 * * [simplify]: Extracting #3: cost 19 inf + 3
18.660 * * [simplify]: Extracting #4: cost 13 inf + 256
18.661 * * [simplify]: Extracting #5: cost 10 inf + 382
18.662 * * [simplify]: Extracting #6: cost 0 inf + 4416
18.663 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
18.663 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
18.663 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.664 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
18.664 * * [simplify]: iters left: 5 (13 enodes)
18.670 * * [simplify]: iters left: 4 (32 enodes)
18.681 * * [simplify]: iters left: 3 (58 enodes)
18.700 * * [simplify]: iters left: 2 (88 enodes)
18.729 * * [simplify]: iters left: 1 (106 enodes)
18.754 * * [simplify]: Extracting #0: cost 1 inf + 0
18.754 * * [simplify]: Extracting #1: cost 3 inf + 0
18.754 * * [simplify]: Extracting #2: cost 20 inf + 0
18.754 * * [simplify]: Extracting #3: cost 19 inf + 3
18.754 * * [simplify]: Extracting #4: cost 13 inf + 256
18.755 * * [simplify]: Extracting #5: cost 10 inf + 382
18.755 * * [simplify]: Extracting #6: cost 0 inf + 4416
18.756 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
18.756 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
18.756 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.756 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
18.756 * * [simplify]: iters left: 5 (13 enodes)
18.759 * * [simplify]: iters left: 4 (32 enodes)
18.765 * * [simplify]: iters left: 3 (58 enodes)
18.776 * * [simplify]: iters left: 2 (88 enodes)
18.790 * * [simplify]: iters left: 1 (106 enodes)
18.805 * * [simplify]: Extracting #0: cost 1 inf + 0
18.805 * * [simplify]: Extracting #1: cost 3 inf + 0
18.805 * * [simplify]: Extracting #2: cost 20 inf + 0
18.805 * * [simplify]: Extracting #3: cost 19 inf + 3
18.805 * * [simplify]: Extracting #4: cost 13 inf + 256
18.805 * * [simplify]: Extracting #5: cost 10 inf + 382
18.806 * * [simplify]: Extracting #6: cost 0 inf + 4416
18.806 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
18.807 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
18.807 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.807 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
18.807 * * [simplify]: iters left: 5 (13 enodes)
18.810 * * [simplify]: iters left: 4 (32 enodes)
18.816 * * [simplify]: iters left: 3 (58 enodes)
18.827 * * [simplify]: iters left: 2 (88 enodes)
18.841 * * [simplify]: iters left: 1 (106 enodes)
18.855 * * [simplify]: Extracting #0: cost 1 inf + 0
18.855 * * [simplify]: Extracting #1: cost 3 inf + 0
18.855 * * [simplify]: Extracting #2: cost 20 inf + 0
18.855 * * [simplify]: Extracting #3: cost 19 inf + 3
18.856 * * [simplify]: Extracting #4: cost 13 inf + 256
18.856 * * [simplify]: Extracting #5: cost 10 inf + 382
18.856 * * [simplify]: Extracting #6: cost 0 inf + 4416
18.857 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
18.857 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
18.857 * * * [progress]: adding candidates to table
18.997 * [progress]: [Phase 3 of 3] Extracting.
18.998 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 2) i) beta)))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>)
19.010 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
19.011 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 2) i) beta)))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>)
19.358 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 2) i) beta)))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>)
19.711 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 2) i) beta)))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>)
20.078 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
20.078 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
20.078 * * [simplify]: iters left: 6 (22 enodes)
20.080 * * [simplify]: Extracting #0: cost 1 inf + 0
20.080 * * [simplify]: Extracting #1: cost 3 inf + 0
20.080 * * [simplify]: Extracting #2: cost 7 inf + 0
20.080 * * [simplify]: Extracting #3: cost 12 inf + 0
20.080 * * [simplify]: Extracting #4: cost 17 inf + 1
20.080 * * [simplify]: Extracting #5: cost 19 inf + 2
20.081 * * [simplify]: Extracting #6: cost 15 inf + 369
20.081 * * [simplify]: Extracting #7: cost 11 inf + 857
20.081 * * [simplify]: Extracting #8: cost 6 inf + 3675
20.082 * * [simplify]: Extracting #9: cost 1 inf + 10938
20.083 * * [simplify]: Extracting #10: cost 0 inf + 14703
20.083 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
20.083 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
20.138 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
20.143 * * * * [points]: Setting MPFR precision to 64
20.144 * * * * [points]: Setting MPFR precision to 320
20.145 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
20.150 * * * * [points]: Setting MPFR precision to 64
20.153 * * * * [points]: Setting MPFR precision to 320
20.155 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
20.160 * * * * [points]: Setting MPFR precision to 64
20.165 * * * * [points]: Setting MPFR precision to 320
20.169 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
20.174 * * * * [points]: Setting MPFR precision to 64
20.184 * * * * [points]: Setting MPFR precision to 320
20.193 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
20.198 * * * * [points]: Setting MPFR precision to 64
20.217 * * * * [points]: Setting MPFR precision to 320
20.257 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
20.262 * * * * [points]: Setting MPFR precision to 64
20.301 * * * * [points]: Setting MPFR precision to 320
20.338 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
20.343 * * * * [points]: Setting MPFR precision to 64
20.857 * * * * [points]: Setting MPFR precision to 320
20.980 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
20.985 * * * * [points]: Setting MPFR precision to 64
21.181 * * * * [points]: Setting MPFR precision to 320
21.455 * * * * [points]: Computing exacts for 8000 points
21.467 * * * * [points]: Setting MPFR precision to 64
22.788 * * * * [points]: Setting MPFR precision to 320
24.656 * * * * [points]: Filtering points with unrepresentable outputs
24.660 * * * * [points]: Sampling 6897 additional inputs, on iter 1 have 1103 / 8000
24.706 * * * * [points]: Computing exacts on every 431 of 6897 points to ramp up precision
24.715 * * * * [points]: Setting MPFR precision to 64
24.717 * * * * [points]: Setting MPFR precision to 320
24.720 * * * * [points]: Computing exacts on every 215 of 6897 points to ramp up precision
24.761 * * * * [points]: Setting MPFR precision to 64
24.765 * * * * [points]: Setting MPFR precision to 320
24.767 * * * * [points]: Computing exacts on every 107 of 6897 points to ramp up precision
24.772 * * * * [points]: Setting MPFR precision to 64
24.777 * * * * [points]: Setting MPFR precision to 320
24.782 * * * * [points]: Computing exacts on every 53 of 6897 points to ramp up precision
24.786 * * * * [points]: Setting MPFR precision to 64
24.803 * * * * [points]: Setting MPFR precision to 320
24.814 * * * * [points]: Computing exacts on every 26 of 6897 points to ramp up precision
24.819 * * * * [points]: Setting MPFR precision to 64
24.841 * * * * [points]: Setting MPFR precision to 320
24.876 * * * * [points]: Computing exacts on every 13 of 6897 points to ramp up precision
24.920 * * * * [points]: Setting MPFR precision to 64
24.991 * * * * [points]: Setting MPFR precision to 320
25.059 * * * * [points]: Computing exacts on every 6 of 6897 points to ramp up precision
25.068 * * * * [points]: Setting MPFR precision to 64
25.186 * * * * [points]: Setting MPFR precision to 320
25.289 * * * * [points]: Computing exacts on every 3 of 6897 points to ramp up precision
25.297 * * * * [points]: Setting MPFR precision to 64
25.496 * * * * [points]: Setting MPFR precision to 320
25.704 * * * * [points]: Computing exacts for 6897 points
25.709 * * * * [points]: Setting MPFR precision to 64
26.615 * * * * [points]: Setting MPFR precision to 320
27.743 * * * * [points]: Filtering points with unrepresentable outputs
27.750 * * * * [points]: Sampling 5918 additional inputs, on iter 2 have 2082 / 8000
27.794 * * * * [points]: Computing exacts on every 369 of 5918 points to ramp up precision
27.803 * * * * [points]: Setting MPFR precision to 64
27.805 * * * * [points]: Setting MPFR precision to 320
27.808 * * * * [points]: Computing exacts on every 184 of 5918 points to ramp up precision
27.817 * * * * [points]: Setting MPFR precision to 64
27.822 * * * * [points]: Setting MPFR precision to 320
27.826 * * * * [points]: Computing exacts on every 92 of 5918 points to ramp up precision
27.836 * * * * [points]: Setting MPFR precision to 64
27.845 * * * * [points]: Setting MPFR precision to 320
27.853 * * * * [points]: Computing exacts on every 46 of 5918 points to ramp up precision
27.863 * * * * [points]: Setting MPFR precision to 64
27.881 * * * * [points]: Setting MPFR precision to 320
27.898 * * * * [points]: Computing exacts on every 23 of 5918 points to ramp up precision
27.938 * * * * [points]: Setting MPFR precision to 64
27.978 * * * * [points]: Setting MPFR precision to 320
28.012 * * * * [points]: Computing exacts on every 11 of 5918 points to ramp up precision
28.021 * * * * [points]: Setting MPFR precision to 64
28.090 * * * * [points]: Setting MPFR precision to 320
28.203 * * * * [points]: Computing exacts on every 5 of 5918 points to ramp up precision
28.211 * * * * [points]: Setting MPFR precision to 64
28.312 * * * * [points]: Setting MPFR precision to 320
28.481 * * * * [points]: Computing exacts on every 2 of 5918 points to ramp up precision
28.491 * * * * [points]: Setting MPFR precision to 64
28.800 * * * * [points]: Setting MPFR precision to 320
29.037 * * * * [points]: Computing exacts for 5918 points
29.046 * * * * [points]: Setting MPFR precision to 64
30.050 * * * * [points]: Setting MPFR precision to 320
31.347 * * * * [points]: Filtering points with unrepresentable outputs
31.353 * * * * [points]: Sampling 5066 additional inputs, on iter 3 have 2934 / 8000
31.393 * * * * [points]: Computing exacts on every 316 of 5066 points to ramp up precision
31.402 * * * * [points]: Setting MPFR precision to 64
31.404 * * * * [points]: Setting MPFR precision to 320
31.406 * * * * [points]: Computing exacts on every 158 of 5066 points to ramp up precision
31.413 * * * * [points]: Setting MPFR precision to 64
31.416 * * * * [points]: Setting MPFR precision to 320
31.418 * * * * [points]: Computing exacts on every 79 of 5066 points to ramp up precision
31.423 * * * * [points]: Setting MPFR precision to 64
31.451 * * * * [points]: Setting MPFR precision to 320
31.457 * * * * [points]: Computing exacts on every 39 of 5066 points to ramp up precision
31.462 * * * * [points]: Setting MPFR precision to 64
31.471 * * * * [points]: Setting MPFR precision to 320
31.480 * * * * [points]: Computing exacts on every 19 of 5066 points to ramp up precision
31.485 * * * * [points]: Setting MPFR precision to 64
31.505 * * * * [points]: Setting MPFR precision to 320
31.523 * * * * [points]: Computing exacts on every 9 of 5066 points to ramp up precision
31.528 * * * * [points]: Setting MPFR precision to 64
31.595 * * * * [points]: Setting MPFR precision to 320
31.632 * * * * [points]: Computing exacts on every 4 of 5066 points to ramp up precision
31.637 * * * * [points]: Setting MPFR precision to 64
31.744 * * * * [points]: Setting MPFR precision to 320
31.820 * * * * [points]: Computing exacts on every 2 of 5066 points to ramp up precision
31.826 * * * * [points]: Setting MPFR precision to 64
32.019 * * * * [points]: Setting MPFR precision to 320
32.174 * * * * [points]: Computing exacts for 5066 points
32.179 * * * * [points]: Setting MPFR precision to 64
32.656 * * * * [points]: Setting MPFR precision to 320
33.244 * * * * [points]: Filtering points with unrepresentable outputs
33.249 * * * * [points]: Sampling 4350 additional inputs, on iter 4 have 3650 / 8000
33.283 * * * * [points]: Computing exacts on every 271 of 4350 points to ramp up precision
33.292 * * * * [points]: Setting MPFR precision to 64
33.293 * * * * [points]: Setting MPFR precision to 320
33.294 * * * * [points]: Computing exacts on every 135 of 4350 points to ramp up precision
33.299 * * * * [points]: Setting MPFR precision to 64
33.302 * * * * [points]: Setting MPFR precision to 320
33.304 * * * * [points]: Computing exacts on every 67 of 4350 points to ramp up precision
33.309 * * * * [points]: Setting MPFR precision to 64
33.314 * * * * [points]: Setting MPFR precision to 320
33.318 * * * * [points]: Computing exacts on every 33 of 4350 points to ramp up precision
33.323 * * * * [points]: Setting MPFR precision to 64
33.332 * * * * [points]: Setting MPFR precision to 320
33.365 * * * * [points]: Computing exacts on every 16 of 4350 points to ramp up precision
33.377 * * * * [points]: Setting MPFR precision to 64
33.415 * * * * [points]: Setting MPFR precision to 320
33.448 * * * * [points]: Computing exacts on every 8 of 4350 points to ramp up precision
33.453 * * * * [points]: Setting MPFR precision to 64
33.502 * * * * [points]: Setting MPFR precision to 320
34.027 * * * * [points]: Computing exacts on every 4 of 4350 points to ramp up precision
34.036 * * * * [points]: Setting MPFR precision to 64
34.146 * * * * [points]: Setting MPFR precision to 320
34.304 * * * * [points]: Computing exacts on every 2 of 4350 points to ramp up precision
34.314 * * * * [points]: Setting MPFR precision to 64
34.509 * * * * [points]: Setting MPFR precision to 320
34.755 * * * * [points]: Computing exacts for 4350 points
34.765 * * * * [points]: Setting MPFR precision to 64
35.481 * * * * [points]: Setting MPFR precision to 320
35.969 * * * * [points]: Filtering points with unrepresentable outputs
35.971 * * * * [points]: Sampling 3785 additional inputs, on iter 5 have 4215 / 8000
35.987 * * * * [points]: Computing exacts on every 236 of 3785 points to ramp up precision
35.992 * * * * [points]: Setting MPFR precision to 64
35.994 * * * * [points]: Setting MPFR precision to 320
35.995 * * * * [points]: Computing exacts on every 118 of 3785 points to ramp up precision
36.000 * * * * [points]: Setting MPFR precision to 64
36.002 * * * * [points]: Setting MPFR precision to 320
36.004 * * * * [points]: Computing exacts on every 59 of 3785 points to ramp up precision
36.009 * * * * [points]: Setting MPFR precision to 64
36.014 * * * * [points]: Setting MPFR precision to 320
36.019 * * * * [points]: Computing exacts on every 29 of 3785 points to ramp up precision
36.024 * * * * [points]: Setting MPFR precision to 64
36.055 * * * * [points]: Setting MPFR precision to 320
36.065 * * * * [points]: Computing exacts on every 14 of 3785 points to ramp up precision
36.070 * * * * [points]: Setting MPFR precision to 64
36.091 * * * * [points]: Setting MPFR precision to 320
36.110 * * * * [points]: Computing exacts on every 7 of 3785 points to ramp up precision
36.115 * * * * [points]: Setting MPFR precision to 64
36.151 * * * * [points]: Setting MPFR precision to 320
36.217 * * * * [points]: Computing exacts on every 3 of 3785 points to ramp up precision
36.223 * * * * [points]: Setting MPFR precision to 64
36.293 * * * * [points]: Setting MPFR precision to 320
36.395 * * * * [points]: Computing exacts for 3785 points
36.400 * * * * [points]: Setting MPFR precision to 64
37.092 * * * * [points]: Setting MPFR precision to 320
37.628 * * * * [points]: Filtering points with unrepresentable outputs
37.633 * * * * [points]: Sampling 3256 additional inputs, on iter 6 have 4744 / 8000
37.658 * * * * [points]: Computing exacts on every 203 of 3256 points to ramp up precision
37.708 * * * * [points]: Setting MPFR precision to 64
37.710 * * * * [points]: Setting MPFR precision to 320
37.712 * * * * [points]: Computing exacts on every 101 of 3256 points to ramp up precision
37.723 * * * * [points]: Setting MPFR precision to 64
37.726 * * * * [points]: Setting MPFR precision to 320
37.729 * * * * [points]: Computing exacts on every 50 of 3256 points to ramp up precision
37.734 * * * * [points]: Setting MPFR precision to 64
37.740 * * * * [points]: Setting MPFR precision to 320
37.745 * * * * [points]: Computing exacts on every 25 of 3256 points to ramp up precision
37.749 * * * * [points]: Setting MPFR precision to 64
37.759 * * * * [points]: Setting MPFR precision to 320
37.768 * * * * [points]: Computing exacts on every 12 of 3256 points to ramp up precision
37.773 * * * * [points]: Setting MPFR precision to 64
37.802 * * * * [points]: Setting MPFR precision to 320
37.873 * * * * [points]: Computing exacts on every 6 of 3256 points to ramp up precision
37.886 * * * * [points]: Setting MPFR precision to 64
37.953 * * * * [points]: Setting MPFR precision to 320
38.017 * * * * [points]: Computing exacts on every 3 of 3256 points to ramp up precision
38.027 * * * * [points]: Setting MPFR precision to 64
38.117 * * * * [points]: Setting MPFR precision to 320
38.229 * * * * [points]: Computing exacts for 3256 points
38.239 * * * * [points]: Setting MPFR precision to 64
38.773 * * * * [points]: Setting MPFR precision to 320
39.243 * * * * [points]: Filtering points with unrepresentable outputs
39.246 * * * * [points]: Sampling 2817 additional inputs, on iter 7 have 5183 / 8000
39.265 * * * * [points]: Computing exacts on every 176 of 2817 points to ramp up precision
39.273 * * * * [points]: Setting MPFR precision to 64
39.275 * * * * [points]: Setting MPFR precision to 320
39.277 * * * * [points]: Computing exacts on every 88 of 2817 points to ramp up precision
39.285 * * * * [points]: Setting MPFR precision to 64
39.289 * * * * [points]: Setting MPFR precision to 320
39.292 * * * * [points]: Computing exacts on every 44 of 2817 points to ramp up precision
39.300 * * * * [points]: Setting MPFR precision to 64
39.308 * * * * [points]: Setting MPFR precision to 320
39.315 * * * * [points]: Computing exacts on every 22 of 2817 points to ramp up precision
39.323 * * * * [points]: Setting MPFR precision to 64
39.373 * * * * [points]: Setting MPFR precision to 320
39.390 * * * * [points]: Computing exacts on every 11 of 2817 points to ramp up precision
39.399 * * * * [points]: Setting MPFR precision to 64
39.427 * * * * [points]: Setting MPFR precision to 320
39.456 * * * * [points]: Computing exacts on every 5 of 2817 points to ramp up precision
39.465 * * * * [points]: Setting MPFR precision to 64
39.522 * * * * [points]: Setting MPFR precision to 320
39.607 * * * * [points]: Computing exacts on every 2 of 2817 points to ramp up precision
39.612 * * * * [points]: Setting MPFR precision to 64
39.729 * * * * [points]: Setting MPFR precision to 320
39.860 * * * * [points]: Computing exacts for 2817 points
39.865 * * * * [points]: Setting MPFR precision to 64
40.154 * * * * [points]: Setting MPFR precision to 320
40.874 * * * * [points]: Filtering points with unrepresentable outputs
40.877 * * * * [points]: Sampling 2381 additional inputs, on iter 8 have 5619 / 8000
40.896 * * * * [points]: Computing exacts on every 148 of 2381 points to ramp up precision
40.906 * * * * [points]: Setting MPFR precision to 64
40.908 * * * * [points]: Setting MPFR precision to 320
40.910 * * * * [points]: Computing exacts on every 74 of 2381 points to ramp up precision
40.920 * * * * [points]: Setting MPFR precision to 64
40.924 * * * * [points]: Setting MPFR precision to 320
40.929 * * * * [points]: Computing exacts on every 37 of 2381 points to ramp up precision
40.937 * * * * [points]: Setting MPFR precision to 64
40.941 * * * * [points]: Setting MPFR precision to 320
40.946 * * * * [points]: Computing exacts on every 18 of 2381 points to ramp up precision
40.951 * * * * [points]: Setting MPFR precision to 64
40.984 * * * * [points]: Setting MPFR precision to 320
40.995 * * * * [points]: Computing exacts on every 9 of 2381 points to ramp up precision
41.001 * * * * [points]: Setting MPFR precision to 64
41.032 * * * * [points]: Setting MPFR precision to 320
41.064 * * * * [points]: Computing exacts on every 4 of 2381 points to ramp up precision
41.072 * * * * [points]: Setting MPFR precision to 64
41.114 * * * * [points]: Setting MPFR precision to 320
41.223 * * * * [points]: Computing exacts on every 2 of 2381 points to ramp up precision
41.233 * * * * [points]: Setting MPFR precision to 64
41.340 * * * * [points]: Setting MPFR precision to 320
41.475 * * * * [points]: Computing exacts for 2381 points
41.480 * * * * [points]: Setting MPFR precision to 64
41.715 * * * * [points]: Setting MPFR precision to 320
42.020 * * * * [points]: Filtering points with unrepresentable outputs
42.022 * * * * [points]: Sampling 2052 additional inputs, on iter 9 have 5948 / 8000
42.039 * * * * [points]: Computing exacts on every 128 of 2052 points to ramp up precision
42.048 * * * * [points]: Setting MPFR precision to 64
42.050 * * * * [points]: Setting MPFR precision to 320
42.052 * * * * [points]: Computing exacts on every 64 of 2052 points to ramp up precision
42.056 * * * * [points]: Setting MPFR precision to 64
42.059 * * * * [points]: Setting MPFR precision to 320
42.061 * * * * [points]: Computing exacts on every 32 of 2052 points to ramp up precision
42.066 * * * * [points]: Setting MPFR precision to 64
42.093 * * * * [points]: Setting MPFR precision to 320
42.098 * * * * [points]: Computing exacts on every 16 of 2052 points to ramp up precision
42.104 * * * * [points]: Setting MPFR precision to 64
42.113 * * * * [points]: Setting MPFR precision to 320
42.122 * * * * [points]: Computing exacts on every 8 of 2052 points to ramp up precision
42.126 * * * * [points]: Setting MPFR precision to 64
42.155 * * * * [points]: Setting MPFR precision to 320
42.172 * * * * [points]: Computing exacts on every 4 of 2052 points to ramp up precision
42.177 * * * * [points]: Setting MPFR precision to 64
42.229 * * * * [points]: Setting MPFR precision to 320
42.260 * * * * [points]: Computing exacts on every 2 of 2052 points to ramp up precision
42.267 * * * * [points]: Setting MPFR precision to 64
42.340 * * * * [points]: Setting MPFR precision to 320
42.423 * * * * [points]: Computing exacts for 2052 points
42.428 * * * * [points]: Setting MPFR precision to 64
42.616 * * * * [points]: Setting MPFR precision to 320
42.841 * * * * [points]: Filtering points with unrepresentable outputs
42.842 * * * * [points]: Sampling 1748 additional inputs, on iter 10 have 6252 / 8000
42.850 * * * * [points]: Computing exacts on every 109 of 1748 points to ramp up precision
42.855 * * * * [points]: Setting MPFR precision to 64
42.856 * * * * [points]: Setting MPFR precision to 320
42.857 * * * * [points]: Computing exacts on every 54 of 1748 points to ramp up precision
42.862 * * * * [points]: Setting MPFR precision to 64
42.864 * * * * [points]: Setting MPFR precision to 320
42.866 * * * * [points]: Computing exacts on every 27 of 1748 points to ramp up precision
42.871 * * * * [points]: Setting MPFR precision to 64
42.875 * * * * [points]: Setting MPFR precision to 320
42.880 * * * * [points]: Computing exacts on every 13 of 1748 points to ramp up precision
42.885 * * * * [points]: Setting MPFR precision to 64
42.894 * * * * [points]: Setting MPFR precision to 320
42.903 * * * * [points]: Computing exacts on every 6 of 1748 points to ramp up precision
42.908 * * * * [points]: Setting MPFR precision to 64
42.958 * * * * [points]: Setting MPFR precision to 320
42.976 * * * * [points]: Computing exacts on every 3 of 1748 points to ramp up precision
42.981 * * * * [points]: Setting MPFR precision to 64
43.017 * * * * [points]: Setting MPFR precision to 320
43.067 * * * * [points]: Computing exacts for 1748 points
43.101 * * * * [points]: Setting MPFR precision to 64
43.626 * * * * [points]: Setting MPFR precision to 320
43.885 * * * * [points]: Filtering points with unrepresentable outputs
43.887 * * * * [points]: Sampling 1508 additional inputs, on iter 11 have 6492 / 8000
43.899 * * * * [points]: Computing exacts on every 94 of 1508 points to ramp up precision
43.908 * * * * [points]: Setting MPFR precision to 64
43.910 * * * * [points]: Setting MPFR precision to 320
43.913 * * * * [points]: Computing exacts on every 47 of 1508 points to ramp up precision
43.922 * * * * [points]: Setting MPFR precision to 64
43.926 * * * * [points]: Setting MPFR precision to 320
43.931 * * * * [points]: Computing exacts on every 23 of 1508 points to ramp up precision
43.940 * * * * [points]: Setting MPFR precision to 64
43.949 * * * * [points]: Setting MPFR precision to 320
43.957 * * * * [points]: Computing exacts on every 11 of 1508 points to ramp up precision
43.967 * * * * [points]: Setting MPFR precision to 64
43.986 * * * * [points]: Setting MPFR precision to 320
44.035 * * * * [points]: Computing exacts on every 5 of 1508 points to ramp up precision
44.045 * * * * [points]: Setting MPFR precision to 64
44.077 * * * * [points]: Setting MPFR precision to 320
44.109 * * * * [points]: Computing exacts on every 2 of 1508 points to ramp up precision
44.118 * * * * [points]: Setting MPFR precision to 64
44.175 * * * * [points]: Setting MPFR precision to 320
44.270 * * * * [points]: Computing exacts for 1508 points
44.279 * * * * [points]: Setting MPFR precision to 64
44.500 * * * * [points]: Setting MPFR precision to 320
44.720 * * * * [points]: Filtering points with unrepresentable outputs
44.721 * * * * [points]: Sampling 1272 additional inputs, on iter 12 have 6728 / 8000
44.730 * * * * [points]: Computing exacts on every 79 of 1272 points to ramp up precision
44.738 * * * * [points]: Setting MPFR precision to 64
44.740 * * * * [points]: Setting MPFR precision to 320
44.741 * * * * [points]: Computing exacts on every 39 of 1272 points to ramp up precision
44.749 * * * * [points]: Setting MPFR precision to 64
44.753 * * * * [points]: Setting MPFR precision to 320
44.756 * * * * [points]: Computing exacts on every 19 of 1272 points to ramp up precision
44.765 * * * * [points]: Setting MPFR precision to 64
44.772 * * * * [points]: Setting MPFR precision to 320
44.780 * * * * [points]: Computing exacts on every 9 of 1272 points to ramp up precision
44.788 * * * * [points]: Setting MPFR precision to 64
44.803 * * * * [points]: Setting MPFR precision to 320
44.845 * * * * [points]: Computing exacts on every 4 of 1272 points to ramp up precision
44.850 * * * * [points]: Setting MPFR precision to 64
44.869 * * * * [points]: Setting MPFR precision to 320
44.895 * * * * [points]: Computing exacts on every 2 of 1272 points to ramp up precision
44.903 * * * * [points]: Setting MPFR precision to 64
44.952 * * * * [points]: Setting MPFR precision to 320
45.040 * * * * [points]: Computing exacts for 1272 points
45.048 * * * * [points]: Setting MPFR precision to 64
45.229 * * * * [points]: Setting MPFR precision to 320
45.367 * * * * [points]: Filtering points with unrepresentable outputs
45.367 * * * * [points]: Sampling 1103 additional inputs, on iter 13 have 6897 / 8000
45.372 * * * * [points]: Computing exacts on every 68 of 1103 points to ramp up precision
45.376 * * * * [points]: Setting MPFR precision to 64
45.410 * * * * [points]: Setting MPFR precision to 320
45.411 * * * * [points]: Computing exacts on every 34 of 1103 points to ramp up precision
45.416 * * * * [points]: Setting MPFR precision to 64
45.420 * * * * [points]: Setting MPFR precision to 320
45.423 * * * * [points]: Computing exacts on every 17 of 1103 points to ramp up precision
45.427 * * * * [points]: Setting MPFR precision to 64
45.434 * * * * [points]: Setting MPFR precision to 320
45.441 * * * * [points]: Computing exacts on every 8 of 1103 points to ramp up precision
45.449 * * * * [points]: Setting MPFR precision to 64
45.458 * * * * [points]: Setting MPFR precision to 320
45.468 * * * * [points]: Computing exacts on every 4 of 1103 points to ramp up precision
45.473 * * * * [points]: Setting MPFR precision to 64
45.488 * * * * [points]: Setting MPFR precision to 320
45.504 * * * * [points]: Computing exacts on every 2 of 1103 points to ramp up precision
45.530 * * * * [points]: Setting MPFR precision to 64
45.558 * * * * [points]: Setting MPFR precision to 320
45.585 * * * * [points]: Computing exacts for 1103 points
45.590 * * * * [points]: Setting MPFR precision to 64
45.697 * * * * [points]: Setting MPFR precision to 320
45.822 * * * * [points]: Filtering points with unrepresentable outputs
45.823 * * * * [points]: Sampling 961 additional inputs, on iter 14 have 7039 / 8000
45.833 * * * * [points]: Computing exacts on every 60 of 961 points to ramp up precision
45.842 * * * * [points]: Setting MPFR precision to 64
45.844 * * * * [points]: Setting MPFR precision to 320
45.846 * * * * [points]: Computing exacts on every 30 of 961 points to ramp up precision
45.855 * * * * [points]: Setting MPFR precision to 64
45.859 * * * * [points]: Setting MPFR precision to 320
45.863 * * * * [points]: Computing exacts on every 15 of 961 points to ramp up precision
45.872 * * * * [points]: Setting MPFR precision to 64
45.879 * * * * [points]: Setting MPFR precision to 320
45.886 * * * * [points]: Computing exacts on every 7 of 961 points to ramp up precision
45.895 * * * * [points]: Setting MPFR precision to 64
45.910 * * * * [points]: Setting MPFR precision to 320
45.926 * * * * [points]: Computing exacts on every 3 of 961 points to ramp up precision
45.936 * * * * [points]: Setting MPFR precision to 64
45.970 * * * * [points]: Setting MPFR precision to 320
46.014 * * * * [points]: Computing exacts for 961 points
46.019 * * * * [points]: Setting MPFR precision to 64
46.090 * * * * [points]: Setting MPFR precision to 320
46.190 * * * * [points]: Filtering points with unrepresentable outputs
46.190 * * * * [points]: Sampling 836 additional inputs, on iter 15 have 7164 / 8000
46.194 * * * * [points]: Computing exacts on every 52 of 836 points to ramp up precision
46.199 * * * * [points]: Setting MPFR precision to 64
46.201 * * * * [points]: Setting MPFR precision to 320
46.202 * * * * [points]: Computing exacts on every 26 of 836 points to ramp up precision
46.207 * * * * [points]: Setting MPFR precision to 64
46.209 * * * * [points]: Setting MPFR precision to 320
46.211 * * * * [points]: Computing exacts on every 13 of 836 points to ramp up precision
46.216 * * * * [points]: Setting MPFR precision to 64
46.221 * * * * [points]: Setting MPFR precision to 320
46.225 * * * * [points]: Computing exacts on every 6 of 836 points to ramp up precision
46.230 * * * * [points]: Setting MPFR precision to 64
46.261 * * * * [points]: Setting MPFR precision to 320
46.275 * * * * [points]: Computing exacts on every 3 of 836 points to ramp up precision
46.285 * * * * [points]: Setting MPFR precision to 64
46.310 * * * * [points]: Setting MPFR precision to 320
46.336 * * * * [points]: Computing exacts for 836 points
46.346 * * * * [points]: Setting MPFR precision to 64
46.491 * * * * [points]: Setting MPFR precision to 320
46.580 * * * * [points]: Filtering points with unrepresentable outputs
46.581 * * * * [points]: Sampling 729 additional inputs, on iter 16 have 7271 / 8000
46.586 * * * * [points]: Computing exacts on every 45 of 729 points to ramp up precision
46.596 * * * * [points]: Setting MPFR precision to 64
46.599 * * * * [points]: Setting MPFR precision to 320
46.601 * * * * [points]: Computing exacts on every 22 of 729 points to ramp up precision
46.610 * * * * [points]: Setting MPFR precision to 64
46.614 * * * * [points]: Setting MPFR precision to 320
46.619 * * * * [points]: Computing exacts on every 11 of 729 points to ramp up precision
46.628 * * * * [points]: Setting MPFR precision to 64
46.998 * * * * [points]: Setting MPFR precision to 320
47.002 * * * * [points]: Computing exacts on every 5 of 729 points to ramp up precision
47.010 * * * * [points]: Setting MPFR precision to 64
47.025 * * * * [points]: Setting MPFR precision to 320
47.040 * * * * [points]: Computing exacts on every 2 of 729 points to ramp up precision
47.048 * * * * [points]: Setting MPFR precision to 64
47.066 * * * * [points]: Setting MPFR precision to 320
47.085 * * * * [points]: Computing exacts for 729 points
47.090 * * * * [points]: Setting MPFR precision to 64
47.179 * * * * [points]: Setting MPFR precision to 320
47.246 * * * * [points]: Filtering points with unrepresentable outputs
47.246 * * * * [points]: Sampling 620 additional inputs, on iter 17 have 7380 / 8000
47.249 * * * * [points]: Computing exacts on every 38 of 620 points to ramp up precision
47.254 * * * * [points]: Setting MPFR precision to 64
47.255 * * * * [points]: Setting MPFR precision to 320
47.256 * * * * [points]: Computing exacts on every 19 of 620 points to ramp up precision
47.262 * * * * [points]: Setting MPFR precision to 64
47.298 * * * * [points]: Setting MPFR precision to 320
47.300 * * * * [points]: Computing exacts on every 9 of 620 points to ramp up precision
47.305 * * * * [points]: Setting MPFR precision to 64
47.315 * * * * [points]: Setting MPFR precision to 320
47.323 * * * * [points]: Computing exacts on every 4 of 620 points to ramp up precision
47.331 * * * * [points]: Setting MPFR precision to 64
47.346 * * * * [points]: Setting MPFR precision to 320
47.361 * * * * [points]: Computing exacts on every 2 of 620 points to ramp up precision
47.370 * * * * [points]: Setting MPFR precision to 64
47.394 * * * * [points]: Setting MPFR precision to 320
47.408 * * * * [points]: Computing exacts for 620 points
47.413 * * * * [points]: Setting MPFR precision to 64
47.483 * * * * [points]: Setting MPFR precision to 320
47.554 * * * * [points]: Filtering points with unrepresentable outputs
47.554 * * * * [points]: Sampling 538 additional inputs, on iter 18 have 7462 / 8000
47.557 * * * * [points]: Computing exacts on every 33 of 538 points to ramp up precision
47.567 * * * * [points]: Setting MPFR precision to 64
47.569 * * * * [points]: Setting MPFR precision to 320
47.571 * * * * [points]: Computing exacts on every 16 of 538 points to ramp up precision
47.581 * * * * [points]: Setting MPFR precision to 64
47.585 * * * * [points]: Setting MPFR precision to 320
47.589 * * * * [points]: Computing exacts on every 8 of 538 points to ramp up precision
47.623 * * * * [points]: Setting MPFR precision to 64
47.628 * * * * [points]: Setting MPFR precision to 320
47.638 * * * * [points]: Computing exacts on every 4 of 538 points to ramp up precision
47.643 * * * * [points]: Setting MPFR precision to 64
47.651 * * * * [points]: Setting MPFR precision to 320
47.658 * * * * [points]: Computing exacts on every 2 of 538 points to ramp up precision
47.663 * * * * [points]: Setting MPFR precision to 64
47.676 * * * * [points]: Setting MPFR precision to 320
47.697 * * * * [points]: Computing exacts for 538 points
47.707 * * * * [points]: Setting MPFR precision to 64
47.789 * * * * [points]: Setting MPFR precision to 320
47.845 * * * * [points]: Filtering points with unrepresentable outputs
47.845 * * * * [points]: Sampling 473 additional inputs, on iter 19 have 7527 / 8000
47.847 * * * * [points]: Computing exacts on every 29 of 473 points to ramp up precision
47.852 * * * * [points]: Setting MPFR precision to 64
47.853 * * * * [points]: Setting MPFR precision to 320
47.854 * * * * [points]: Computing exacts on every 14 of 473 points to ramp up precision
47.859 * * * * [points]: Setting MPFR precision to 64
47.862 * * * * [points]: Setting MPFR precision to 320
47.864 * * * * [points]: Computing exacts on every 7 of 473 points to ramp up precision
47.869 * * * * [points]: Setting MPFR precision to 64
47.873 * * * * [points]: Setting MPFR precision to 320
47.878 * * * * [points]: Computing exacts on every 3 of 473 points to ramp up precision
47.883 * * * * [points]: Setting MPFR precision to 64
47.926 * * * * [points]: Setting MPFR precision to 320
47.937 * * * * [points]: Computing exacts for 473 points
47.942 * * * * [points]: Setting MPFR precision to 64
47.990 * * * * [points]: Setting MPFR precision to 320
48.029 * * * * [points]: Filtering points with unrepresentable outputs
48.030 * * * * [points]: Sampling 397 additional inputs, on iter 20 have 7603 / 8000
48.032 * * * * [points]: Computing exacts on every 24 of 397 points to ramp up precision
48.037 * * * * [points]: Setting MPFR precision to 64
48.038 * * * * [points]: Setting MPFR precision to 320
48.039 * * * * [points]: Computing exacts on every 12 of 397 points to ramp up precision
48.044 * * * * [points]: Setting MPFR precision to 64
48.077 * * * * [points]: Setting MPFR precision to 320
48.081 * * * * [points]: Computing exacts on every 6 of 397 points to ramp up precision
48.094 * * * * [points]: Setting MPFR precision to 64
48.102 * * * * [points]: Setting MPFR precision to 320
48.111 * * * * [points]: Computing exacts on every 3 of 397 points to ramp up precision
48.120 * * * * [points]: Setting MPFR precision to 64
48.134 * * * * [points]: Setting MPFR precision to 320
48.147 * * * * [points]: Computing exacts for 397 points
48.156 * * * * [points]: Setting MPFR precision to 64
48.208 * * * * [points]: Setting MPFR precision to 320
48.302 * * * * [points]: Filtering points with unrepresentable outputs
48.302 * * * * [points]: Sampling 340 additional inputs, on iter 21 have 7660 / 8000
48.305 * * * * [points]: Computing exacts on every 21 of 340 points to ramp up precision
48.313 * * * * [points]: Setting MPFR precision to 64
48.314 * * * * [points]: Setting MPFR precision to 320
48.315 * * * * [points]: Computing exacts on every 10 of 340 points to ramp up precision
48.320 * * * * [points]: Setting MPFR precision to 64
48.322 * * * * [points]: Setting MPFR precision to 320
48.324 * * * * [points]: Computing exacts on every 5 of 340 points to ramp up precision
48.329 * * * * [points]: Setting MPFR precision to 64
48.333 * * * * [points]: Setting MPFR precision to 320
48.337 * * * * [points]: Computing exacts on every 2 of 340 points to ramp up precision
48.342 * * * * [points]: Setting MPFR precision to 64
48.350 * * * * [points]: Setting MPFR precision to 320
48.365 * * * * [points]: Computing exacts for 340 points
48.375 * * * * [points]: Setting MPFR precision to 64
48.419 * * * * [points]: Setting MPFR precision to 320
48.479 * * * * [points]: Filtering points with unrepresentable outputs
48.480 * * * * [points]: Sampling 298 additional inputs, on iter 22 have 7702 / 8000
48.481 * * * * [points]: Computing exacts on every 18 of 298 points to ramp up precision
48.486 * * * * [points]: Setting MPFR precision to 64
48.487 * * * * [points]: Setting MPFR precision to 320
48.488 * * * * [points]: Computing exacts on every 9 of 298 points to ramp up precision
48.493 * * * * [points]: Setting MPFR precision to 64
48.495 * * * * [points]: Setting MPFR precision to 320
48.497 * * * * [points]: Computing exacts on every 4 of 298 points to ramp up precision
48.502 * * * * [points]: Setting MPFR precision to 64
48.507 * * * * [points]: Setting MPFR precision to 320
48.514 * * * * [points]: Computing exacts on every 2 of 298 points to ramp up precision
48.524 * * * * [points]: Setting MPFR precision to 64
48.537 * * * * [points]: Setting MPFR precision to 320
48.551 * * * * [points]: Computing exacts for 298 points
48.560 * * * * [points]: Setting MPFR precision to 64
48.640 * * * * [points]: Setting MPFR precision to 320
48.674 * * * * [points]: Filtering points with unrepresentable outputs
48.675 * * * * [points]: Sampling 251 additional inputs, on iter 23 have 7749 / 8000
48.676 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision
48.681 * * * * [points]: Setting MPFR precision to 64
48.682 * * * * [points]: Setting MPFR precision to 320
48.683 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision
48.688 * * * * [points]: Setting MPFR precision to 64
48.690 * * * * [points]: Setting MPFR precision to 320
48.693 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision
48.698 * * * * [points]: Setting MPFR precision to 64
48.702 * * * * [points]: Setting MPFR precision to 320
48.707 * * * * [points]: Computing exacts for 251 points
48.712 * * * * [points]: Setting MPFR precision to 64
48.734 * * * * [points]: Setting MPFR precision to 320
48.810 * * * * [points]: Filtering points with unrepresentable outputs
48.811 * * * * [points]: Sampling 222 additional inputs, on iter 24 have 7778 / 8000
48.812 * * * * [points]: Computing exacts on every 13 of 222 points to ramp up precision
48.822 * * * * [points]: Setting MPFR precision to 64
48.824 * * * * [points]: Setting MPFR precision to 320
48.826 * * * * [points]: Computing exacts on every 6 of 222 points to ramp up precision
48.834 * * * * [points]: Setting MPFR precision to 64
48.838 * * * * [points]: Setting MPFR precision to 320
48.842 * * * * [points]: Computing exacts on every 3 of 222 points to ramp up precision
48.851 * * * * [points]: Setting MPFR precision to 64
48.860 * * * * [points]: Setting MPFR precision to 320
48.867 * * * * [points]: Computing exacts for 222 points
48.877 * * * * [points]: Setting MPFR precision to 64
48.907 * * * * [points]: Setting MPFR precision to 320
48.931 * * * * [points]: Filtering points with unrepresentable outputs
48.931 * * * * [points]: Sampling 197 additional inputs, on iter 25 have 7803 / 8000
48.932 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision
48.937 * * * * [points]: Setting MPFR precision to 64
48.938 * * * * [points]: Setting MPFR precision to 320
48.939 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision
48.967 * * * * [points]: Setting MPFR precision to 64
48.971 * * * * [points]: Setting MPFR precision to 320
48.977 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision
48.982 * * * * [points]: Setting MPFR precision to 64
48.985 * * * * [points]: Setting MPFR precision to 320
48.989 * * * * [points]: Computing exacts for 197 points
48.994 * * * * [points]: Setting MPFR precision to 64
49.009 * * * * [points]: Setting MPFR precision to 320
49.034 * * * * [points]: Filtering points with unrepresentable outputs
49.034 * * * * [points]: Sampling 166 additional inputs, on iter 26 have 7834 / 8000
49.036 * * * * [points]: Computing exacts on every 10 of 166 points to ramp up precision
49.045 * * * * [points]: Setting MPFR precision to 64
49.048 * * * * [points]: Setting MPFR precision to 320
49.050 * * * * [points]: Computing exacts on every 5 of 166 points to ramp up precision
49.059 * * * * [points]: Setting MPFR precision to 64
49.063 * * * * [points]: Setting MPFR precision to 320
49.067 * * * * [points]: Computing exacts on every 2 of 166 points to ramp up precision
49.075 * * * * [points]: Setting MPFR precision to 64
49.079 * * * * [points]: Setting MPFR precision to 320
49.083 * * * * [points]: Computing exacts for 166 points
49.088 * * * * [points]: Setting MPFR precision to 64
49.121 * * * * [points]: Setting MPFR precision to 320
49.133 * * * * [points]: Filtering points with unrepresentable outputs
49.133 * * * * [points]: Sampling 143 additional inputs, on iter 27 have 7857 / 8000
49.134 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision
49.143 * * * * [points]: Setting MPFR precision to 64
49.145 * * * * [points]: Setting MPFR precision to 320
49.148 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision
49.158 * * * * [points]: Setting MPFR precision to 64
49.162 * * * * [points]: Setting MPFR precision to 320
49.166 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision
49.175 * * * * [points]: Setting MPFR precision to 64
49.179 * * * * [points]: Setting MPFR precision to 320
49.183 * * * * [points]: Computing exacts for 143 points
49.188 * * * * [points]: Setting MPFR precision to 64
49.198 * * * * [points]: Setting MPFR precision to 320
49.208 * * * * [points]: Filtering points with unrepresentable outputs
49.209 * * * * [points]: Sampling 120 additional inputs, on iter 28 have 7880 / 8000
49.210 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
49.220 * * * * [points]: Setting MPFR precision to 64
49.222 * * * * [points]: Setting MPFR precision to 320
49.224 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
49.255 * * * * [points]: Setting MPFR precision to 64
49.257 * * * * [points]: Setting MPFR precision to 320
49.259 * * * * [points]: Computing exacts for 120 points
49.268 * * * * [points]: Setting MPFR precision to 64
49.285 * * * * [points]: Setting MPFR precision to 320
49.302 * * * * [points]: Filtering points with unrepresentable outputs
49.302 * * * * [points]: Sampling 101 additional inputs, on iter 29 have 7899 / 8000
49.303 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision
49.312 * * * * [points]: Setting MPFR precision to 64
49.315 * * * * [points]: Setting MPFR precision to 320
49.317 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision
49.326 * * * * [points]: Setting MPFR precision to 64
49.330 * * * * [points]: Setting MPFR precision to 320
49.333 * * * * [points]: Computing exacts for 101 points
49.339 * * * * [points]: Setting MPFR precision to 64
49.347 * * * * [points]: Setting MPFR precision to 320
49.354 * * * * [points]: Filtering points with unrepresentable outputs
49.355 * * * * [points]: Sampling 90 additional inputs, on iter 30 have 7910 / 8000
49.355 * * * * [points]: Computing exacts on every 5 of 90 points to ramp up precision
49.360 * * * * [points]: Setting MPFR precision to 64
49.361 * * * * [points]: Setting MPFR precision to 320
49.363 * * * * [points]: Computing exacts on every 2 of 90 points to ramp up precision
49.367 * * * * [points]: Setting MPFR precision to 64
49.370 * * * * [points]: Setting MPFR precision to 320
49.372 * * * * [points]: Computing exacts for 90 points
49.397 * * * * [points]: Setting MPFR precision to 64
49.404 * * * * [points]: Setting MPFR precision to 320
49.411 * * * * [points]: Filtering points with unrepresentable outputs
49.411 * * * * [points]: Sampling 76 additional inputs, on iter 31 have 7924 / 8000
49.412 * * * * [points]: Computing exacts on every 4 of 76 points to ramp up precision
49.416 * * * * [points]: Setting MPFR precision to 64
49.418 * * * * [points]: Setting MPFR precision to 320
49.419 * * * * [points]: Computing exacts on every 2 of 76 points to ramp up precision
49.424 * * * * [points]: Setting MPFR precision to 64
49.426 * * * * [points]: Setting MPFR precision to 320
49.428 * * * * [points]: Computing exacts for 76 points
49.433 * * * * [points]: Setting MPFR precision to 64
49.438 * * * * [points]: Setting MPFR precision to 320
49.444 * * * * [points]: Filtering points with unrepresentable outputs
49.444 * * * * [points]: Sampling 62 additional inputs, on iter 32 have 7938 / 8000
49.444 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
49.449 * * * * [points]: Setting MPFR precision to 64
49.450 * * * * [points]: Setting MPFR precision to 320
49.452 * * * * [points]: Computing exacts for 62 points
49.456 * * * * [points]: Setting MPFR precision to 64
49.461 * * * * [points]: Setting MPFR precision to 320
49.466 * * * * [points]: Filtering points with unrepresentable outputs
49.466 * * * * [points]: Sampling 48 additional inputs, on iter 33 have 7952 / 8000
49.466 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
49.471 * * * * [points]: Setting MPFR precision to 64
49.472 * * * * [points]: Setting MPFR precision to 320
49.473 * * * * [points]: Computing exacts for 48 points
49.496 * * * * [points]: Setting MPFR precision to 64
49.500 * * * * [points]: Setting MPFR precision to 320
49.506 * * * * [points]: Filtering points with unrepresentable outputs
49.506 * * * * [points]: Sampling 43 additional inputs, on iter 34 have 7957 / 8000
49.506 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
49.511 * * * * [points]: Setting MPFR precision to 64
49.512 * * * * [points]: Setting MPFR precision to 320
49.513 * * * * [points]: Computing exacts for 43 points
49.518 * * * * [points]: Setting MPFR precision to 64
49.521 * * * * [points]: Setting MPFR precision to 320
49.525 * * * * [points]: Filtering points with unrepresentable outputs
49.525 * * * * [points]: Sampling 34 additional inputs, on iter 35 have 7966 / 8000
49.525 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
49.530 * * * * [points]: Setting MPFR precision to 64
49.531 * * * * [points]: Setting MPFR precision to 320
49.531 * * * * [points]: Computing exacts for 34 points
49.536 * * * * [points]: Setting MPFR precision to 64
49.539 * * * * [points]: Setting MPFR precision to 320
49.541 * * * * [points]: Filtering points with unrepresentable outputs
49.541 * * * * [points]: Sampling 31 additional inputs, on iter 36 have 7969 / 8000
49.541 * * * * [points]: Computing exacts for 31 points
49.546 * * * * [points]: Setting MPFR precision to 64
49.548 * * * * [points]: Setting MPFR precision to 320
49.551 * * * * [points]: Filtering points with unrepresentable outputs
49.551 * * * * [points]: Sampling 25 additional inputs, on iter 37 have 7975 / 8000
49.551 * * * * [points]: Computing exacts for 25 points
49.556 * * * * [points]: Setting MPFR precision to 64
49.558 * * * * [points]: Setting MPFR precision to 320
49.560 * * * * [points]: Filtering points with unrepresentable outputs
49.561 * * * * [points]: Sampling 18 additional inputs, on iter 38 have 7982 / 8000
49.561 * * * * [points]: Computing exacts for 18 points
49.565 * * * * [points]: Setting MPFR precision to 64
49.567 * * * * [points]: Setting MPFR precision to 320
49.568 * * * * [points]: Filtering points with unrepresentable outputs
49.568 * * * * [points]: Sampling 16 additional inputs, on iter 39 have 7984 / 8000
49.569 * * * * [points]: Computing exacts for 16 points
49.573 * * * * [points]: Setting MPFR precision to 64
49.574 * * * * [points]: Setting MPFR precision to 320
49.576 * * * * [points]: Filtering points with unrepresentable outputs
49.576 * * * * [points]: Sampling 12 additional inputs, on iter 40 have 7988 / 8000
49.576 * * * * [points]: Computing exacts for 12 points
49.597 * * * * [points]: Setting MPFR precision to 64
49.599 * * * * [points]: Setting MPFR precision to 320
49.599 * * * * [points]: Filtering points with unrepresentable outputs
49.600 * * * * [points]: Sampling 10 additional inputs, on iter 41 have 7990 / 8000
49.600 * * * * [points]: Computing exacts for 10 points
49.604 * * * * [points]: Setting MPFR precision to 64
49.605 * * * * [points]: Setting MPFR precision to 320
49.606 * * * * [points]: Filtering points with unrepresentable outputs
49.606 * * * * [points]: Sampling 9 additional inputs, on iter 42 have 7991 / 8000
49.606 * * * * [points]: Computing exacts for 9 points
49.611 * * * * [points]: Setting MPFR precision to 64
49.612 * * * * [points]: Setting MPFR precision to 320
49.613 * * * * [points]: Filtering points with unrepresentable outputs
49.613 * * * * [points]: Sampling 8 additional inputs, on iter 43 have 7992 / 8000
49.613 * * * * [points]: Computing exacts for 8 points
49.618 * * * * [points]: Setting MPFR precision to 64
49.618 * * * * [points]: Setting MPFR precision to 320
49.619 * * * * [points]: Filtering points with unrepresentable outputs
49.619 * * * * [points]: Sampling 6 additional inputs, on iter 44 have 7994 / 8000
49.619 * * * * [points]: Computing exacts for 6 points
49.624 * * * * [points]: Setting MPFR precision to 64
49.624 * * * * [points]: Setting MPFR precision to 320
49.625 * * * * [points]: Filtering points with unrepresentable outputs
49.625 * * * * [points]: Sampling 5 additional inputs, on iter 45 have 7995 / 8000
49.625 * * * * [points]: Computing exacts for 5 points
49.630 * * * * [points]: Setting MPFR precision to 64
49.630 * * * * [points]: Setting MPFR precision to 320
49.631 * * * * [points]: Filtering points with unrepresentable outputs
49.631 * * * * [points]: Sampling 4 additional inputs, on iter 46 have 7996 / 8000
49.631 * * * * [points]: Computing exacts for 4 points
49.636 * * * * [points]: Setting MPFR precision to 64
49.636 * * * * [points]: Setting MPFR precision to 320
49.637 * * * * [points]: Filtering points with unrepresentable outputs
49.637 * * * * [points]: Sampling 4 additional inputs, on iter 47 have 7997 / 8000
49.637 * * * * [points]: Computing exacts for 4 points
49.642 * * * * [points]: Setting MPFR precision to 64
49.642 * * * * [points]: Setting MPFR precision to 320
49.643 * * * * [points]: Filtering points with unrepresentable outputs
49.643 * * * * [points]: Sampling 4 additional inputs, on iter 48 have 7998 / 8000
49.643 * * * * [points]: Computing exacts for 4 points
49.648 * * * * [points]: Setting MPFR precision to 64
49.649 * * * * [points]: Setting MPFR precision to 320
49.649 * * * * [points]: Filtering points with unrepresentable outputs
49.649 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 7998 / 8000
49.649 * * * * [points]: Computing exacts for 4 points
49.654 * * * * [points]: Setting MPFR precision to 64
49.655 * * * * [points]: Setting MPFR precision to 320
49.655 * * * * [points]: Filtering points with unrepresentable outputs
49.655 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7999 / 8000
49.655 * * * * [points]: Computing exacts for 4 points
49.660 * * * * [points]: Setting MPFR precision to 64
49.670 * * * * [points]: Setting MPFR precision to 320
49.670 * * * * [points]: Filtering points with unrepresentable outputs
49.670 * * * * [points]: Sampled 8000 points with exact outputs
61.141 * [regime-testing]: Baseline error score: 64.0
61.144 * [regime-testing]: Oracle error score: 64.0
61.152 * [regime-testing]: End program error score: 1.4648542129252737