0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.021 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.033 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.038 * * * * [points]: Setting MPFR precision to 64
0.044 * * * * [points]: Setting MPFR precision to 320
0.050 * * * * [points]: Computing exacts for 256 points
0.055 * * * * [points]: Setting MPFR precision to 64
0.074 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Filtering points with unrepresentable outputs
0.110 * * * * [points]: Sampling 219 additional inputs, on iter 1 have 37 / 256
0.112 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
0.117 * * * * [points]: Setting MPFR precision to 64
0.118 * * * * [points]: Setting MPFR precision to 320
0.119 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
0.124 * * * * [points]: Setting MPFR precision to 64
0.126 * * * * [points]: Setting MPFR precision to 320
0.128 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
0.133 * * * * [points]: Setting MPFR precision to 64
0.137 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Computing exacts for 219 points
0.146 * * * * [points]: Setting MPFR precision to 64
0.161 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Filtering points with unrepresentable outputs
0.178 * * * * [points]: Sampling 186 additional inputs, on iter 2 have 70 / 256
0.178 * * * * [points]: Computing exacts on every 11 of 186 points to ramp up precision
0.183 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.207 * * * * [points]: Computing exacts on every 5 of 186 points to ramp up precision
0.212 * * * * [points]: Setting MPFR precision to 64
0.214 * * * * [points]: Setting MPFR precision to 320
0.216 * * * * [points]: Computing exacts on every 2 of 186 points to ramp up precision
0.221 * * * * [points]: Setting MPFR precision to 64
0.225 * * * * [points]: Setting MPFR precision to 320
0.230 * * * * [points]: Computing exacts for 186 points
0.234 * * * * [points]: Setting MPFR precision to 64
0.252 * * * * [points]: Setting MPFR precision to 320
0.275 * * * * [points]: Filtering points with unrepresentable outputs
0.275 * * * * [points]: Sampling 167 additional inputs, on iter 3 have 89 / 256
0.276 * * * * [points]: Computing exacts on every 10 of 167 points to ramp up precision
0.280 * * * * [points]: Setting MPFR precision to 64
0.282 * * * * [points]: Setting MPFR precision to 320
0.283 * * * * [points]: Computing exacts on every 5 of 167 points to ramp up precision
0.287 * * * * [points]: Setting MPFR precision to 64
0.290 * * * * [points]: Setting MPFR precision to 320
0.292 * * * * [points]: Computing exacts on every 2 of 167 points to ramp up precision
0.296 * * * * [points]: Setting MPFR precision to 64
0.301 * * * * [points]: Setting MPFR precision to 320
0.305 * * * * [points]: Computing exacts for 167 points
0.333 * * * * [points]: Setting MPFR precision to 64
0.345 * * * * [points]: Setting MPFR precision to 320
0.364 * * * * [points]: Filtering points with unrepresentable outputs
0.364 * * * * [points]: Sampling 147 additional inputs, on iter 4 have 109 / 256
0.365 * * * * [points]: Computing exacts on every 9 of 147 points to ramp up precision
0.373 * * * * [points]: Setting MPFR precision to 64
0.375 * * * * [points]: Setting MPFR precision to 320
0.376 * * * * [points]: Computing exacts on every 4 of 147 points to ramp up precision
0.383 * * * * [points]: Setting MPFR precision to 64
0.386 * * * * [points]: Setting MPFR precision to 320
0.388 * * * * [points]: Computing exacts on every 2 of 147 points to ramp up precision
0.393 * * * * [points]: Setting MPFR precision to 64
0.396 * * * * [points]: Setting MPFR precision to 320
0.400 * * * * [points]: Computing exacts for 147 points
0.404 * * * * [points]: Setting MPFR precision to 64
0.415 * * * * [points]: Setting MPFR precision to 320
0.426 * * * * [points]: Filtering points with unrepresentable outputs
0.426 * * * * [points]: Sampling 118 additional inputs, on iter 5 have 138 / 256
0.427 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.455 * * * * [points]: Setting MPFR precision to 64
0.457 * * * * [points]: Setting MPFR precision to 320
0.459 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.467 * * * * [points]: Setting MPFR precision to 64
0.471 * * * * [points]: Setting MPFR precision to 320
0.474 * * * * [points]: Computing exacts for 118 points
0.482 * * * * [points]: Setting MPFR precision to 64
0.495 * * * * [points]: Setting MPFR precision to 320
0.503 * * * * [points]: Filtering points with unrepresentable outputs
0.503 * * * * [points]: Sampling 109 additional inputs, on iter 6 have 147 / 256
0.504 * * * * [points]: Computing exacts on every 6 of 109 points to ramp up precision
0.508 * * * * [points]: Setting MPFR precision to 64
0.510 * * * * [points]: Setting MPFR precision to 320
0.511 * * * * [points]: Computing exacts on every 3 of 109 points to ramp up precision
0.516 * * * * [points]: Setting MPFR precision to 64
0.518 * * * * [points]: Setting MPFR precision to 320
0.520 * * * * [points]: Computing exacts for 109 points
0.524 * * * * [points]: Setting MPFR precision to 64
0.535 * * * * [points]: Setting MPFR precision to 320
0.542 * * * * [points]: Filtering points with unrepresentable outputs
0.542 * * * * [points]: Sampling 98 additional inputs, on iter 7 have 158 / 256
0.543 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
0.548 * * * * [points]: Setting MPFR precision to 64
0.549 * * * * [points]: Setting MPFR precision to 320
0.550 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
0.573 * * * * [points]: Setting MPFR precision to 64
0.575 * * * * [points]: Setting MPFR precision to 320
0.577 * * * * [points]: Computing exacts for 98 points
0.582 * * * * [points]: Setting MPFR precision to 64
0.589 * * * * [points]: Setting MPFR precision to 320
0.596 * * * * [points]: Filtering points with unrepresentable outputs
0.596 * * * * [points]: Sampling 90 additional inputs, on iter 8 have 166 / 256
0.597 * * * * [points]: Computing exacts on every 5 of 90 points to ramp up precision
0.601 * * * * [points]: Setting MPFR precision to 64
0.603 * * * * [points]: Setting MPFR precision to 320
0.604 * * * * [points]: Computing exacts on every 2 of 90 points to ramp up precision
0.608 * * * * [points]: Setting MPFR precision to 64
0.610 * * * * [points]: Setting MPFR precision to 320
0.613 * * * * [points]: Computing exacts for 90 points
0.617 * * * * [points]: Setting MPFR precision to 64
0.624 * * * * [points]: Setting MPFR precision to 320
0.630 * * * * [points]: Filtering points with unrepresentable outputs
0.630 * * * * [points]: Sampling 79 additional inputs, on iter 9 have 177 / 256
0.630 * * * * [points]: Computing exacts on every 4 of 79 points to ramp up precision
0.635 * * * * [points]: Setting MPFR precision to 64
0.637 * * * * [points]: Setting MPFR precision to 320
0.638 * * * * [points]: Computing exacts on every 2 of 79 points to ramp up precision
0.642 * * * * [points]: Setting MPFR precision to 64
0.645 * * * * [points]: Setting MPFR precision to 320
0.647 * * * * [points]: Computing exacts for 79 points
0.651 * * * * [points]: Setting MPFR precision to 64
0.672 * * * * [points]: Setting MPFR precision to 320
0.678 * * * * [points]: Filtering points with unrepresentable outputs
0.678 * * * * [points]: Sampling 68 additional inputs, on iter 10 have 188 / 256
0.678 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.683 * * * * [points]: Setting MPFR precision to 64
0.684 * * * * [points]: Setting MPFR precision to 320
0.685 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.690 * * * * [points]: Setting MPFR precision to 64
0.691 * * * * [points]: Setting MPFR precision to 320
0.693 * * * * [points]: Computing exacts for 68 points
0.698 * * * * [points]: Setting MPFR precision to 64
0.703 * * * * [points]: Setting MPFR precision to 320
0.708 * * * * [points]: Filtering points with unrepresentable outputs
0.708 * * * * [points]: Sampling 57 additional inputs, on iter 11 have 199 / 256
0.709 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
0.713 * * * * [points]: Setting MPFR precision to 64
0.715 * * * * [points]: Setting MPFR precision to 320
0.716 * * * * [points]: Computing exacts for 57 points
0.720 * * * * [points]: Setting MPFR precision to 64
0.725 * * * * [points]: Setting MPFR precision to 320
0.729 * * * * [points]: Filtering points with unrepresentable outputs
0.729 * * * * [points]: Sampling 51 additional inputs, on iter 12 have 205 / 256
0.729 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
0.734 * * * * [points]: Setting MPFR precision to 64
0.735 * * * * [points]: Setting MPFR precision to 320
0.736 * * * * [points]: Computing exacts for 51 points
0.741 * * * * [points]: Setting MPFR precision to 64
0.745 * * * * [points]: Setting MPFR precision to 320
0.749 * * * * [points]: Filtering points with unrepresentable outputs
0.749 * * * * [points]: Sampling 44 additional inputs, on iter 13 have 212 / 256
0.749 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
0.768 * * * * [points]: Setting MPFR precision to 64
0.769 * * * * [points]: Setting MPFR precision to 320
0.770 * * * * [points]: Computing exacts for 44 points
0.775 * * * * [points]: Setting MPFR precision to 64
0.778 * * * * [points]: Setting MPFR precision to 320
0.781 * * * * [points]: Filtering points with unrepresentable outputs
0.781 * * * * [points]: Sampling 38 additional inputs, on iter 14 have 218 / 256
0.781 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.786 * * * * [points]: Setting MPFR precision to 64
0.787 * * * * [points]: Setting MPFR precision to 320
0.788 * * * * [points]: Computing exacts for 38 points
0.793 * * * * [points]: Setting MPFR precision to 64
0.796 * * * * [points]: Setting MPFR precision to 320
0.799 * * * * [points]: Filtering points with unrepresentable outputs
0.799 * * * * [points]: Sampling 31 additional inputs, on iter 15 have 225 / 256
0.799 * * * * [points]: Computing exacts for 31 points
0.803 * * * * [points]: Setting MPFR precision to 64
0.806 * * * * [points]: Setting MPFR precision to 320
0.808 * * * * [points]: Filtering points with unrepresentable outputs
0.808 * * * * [points]: Sampling 29 additional inputs, on iter 16 have 227 / 256
0.808 * * * * [points]: Computing exacts for 29 points
0.813 * * * * [points]: Setting MPFR precision to 64
0.816 * * * * [points]: Setting MPFR precision to 320
0.818 * * * * [points]: Filtering points with unrepresentable outputs
0.818 * * * * [points]: Sampling 23 additional inputs, on iter 17 have 233 / 256
0.818 * * * * [points]: Computing exacts for 23 points
0.823 * * * * [points]: Setting MPFR precision to 64
0.825 * * * * [points]: Setting MPFR precision to 320
0.827 * * * * [points]: Filtering points with unrepresentable outputs
0.827 * * * * [points]: Sampling 19 additional inputs, on iter 18 have 237 / 256
0.827 * * * * [points]: Computing exacts for 19 points
0.831 * * * * [points]: Setting MPFR precision to 64
0.833 * * * * [points]: Setting MPFR precision to 320
0.834 * * * * [points]: Filtering points with unrepresentable outputs
0.834 * * * * [points]: Sampling 18 additional inputs, on iter 19 have 238 / 256
0.834 * * * * [points]: Computing exacts for 18 points
0.839 * * * * [points]: Setting MPFR precision to 64
0.854 * * * * [points]: Setting MPFR precision to 320
0.855 * * * * [points]: Filtering points with unrepresentable outputs
0.855 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 241 / 256
0.856 * * * * [points]: Computing exacts for 15 points
0.860 * * * * [points]: Setting MPFR precision to 64
0.862 * * * * [points]: Setting MPFR precision to 320
0.863 * * * * [points]: Filtering points with unrepresentable outputs
0.863 * * * * [points]: Sampling 13 additional inputs, on iter 21 have 243 / 256
0.863 * * * * [points]: Computing exacts for 13 points
0.868 * * * * [points]: Setting MPFR precision to 64
0.869 * * * * [points]: Setting MPFR precision to 320
0.870 * * * * [points]: Filtering points with unrepresentable outputs
0.870 * * * * [points]: Sampling 12 additional inputs, on iter 22 have 244 / 256
0.870 * * * * [points]: Computing exacts for 12 points
0.875 * * * * [points]: Setting MPFR precision to 64
0.876 * * * * [points]: Setting MPFR precision to 320
0.877 * * * * [points]: Filtering points with unrepresentable outputs
0.877 * * * * [points]: Sampling 10 additional inputs, on iter 23 have 246 / 256
0.877 * * * * [points]: Computing exacts for 10 points
0.886 * * * * [points]: Setting MPFR precision to 64
0.888 * * * * [points]: Setting MPFR precision to 320
0.889 * * * * [points]: Filtering points with unrepresentable outputs
0.889 * * * * [points]: Sampling 9 additional inputs, on iter 24 have 247 / 256
0.890 * * * * [points]: Computing exacts for 9 points
0.899 * * * * [points]: Setting MPFR precision to 64
0.901 * * * * [points]: Setting MPFR precision to 320
0.902 * * * * [points]: Filtering points with unrepresentable outputs
0.902 * * * * [points]: Sampling 8 additional inputs, on iter 25 have 248 / 256
0.902 * * * * [points]: Computing exacts for 8 points
0.911 * * * * [points]: Setting MPFR precision to 64
0.912 * * * * [points]: Setting MPFR precision to 320
0.913 * * * * [points]: Filtering points with unrepresentable outputs
0.913 * * * * [points]: Sampling 6 additional inputs, on iter 26 have 250 / 256
0.913 * * * * [points]: Computing exacts for 6 points
0.921 * * * * [points]: Setting MPFR precision to 64
0.922 * * * * [points]: Setting MPFR precision to 320
0.923 * * * * [points]: Filtering points with unrepresentable outputs
0.923 * * * * [points]: Sampling 6 additional inputs, on iter 27 have 250 / 256
0.923 * * * * [points]: Computing exacts for 6 points
0.941 * * * * [points]: Setting MPFR precision to 64
0.943 * * * * [points]: Setting MPFR precision to 320
0.944 * * * * [points]: Filtering points with unrepresentable outputs
0.944 * * * * [points]: Sampling 5 additional inputs, on iter 28 have 251 / 256
0.944 * * * * [points]: Computing exacts for 5 points
0.964 * * * * [points]: Setting MPFR precision to 64
0.965 * * * * [points]: Setting MPFR precision to 320
0.965 * * * * [points]: Filtering points with unrepresentable outputs
0.965 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
0.965 * * * * [points]: Computing exacts for 4 points
0.971 * * * * [points]: Setting MPFR precision to 64
0.972 * * * * [points]: Setting MPFR precision to 320
0.972 * * * * [points]: Filtering points with unrepresentable outputs
0.972 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 255 / 256
0.972 * * * * [points]: Computing exacts for 4 points
1.365 * * * * [points]: Setting MPFR precision to 64
1.366 * * * * [points]: Setting MPFR precision to 320
1.367 * * * * [points]: Filtering points with unrepresentable outputs
1.367 * * * * [points]: Sampled 257 points with exact outputs
1.367 * * * [progress]: [2/2] Setting up program.
1.392 * [progress]: [Phase 2 of 3] Improving.
1.392 * * * * [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.392 * [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.392 * * [simplify]: iters left: 6 (19 enodes)
1.401 * * [simplify]: iters left: 5 (76 enodes)
1.428 * * [simplify]: iters left: 4 (344 enodes)
1.681 * * [simplify]: Extracting #0: cost 1 inf + 0
1.681 * * [simplify]: Extracting #1: cost 75 inf + 0
1.682 * * [simplify]: Extracting #2: cost 474 inf + 1
1.688 * * [simplify]: Extracting #3: cost 741 inf + 26817
1.699 * * [simplify]: Extracting #4: cost 682 inf + 140740
1.715 * * [simplify]: Extracting #5: cost 610 inf + 190036
1.734 * * [simplify]: Extracting #6: cost 582 inf + 205163
1.772 * * [simplify]: Extracting #7: cost 359 inf + 459086
1.839 * * [simplify]: Extracting #8: cost 52 inf + 926046
1.927 * * [simplify]: Extracting #9: cost 0 inf + 1027849
1.997 * * [simplify]: Extracting #10: cost 0 inf + 1026329
2.071 * [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.071 * [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.101 * * [progress]: iteration 1 / 4
2.101 * * * [progress]: picking best candidate
2.132 * * * * [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.133 * * * [progress]: localizing error
2.417 * * * [progress]: generating rewritten candidates
2.417 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.423 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.429 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.449 * * * [progress]: generating series expansions
2.449 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.450 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.450 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.450 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.450 * * * [progress]: simplifying candidates
2.450 * * * * [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.450 * [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.450 * * [simplify]: iters left: 6 (14 enodes)
2.456 * * [simplify]: iters left: 5 (47 enodes)
2.473 * * [simplify]: iters left: 4 (148 enodes)
2.538 * * [simplify]: Extracting #0: cost 1 inf + 0
2.538 * * [simplify]: Extracting #1: cost 28 inf + 0
2.539 * * [simplify]: Extracting #2: cost 90 inf + 1
2.539 * * [simplify]: Extracting #3: cost 191 inf + 1329
2.541 * * [simplify]: Extracting #4: cost 164 inf + 48484
2.547 * * [simplify]: Extracting #5: cost 29 inf + 170988
2.556 * * [simplify]: Extracting #6: cost 1 inf + 215931
2.568 * * [simplify]: Extracting #7: cost 0 inf + 218175
2.580 * [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.580 * [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.580 * * * * [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.580 * [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.581 * * [simplify]: iters left: 5 (14 enodes)
2.586 * * [simplify]: iters left: 4 (45 enodes)
2.602 * * [simplify]: iters left: 3 (124 enodes)
2.652 * * [simplify]: iters left: 2 (422 enodes)
2.887 * * [simplify]: Extracting #0: cost 1 inf + 0
2.887 * * [simplify]: Extracting #1: cost 17 inf + 0
2.887 * * [simplify]: Extracting #2: cost 111 inf + 0
2.888 * * [simplify]: Extracting #3: cost 298 inf + 1693
2.891 * * [simplify]: Extracting #4: cost 234 inf + 47528
2.904 * * [simplify]: Extracting #5: cost 43 inf + 244057
2.922 * * [simplify]: Extracting #6: cost 0 inf + 292064
2.943 * * [simplify]: Extracting #7: cost 0 inf + 292024
2.961 * [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))))
2.961 * [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))))
2.961 * * * * [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))))>
2.961 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.962 * * [simplify]: iters left: 4 (11 enodes)
2.964 * * [simplify]: iters left: 3 (34 enodes)
2.972 * * [simplify]: iters left: 2 (62 enodes)
2.987 * * [simplify]: iters left: 1 (116 enodes)
3.015 * * [simplify]: Extracting #0: cost 1 inf + 0
3.015 * * [simplify]: Extracting #1: cost 18 inf + 0
3.015 * * [simplify]: Extracting #2: cost 32 inf + 1
3.016 * * [simplify]: Extracting #3: cost 28 inf + 688
3.016 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.017 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.019 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.021 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.021 * [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.021 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.021 * * [simplify]: iters left: 5 (13 enodes)
3.026 * * [simplify]: iters left: 4 (36 enodes)
3.036 * * [simplify]: iters left: 3 (69 enodes)
3.055 * * [simplify]: iters left: 2 (108 enodes)
3.080 * * [simplify]: iters left: 1 (142 enodes)
3.114 * * [simplify]: Extracting #0: cost 1 inf + 0
3.114 * * [simplify]: Extracting #1: cost 3 inf + 0
3.114 * * [simplify]: Extracting #2: cost 25 inf + 0
3.115 * * [simplify]: Extracting #3: cost 26 inf + 2
3.115 * * [simplify]: Extracting #4: cost 20 inf + 1217
3.116 * * [simplify]: Extracting #5: cost 5 inf + 6972
3.117 * * [simplify]: Extracting #6: cost 0 inf + 9668
3.119 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
3.119 * [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.119 * * * * [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.120 * [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.120 * * [simplify]: iters left: 6 (19 enodes)
3.128 * * [simplify]: iters left: 5 (69 enodes)
3.155 * * [simplify]: iters left: 4 (285 enodes)
3.339 * * [simplify]: Extracting #0: cost 1 inf + 0
3.339 * * [simplify]: Extracting #1: cost 53 inf + 0
3.340 * * [simplify]: Extracting #2: cost 282 inf + 1
3.342 * * [simplify]: Extracting #3: cost 503 inf + 21086
3.349 * * [simplify]: Extracting #4: cost 370 inf + 159062
3.367 * * [simplify]: Extracting #5: cost 256 inf + 274476
3.407 * * [simplify]: Extracting #6: cost 34 inf + 547909
3.452 * * [simplify]: Extracting #7: cost 0 inf + 598118
3.487 * * [simplify]: Extracting #8: cost 0 inf + 597758
3.540 * [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.540 * [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.540 * * * * [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.540 * [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.541 * * [simplify]: iters left: 6 (18 enodes)
3.549 * * [simplify]: iters left: 5 (60 enodes)
3.574 * * [simplify]: iters left: 4 (217 enodes)
3.663 * * [simplify]: Extracting #0: cost 1 inf + 0
3.663 * * [simplify]: Extracting #1: cost 37 inf + 0
3.664 * * [simplify]: Extracting #2: cost 231 inf + 0
3.665 * * [simplify]: Extracting #3: cost 367 inf + 1775
3.669 * * [simplify]: Extracting #4: cost 340 inf + 85025
3.687 * * [simplify]: Extracting #5: cost 68 inf + 357292
3.718 * * [simplify]: Extracting #6: cost 0 inf + 446465
3.745 * [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.745 * [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.745 * * * * [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.745 * [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.746 * * [simplify]: iters left: 6 (21 enodes)
3.751 * * [simplify]: iters left: 5 (82 enodes)
3.772 * * [simplify]: iters left: 4 (367 enodes)
4.071 * * [simplify]: Extracting #0: cost 1 inf + 0
4.072 * * [simplify]: Extracting #1: cost 72 inf + 0
4.072 * * [simplify]: Extracting #2: cost 417 inf + 1
4.075 * * [simplify]: Extracting #3: cost 758 inf + 26822
4.084 * * [simplify]: Extracting #4: cost 733 inf + 164690
4.094 * * [simplify]: Extracting #5: cost 709 inf + 186755
4.121 * * [simplify]: Extracting #6: cost 690 inf + 202056
4.161 * * [simplify]: Extracting #7: cost 459 inf + 518766
4.258 * * [simplify]: Extracting #8: cost 62 inf + 1150522
4.345 * * [simplify]: Extracting #9: cost 1 inf + 1257644
4.437 * * [simplify]: Extracting #10: cost 0 inf + 1260729
4.539 * * [simplify]: Extracting #11: cost 0 inf + 1260609
4.616 * [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.617 * [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.617 * * * * [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.618 * [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.618 * * [simplify]: iters left: 6 (13 enodes)
4.621 * * [simplify]: iters left: 5 (45 enodes)
4.635 * * [simplify]: iters left: 4 (208 enodes)
4.801 * * [simplify]: Extracting #0: cost 1 inf + 0
4.802 * * [simplify]: Extracting #1: cost 61 inf + 0
4.803 * * [simplify]: Extracting #2: cost 446 inf + 0
4.805 * * [simplify]: Extracting #3: cost 619 inf + 769
4.811 * * [simplify]: Extracting #4: cost 480 inf + 118531
4.848 * * [simplify]: Extracting #5: cost 160 inf + 462396
4.896 * * [simplify]: Extracting #6: cost 6 inf + 655313
4.964 * * [simplify]: Extracting #7: cost 0 inf + 665383
5.007 * [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.008 * [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.008 * * * * [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.008 * [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.008 * * [simplify]: iters left: 5 (15 enodes)
5.013 * * [simplify]: iters left: 4 (44 enodes)
5.029 * * [simplify]: iters left: 3 (112 enodes)
5.062 * * [simplify]: iters left: 2 (473 enodes)
5.454 * * [simplify]: Extracting #0: cost 1 inf + 0
5.454 * * [simplify]: Extracting #1: cost 35 inf + 0
5.454 * * [simplify]: Extracting #2: cost 286 inf + 1
5.457 * * [simplify]: Extracting #3: cost 528 inf + 4158
5.460 * * [simplify]: Extracting #4: cost 530 inf + 7620
5.464 * * [simplify]: Extracting #5: cost 473 inf + 34154
5.483 * * [simplify]: Extracting #6: cost 203 inf + 247385
5.541 * * [simplify]: Extracting #7: cost 17 inf + 433812
5.606 * * [simplify]: Extracting #8: cost 0 inf + 455263
5.645 * [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.645 * [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.645 * [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.645 * * [simplify]: iters left: 6 (17 enodes)
5.649 * * [simplify]: iters left: 5 (52 enodes)
5.660 * * [simplify]: iters left: 4 (154 enodes)
5.711 * * [simplify]: Extracting #0: cost 1 inf + 0
5.711 * * [simplify]: Extracting #1: cost 27 inf + 0
5.711 * * [simplify]: Extracting #2: cost 137 inf + 0
5.712 * * [simplify]: Extracting #3: cost 277 inf + 366
5.713 * * [simplify]: Extracting #4: cost 284 inf + 5479
5.715 * * [simplify]: Extracting #5: cost 252 inf + 13708
5.719 * * [simplify]: Extracting #6: cost 206 inf + 39018
5.737 * * [simplify]: Extracting #7: cost 38 inf + 214592
5.764 * * [simplify]: Extracting #8: cost 0 inf + 247968
5.794 * * [simplify]: Extracting #9: cost 0 inf + 243888
5.815 * * [simplify]: Extracting #10: cost 0 inf + 243528
5.833 * [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.833 * [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.833 * * * * [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.834 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta)))
5.834 * * [simplify]: iters left: 3 (7 enodes)
5.836 * * [simplify]: iters left: 2 (23 enodes)
5.842 * * [simplify]: iters left: 1 (33 enodes)
5.848 * * [simplify]: Extracting #0: cost 1 inf + 0
5.848 * * [simplify]: Extracting #1: cost 7 inf + 0
5.848 * * [simplify]: Extracting #2: cost 13 inf + 0
5.848 * * [simplify]: Extracting #3: cost 9 inf + 45
5.848 * * [simplify]: Extracting #4: cost 2 inf + 1821
5.849 * * [simplify]: Extracting #5: cost 0 inf + 2907
5.849 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 alpha beta))
5.849 * [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.849 * * * * [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.849 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i))
5.849 * * [simplify]: iters left: 3 (7 enodes)
5.851 * * [simplify]: iters left: 2 (17 enodes)
5.853 * * [simplify]: iters left: 1 (25 enodes)
5.857 * * [simplify]: Extracting #0: cost 1 inf + 0
5.857 * * [simplify]: Extracting #1: cost 9 inf + 0
5.857 * * [simplify]: Extracting #2: cost 13 inf + 0
5.857 * * [simplify]: Extracting #3: cost 10 inf + 3
5.857 * * [simplify]: Extracting #4: cost 2 inf + 3423
5.857 * * [simplify]: Extracting #5: cost 0 inf + 4829
5.858 * [simplify]: Simplified to (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 alpha beta))
5.858 * [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.858 * * * * [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.858 * * * * [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.858 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i))
5.858 * * [simplify]: iters left: 3 (6 enodes)
5.861 * * [simplify]: iters left: 2 (13 enodes)
5.865 * * [simplify]: Extracting #0: cost 1 inf + 0
5.865 * * [simplify]: Extracting #1: cost 3 inf + 0
5.865 * * [simplify]: Extracting #2: cost 4 inf + 1
5.865 * * [simplify]: Extracting #3: cost 4 inf + 2
5.865 * * [simplify]: Extracting #4: cost 0 inf + 689
5.865 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2)))
5.866 * [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.866 * * * * [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.866 * * * * [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.866 * [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.866 * * [simplify]: iters left: 6 (19 enodes)
5.876 * * [simplify]: iters left: 5 (76 enodes)
5.899 * * [simplify]: iters left: 4 (344 enodes)
6.126 * * [simplify]: Extracting #0: cost 1 inf + 0
6.127 * * [simplify]: Extracting #1: cost 75 inf + 0
6.129 * * [simplify]: Extracting #2: cost 474 inf + 1
6.133 * * [simplify]: Extracting #3: cost 741 inf + 26817
6.144 * * [simplify]: Extracting #4: cost 682 inf + 140740
6.154 * * [simplify]: Extracting #5: cost 610 inf + 190036
6.165 * * [simplify]: Extracting #6: cost 582 inf + 205163
6.188 * * [simplify]: Extracting #7: cost 359 inf + 459086
6.250 * * [simplify]: Extracting #8: cost 52 inf + 926046
6.317 * * [simplify]: Extracting #9: cost 0 inf + 1027849
6.375 * * [simplify]: Extracting #10: cost 0 inf + 1026329
6.452 * [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.452 * [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.452 * * * * [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.453 * [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.453 * * [simplify]: iters left: 6 (19 enodes)
6.464 * * [simplify]: iters left: 5 (76 enodes)
6.494 * * [simplify]: iters left: 4 (344 enodes)
6.686 * * [simplify]: Extracting #0: cost 1 inf + 0
6.686 * * [simplify]: Extracting #1: cost 75 inf + 0
6.687 * * [simplify]: Extracting #2: cost 474 inf + 1
6.690 * * [simplify]: Extracting #3: cost 741 inf + 26817
6.704 * * [simplify]: Extracting #4: cost 682 inf + 140740
6.724 * * [simplify]: Extracting #5: cost 610 inf + 190036
6.746 * * [simplify]: Extracting #6: cost 582 inf + 205163
6.791 * * [simplify]: Extracting #7: cost 359 inf + 459086
6.839 * * [simplify]: Extracting #8: cost 52 inf + 926046
6.918 * * [simplify]: Extracting #9: cost 0 inf + 1027849
7.031 * * [simplify]: Extracting #10: cost 0 inf + 1026329
7.118 * [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.118 * [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.118 * * * * [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.118 * [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.119 * * [simplify]: iters left: 6 (19 enodes)
7.124 * * [simplify]: iters left: 5 (76 enodes)
7.154 * * [simplify]: iters left: 4 (344 enodes)
7.360 * * [simplify]: Extracting #0: cost 1 inf + 0
7.360 * * [simplify]: Extracting #1: cost 75 inf + 0
7.362 * * [simplify]: Extracting #2: cost 474 inf + 1
7.368 * * [simplify]: Extracting #3: cost 741 inf + 26817
7.380 * * [simplify]: Extracting #4: cost 682 inf + 140740
7.397 * * [simplify]: Extracting #5: cost 610 inf + 190036
7.411 * * [simplify]: Extracting #6: cost 582 inf + 205163
7.432 * * [simplify]: Extracting #7: cost 359 inf + 459086
7.487 * * [simplify]: Extracting #8: cost 52 inf + 926046
7.563 * * [simplify]: Extracting #9: cost 0 inf + 1027849
7.642 * * [simplify]: Extracting #10: cost 0 inf + 1026329
7.718 * [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.718 * [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.719 * * * * [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.719 * [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.719 * * [simplify]: iters left: 6 (19 enodes)
7.724 * * [simplify]: iters left: 5 (76 enodes)
7.745 * * [simplify]: iters left: 4 (344 enodes)
7.955 * * [simplify]: Extracting #0: cost 1 inf + 0
7.956 * * [simplify]: Extracting #1: cost 75 inf + 0
7.957 * * [simplify]: Extracting #2: cost 474 inf + 1
7.963 * * [simplify]: Extracting #3: cost 741 inf + 26817
7.974 * * [simplify]: Extracting #4: cost 682 inf + 140740
7.990 * * [simplify]: Extracting #5: cost 610 inf + 190036
8.001 * * [simplify]: Extracting #6: cost 582 inf + 205163
8.023 * * [simplify]: Extracting #7: cost 359 inf + 459086
8.080 * * [simplify]: Extracting #8: cost 52 inf + 926046
8.173 * * [simplify]: Extracting #9: cost 0 inf + 1027849
8.253 * * [simplify]: Extracting #10: cost 0 inf + 1026329
8.314 * [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.315 * [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.315 * * * [progress]: adding candidates to table
9.132 * * [progress]: iteration 2 / 4
9.132 * * * [progress]: picking best candidate
9.404 * * * * [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.404 * * * [progress]: localizing error
9.945 * * * [progress]: generating rewritten candidates
9.945 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
9.964 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
9.972 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.993 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
10.030 * * * [progress]: generating series expansions
10.030 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
10.030 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
10.030 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
10.031 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
10.031 * * * [progress]: simplifying candidates
10.031 * * * * [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)))))>
10.031 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
10.031 * * [simplify]: iters left: 4 (10 enodes)
10.033 * * [simplify]: iters left: 3 (25 enodes)
10.037 * * [simplify]: iters left: 2 (37 enodes)
10.042 * * [simplify]: iters left: 1 (40 enodes)
10.048 * * [simplify]: Extracting #0: cost 1 inf + 0
10.048 * * [simplify]: Extracting #1: cost 3 inf + 0
10.048 * * [simplify]: Extracting #2: cost 12 inf + 0
10.048 * * [simplify]: Extracting #3: cost 9 inf + 45
10.048 * * [simplify]: Extracting #4: cost 7 inf + 212
10.048 * * [simplify]: Extracting #5: cost 6 inf + 213
10.048 * * [simplify]: Extracting #6: cost 0 inf + 2590
10.048 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
10.049 * [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)))))
10.049 * * * * [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)))))>
10.049 * [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))))
10.049 * * [simplify]: iters left: 6 (19 enodes)
10.054 * * [simplify]: iters left: 5 (61 enodes)
10.067 * * [simplify]: iters left: 4 (215 enodes)
10.168 * * [simplify]: Extracting #0: cost 1 inf + 0
10.168 * * [simplify]: Extracting #1: cost 22 inf + 0
10.169 * * [simplify]: Extracting #2: cost 157 inf + 0
10.170 * * [simplify]: Extracting #3: cost 351 inf + 1090
10.171 * * [simplify]: Extracting #4: cost 392 inf + 5117
10.177 * * [simplify]: Extracting #5: cost 251 inf + 127248
10.208 * * [simplify]: Extracting #6: cost 24 inf + 378730
10.258 * * [simplify]: Extracting #7: cost 0 inf + 401240
10.313 * * [simplify]: Extracting #8: cost 0 inf + 401120
10.363 * [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.364 * [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.365 * * * * [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.365 * [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.365 * * [simplify]: iters left: 5 (12 enodes)
10.372 * * [simplify]: iters left: 4 (41 enodes)
10.391 * * [simplify]: iters left: 3 (156 enodes)
10.501 * * [simplify]: Extracting #0: cost 1 inf + 0
10.501 * * [simplify]: Extracting #1: cost 66 inf + 0
10.502 * * [simplify]: Extracting #2: cost 331 inf + 0
10.504 * * [simplify]: Extracting #3: cost 401 inf + 2820
10.508 * * [simplify]: Extracting #4: cost 325 inf + 51469
10.530 * * [simplify]: Extracting #5: cost 77 inf + 233093
10.570 * * [simplify]: Extracting #6: cost 1 inf + 291952
10.591 * * [simplify]: Extracting #7: cost 0 inf + 292995
10.611 * [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.611 * [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.611 * * * * [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.611 * [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.612 * * [simplify]: iters left: 5 (12 enodes)
10.615 * * [simplify]: iters left: 4 (35 enodes)
10.627 * * [simplify]: iters left: 3 (115 enodes)
10.699 * * [simplify]: Extracting #0: cost 1 inf + 0
10.699 * * [simplify]: Extracting #1: cost 57 inf + 0
10.700 * * [simplify]: Extracting #2: cost 211 inf + 0
10.701 * * [simplify]: Extracting #3: cost 242 inf + 2097
10.702 * * [simplify]: Extracting #4: cost 201 inf + 17680
10.707 * * [simplify]: Extracting #5: cost 79 inf + 93773
10.720 * * [simplify]: Extracting #6: cost 0 inf + 156101
10.731 * * [simplify]: Extracting #7: cost 0 inf + 156094
10.742 * [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.742 * [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.742 * * * * [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.742 * [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.742 * * [simplify]: iters left: 5 (15 enodes)
10.747 * * [simplify]: iters left: 4 (44 enodes)
10.756 * * [simplify]: iters left: 3 (112 enodes)
10.815 * * [simplify]: iters left: 2 (473 enodes)
11.238 * * [simplify]: Extracting #0: cost 1 inf + 0
11.238 * * [simplify]: Extracting #1: cost 35 inf + 0
11.239 * * [simplify]: Extracting #2: cost 286 inf + 1
11.243 * * [simplify]: Extracting #3: cost 528 inf + 4158
11.256 * * [simplify]: Extracting #4: cost 530 inf + 7620
11.265 * * [simplify]: Extracting #5: cost 473 inf + 34154
11.296 * * [simplify]: Extracting #6: cost 203 inf + 247385
11.370 * * [simplify]: Extracting #7: cost 17 inf + 433812
11.452 * * [simplify]: Extracting #8: cost 0 inf + 455263
11.530 * [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.530 * [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.531 * [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.531 * * [simplify]: iters left: 6 (17 enodes)
11.541 * * [simplify]: iters left: 5 (52 enodes)
11.563 * * [simplify]: iters left: 4 (154 enodes)
11.669 * * [simplify]: Extracting #0: cost 1 inf + 0
11.669 * * [simplify]: Extracting #1: cost 27 inf + 0
11.670 * * [simplify]: Extracting #2: cost 137 inf + 0
11.671 * * [simplify]: Extracting #3: cost 277 inf + 366
11.674 * * [simplify]: Extracting #4: cost 284 inf + 5479
11.678 * * [simplify]: Extracting #5: cost 252 inf + 13708
11.684 * * [simplify]: Extracting #6: cost 206 inf + 39018
11.711 * * [simplify]: Extracting #7: cost 38 inf + 214592
11.742 * * [simplify]: Extracting #8: cost 0 inf + 247968
11.774 * * [simplify]: Extracting #9: cost 0 inf + 243888
11.792 * * [simplify]: Extracting #10: cost 0 inf + 243528
11.807 * [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.808 * [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.808 * * * * [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.808 * [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.808 * * [simplify]: iters left: 5 (15 enodes)
11.816 * * [simplify]: iters left: 4 (44 enodes)
11.832 * * [simplify]: iters left: 3 (112 enodes)
11.865 * * [simplify]: iters left: 2 (473 enodes)
12.143 * * [simplify]: Extracting #0: cost 1 inf + 0
12.143 * * [simplify]: Extracting #1: cost 35 inf + 0
12.144 * * [simplify]: Extracting #2: cost 286 inf + 1
12.146 * * [simplify]: Extracting #3: cost 528 inf + 4158
12.150 * * [simplify]: Extracting #4: cost 530 inf + 7620
12.154 * * [simplify]: Extracting #5: cost 473 inf + 34154
12.180 * * [simplify]: Extracting #6: cost 203 inf + 247385
12.255 * * [simplify]: Extracting #7: cost 17 inf + 433812
12.338 * * [simplify]: Extracting #8: cost 0 inf + 455263
12.421 * [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.421 * [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.422 * [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.422 * * [simplify]: iters left: 6 (17 enodes)
12.430 * * [simplify]: iters left: 5 (52 enodes)
12.453 * * [simplify]: iters left: 4 (154 enodes)
12.558 * * [simplify]: Extracting #0: cost 1 inf + 0
12.559 * * [simplify]: Extracting #1: cost 27 inf + 0
12.559 * * [simplify]: Extracting #2: cost 137 inf + 0
12.561 * * [simplify]: Extracting #3: cost 277 inf + 366
12.563 * * [simplify]: Extracting #4: cost 284 inf + 5479
12.566 * * [simplify]: Extracting #5: cost 252 inf + 13708
12.571 * * [simplify]: Extracting #6: cost 206 inf + 39018
12.594 * * [simplify]: Extracting #7: cost 38 inf + 214592
12.625 * * [simplify]: Extracting #8: cost 0 inf + 247968
12.656 * * [simplify]: Extracting #9: cost 0 inf + 243888
12.690 * * [simplify]: Extracting #10: cost 0 inf + 243528
12.720 * [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.721 * [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.721 * * * * [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.721 * [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.721 * * [simplify]: iters left: 5 (15 enodes)
12.729 * * [simplify]: iters left: 4 (44 enodes)
12.745 * * [simplify]: iters left: 3 (112 enodes)
12.804 * * [simplify]: iters left: 2 (473 enodes)
13.170 * * [simplify]: Extracting #0: cost 1 inf + 0
13.170 * * [simplify]: Extracting #1: cost 35 inf + 0
13.172 * * [simplify]: Extracting #2: cost 286 inf + 1
13.176 * * [simplify]: Extracting #3: cost 528 inf + 4158
13.187 * * [simplify]: Extracting #4: cost 530 inf + 7620
13.191 * * [simplify]: Extracting #5: cost 473 inf + 34154
13.209 * * [simplify]: Extracting #6: cost 203 inf + 247385
13.266 * * [simplify]: Extracting #7: cost 17 inf + 433812
13.349 * * [simplify]: Extracting #8: cost 0 inf + 455263
13.424 * [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.424 * [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.425 * [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.425 * * [simplify]: iters left: 6 (17 enodes)
13.433 * * [simplify]: iters left: 5 (52 enodes)
13.457 * * [simplify]: iters left: 4 (154 enodes)
13.511 * * [simplify]: Extracting #0: cost 1 inf + 0
13.511 * * [simplify]: Extracting #1: cost 27 inf + 0
13.512 * * [simplify]: Extracting #2: cost 137 inf + 0
13.513 * * [simplify]: Extracting #3: cost 277 inf + 366
13.514 * * [simplify]: Extracting #4: cost 284 inf + 5479
13.515 * * [simplify]: Extracting #5: cost 252 inf + 13708
13.518 * * [simplify]: Extracting #6: cost 206 inf + 39018
13.532 * * [simplify]: Extracting #7: cost 38 inf + 214592
13.551 * * [simplify]: Extracting #8: cost 0 inf + 247968
13.581 * * [simplify]: Extracting #9: cost 0 inf + 243888
13.596 * * [simplify]: Extracting #10: cost 0 inf + 243528
13.613 * [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.613 * [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.614 * * * * [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.614 * [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.614 * * [simplify]: iters left: 5 (15 enodes)
13.622 * * [simplify]: iters left: 4 (44 enodes)
13.640 * * [simplify]: iters left: 3 (112 enodes)
13.673 * * [simplify]: iters left: 2 (473 enodes)
14.123 * * [simplify]: Extracting #0: cost 1 inf + 0
14.123 * * [simplify]: Extracting #1: cost 35 inf + 0
14.124 * * [simplify]: Extracting #2: cost 286 inf + 1
14.129 * * [simplify]: Extracting #3: cost 528 inf + 4158
14.135 * * [simplify]: Extracting #4: cost 530 inf + 7620
14.144 * * [simplify]: Extracting #5: cost 473 inf + 34154
14.175 * * [simplify]: Extracting #6: cost 203 inf + 247385
14.254 * * [simplify]: Extracting #7: cost 17 inf + 433812
14.332 * * [simplify]: Extracting #8: cost 0 inf + 455263
14.414 * [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))))
14.414 * [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)))))
14.415 * [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)))
14.415 * * [simplify]: iters left: 6 (17 enodes)
14.423 * * [simplify]: iters left: 5 (52 enodes)
14.444 * * [simplify]: iters left: 4 (154 enodes)
14.516 * * [simplify]: Extracting #0: cost 1 inf + 0
14.516 * * [simplify]: Extracting #1: cost 27 inf + 0
14.516 * * [simplify]: Extracting #2: cost 137 inf + 0
14.518 * * [simplify]: Extracting #3: cost 277 inf + 366
14.520 * * [simplify]: Extracting #4: cost 284 inf + 5479
14.523 * * [simplify]: Extracting #5: cost 252 inf + 13708
14.527 * * [simplify]: Extracting #6: cost 206 inf + 39018
14.539 * * [simplify]: Extracting #7: cost 38 inf + 214592
14.556 * * [simplify]: Extracting #8: cost 0 inf + 247968
14.588 * * [simplify]: Extracting #9: cost 0 inf + 243888
14.619 * * [simplify]: Extracting #10: cost 0 inf + 243528
14.650 * [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.650 * [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.651 * * * [progress]: adding candidates to table
14.976 * * [progress]: iteration 3 / 4
14.977 * * * [progress]: picking best candidate
15.207 * * * * [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)))))>
15.207 * * * [progress]: localizing error
15.811 * * * [progress]: generating rewritten candidates
15.811 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
15.824 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
15.856 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
15.904 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
16.006 * * * [progress]: generating series expansions
16.006 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
16.006 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
16.007 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
16.007 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
16.007 * * * [progress]: simplifying candidates
16.007 * * * * [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)))))>
16.007 * [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))))
16.007 * * [simplify]: iters left: 6 (19 enodes)
16.017 * * [simplify]: iters left: 5 (61 enodes)
16.043 * * [simplify]: iters left: 4 (215 enodes)
16.167 * * [simplify]: Extracting #0: cost 1 inf + 0
16.167 * * [simplify]: Extracting #1: cost 22 inf + 0
16.167 * * [simplify]: Extracting #2: cost 157 inf + 0
16.168 * * [simplify]: Extracting #3: cost 351 inf + 1090
16.170 * * [simplify]: Extracting #4: cost 392 inf + 5117
16.182 * * [simplify]: Extracting #5: cost 251 inf + 127248
16.202 * * [simplify]: Extracting #6: cost 24 inf + 378730
16.228 * * [simplify]: Extracting #7: cost 0 inf + 401240
16.253 * * [simplify]: Extracting #8: cost 0 inf + 401120
16.279 * [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))))
16.279 * [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)))))
16.279 * * * * [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))))))>
16.279 * [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)))
16.280 * * [simplify]: iters left: 5 (12 enodes)
16.283 * * [simplify]: iters left: 4 (41 enodes)
16.293 * * [simplify]: iters left: 3 (156 enodes)
16.422 * * [simplify]: Extracting #0: cost 1 inf + 0
16.422 * * [simplify]: Extracting #1: cost 66 inf + 0
16.424 * * [simplify]: Extracting #2: cost 331 inf + 0
16.427 * * [simplify]: Extracting #3: cost 401 inf + 2820
16.434 * * [simplify]: Extracting #4: cost 325 inf + 51469
16.460 * * [simplify]: Extracting #5: cost 77 inf + 233093
16.500 * * [simplify]: Extracting #6: cost 1 inf + 291952
16.547 * * [simplify]: Extracting #7: cost 0 inf + 292995
16.588 * [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.588 * [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.589 * * * * [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.589 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
16.589 * * [simplify]: iters left: 5 (13 enodes)
16.596 * * [simplify]: iters left: 4 (32 enodes)
16.607 * * [simplify]: iters left: 3 (58 enodes)
16.626 * * [simplify]: iters left: 2 (88 enodes)
16.654 * * [simplify]: iters left: 1 (106 enodes)
16.684 * * [simplify]: Extracting #0: cost 1 inf + 0
16.684 * * [simplify]: Extracting #1: cost 3 inf + 0
16.684 * * [simplify]: Extracting #2: cost 20 inf + 0
16.684 * * [simplify]: Extracting #3: cost 19 inf + 3
16.685 * * [simplify]: Extracting #4: cost 13 inf + 256
16.685 * * [simplify]: Extracting #5: cost 10 inf + 382
16.686 * * [simplify]: Extracting #6: cost 0 inf + 4416
16.687 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
16.688 * [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.688 * * * * [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.688 * [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.688 * * [simplify]: iters left: 5 (14 enodes)
16.695 * * [simplify]: iters left: 4 (36 enodes)
16.708 * * [simplify]: iters left: 3 (94 enodes)
16.773 * * [simplify]: iters left: 2 (461 enodes)
17.387 * * [simplify]: Extracting #0: cost 1 inf + 0
17.387 * * [simplify]: Extracting #1: cost 90 inf + 0
17.389 * * [simplify]: Extracting #2: cost 499 inf + 0
17.401 * * [simplify]: Extracting #3: cost 748 inf + 1538
17.409 * * [simplify]: Extracting #4: cost 725 inf + 12457
17.431 * * [simplify]: Extracting #5: cost 525 inf + 159208
17.514 * * [simplify]: Extracting #6: cost 39 inf + 657895
17.620 * * [simplify]: Extracting #7: cost 0 inf + 701036
17.700 * * [simplify]: Extracting #8: cost 0 inf + 700996
17.778 * [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.778 * [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.778 * * * * [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.778 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.779 * * [simplify]: iters left: 4 (10 enodes)
17.784 * * [simplify]: iters left: 3 (25 enodes)
17.792 * * [simplify]: iters left: 2 (37 enodes)
17.803 * * [simplify]: iters left: 1 (40 enodes)
17.816 * * [simplify]: Extracting #0: cost 1 inf + 0
17.816 * * [simplify]: Extracting #1: cost 3 inf + 0
17.816 * * [simplify]: Extracting #2: cost 12 inf + 0
17.816 * * [simplify]: Extracting #3: cost 9 inf + 45
17.816 * * [simplify]: Extracting #4: cost 7 inf + 212
17.817 * * [simplify]: Extracting #5: cost 6 inf + 213
17.817 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.817 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.818 * [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.818 * * * * [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.818 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.818 * * [simplify]: iters left: 4 (10 enodes)
17.823 * * [simplify]: iters left: 3 (25 enodes)
17.831 * * [simplify]: iters left: 2 (37 enodes)
17.841 * * [simplify]: iters left: 1 (40 enodes)
17.847 * * [simplify]: Extracting #0: cost 1 inf + 0
17.847 * * [simplify]: Extracting #1: cost 3 inf + 0
17.847 * * [simplify]: Extracting #2: cost 12 inf + 0
17.847 * * [simplify]: Extracting #3: cost 9 inf + 45
17.847 * * [simplify]: Extracting #4: cost 7 inf + 212
17.847 * * [simplify]: Extracting #5: cost 6 inf + 213
17.848 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.848 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.848 * [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.848 * * * * [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.848 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.848 * * [simplify]: iters left: 4 (10 enodes)
17.850 * * [simplify]: iters left: 3 (25 enodes)
17.854 * * [simplify]: iters left: 2 (37 enodes)
17.860 * * [simplify]: iters left: 1 (40 enodes)
17.865 * * [simplify]: Extracting #0: cost 1 inf + 0
17.865 * * [simplify]: Extracting #1: cost 3 inf + 0
17.865 * * [simplify]: Extracting #2: cost 12 inf + 0
17.865 * * [simplify]: Extracting #3: cost 9 inf + 45
17.865 * * [simplify]: Extracting #4: cost 7 inf + 212
17.866 * * [simplify]: Extracting #5: cost 6 inf + 213
17.866 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.866 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.866 * [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.866 * * * * [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.866 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.866 * * [simplify]: iters left: 4 (10 enodes)
17.869 * * [simplify]: iters left: 3 (25 enodes)
17.873 * * [simplify]: iters left: 2 (37 enodes)
17.878 * * [simplify]: iters left: 1 (40 enodes)
17.883 * * [simplify]: Extracting #0: cost 1 inf + 0
17.883 * * [simplify]: Extracting #1: cost 3 inf + 0
17.883 * * [simplify]: Extracting #2: cost 12 inf + 0
17.883 * * [simplify]: Extracting #3: cost 9 inf + 45
17.883 * * [simplify]: Extracting #4: cost 7 inf + 212
17.883 * * [simplify]: Extracting #5: cost 6 inf + 213
17.883 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.884 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.884 * [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.884 * * * [progress]: adding candidates to table
18.226 * * [progress]: iteration 4 / 4
18.226 * * * [progress]: picking best candidate
18.631 * * * * [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)))))>
18.631 * * * [progress]: localizing error
19.162 * * * [progress]: generating rewritten candidates
19.162 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
19.175 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
19.291 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
19.304 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
19.348 * * * [progress]: generating series expansions
19.348 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
19.348 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
19.348 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
19.348 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
19.348 * * * [progress]: simplifying candidates
19.348 * * * * [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)))))>
19.348 * [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))))
19.349 * * [simplify]: iters left: 6 (19 enodes)
19.361 * * [simplify]: iters left: 5 (61 enodes)
19.387 * * [simplify]: iters left: 4 (215 enodes)
19.506 * * [simplify]: Extracting #0: cost 1 inf + 0
19.506 * * [simplify]: Extracting #1: cost 22 inf + 0
19.507 * * [simplify]: Extracting #2: cost 157 inf + 0
19.508 * * [simplify]: Extracting #3: cost 351 inf + 1090
19.510 * * [simplify]: Extracting #4: cost 392 inf + 5117
19.521 * * [simplify]: Extracting #5: cost 251 inf + 127248
19.566 * * [simplify]: Extracting #6: cost 24 inf + 378730
19.592 * * [simplify]: Extracting #7: cost 0 inf + 401240
19.622 * * [simplify]: Extracting #8: cost 0 inf + 401120
19.655 * [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))))
19.655 * [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)))))
19.656 * * * * [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))))))>
19.656 * [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)))
19.656 * * [simplify]: iters left: 5 (12 enodes)
19.659 * * [simplify]: iters left: 4 (41 enodes)
19.671 * * [simplify]: iters left: 3 (156 enodes)
19.769 * * [simplify]: Extracting #0: cost 1 inf + 0
19.770 * * [simplify]: Extracting #1: cost 66 inf + 0
19.770 * * [simplify]: Extracting #2: cost 331 inf + 0
19.772 * * [simplify]: Extracting #3: cost 401 inf + 2820
19.775 * * [simplify]: Extracting #4: cost 325 inf + 51469
19.788 * * [simplify]: Extracting #5: cost 77 inf + 233093
19.808 * * [simplify]: Extracting #6: cost 1 inf + 291952
19.831 * * [simplify]: Extracting #7: cost 0 inf + 292995
19.851 * [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)))
19.851 * [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))))))
19.851 * * * * [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)))))>
19.851 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
19.852 * * [simplify]: iters left: 5 (13 enodes)
19.855 * * [simplify]: iters left: 4 (32 enodes)
19.860 * * [simplify]: iters left: 3 (58 enodes)
19.872 * * [simplify]: iters left: 2 (88 enodes)
19.886 * * [simplify]: iters left: 1 (106 enodes)
19.900 * * [simplify]: Extracting #0: cost 1 inf + 0
19.900 * * [simplify]: Extracting #1: cost 3 inf + 0
19.900 * * [simplify]: Extracting #2: cost 20 inf + 0
19.900 * * [simplify]: Extracting #3: cost 19 inf + 3
19.900 * * [simplify]: Extracting #4: cost 13 inf + 256
19.902 * * [simplify]: Extracting #5: cost 10 inf + 382
19.902 * * [simplify]: Extracting #6: cost 0 inf + 4416
19.903 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
19.903 * [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)))))
19.903 * * * * [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)))))>
19.903 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
19.903 * * [simplify]: iters left: 5 (13 enodes)
19.906 * * [simplify]: iters left: 4 (32 enodes)
19.912 * * [simplify]: iters left: 3 (58 enodes)
19.921 * * [simplify]: iters left: 2 (88 enodes)
19.935 * * [simplify]: iters left: 1 (106 enodes)
19.962 * * [simplify]: Extracting #0: cost 1 inf + 0
19.962 * * [simplify]: Extracting #1: cost 3 inf + 0
19.962 * * [simplify]: Extracting #2: cost 20 inf + 0
19.962 * * [simplify]: Extracting #3: cost 19 inf + 3
19.963 * * [simplify]: Extracting #4: cost 13 inf + 256
19.963 * * [simplify]: Extracting #5: cost 10 inf + 382
19.964 * * [simplify]: Extracting #6: cost 0 inf + 4416
19.965 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
19.965 * [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)))))
19.966 * * * * [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)))))>
19.966 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
19.966 * * [simplify]: iters left: 5 (13 enodes)
19.973 * * [simplify]: iters left: 4 (32 enodes)
19.983 * * [simplify]: iters left: 3 (58 enodes)
20.004 * * [simplify]: iters left: 2 (88 enodes)
20.031 * * [simplify]: iters left: 1 (106 enodes)
20.060 * * [simplify]: Extracting #0: cost 1 inf + 0
20.060 * * [simplify]: Extracting #1: cost 3 inf + 0
20.060 * * [simplify]: Extracting #2: cost 20 inf + 0
20.060 * * [simplify]: Extracting #3: cost 19 inf + 3
20.060 * * [simplify]: Extracting #4: cost 13 inf + 256
20.061 * * [simplify]: Extracting #5: cost 10 inf + 382
20.062 * * [simplify]: Extracting #6: cost 0 inf + 4416
20.063 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
20.063 * [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)))))
20.063 * * * * [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)))))>
20.064 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
20.064 * * [simplify]: iters left: 5 (13 enodes)
20.070 * * [simplify]: iters left: 4 (32 enodes)
20.081 * * [simplify]: iters left: 3 (58 enodes)
20.100 * * [simplify]: iters left: 2 (88 enodes)
20.128 * * [simplify]: iters left: 1 (106 enodes)
20.157 * * [simplify]: Extracting #0: cost 1 inf + 0
20.157 * * [simplify]: Extracting #1: cost 3 inf + 0
20.157 * * [simplify]: Extracting #2: cost 20 inf + 0
20.157 * * [simplify]: Extracting #3: cost 19 inf + 3
20.157 * * [simplify]: Extracting #4: cost 13 inf + 256
20.158 * * [simplify]: Extracting #5: cost 10 inf + 382
20.159 * * [simplify]: Extracting #6: cost 0 inf + 4416
20.160 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
20.160 * [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)))))
20.161 * * * [progress]: adding candidates to table
20.433 * [progress]: [Phase 3 of 3] Extracting.
20.433 * * [regime]: Finding splitpoints for: (#<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 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 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 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 (/.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 (*.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 (*.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 (*.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))))> #<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))))> #<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 (+.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 (*.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 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 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 (*.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 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 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))))>)
20.452 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
20.452 * * * * [regimes]: Trying to branch on beta from (#<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 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 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 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 (/.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 (*.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 (*.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 (*.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))))> #<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))))> #<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 (+.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 (*.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 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 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 (*.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 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 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))))>)
21.106 * * * * [regimes]: Trying to branch on alpha from (#<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 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 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 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 (/.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 (*.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 (*.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 (*.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))))> #<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))))> #<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 (+.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 (*.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 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 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 (*.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 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 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))))>)
21.693 * * * * [regimes]: Trying to branch on i from (#<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 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 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 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 (/.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 (*.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 (*.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 (*.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))))> #<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))))> #<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 (+.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 (*.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 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 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 (*.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 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 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))))>)
22.081 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
22.081 * [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))))
22.081 * * [simplify]: iters left: 6 (22 enodes)
22.083 * * [simplify]: Extracting #0: cost 1 inf + 0
22.083 * * [simplify]: Extracting #1: cost 3 inf + 0
22.083 * * [simplify]: Extracting #2: cost 7 inf + 0
22.083 * * [simplify]: Extracting #3: cost 12 inf + 0
22.083 * * [simplify]: Extracting #4: cost 17 inf + 1
22.083 * * [simplify]: Extracting #5: cost 19 inf + 2
22.083 * * [simplify]: Extracting #6: cost 15 inf + 369
22.083 * * [simplify]: Extracting #7: cost 11 inf + 857
22.084 * * [simplify]: Extracting #8: cost 6 inf + 3675
22.084 * * [simplify]: Extracting #9: cost 1 inf + 10938
22.084 * * [simplify]: Extracting #10: cost 0 inf + 14703
22.085 * [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))))
22.085 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
22.121 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
22.126 * * * * [points]: Setting MPFR precision to 64
22.128 * * * * [points]: Setting MPFR precision to 320
22.129 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
22.134 * * * * [points]: Setting MPFR precision to 64
22.136 * * * * [points]: Setting MPFR precision to 320
22.139 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
22.151 * * * * [points]: Setting MPFR precision to 64
22.157 * * * * [points]: Setting MPFR precision to 320
22.162 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
22.167 * * * * [points]: Setting MPFR precision to 64
22.177 * * * * [points]: Setting MPFR precision to 320
22.187 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
22.192 * * * * [points]: Setting MPFR precision to 64
22.210 * * * * [points]: Setting MPFR precision to 320
22.229 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
22.234 * * * * [points]: Setting MPFR precision to 64
22.296 * * * * [points]: Setting MPFR precision to 320
22.333 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
22.338 * * * * [points]: Setting MPFR precision to 64
22.903 * * * * [points]: Setting MPFR precision to 320
23.031 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
23.071 * * * * [points]: Setting MPFR precision to 64
23.363 * * * * [points]: Setting MPFR precision to 320
23.656 * * * * [points]: Computing exacts for 8000 points
23.661 * * * * [points]: Setting MPFR precision to 64
24.559 * * * * [points]: Setting MPFR precision to 320
25.384 * * * * [points]: Filtering points with unrepresentable outputs
25.388 * * * * [points]: Sampling 6897 additional inputs, on iter 1 have 1103 / 8000
25.877 * * * * [points]: Computing exacts on every 431 of 6897 points to ramp up precision
25.882 * * * * [points]: Setting MPFR precision to 64
25.884 * * * * [points]: Setting MPFR precision to 320
25.885 * * * * [points]: Computing exacts on every 215 of 6897 points to ramp up precision
25.890 * * * * [points]: Setting MPFR precision to 64
25.892 * * * * [points]: Setting MPFR precision to 320
25.894 * * * * [points]: Computing exacts on every 107 of 6897 points to ramp up precision
25.899 * * * * [points]: Setting MPFR precision to 64
25.904 * * * * [points]: Setting MPFR precision to 320
25.909 * * * * [points]: Computing exacts on every 53 of 6897 points to ramp up precision
25.915 * * * * [points]: Setting MPFR precision to 64
25.924 * * * * [points]: Setting MPFR precision to 320
25.934 * * * * [points]: Computing exacts on every 26 of 6897 points to ramp up precision
25.939 * * * * [points]: Setting MPFR precision to 64
25.958 * * * * [points]: Setting MPFR precision to 320
25.995 * * * * [points]: Computing exacts on every 13 of 6897 points to ramp up precision
26.000 * * * * [points]: Setting MPFR precision to 64
26.038 * * * * [points]: Setting MPFR precision to 320
26.096 * * * * [points]: Computing exacts on every 6 of 6897 points to ramp up precision
26.106 * * * * [points]: Setting MPFR precision to 64
26.221 * * * * [points]: Setting MPFR precision to 320
26.334 * * * * [points]: Computing exacts on every 3 of 6897 points to ramp up precision
26.339 * * * * [points]: Setting MPFR precision to 64
26.504 * * * * [points]: Setting MPFR precision to 320
26.724 * * * * [points]: Computing exacts for 6897 points
26.734 * * * * [points]: Setting MPFR precision to 64
27.803 * * * * [points]: Setting MPFR precision to 320
29.292 * * * * [points]: Filtering points with unrepresentable outputs
29.298 * * * * [points]: Sampling 5918 additional inputs, on iter 2 have 2082 / 8000
29.340 * * * * [points]: Computing exacts on every 369 of 5918 points to ramp up precision
29.349 * * * * [points]: Setting MPFR precision to 64
29.351 * * * * [points]: Setting MPFR precision to 320
29.353 * * * * [points]: Computing exacts on every 184 of 5918 points to ramp up precision
29.361 * * * * [points]: Setting MPFR precision to 64
29.365 * * * * [points]: Setting MPFR precision to 320
29.369 * * * * [points]: Computing exacts on every 92 of 5918 points to ramp up precision
29.408 * * * * [points]: Setting MPFR precision to 64
29.419 * * * * [points]: Setting MPFR precision to 320
29.427 * * * * [points]: Computing exacts on every 46 of 5918 points to ramp up precision
29.435 * * * * [points]: Setting MPFR precision to 64
29.453 * * * * [points]: Setting MPFR precision to 320
29.468 * * * * [points]: Computing exacts on every 23 of 5918 points to ramp up precision
29.476 * * * * [points]: Setting MPFR precision to 64
29.506 * * * * [points]: Setting MPFR precision to 320
29.536 * * * * [points]: Computing exacts on every 11 of 5918 points to ramp up precision
29.545 * * * * [points]: Setting MPFR precision to 64
29.655 * * * * [points]: Setting MPFR precision to 320
29.728 * * * * [points]: Computing exacts on every 5 of 5918 points to ramp up precision
29.738 * * * * [points]: Setting MPFR precision to 64
29.921 * * * * [points]: Setting MPFR precision to 320
30.064 * * * * [points]: Computing exacts on every 2 of 5918 points to ramp up precision
30.073 * * * * [points]: Setting MPFR precision to 64
30.464 * * * * [points]: Setting MPFR precision to 320
30.792 * * * * [points]: Computing exacts for 5918 points
30.801 * * * * [points]: Setting MPFR precision to 64
31.662 * * * * [points]: Setting MPFR precision to 320
33.074 * * * * [points]: Filtering points with unrepresentable outputs
33.080 * * * * [points]: Sampling 5066 additional inputs, on iter 3 have 2934 / 8000
33.161 * * * * [points]: Computing exacts on every 316 of 5066 points to ramp up precision
33.170 * * * * [points]: Setting MPFR precision to 64
33.173 * * * * [points]: Setting MPFR precision to 320
33.175 * * * * [points]: Computing exacts on every 158 of 5066 points to ramp up precision
33.185 * * * * [points]: Setting MPFR precision to 64
33.189 * * * * [points]: Setting MPFR precision to 320
33.194 * * * * [points]: Computing exacts on every 79 of 5066 points to ramp up precision
33.204 * * * * [points]: Setting MPFR precision to 64
33.214 * * * * [points]: Setting MPFR precision to 320
33.223 * * * * [points]: Computing exacts on every 39 of 5066 points to ramp up precision
33.233 * * * * [points]: Setting MPFR precision to 64
33.252 * * * * [points]: Setting MPFR precision to 320
33.270 * * * * [points]: Computing exacts on every 19 of 5066 points to ramp up precision
33.281 * * * * [points]: Setting MPFR precision to 64
33.318 * * * * [points]: Setting MPFR precision to 320
33.388 * * * * [points]: Computing exacts on every 9 of 5066 points to ramp up precision
33.398 * * * * [points]: Setting MPFR precision to 64
33.469 * * * * [points]: Setting MPFR precision to 320
33.543 * * * * [points]: Computing exacts on every 4 of 5066 points to ramp up precision
33.552 * * * * [points]: Setting MPFR precision to 64
33.711 * * * * [points]: Setting MPFR precision to 320
33.889 * * * * [points]: Computing exacts on every 2 of 5066 points to ramp up precision
33.899 * * * * [points]: Setting MPFR precision to 64
34.151 * * * * [points]: Setting MPFR precision to 320
34.425 * * * * [points]: Computing exacts for 5066 points
34.435 * * * * [points]: Setting MPFR precision to 64
35.341 * * * * [points]: Setting MPFR precision to 320
36.036 * * * * [points]: Filtering points with unrepresentable outputs
36.040 * * * * [points]: Sampling 4350 additional inputs, on iter 4 have 3650 / 8000
36.060 * * * * [points]: Computing exacts on every 271 of 4350 points to ramp up precision
36.066 * * * * [points]: Setting MPFR precision to 64
36.069 * * * * [points]: Setting MPFR precision to 320
36.071 * * * * [points]: Computing exacts on every 135 of 4350 points to ramp up precision
36.109 * * * * [points]: Setting MPFR precision to 64
36.111 * * * * [points]: Setting MPFR precision to 320
36.114 * * * * [points]: Computing exacts on every 67 of 4350 points to ramp up precision
36.120 * * * * [points]: Setting MPFR precision to 64
36.125 * * * * [points]: Setting MPFR precision to 320
36.133 * * * * [points]: Computing exacts on every 33 of 4350 points to ramp up precision
36.142 * * * * [points]: Setting MPFR precision to 64
36.160 * * * * [points]: Setting MPFR precision to 320
36.178 * * * * [points]: Computing exacts on every 16 of 4350 points to ramp up precision
36.187 * * * * [points]: Setting MPFR precision to 64
36.222 * * * * [points]: Setting MPFR precision to 320
36.258 * * * * [points]: Computing exacts on every 8 of 4350 points to ramp up precision
36.624 * * * * [points]: Setting MPFR precision to 64
36.694 * * * * [points]: Setting MPFR precision to 320
36.736 * * * * [points]: Computing exacts on every 4 of 4350 points to ramp up precision
36.741 * * * * [points]: Setting MPFR precision to 64
36.860 * * * * [points]: Setting MPFR precision to 320
36.972 * * * * [points]: Computing exacts on every 2 of 4350 points to ramp up precision
36.981 * * * * [points]: Setting MPFR precision to 64
37.147 * * * * [points]: Setting MPFR precision to 320
37.295 * * * * [points]: Computing exacts for 4350 points
37.338 * * * * [points]: Setting MPFR precision to 64
37.946 * * * * [points]: Setting MPFR precision to 320
38.612 * * * * [points]: Filtering points with unrepresentable outputs
38.615 * * * * [points]: Sampling 3785 additional inputs, on iter 5 have 4215 / 8000
38.641 * * * * [points]: Computing exacts on every 236 of 3785 points to ramp up precision
38.648 * * * * [points]: Setting MPFR precision to 64
38.650 * * * * [points]: Setting MPFR precision to 320
38.652 * * * * [points]: Computing exacts on every 118 of 3785 points to ramp up precision
38.659 * * * * [points]: Setting MPFR precision to 64
38.663 * * * * [points]: Setting MPFR precision to 320
38.667 * * * * [points]: Computing exacts on every 59 of 3785 points to ramp up precision
38.675 * * * * [points]: Setting MPFR precision to 64
38.682 * * * * [points]: Setting MPFR precision to 320
38.689 * * * * [points]: Computing exacts on every 29 of 3785 points to ramp up precision
38.697 * * * * [points]: Setting MPFR precision to 64
38.711 * * * * [points]: Setting MPFR precision to 320
38.726 * * * * [points]: Computing exacts on every 14 of 3785 points to ramp up precision
38.734 * * * * [points]: Setting MPFR precision to 64
38.763 * * * * [points]: Setting MPFR precision to 320
38.817 * * * * [points]: Computing exacts on every 7 of 3785 points to ramp up precision
38.822 * * * * [points]: Setting MPFR precision to 64
38.857 * * * * [points]: Setting MPFR precision to 320
38.891 * * * * [points]: Computing exacts on every 3 of 3785 points to ramp up precision
38.896 * * * * [points]: Setting MPFR precision to 64
38.993 * * * * [points]: Setting MPFR precision to 320
39.097 * * * * [points]: Computing exacts for 3785 points
39.105 * * * * [points]: Setting MPFR precision to 64
39.839 * * * * [points]: Setting MPFR precision to 320
40.400 * * * * [points]: Filtering points with unrepresentable outputs
40.401 * * * * [points]: Sampling 3256 additional inputs, on iter 6 have 4744 / 8000
40.416 * * * * [points]: Computing exacts on every 203 of 3256 points to ramp up precision
40.420 * * * * [points]: Setting MPFR precision to 64
40.422 * * * * [points]: Setting MPFR precision to 320
40.423 * * * * [points]: Computing exacts on every 101 of 3256 points to ramp up precision
40.428 * * * * [points]: Setting MPFR precision to 64
40.430 * * * * [points]: Setting MPFR precision to 320
40.432 * * * * [points]: Computing exacts on every 50 of 3256 points to ramp up precision
40.437 * * * * [points]: Setting MPFR precision to 64
40.442 * * * * [points]: Setting MPFR precision to 320
40.447 * * * * [points]: Computing exacts on every 25 of 3256 points to ramp up precision
40.452 * * * * [points]: Setting MPFR precision to 64
40.483 * * * * [points]: Setting MPFR precision to 320
40.503 * * * * [points]: Computing exacts on every 12 of 3256 points to ramp up precision
40.513 * * * * [points]: Setting MPFR precision to 64
40.548 * * * * [points]: Setting MPFR precision to 320
40.583 * * * * [points]: Computing exacts on every 6 of 3256 points to ramp up precision
40.592 * * * * [points]: Setting MPFR precision to 64
40.655 * * * * [points]: Setting MPFR precision to 320
40.769 * * * * [points]: Computing exacts on every 3 of 3256 points to ramp up precision
40.779 * * * * [points]: Setting MPFR precision to 64
40.893 * * * * [points]: Setting MPFR precision to 320
40.995 * * * * [points]: Computing exacts for 3256 points
41.000 * * * * [points]: Setting MPFR precision to 64
41.415 * * * * [points]: Setting MPFR precision to 320
41.834 * * * * [points]: Filtering points with unrepresentable outputs
41.838 * * * * [points]: Sampling 2817 additional inputs, on iter 7 have 5183 / 8000
41.859 * * * * [points]: Computing exacts on every 176 of 2817 points to ramp up precision
41.913 * * * * [points]: Setting MPFR precision to 64
41.918 * * * * [points]: Setting MPFR precision to 320
41.920 * * * * [points]: Computing exacts on every 88 of 2817 points to ramp up precision
41.929 * * * * [points]: Setting MPFR precision to 64
41.934 * * * * [points]: Setting MPFR precision to 320
41.939 * * * * [points]: Computing exacts on every 44 of 2817 points to ramp up precision
41.948 * * * * [points]: Setting MPFR precision to 64
41.957 * * * * [points]: Setting MPFR precision to 320
41.966 * * * * [points]: Computing exacts on every 22 of 2817 points to ramp up precision
41.975 * * * * [points]: Setting MPFR precision to 64
41.992 * * * * [points]: Setting MPFR precision to 320
42.010 * * * * [points]: Computing exacts on every 11 of 2817 points to ramp up precision
42.020 * * * * [points]: Setting MPFR precision to 64
42.052 * * * * [points]: Setting MPFR precision to 320
42.123 * * * * [points]: Computing exacts on every 5 of 2817 points to ramp up precision
42.135 * * * * [points]: Setting MPFR precision to 64
42.200 * * * * [points]: Setting MPFR precision to 320
42.259 * * * * [points]: Computing exacts on every 2 of 2817 points to ramp up precision
42.269 * * * * [points]: Setting MPFR precision to 64
42.420 * * * * [points]: Setting MPFR precision to 320
42.533 * * * * [points]: Computing exacts for 2817 points
42.537 * * * * [points]: Setting MPFR precision to 64
43.272 * * * * [points]: Setting MPFR precision to 320
43.621 * * * * [points]: Filtering points with unrepresentable outputs
43.624 * * * * [points]: Sampling 2381 additional inputs, on iter 8 have 5619 / 8000
43.688 * * * * [points]: Computing exacts on every 148 of 2381 points to ramp up precision
43.697 * * * * [points]: Setting MPFR precision to 64
43.700 * * * * [points]: Setting MPFR precision to 320
43.702 * * * * [points]: Computing exacts on every 74 of 2381 points to ramp up precision
43.707 * * * * [points]: Setting MPFR precision to 64
43.709 * * * * [points]: Setting MPFR precision to 320
43.712 * * * * [points]: Computing exacts on every 37 of 2381 points to ramp up precision
43.716 * * * * [points]: Setting MPFR precision to 64
43.721 * * * * [points]: Setting MPFR precision to 320
43.729 * * * * [points]: Computing exacts on every 18 of 2381 points to ramp up precision
43.738 * * * * [points]: Setting MPFR precision to 64
43.754 * * * * [points]: Setting MPFR precision to 320
43.769 * * * * [points]: Computing exacts on every 9 of 2381 points to ramp up precision
43.774 * * * * [points]: Setting MPFR precision to 64
43.791 * * * * [points]: Setting MPFR precision to 320
43.834 * * * * [points]: Computing exacts on every 4 of 2381 points to ramp up precision
43.839 * * * * [points]: Setting MPFR precision to 64
43.874 * * * * [points]: Setting MPFR precision to 320
43.912 * * * * [points]: Computing exacts on every 2 of 2381 points to ramp up precision
43.920 * * * * [points]: Setting MPFR precision to 64
44.028 * * * * [points]: Setting MPFR precision to 320
44.085 * * * * [points]: Computing exacts for 2381 points
44.120 * * * * [points]: Setting MPFR precision to 64
44.432 * * * * [points]: Setting MPFR precision to 320
44.779 * * * * [points]: Filtering points with unrepresentable outputs
44.781 * * * * [points]: Sampling 2052 additional inputs, on iter 9 have 5948 / 8000
44.796 * * * * [points]: Computing exacts on every 128 of 2052 points to ramp up precision
44.800 * * * * [points]: Setting MPFR precision to 64
44.802 * * * * [points]: Setting MPFR precision to 320
44.803 * * * * [points]: Computing exacts on every 64 of 2052 points to ramp up precision
44.807 * * * * [points]: Setting MPFR precision to 64
44.810 * * * * [points]: Setting MPFR precision to 320
44.812 * * * * [points]: Computing exacts on every 32 of 2052 points to ramp up precision
44.817 * * * * [points]: Setting MPFR precision to 64
44.821 * * * * [points]: Setting MPFR precision to 320
44.829 * * * * [points]: Computing exacts on every 16 of 2052 points to ramp up precision
44.838 * * * * [points]: Setting MPFR precision to 64
44.855 * * * * [points]: Setting MPFR precision to 320
44.872 * * * * [points]: Computing exacts on every 8 of 2052 points to ramp up precision
44.901 * * * * [points]: Setting MPFR precision to 64
44.922 * * * * [points]: Setting MPFR precision to 320
44.939 * * * * [points]: Computing exacts on every 4 of 2052 points to ramp up precision
44.945 * * * * [points]: Setting MPFR precision to 64
45.001 * * * * [points]: Setting MPFR precision to 320
45.049 * * * * [points]: Computing exacts on every 2 of 2052 points to ramp up precision
45.082 * * * * [points]: Setting MPFR precision to 64
45.162 * * * * [points]: Setting MPFR precision to 320
45.228 * * * * [points]: Computing exacts for 2052 points
45.263 * * * * [points]: Setting MPFR precision to 64
45.593 * * * * [points]: Setting MPFR precision to 320
45.825 * * * * [points]: Filtering points with unrepresentable outputs
45.826 * * * * [points]: Sampling 1748 additional inputs, on iter 10 have 6252 / 8000
45.837 * * * * [points]: Computing exacts on every 109 of 1748 points to ramp up precision
45.846 * * * * [points]: Setting MPFR precision to 64
45.849 * * * * [points]: Setting MPFR precision to 320
45.851 * * * * [points]: Computing exacts on every 54 of 1748 points to ramp up precision
45.861 * * * * [points]: Setting MPFR precision to 64
45.910 * * * * [points]: Setting MPFR precision to 320
45.914 * * * * [points]: Computing exacts on every 27 of 1748 points to ramp up precision
45.927 * * * * [points]: Setting MPFR precision to 64
45.936 * * * * [points]: Setting MPFR precision to 320
45.945 * * * * [points]: Computing exacts on every 13 of 1748 points to ramp up precision
45.954 * * * * [points]: Setting MPFR precision to 64
45.972 * * * * [points]: Setting MPFR precision to 320
45.990 * * * * [points]: Computing exacts on every 6 of 1748 points to ramp up precision
45.999 * * * * [points]: Setting MPFR precision to 64
46.034 * * * * [points]: Setting MPFR precision to 320
46.069 * * * * [points]: Computing exacts on every 3 of 1748 points to ramp up precision
46.079 * * * * [points]: Setting MPFR precision to 64
46.627 * * * * [points]: Setting MPFR precision to 320
46.688 * * * * [points]: Computing exacts for 1748 points
46.697 * * * * [points]: Setting MPFR precision to 64
46.891 * * * * [points]: Setting MPFR precision to 320
47.099 * * * * [points]: Filtering points with unrepresentable outputs
47.100 * * * * [points]: Sampling 1508 additional inputs, on iter 11 have 6492 / 8000
47.143 * * * * [points]: Computing exacts on every 94 of 1508 points to ramp up precision
47.148 * * * * [points]: Setting MPFR precision to 64
47.149 * * * * [points]: Setting MPFR precision to 320
47.150 * * * * [points]: Computing exacts on every 47 of 1508 points to ramp up precision
47.157 * * * * [points]: Setting MPFR precision to 64
47.159 * * * * [points]: Setting MPFR precision to 320
47.162 * * * * [points]: Computing exacts on every 23 of 1508 points to ramp up precision
47.170 * * * * [points]: Setting MPFR precision to 64
47.180 * * * * [points]: Setting MPFR precision to 320
47.187 * * * * [points]: Computing exacts on every 11 of 1508 points to ramp up precision
47.192 * * * * [points]: Setting MPFR precision to 64
47.201 * * * * [points]: Setting MPFR precision to 320
47.210 * * * * [points]: Computing exacts on every 5 of 1508 points to ramp up precision
47.214 * * * * [points]: Setting MPFR precision to 64
47.242 * * * * [points]: Setting MPFR precision to 320
47.286 * * * * [points]: Computing exacts on every 2 of 1508 points to ramp up precision
47.293 * * * * [points]: Setting MPFR precision to 64
47.341 * * * * [points]: Setting MPFR precision to 320
47.377 * * * * [points]: Computing exacts for 1508 points
47.382 * * * * [points]: Setting MPFR precision to 64
47.534 * * * * [points]: Setting MPFR precision to 320
47.754 * * * * [points]: Filtering points with unrepresentable outputs
47.754 * * * * [points]: Sampling 1272 additional inputs, on iter 12 have 6728 / 8000
47.760 * * * * [points]: Computing exacts on every 79 of 1272 points to ramp up precision
47.802 * * * * [points]: Setting MPFR precision to 64
47.803 * * * * [points]: Setting MPFR precision to 320
47.804 * * * * [points]: Computing exacts on every 39 of 1272 points to ramp up precision
47.809 * * * * [points]: Setting MPFR precision to 64
47.813 * * * * [points]: Setting MPFR precision to 320
47.816 * * * * [points]: Computing exacts on every 19 of 1272 points to ramp up precision
47.820 * * * * [points]: Setting MPFR precision to 64
47.825 * * * * [points]: Setting MPFR precision to 320
47.830 * * * * [points]: Computing exacts on every 9 of 1272 points to ramp up precision
47.836 * * * * [points]: Setting MPFR precision to 64
47.846 * * * * [points]: Setting MPFR precision to 320
47.856 * * * * [points]: Computing exacts on every 4 of 1272 points to ramp up precision
47.861 * * * * [points]: Setting MPFR precision to 64
47.891 * * * * [points]: Setting MPFR precision to 320
47.950 * * * * [points]: Computing exacts on every 2 of 1272 points to ramp up precision
47.954 * * * * [points]: Setting MPFR precision to 64
48.004 * * * * [points]: Setting MPFR precision to 320
48.041 * * * * [points]: Computing exacts for 1272 points
48.051 * * * * [points]: Setting MPFR precision to 64
48.184 * * * * [points]: Setting MPFR precision to 320
48.404 * * * * [points]: Filtering points with unrepresentable outputs
48.405 * * * * [points]: Sampling 1103 additional inputs, on iter 13 have 6897 / 8000
48.414 * * * * [points]: Computing exacts on every 68 of 1103 points to ramp up precision
48.423 * * * * [points]: Setting MPFR precision to 64
48.426 * * * * [points]: Setting MPFR precision to 320
48.428 * * * * [points]: Computing exacts on every 34 of 1103 points to ramp up precision
48.436 * * * * [points]: Setting MPFR precision to 64
48.439 * * * * [points]: Setting MPFR precision to 320
48.441 * * * * [points]: Computing exacts on every 17 of 1103 points to ramp up precision
48.446 * * * * [points]: Setting MPFR precision to 64
48.450 * * * * [points]: Setting MPFR precision to 320
48.455 * * * * [points]: Computing exacts on every 8 of 1103 points to ramp up precision
48.460 * * * * [points]: Setting MPFR precision to 64
48.507 * * * * [points]: Setting MPFR precision to 320
48.523 * * * * [points]: Computing exacts on every 4 of 1103 points to ramp up precision
48.528 * * * * [points]: Setting MPFR precision to 64
48.544 * * * * [points]: Setting MPFR precision to 320
48.560 * * * * [points]: Computing exacts on every 2 of 1103 points to ramp up precision
48.567 * * * * [points]: Setting MPFR precision to 64
48.619 * * * * [points]: Setting MPFR precision to 320
48.695 * * * * [points]: Computing exacts for 1103 points
48.702 * * * * [points]: Setting MPFR precision to 64
48.828 * * * * [points]: Setting MPFR precision to 320
48.999 * * * * [points]: Filtering points with unrepresentable outputs
49.000 * * * * [points]: Sampling 961 additional inputs, on iter 14 have 7039 / 8000
49.007 * * * * [points]: Computing exacts on every 60 of 961 points to ramp up precision
49.017 * * * * [points]: Setting MPFR precision to 64
49.020 * * * * [points]: Setting MPFR precision to 320
49.022 * * * * [points]: Computing exacts on every 30 of 961 points to ramp up precision
49.031 * * * * [points]: Setting MPFR precision to 64
49.035 * * * * [points]: Setting MPFR precision to 320
49.038 * * * * [points]: Computing exacts on every 15 of 961 points to ramp up precision
49.043 * * * * [points]: Setting MPFR precision to 64
49.047 * * * * [points]: Setting MPFR precision to 320
49.091 * * * * [points]: Computing exacts on every 7 of 961 points to ramp up precision
49.103 * * * * [points]: Setting MPFR precision to 64
49.120 * * * * [points]: Setting MPFR precision to 320
49.136 * * * * [points]: Computing exacts on every 3 of 961 points to ramp up precision
49.146 * * * * [points]: Setting MPFR precision to 64
49.179 * * * * [points]: Setting MPFR precision to 320
49.213 * * * * [points]: Computing exacts for 961 points
49.223 * * * * [points]: Setting MPFR precision to 64
49.358 * * * * [points]: Setting MPFR precision to 320
49.944 * * * * [points]: Filtering points with unrepresentable outputs
49.945 * * * * [points]: Sampling 836 additional inputs, on iter 15 have 7164 / 8000
49.955 * * * * [points]: Computing exacts on every 52 of 836 points to ramp up precision
49.964 * * * * [points]: Setting MPFR precision to 64
49.966 * * * * [points]: Setting MPFR precision to 320
49.969 * * * * [points]: Computing exacts on every 26 of 836 points to ramp up precision
49.978 * * * * [points]: Setting MPFR precision to 64
49.983 * * * * [points]: Setting MPFR precision to 320
49.987 * * * * [points]: Computing exacts on every 13 of 836 points to ramp up precision
49.997 * * * * [points]: Setting MPFR precision to 64
50.006 * * * * [points]: Setting MPFR precision to 320
50.013 * * * * [points]: Computing exacts on every 6 of 836 points to ramp up precision
50.023 * * * * [points]: Setting MPFR precision to 64
50.040 * * * * [points]: Setting MPFR precision to 320
50.057 * * * * [points]: Computing exacts on every 3 of 836 points to ramp up precision
50.066 * * * * [points]: Setting MPFR precision to 64
50.096 * * * * [points]: Setting MPFR precision to 320
50.162 * * * * [points]: Computing exacts for 836 points
50.175 * * * * [points]: Setting MPFR precision to 64
50.291 * * * * [points]: Setting MPFR precision to 320
50.394 * * * * [points]: Filtering points with unrepresentable outputs
50.394 * * * * [points]: Sampling 729 additional inputs, on iter 16 have 7271 / 8000
50.398 * * * * [points]: Computing exacts on every 45 of 729 points to ramp up precision
50.403 * * * * [points]: Setting MPFR precision to 64
50.405 * * * * [points]: Setting MPFR precision to 320
50.406 * * * * [points]: Computing exacts on every 22 of 729 points to ramp up precision
50.411 * * * * [points]: Setting MPFR precision to 64
50.414 * * * * [points]: Setting MPFR precision to 320
50.416 * * * * [points]: Computing exacts on every 11 of 729 points to ramp up precision
50.421 * * * * [points]: Setting MPFR precision to 64
50.425 * * * * [points]: Setting MPFR precision to 320
50.430 * * * * [points]: Computing exacts on every 5 of 729 points to ramp up precision
50.435 * * * * [points]: Setting MPFR precision to 64
50.444 * * * * [points]: Setting MPFR precision to 320
50.454 * * * * [points]: Computing exacts on every 2 of 729 points to ramp up precision
50.458 * * * * [points]: Setting MPFR precision to 64
50.520 * * * * [points]: Setting MPFR precision to 320
50.556 * * * * [points]: Computing exacts for 729 points
50.566 * * * * [points]: Setting MPFR precision to 64
50.663 * * * * [points]: Setting MPFR precision to 320
50.818 * * * * [points]: Filtering points with unrepresentable outputs
50.819 * * * * [points]: Sampling 620 additional inputs, on iter 17 have 7380 / 8000
50.824 * * * * [points]: Computing exacts on every 38 of 620 points to ramp up precision
50.834 * * * * [points]: Setting MPFR precision to 64
50.836 * * * * [points]: Setting MPFR precision to 320
50.838 * * * * [points]: Computing exacts on every 19 of 620 points to ramp up precision
50.848 * * * * [points]: Setting MPFR precision to 64
50.853 * * * * [points]: Setting MPFR precision to 320
50.857 * * * * [points]: Computing exacts on every 9 of 620 points to ramp up precision
50.867 * * * * [points]: Setting MPFR precision to 64
50.876 * * * * [points]: Setting MPFR precision to 320
50.885 * * * * [points]: Computing exacts on every 4 of 620 points to ramp up precision
50.892 * * * * [points]: Setting MPFR precision to 64
50.902 * * * * [points]: Setting MPFR precision to 320
50.943 * * * * [points]: Computing exacts on every 2 of 620 points to ramp up precision
50.956 * * * * [points]: Setting MPFR precision to 64
50.987 * * * * [points]: Setting MPFR precision to 320
51.016 * * * * [points]: Computing exacts for 620 points
51.026 * * * * [points]: Setting MPFR precision to 64
51.113 * * * * [points]: Setting MPFR precision to 320
51.249 * * * * [points]: Filtering points with unrepresentable outputs
51.250 * * * * [points]: Sampling 538 additional inputs, on iter 18 have 7462 / 8000
51.254 * * * * [points]: Computing exacts on every 33 of 538 points to ramp up precision
51.264 * * * * [points]: Setting MPFR precision to 64
51.266 * * * * [points]: Setting MPFR precision to 320
51.268 * * * * [points]: Computing exacts on every 16 of 538 points to ramp up precision
51.278 * * * * [points]: Setting MPFR precision to 64
51.283 * * * * [points]: Setting MPFR precision to 320
51.287 * * * * [points]: Computing exacts on every 8 of 538 points to ramp up precision
51.297 * * * * [points]: Setting MPFR precision to 64
51.305 * * * * [points]: Setting MPFR precision to 320
51.314 * * * * [points]: Computing exacts on every 4 of 538 points to ramp up precision
51.323 * * * * [points]: Setting MPFR precision to 64
51.339 * * * * [points]: Setting MPFR precision to 320
51.354 * * * * [points]: Computing exacts on every 2 of 538 points to ramp up precision
51.364 * * * * [points]: Setting MPFR precision to 64
51.428 * * * * [points]: Setting MPFR precision to 320
51.450 * * * * [points]: Computing exacts for 538 points
51.458 * * * * [points]: Setting MPFR precision to 64
51.535 * * * * [points]: Setting MPFR precision to 320
51.658 * * * * [points]: Filtering points with unrepresentable outputs
51.658 * * * * [points]: Sampling 473 additional inputs, on iter 19 have 7527 / 8000
51.661 * * * * [points]: Computing exacts on every 29 of 473 points to ramp up precision
51.668 * * * * [points]: Setting MPFR precision to 64
51.670 * * * * [points]: Setting MPFR precision to 320
51.671 * * * * [points]: Computing exacts on every 14 of 473 points to ramp up precision
51.676 * * * * [points]: Setting MPFR precision to 64
51.679 * * * * [points]: Setting MPFR precision to 320
51.681 * * * * [points]: Computing exacts on every 7 of 473 points to ramp up precision
51.686 * * * * [points]: Setting MPFR precision to 64
51.691 * * * * [points]: Setting MPFR precision to 320
51.695 * * * * [points]: Computing exacts on every 3 of 473 points to ramp up precision
51.700 * * * * [points]: Setting MPFR precision to 64
51.710 * * * * [points]: Setting MPFR precision to 320
51.721 * * * * [points]: Computing exacts for 473 points
51.725 * * * * [points]: Setting MPFR precision to 64
51.790 * * * * [points]: Setting MPFR precision to 320
51.858 * * * * [points]: Filtering points with unrepresentable outputs
51.858 * * * * [points]: Sampling 397 additional inputs, on iter 20 have 7603 / 8000
51.860 * * * * [points]: Computing exacts on every 24 of 397 points to ramp up precision
51.865 * * * * [points]: Setting MPFR precision to 64
51.866 * * * * [points]: Setting MPFR precision to 320
51.868 * * * * [points]: Computing exacts on every 12 of 397 points to ramp up precision
51.872 * * * * [points]: Setting MPFR precision to 64
51.875 * * * * [points]: Setting MPFR precision to 320
51.877 * * * * [points]: Computing exacts on every 6 of 397 points to ramp up precision
51.882 * * * * [points]: Setting MPFR precision to 64
51.886 * * * * [points]: Setting MPFR precision to 320
51.890 * * * * [points]: Computing exacts on every 3 of 397 points to ramp up precision
51.895 * * * * [points]: Setting MPFR precision to 64
51.903 * * * * [points]: Setting MPFR precision to 320
51.911 * * * * [points]: Computing exacts for 397 points
51.942 * * * * [points]: Setting MPFR precision to 64
51.978 * * * * [points]: Setting MPFR precision to 320
52.018 * * * * [points]: Filtering points with unrepresentable outputs
52.018 * * * * [points]: Sampling 340 additional inputs, on iter 21 have 7660 / 8000
52.019 * * * * [points]: Computing exacts on every 21 of 340 points to ramp up precision
52.024 * * * * [points]: Setting MPFR precision to 64
52.025 * * * * [points]: Setting MPFR precision to 320
52.027 * * * * [points]: Computing exacts on every 10 of 340 points to ramp up precision
52.031 * * * * [points]: Setting MPFR precision to 64
52.034 * * * * [points]: Setting MPFR precision to 320
52.036 * * * * [points]: Computing exacts on every 5 of 340 points to ramp up precision
52.040 * * * * [points]: Setting MPFR precision to 64
52.045 * * * * [points]: Setting MPFR precision to 320
52.049 * * * * [points]: Computing exacts on every 2 of 340 points to ramp up precision
52.078 * * * * [points]: Setting MPFR precision to 64
52.088 * * * * [points]: Setting MPFR precision to 320
52.097 * * * * [points]: Computing exacts for 340 points
52.102 * * * * [points]: Setting MPFR precision to 64
52.127 * * * * [points]: Setting MPFR precision to 320
52.153 * * * * [points]: Filtering points with unrepresentable outputs
52.153 * * * * [points]: Sampling 298 additional inputs, on iter 22 have 7702 / 8000
52.155 * * * * [points]: Computing exacts on every 18 of 298 points to ramp up precision
52.159 * * * * [points]: Setting MPFR precision to 64
52.161 * * * * [points]: Setting MPFR precision to 320
52.162 * * * * [points]: Computing exacts on every 9 of 298 points to ramp up precision
52.167 * * * * [points]: Setting MPFR precision to 64
52.169 * * * * [points]: Setting MPFR precision to 320
52.172 * * * * [points]: Computing exacts on every 4 of 298 points to ramp up precision
52.204 * * * * [points]: Setting MPFR precision to 64
52.212 * * * * [points]: Setting MPFR precision to 320
52.217 * * * * [points]: Computing exacts on every 2 of 298 points to ramp up precision
52.221 * * * * [points]: Setting MPFR precision to 64
52.231 * * * * [points]: Setting MPFR precision to 320
52.239 * * * * [points]: Computing exacts for 298 points
52.243 * * * * [points]: Setting MPFR precision to 64
52.267 * * * * [points]: Setting MPFR precision to 320
52.289 * * * * [points]: Filtering points with unrepresentable outputs
52.290 * * * * [points]: Sampling 251 additional inputs, on iter 23 have 7749 / 8000
52.291 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision
52.295 * * * * [points]: Setting MPFR precision to 64
52.297 * * * * [points]: Setting MPFR precision to 320
52.298 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision
52.327 * * * * [points]: Setting MPFR precision to 64
52.329 * * * * [points]: Setting MPFR precision to 320
52.332 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision
52.338 * * * * [points]: Setting MPFR precision to 64
52.344 * * * * [points]: Setting MPFR precision to 320
52.353 * * * * [points]: Computing exacts for 251 points
52.363 * * * * [points]: Setting MPFR precision to 64
52.397 * * * * [points]: Setting MPFR precision to 320
52.435 * * * * [points]: Filtering points with unrepresentable outputs
52.435 * * * * [points]: Sampling 222 additional inputs, on iter 24 have 7778 / 8000
52.437 * * * * [points]: Computing exacts on every 13 of 222 points to ramp up precision
52.446 * * * * [points]: Setting MPFR precision to 64
52.449 * * * * [points]: Setting MPFR precision to 320
52.451 * * * * [points]: Computing exacts on every 6 of 222 points to ramp up precision
52.460 * * * * [points]: Setting MPFR precision to 64
52.465 * * * * [points]: Setting MPFR precision to 320
52.469 * * * * [points]: Computing exacts on every 3 of 222 points to ramp up precision
52.479 * * * * [points]: Setting MPFR precision to 64
52.523 * * * * [points]: Setting MPFR precision to 320
52.534 * * * * [points]: Computing exacts for 222 points
52.544 * * * * [points]: Setting MPFR precision to 64
52.578 * * * * [points]: Setting MPFR precision to 320
52.609 * * * * [points]: Filtering points with unrepresentable outputs
52.609 * * * * [points]: Sampling 197 additional inputs, on iter 25 have 7803 / 8000
52.611 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision
52.620 * * * * [points]: Setting MPFR precision to 64
52.623 * * * * [points]: Setting MPFR precision to 320
52.625 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision
52.634 * * * * [points]: Setting MPFR precision to 64
52.638 * * * * [points]: Setting MPFR precision to 320
52.642 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision
52.652 * * * * [points]: Setting MPFR precision to 64
52.659 * * * * [points]: Setting MPFR precision to 320
52.666 * * * * [points]: Computing exacts for 197 points
52.676 * * * * [points]: Setting MPFR precision to 64
52.749 * * * * [points]: Setting MPFR precision to 320
52.781 * * * * [points]: Filtering points with unrepresentable outputs
52.781 * * * * [points]: Sampling 166 additional inputs, on iter 26 have 7834 / 8000
52.782 * * * * [points]: Computing exacts on every 10 of 166 points to ramp up precision
52.793 * * * * [points]: Setting MPFR precision to 64
52.795 * * * * [points]: Setting MPFR precision to 320
52.797 * * * * [points]: Computing exacts on every 5 of 166 points to ramp up precision
52.807 * * * * [points]: Setting MPFR precision to 64
52.811 * * * * [points]: Setting MPFR precision to 320
52.815 * * * * [points]: Computing exacts on every 2 of 166 points to ramp up precision
52.825 * * * * [points]: Setting MPFR precision to 64
52.833 * * * * [points]: Setting MPFR precision to 320
52.841 * * * * [points]: Computing exacts for 166 points
52.852 * * * * [points]: Setting MPFR precision to 64
52.875 * * * * [points]: Setting MPFR precision to 320
52.898 * * * * [points]: Filtering points with unrepresentable outputs
52.899 * * * * [points]: Sampling 143 additional inputs, on iter 27 have 7857 / 8000
52.900 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision
52.910 * * * * [points]: Setting MPFR precision to 64
52.912 * * * * [points]: Setting MPFR precision to 320
52.915 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision
52.959 * * * * [points]: Setting MPFR precision to 64
52.967 * * * * [points]: Setting MPFR precision to 320
52.972 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision
52.981 * * * * [points]: Setting MPFR precision to 64
52.989 * * * * [points]: Setting MPFR precision to 320
52.996 * * * * [points]: Computing exacts for 143 points
53.006 * * * * [points]: Setting MPFR precision to 64
53.026 * * * * [points]: Setting MPFR precision to 320
53.047 * * * * [points]: Filtering points with unrepresentable outputs
53.047 * * * * [points]: Sampling 120 additional inputs, on iter 28 have 7880 / 8000
53.048 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
53.058 * * * * [points]: Setting MPFR precision to 64
53.060 * * * * [points]: Setting MPFR precision to 320
53.062 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
53.072 * * * * [points]: Setting MPFR precision to 64
53.076 * * * * [points]: Setting MPFR precision to 320
53.081 * * * * [points]: Computing exacts for 120 points
53.090 * * * * [points]: Setting MPFR precision to 64
53.107 * * * * [points]: Setting MPFR precision to 320
53.123 * * * * [points]: Filtering points with unrepresentable outputs
53.124 * * * * [points]: Sampling 101 additional inputs, on iter 29 have 7899 / 8000
53.125 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision
53.174 * * * * [points]: Setting MPFR precision to 64
53.176 * * * * [points]: Setting MPFR precision to 320
53.182 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision
53.193 * * * * [points]: Setting MPFR precision to 64
53.196 * * * * [points]: Setting MPFR precision to 320
53.200 * * * * [points]: Computing exacts for 101 points
53.210 * * * * [points]: Setting MPFR precision to 64
53.224 * * * * [points]: Setting MPFR precision to 320
53.241 * * * * [points]: Filtering points with unrepresentable outputs
53.241 * * * * [points]: Sampling 90 additional inputs, on iter 30 have 7910 / 8000
53.242 * * * * [points]: Computing exacts on every 5 of 90 points to ramp up precision
53.252 * * * * [points]: Setting MPFR precision to 64
53.254 * * * * [points]: Setting MPFR precision to 320
53.256 * * * * [points]: Computing exacts on every 2 of 90 points to ramp up precision
53.265 * * * * [points]: Setting MPFR precision to 64
53.270 * * * * [points]: Setting MPFR precision to 320
53.274 * * * * [points]: Computing exacts for 90 points
53.284 * * * * [points]: Setting MPFR precision to 64
53.297 * * * * [points]: Setting MPFR precision to 320
53.309 * * * * [points]: Filtering points with unrepresentable outputs
53.310 * * * * [points]: Sampling 76 additional inputs, on iter 31 have 7924 / 8000
53.310 * * * * [points]: Computing exacts on every 4 of 76 points to ramp up precision
53.319 * * * * [points]: Setting MPFR precision to 64
53.321 * * * * [points]: Setting MPFR precision to 320
53.323 * * * * [points]: Computing exacts on every 2 of 76 points to ramp up precision
53.333 * * * * [points]: Setting MPFR precision to 64
53.362 * * * * [points]: Setting MPFR precision to 320
53.366 * * * * [points]: Computing exacts for 76 points
53.379 * * * * [points]: Setting MPFR precision to 64
53.391 * * * * [points]: Setting MPFR precision to 320
53.401 * * * * [points]: Filtering points with unrepresentable outputs
53.401 * * * * [points]: Sampling 62 additional inputs, on iter 32 have 7938 / 8000
53.402 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
53.413 * * * * [points]: Setting MPFR precision to 64
53.415 * * * * [points]: Setting MPFR precision to 320
53.417 * * * * [points]: Computing exacts for 62 points
53.427 * * * * [points]: Setting MPFR precision to 64
53.433 * * * * [points]: Setting MPFR precision to 320
53.437 * * * * [points]: Filtering points with unrepresentable outputs
53.437 * * * * [points]: Sampling 48 additional inputs, on iter 33 have 7952 / 8000
53.438 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
53.443 * * * * [points]: Setting MPFR precision to 64
53.444 * * * * [points]: Setting MPFR precision to 320
53.445 * * * * [points]: Computing exacts for 48 points
53.449 * * * * [points]: Setting MPFR precision to 64
53.453 * * * * [points]: Setting MPFR precision to 320
53.457 * * * * [points]: Filtering points with unrepresentable outputs
53.457 * * * * [points]: Sampling 43 additional inputs, on iter 34 have 7957 / 8000
53.457 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
53.465 * * * * [points]: Setting MPFR precision to 64
53.467 * * * * [points]: Setting MPFR precision to 320
53.469 * * * * [points]: Computing exacts for 43 points
53.478 * * * * [points]: Setting MPFR precision to 64
53.481 * * * * [points]: Setting MPFR precision to 320
53.485 * * * * [points]: Filtering points with unrepresentable outputs
53.485 * * * * [points]: Sampling 34 additional inputs, on iter 35 have 7966 / 8000
53.485 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
53.521 * * * * [points]: Setting MPFR precision to 64
53.523 * * * * [points]: Setting MPFR precision to 320
53.524 * * * * [points]: Computing exacts for 34 points
53.535 * * * * [points]: Setting MPFR precision to 64
53.540 * * * * [points]: Setting MPFR precision to 320
53.544 * * * * [points]: Filtering points with unrepresentable outputs
53.544 * * * * [points]: Sampling 31 additional inputs, on iter 36 have 7969 / 8000
53.545 * * * * [points]: Computing exacts for 31 points
53.553 * * * * [points]: Setting MPFR precision to 64
53.557 * * * * [points]: Setting MPFR precision to 320
53.561 * * * * [points]: Filtering points with unrepresentable outputs
53.561 * * * * [points]: Sampling 25 additional inputs, on iter 37 have 7975 / 8000
53.561 * * * * [points]: Computing exacts for 25 points
53.570 * * * * [points]: Setting MPFR precision to 64
53.573 * * * * [points]: Setting MPFR precision to 320
53.576 * * * * [points]: Filtering points with unrepresentable outputs
53.576 * * * * [points]: Sampling 18 additional inputs, on iter 38 have 7982 / 8000
53.577 * * * * [points]: Computing exacts for 18 points
53.585 * * * * [points]: Setting MPFR precision to 64
53.587 * * * * [points]: Setting MPFR precision to 320
53.589 * * * * [points]: Filtering points with unrepresentable outputs
53.589 * * * * [points]: Sampling 16 additional inputs, on iter 39 have 7984 / 8000
53.589 * * * * [points]: Computing exacts for 16 points
53.598 * * * * [points]: Setting MPFR precision to 64
53.600 * * * * [points]: Setting MPFR precision to 320
53.602 * * * * [points]: Filtering points with unrepresentable outputs
53.602 * * * * [points]: Sampling 12 additional inputs, on iter 40 have 7988 / 8000
53.602 * * * * [points]: Computing exacts for 12 points
53.610 * * * * [points]: Setting MPFR precision to 64
53.612 * * * * [points]: Setting MPFR precision to 320
53.613 * * * * [points]: Filtering points with unrepresentable outputs
53.614 * * * * [points]: Sampling 10 additional inputs, on iter 41 have 7990 / 8000
53.614 * * * * [points]: Computing exacts for 10 points
53.622 * * * * [points]: Setting MPFR precision to 64
53.624 * * * * [points]: Setting MPFR precision to 320
53.625 * * * * [points]: Filtering points with unrepresentable outputs
53.625 * * * * [points]: Sampling 9 additional inputs, on iter 42 have 7991 / 8000
53.625 * * * * [points]: Computing exacts for 9 points
53.634 * * * * [points]: Setting MPFR precision to 64
53.635 * * * * [points]: Setting MPFR precision to 320
53.636 * * * * [points]: Filtering points with unrepresentable outputs
53.636 * * * * [points]: Sampling 8 additional inputs, on iter 43 have 7992 / 8000
53.636 * * * * [points]: Computing exacts for 8 points
54.099 * * * * [points]: Setting MPFR precision to 64
54.101 * * * * [points]: Setting MPFR precision to 320
54.102 * * * * [points]: Filtering points with unrepresentable outputs
54.102 * * * * [points]: Sampling 6 additional inputs, on iter 44 have 7994 / 8000
54.102 * * * * [points]: Computing exacts for 6 points
54.114 * * * * [points]: Setting MPFR precision to 64
54.115 * * * * [points]: Setting MPFR precision to 320
54.116 * * * * [points]: Filtering points with unrepresentable outputs
54.116 * * * * [points]: Sampling 5 additional inputs, on iter 45 have 7995 / 8000
54.116 * * * * [points]: Computing exacts for 5 points
54.126 * * * * [points]: Setting MPFR precision to 64
54.126 * * * * [points]: Setting MPFR precision to 320
54.127 * * * * [points]: Filtering points with unrepresentable outputs
54.127 * * * * [points]: Sampling 4 additional inputs, on iter 46 have 7996 / 8000
54.127 * * * * [points]: Computing exacts for 4 points
54.137 * * * * [points]: Setting MPFR precision to 64
54.138 * * * * [points]: Setting MPFR precision to 320
54.138 * * * * [points]: Filtering points with unrepresentable outputs
54.139 * * * * [points]: Sampling 4 additional inputs, on iter 47 have 7997 / 8000
54.139 * * * * [points]: Computing exacts for 4 points
54.148 * * * * [points]: Setting MPFR precision to 64
54.149 * * * * [points]: Setting MPFR precision to 320
54.149 * * * * [points]: Filtering points with unrepresentable outputs
54.149 * * * * [points]: Sampling 4 additional inputs, on iter 48 have 7998 / 8000
54.150 * * * * [points]: Computing exacts for 4 points
54.159 * * * * [points]: Setting MPFR precision to 64
54.160 * * * * [points]: Setting MPFR precision to 320
54.161 * * * * [points]: Filtering points with unrepresentable outputs
54.161 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 7998 / 8000
54.161 * * * * [points]: Computing exacts for 4 points
54.170 * * * * [points]: Setting MPFR precision to 64
54.171 * * * * [points]: Setting MPFR precision to 320
54.172 * * * * [points]: Filtering points with unrepresentable outputs
54.172 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7999 / 8000
54.172 * * * * [points]: Computing exacts for 4 points
54.181 * * * * [points]: Setting MPFR precision to 64
54.182 * * * * [points]: Setting MPFR precision to 320
54.183 * * * * [points]: Filtering points with unrepresentable outputs
54.183 * * * * [points]: Sampled 8000 points with exact outputs
64.731 * [regime-testing]: Baseline error score: 64.0
64.734 * [regime-testing]: Oracle error score: 64.0
64.741 * [regime-testing]: End program error score: 1.4648542129252737