0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.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.020 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.041 * * * * [points]: Setting MPFR precision to 64
0.051 * * * * [points]: Setting MPFR precision to 320
0.061 * * * * [points]: Computing exacts for 256 points
0.069 * * * * [points]: Setting MPFR precision to 64
0.091 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Filtering points with unrepresentable outputs
0.125 * * * * [points]: Sampling 222 additional inputs, on iter 1 have 34 / 256
0.127 * * * * [points]: Computing exacts on every 13 of 222 points to ramp up precision
0.137 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.142 * * * * [points]: Computing exacts on every 6 of 222 points to ramp up precision
0.147 * * * * [points]: Setting MPFR precision to 64
0.149 * * * * [points]: Setting MPFR precision to 320
0.151 * * * * [points]: Computing exacts on every 3 of 222 points to ramp up precision
0.180 * * * * [points]: Setting MPFR precision to 64
0.184 * * * * [points]: Setting MPFR precision to 320
0.192 * * * * [points]: Computing exacts for 222 points
0.199 * * * * [points]: Setting MPFR precision to 64
0.225 * * * * [points]: Setting MPFR precision to 320
0.248 * * * * [points]: Filtering points with unrepresentable outputs
0.248 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.249 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.253 * * * * [points]: Setting MPFR precision to 64
0.254 * * * * [points]: Setting MPFR precision to 320
0.255 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.259 * * * * [points]: Setting MPFR precision to 64
0.261 * * * * [points]: Setting MPFR precision to 320
0.263 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.268 * * * * [points]: Setting MPFR precision to 64
0.271 * * * * [points]: Setting MPFR precision to 320
0.275 * * * * [points]: Computing exacts for 194 points
0.279 * * * * [points]: Setting MPFR precision to 64
0.317 * * * * [points]: Setting MPFR precision to 320
0.341 * * * * [points]: Filtering points with unrepresentable outputs
0.341 * * * * [points]: Sampling 171 additional inputs, on iter 3 have 85 / 256
0.343 * * * * [points]: Computing exacts on every 10 of 171 points to ramp up precision
0.347 * * * * [points]: Setting MPFR precision to 64
0.349 * * * * [points]: Setting MPFR precision to 320
0.350 * * * * [points]: Computing exacts on every 5 of 171 points to ramp up precision
0.354 * * * * [points]: Setting MPFR precision to 64
0.356 * * * * [points]: Setting MPFR precision to 320
0.358 * * * * [points]: Computing exacts on every 2 of 171 points to ramp up precision
0.362 * * * * [points]: Setting MPFR precision to 64
0.366 * * * * [points]: Setting MPFR precision to 320
0.371 * * * * [points]: Computing exacts for 171 points
0.375 * * * * [points]: Setting MPFR precision to 64
0.387 * * * * [points]: Setting MPFR precision to 320
0.399 * * * * [points]: Filtering points with unrepresentable outputs
0.399 * * * * [points]: Sampling 153 additional inputs, on iter 4 have 103 / 256
0.400 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
0.404 * * * * [points]: Setting MPFR precision to 64
0.405 * * * * [points]: Setting MPFR precision to 320
0.407 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
0.411 * * * * [points]: Setting MPFR precision to 64
0.432 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
0.438 * * * * [points]: Setting MPFR precision to 64
0.443 * * * * [points]: Setting MPFR precision to 320
0.448 * * * * [points]: Computing exacts for 153 points
0.456 * * * * [points]: Setting MPFR precision to 64
0.473 * * * * [points]: Setting MPFR precision to 320
0.489 * * * * [points]: Filtering points with unrepresentable outputs
0.489 * * * * [points]: Sampling 126 additional inputs, on iter 5 have 130 / 256
0.490 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.498 * * * * [points]: Setting MPFR precision to 64
0.500 * * * * [points]: Setting MPFR precision to 320
0.502 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.509 * * * * [points]: Setting MPFR precision to 64
0.511 * * * * [points]: Setting MPFR precision to 320
0.513 * * * * [points]: Computing exacts for 126 points
0.518 * * * * [points]: Setting MPFR precision to 64
0.527 * * * * [points]: Setting MPFR precision to 320
0.536 * * * * [points]: Filtering points with unrepresentable outputs
0.536 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 145 / 256
0.536 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
0.541 * * * * [points]: Setting MPFR precision to 64
0.559 * * * * [points]: Setting MPFR precision to 320
0.562 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
0.568 * * * * [points]: Setting MPFR precision to 64
0.570 * * * * [points]: Setting MPFR precision to 320
0.572 * * * * [points]: Computing exacts for 111 points
0.576 * * * * [points]: Setting MPFR precision to 64
0.584 * * * * [points]: Setting MPFR precision to 320
0.592 * * * * [points]: Filtering points with unrepresentable outputs
0.592 * * * * [points]: Sampling 102 additional inputs, on iter 7 have 154 / 256
0.592 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
0.596 * * * * [points]: Setting MPFR precision to 64
0.598 * * * * [points]: Setting MPFR precision to 320
0.599 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
0.603 * * * * [points]: Setting MPFR precision to 64
0.605 * * * * [points]: Setting MPFR precision to 320
0.607 * * * * [points]: Computing exacts for 102 points
0.611 * * * * [points]: Setting MPFR precision to 64
0.618 * * * * [points]: Setting MPFR precision to 320
0.626 * * * * [points]: Filtering points with unrepresentable outputs
0.626 * * * * [points]: Sampling 91 additional inputs, on iter 8 have 165 / 256
0.626 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
0.630 * * * * [points]: Setting MPFR precision to 64
0.633 * * * * [points]: Setting MPFR precision to 320
0.635 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
0.644 * * * * [points]: Setting MPFR precision to 64
0.648 * * * * [points]: Setting MPFR precision to 320
0.653 * * * * [points]: Computing exacts for 91 points
0.673 * * * * [points]: Setting MPFR precision to 64
0.679 * * * * [points]: Setting MPFR precision to 320
0.687 * * * * [points]: Filtering points with unrepresentable outputs
0.687 * * * * [points]: Sampling 83 additional inputs, on iter 9 have 173 / 256
0.688 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.692 * * * * [points]: Setting MPFR precision to 64
0.693 * * * * [points]: Setting MPFR precision to 320
0.694 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.698 * * * * [points]: Setting MPFR precision to 64
0.700 * * * * [points]: Setting MPFR precision to 320
0.702 * * * * [points]: Computing exacts for 83 points
0.706 * * * * [points]: Setting MPFR precision to 64
0.712 * * * * [points]: Setting MPFR precision to 320
0.718 * * * * [points]: Filtering points with unrepresentable outputs
0.718 * * * * [points]: Sampling 65 additional inputs, on iter 10 have 191 / 256
0.719 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.723 * * * * [points]: Setting MPFR precision to 64
0.725 * * * * [points]: Setting MPFR precision to 320
0.726 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.730 * * * * [points]: Setting MPFR precision to 64
0.732 * * * * [points]: Setting MPFR precision to 320
0.733 * * * * [points]: Computing exacts for 65 points
0.738 * * * * [points]: Setting MPFR precision to 64
0.742 * * * * [points]: Setting MPFR precision to 320
0.747 * * * * [points]: Filtering points with unrepresentable outputs
0.747 * * * * [points]: Sampling 58 additional inputs, on iter 11 have 198 / 256
0.748 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
0.752 * * * * [points]: Setting MPFR precision to 64
0.753 * * * * [points]: Setting MPFR precision to 320
0.754 * * * * [points]: Computing exacts for 58 points
0.775 * * * * [points]: Setting MPFR precision to 64
0.780 * * * * [points]: Setting MPFR precision to 320
0.785 * * * * [points]: Filtering points with unrepresentable outputs
0.786 * * * * [points]: Sampling 47 additional inputs, on iter 12 have 209 / 256
0.786 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.790 * * * * [points]: Setting MPFR precision to 64
0.791 * * * * [points]: Setting MPFR precision to 320
0.793 * * * * [points]: Computing exacts for 47 points
0.797 * * * * [points]: Setting MPFR precision to 64
0.801 * * * * [points]: Setting MPFR precision to 320
0.804 * * * * [points]: Filtering points with unrepresentable outputs
0.804 * * * * [points]: Sampling 39 additional inputs, on iter 13 have 217 / 256
0.804 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
0.809 * * * * [points]: Setting MPFR precision to 64
0.810 * * * * [points]: Setting MPFR precision to 320
0.811 * * * * [points]: Computing exacts for 39 points
0.819 * * * * [points]: Setting MPFR precision to 64
0.824 * * * * [points]: Setting MPFR precision to 320
0.830 * * * * [points]: Filtering points with unrepresentable outputs
0.830 * * * * [points]: Sampling 36 additional inputs, on iter 14 have 220 / 256
0.830 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.837 * * * * [points]: Setting MPFR precision to 64
0.838 * * * * [points]: Setting MPFR precision to 320
0.839 * * * * [points]: Computing exacts for 36 points
0.843 * * * * [points]: Setting MPFR precision to 64
0.846 * * * * [points]: Setting MPFR precision to 320
0.849 * * * * [points]: Filtering points with unrepresentable outputs
0.849 * * * * [points]: Sampling 32 additional inputs, on iter 15 have 224 / 256
0.849 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.854 * * * * [points]: Setting MPFR precision to 64
0.855 * * * * [points]: Setting MPFR precision to 320
0.856 * * * * [points]: Computing exacts for 32 points
0.860 * * * * [points]: Setting MPFR precision to 64
0.863 * * * * [points]: Setting MPFR precision to 320
0.865 * * * * [points]: Filtering points with unrepresentable outputs
0.865 * * * * [points]: Sampling 30 additional inputs, on iter 16 have 226 / 256
0.865 * * * * [points]: Computing exacts for 30 points
0.886 * * * * [points]: Setting MPFR precision to 64
0.889 * * * * [points]: Setting MPFR precision to 320
0.892 * * * * [points]: Filtering points with unrepresentable outputs
0.892 * * * * [points]: Sampling 26 additional inputs, on iter 17 have 230 / 256
0.892 * * * * [points]: Computing exacts for 26 points
0.896 * * * * [points]: Setting MPFR precision to 64
0.899 * * * * [points]: Setting MPFR precision to 320
0.901 * * * * [points]: Filtering points with unrepresentable outputs
0.901 * * * * [points]: Sampling 20 additional inputs, on iter 18 have 236 / 256
0.901 * * * * [points]: Computing exacts for 20 points
0.905 * * * * [points]: Setting MPFR precision to 64
0.907 * * * * [points]: Setting MPFR precision to 320
0.908 * * * * [points]: Filtering points with unrepresentable outputs
0.908 * * * * [points]: Sampling 17 additional inputs, on iter 19 have 239 / 256
0.908 * * * * [points]: Computing exacts for 17 points
0.913 * * * * [points]: Setting MPFR precision to 64
0.914 * * * * [points]: Setting MPFR precision to 320
0.916 * * * * [points]: Filtering points with unrepresentable outputs
0.916 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 241 / 256
0.916 * * * * [points]: Computing exacts for 15 points
0.920 * * * * [points]: Setting MPFR precision to 64
0.921 * * * * [points]: Setting MPFR precision to 320
0.922 * * * * [points]: Filtering points with unrepresentable outputs
0.922 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
0.923 * * * * [points]: Computing exacts for 12 points
0.927 * * * * [points]: Setting MPFR precision to 64
0.928 * * * * [points]: Setting MPFR precision to 320
0.929 * * * * [points]: Filtering points with unrepresentable outputs
0.929 * * * * [points]: Sampling 9 additional inputs, on iter 22 have 247 / 256
0.929 * * * * [points]: Computing exacts for 9 points
0.933 * * * * [points]: Setting MPFR precision to 64
0.934 * * * * [points]: Setting MPFR precision to 320
0.935 * * * * [points]: Filtering points with unrepresentable outputs
0.935 * * * * [points]: Sampling 7 additional inputs, on iter 23 have 249 / 256
0.935 * * * * [points]: Computing exacts for 7 points
0.939 * * * * [points]: Setting MPFR precision to 64
0.940 * * * * [points]: Setting MPFR precision to 320
0.940 * * * * [points]: Filtering points with unrepresentable outputs
0.940 * * * * [points]: Sampling 6 additional inputs, on iter 24 have 250 / 256
0.940 * * * * [points]: Computing exacts for 6 points
0.945 * * * * [points]: Setting MPFR precision to 64
0.945 * * * * [points]: Setting MPFR precision to 320
0.946 * * * * [points]: Filtering points with unrepresentable outputs
0.946 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 250 / 256
0.946 * * * * [points]: Computing exacts for 6 points
0.950 * * * * [points]: Setting MPFR precision to 64
0.951 * * * * [points]: Setting MPFR precision to 320
0.951 * * * * [points]: Filtering points with unrepresentable outputs
0.951 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 252 / 256
0.951 * * * * [points]: Computing exacts for 4 points
0.955 * * * * [points]: Setting MPFR precision to 64
0.956 * * * * [points]: Setting MPFR precision to 320
0.956 * * * * [points]: Filtering points with unrepresentable outputs
0.956 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 253 / 256
0.956 * * * * [points]: Computing exacts for 4 points
0.972 * * * * [points]: Setting MPFR precision to 64
0.972 * * * * [points]: Setting MPFR precision to 320
0.973 * * * * [points]: Filtering points with unrepresentable outputs
0.974 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 253 / 256
0.974 * * * * [points]: Computing exacts for 4 points
0.978 * * * * [points]: Setting MPFR precision to 64
0.979 * * * * [points]: Setting MPFR precision to 320
0.979 * * * * [points]: Filtering points with unrepresentable outputs
0.979 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
0.980 * * * * [points]: Computing exacts for 4 points
0.984 * * * * [points]: Setting MPFR precision to 64
0.984 * * * * [points]: Setting MPFR precision to 320
0.985 * * * * [points]: Filtering points with unrepresentable outputs
0.985 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
0.985 * * * * [points]: Computing exacts for 4 points
0.989 * * * * [points]: Setting MPFR precision to 64
0.990 * * * * [points]: Setting MPFR precision to 320
0.990 * * * * [points]: Filtering points with unrepresentable outputs
0.990 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 254 / 256
0.990 * * * * [points]: Computing exacts for 4 points
0.994 * * * * [points]: Setting MPFR precision to 64
0.995 * * * * [points]: Setting MPFR precision to 320
0.995 * * * * [points]: Filtering points with unrepresentable outputs
0.995 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
0.995 * * * * [points]: Computing exacts for 4 points
0.999 * * * * [points]: Setting MPFR precision to 64
1.000 * * * * [points]: Setting MPFR precision to 320
1.000 * * * * [points]: Filtering points with unrepresentable outputs
1.000 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 255 / 256
1.000 * * * * [points]: Computing exacts for 4 points
1.004 * * * * [points]: Setting MPFR precision to 64
1.005 * * * * [points]: Setting MPFR precision to 320
1.005 * * * * [points]: Filtering points with unrepresentable outputs
1.005 * * * * [points]: Sampled 256 points with exact outputs
1.005 * * * [progress]: [2/2] Setting up program.
1.020 * [progress]: [Phase 2 of 3] Improving.
1.021 * * * * [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.021 * [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.021 * * [simplify]: iteration 1: (19 enodes)
1.026 * * [simplify]: iteration 2: (76 enodes)
1.061 * * [simplify]: iteration 3: (344 enodes)
1.328 * * [simplify]: Extracting #0: cost 1 inf + 0
1.328 * * [simplify]: Extracting #1: cost 76 inf + 0
1.329 * * [simplify]: Extracting #2: cost 476 inf + 1
1.332 * * [simplify]: Extracting #3: cost 744 inf + 23847
1.339 * * [simplify]: Extracting #4: cost 692 inf + 133920
1.349 * * [simplify]: Extracting #5: cost 616 inf + 187628
1.364 * * [simplify]: Extracting #6: cost 579 inf + 209025
1.386 * * [simplify]: Extracting #7: cost 351 inf + 483855
1.429 * * [simplify]: Extracting #8: cost 57 inf + 913475
1.484 * * [simplify]: Extracting #9: cost 4 inf + 1018528
1.567 * * [simplify]: Extracting #10: cost 0 inf + 1031988
1.645 * [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 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
1.645 * * * * [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.645 * [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 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))
1.698 * * [progress]: iteration 1 / 4
1.698 * * * [progress]: picking best candidate
1.728 * * * * [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))))>
1.728 * * * [progress]: localizing error
2.141 * * * [progress]: generating rewritten candidates
2.141 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.152 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.162 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.165 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.174 * * * [progress]: generating series expansions
2.174 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.174 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.174 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.174 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.174 * * * [progress]: simplifying candidates
2.174 * * * * [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.174 * * * * [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.174 * * * * [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.174 * * * * [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))))>
2.174 * * * * [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))))))>
2.174 * * * * [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))))>
2.175 * * * * [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))))))>
2.175 * * * * [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)))))>
2.175 * * * * [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))))>
2.175 * * * * [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))))>
2.175 * * * * [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))))>
2.175 * * * * [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))))>
2.175 * * * * [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))))>
2.175 * * * * [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))))>
2.175 * * * * [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))))>
2.175 * * * * [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))))>
2.175 * * * * [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))))>
2.175 * [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))), (/.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 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 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 (+.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)))), (/.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 (+.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)))), (/.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))), (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))), (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)), (+.p16 beta (*.p16 (real->posit16 2) 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))), (/.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))), (/.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))), (/.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.176 * * [simplify]: iteration 1: (39 enodes)
2.190 * * [simplify]: iteration 2: (130 enodes)
2.238 * * [simplify]: iteration 3: (650 enodes)
3.187 * * [simplify]: Extracting #0: cost 13 inf + 0
3.188 * * [simplify]: Extracting #1: cost 388 inf + 0
3.191 * * [simplify]: Extracting #2: cost 1202 inf + 2
3.198 * * [simplify]: Extracting #3: cost 1864 inf + 2822
3.210 * * [simplify]: Extracting #4: cost 1789 inf + 91763
3.262 * * [simplify]: Extracting #5: cost 1499 inf + 433959
3.443 * * [simplify]: Extracting #6: cost 544 inf + 1755650
3.683 * * [simplify]: Extracting #7: cost 46 inf + 2604132
3.948 * * [simplify]: Extracting #8: cost 0 inf + 2692002
4.256 * * [simplify]: Extracting #9: cost 0 inf + 2691722
4.527 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))), (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))), (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (*.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (*.p16 (+.p16 (real->posit16 1.0) (+.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 (/.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 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)))), (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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 alpha (+.p16 beta i)) (*.p16 i beta)), (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i beta)), (+.p16 (*.p16 (real->posit16 2) i) beta), (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))), (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))), (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))), (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i))))
4.527 * * * * [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))))>
4.527 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))
4.527 * * * * [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))))>
4.527 * [simplify]: Simplified (2 1 2) to (λ (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 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))
4.528 * * * * [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))))>
4.528 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 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))))
4.528 * [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 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))
4.528 * * * * [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))))>
4.528 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (*.p16 (+.p16 (real->posit16 1.0) (+.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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
4.528 * * * * [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))))))>
4.528 * [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 (*.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))
4.529 * * * * [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))))>
4.529 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))
4.529 * * * * [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.529 * [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 (+.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.529 * * * * [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)))))>
4.529 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (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)))))
4.530 * [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 (+.p16 beta i)) (*.p16 i (+.p16 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))))))
4.530 * * * * [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))))>
4.530 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i 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))))
4.530 * * * * [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))))>
4.530 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i 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))))
4.531 * * * * [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))))>
4.531 * * * * [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))))>
4.531 * [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 (*.p16 (real->posit16 2) i) beta))) (real->posit16 1.0))))
4.531 * * * * [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))))>
4.531 * * * * [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))))>
4.531 * [simplify]: Simplified (2) to (λ (alpha beta i) (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))))
4.531 * * * * [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))))>
4.531 * [simplify]: Simplified (2) to (λ (alpha beta i) (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))))
4.532 * * * * [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))))>
4.532 * [simplify]: Simplified (2) to (λ (alpha beta i) (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))))
4.532 * * * * [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))))>
4.532 * [simplify]: Simplified (2) to (λ (alpha beta i) (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 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))))) (*.p16 i (+.p16 alpha (+.p16 beta i)))))
4.532 * * * [progress]: adding candidates to table
5.241 * * [progress]: iteration 2 / 4
5.241 * * * [progress]: picking best candidate
5.485 * * * * [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)))))>
5.485 * * * [progress]: localizing error
6.398 * * * [progress]: generating rewritten candidates
6.398 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
6.405 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.430 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.451 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.489 * * * [progress]: generating series expansions
6.489 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
6.489 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.490 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.490 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.490 * * * [progress]: simplifying candidates
6.490 * * * * [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)))))>
6.490 * * * * [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)))))>
6.490 * * * * [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))))))>
6.490 * * * * [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)))))>
6.490 * * * * [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)))))>
6.490 * * * * [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)))))>
6.490 * * * * [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)))))>
6.490 * * * * [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)))))>
6.490 * [simplify]: Simplifying (/.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 (+.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)) (real->posit16 1.0)) (+.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) (*.p16 (real->posit16 2) i))), (/.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))), (/.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))), (/.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))), (/.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)))
6.491 * * [simplify]: iteration 1: (27 enodes)
6.497 * * [simplify]: iteration 2: (92 enodes)
6.522 * * [simplify]: iteration 3: (412 enodes)
6.964 * * [simplify]: Extracting #0: cost 6 inf + 0
6.965 * * [simplify]: Extracting #1: cost 241 inf + 0
6.970 * * [simplify]: Extracting #2: cost 854 inf + 1
6.976 * * [simplify]: Extracting #3: cost 1166 inf + 2458
6.982 * * [simplify]: Extracting #4: cost 1160 inf + 12452
7.000 * * [simplify]: Extracting #5: cost 853 inf + 229639
7.065 * * [simplify]: Extracting #6: cost 150 inf + 982526
7.175 * * [simplify]: Extracting #7: cost 3 inf + 1196851
7.267 * * [simplify]: Extracting #8: cost 0 inf + 1190506
7.391 * * [simplify]: Extracting #9: cost 0 inf + 1188466
7.468 * * [simplify]: Extracting #10: cost 0 inf + 1188346
7.544 * [simplify]: Simplified to (/.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha i))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))), (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
7.544 * * * * [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)))))>
7.544 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha 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)))))
7.544 * * * * [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)))))>
7.544 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
7.545 * * * * [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))))))>
7.545 * [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 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
7.545 * * * * [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)))))>
7.545 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 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)))))
7.545 * * * * [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)))))>
7.545 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 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)))))
7.545 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
7.545 * * * * [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)))))>
7.545 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 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)))))
7.546 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
7.546 * * * * [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)))))>
7.546 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 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)))))
7.546 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
7.546 * * * * [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)))))>
7.546 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 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)))))
7.546 * [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 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))))
7.546 * * * [progress]: adding candidates to table
7.756 * * [progress]: iteration 3 / 4
7.756 * * * [progress]: picking best candidate
7.943 * * * * [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)))))>
7.943 * * * [progress]: localizing error
8.302 * * * [progress]: generating rewritten candidates
8.302 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
8.308 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
8.324 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
8.348 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
8.400 * * * [progress]: generating series expansions
8.400 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
8.400 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
8.400 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
8.400 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
8.400 * * * [progress]: simplifying candidates
8.400 * * * * [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)))))>
8.400 * * * * [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))))))>
8.400 * * * * [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)))))>
8.400 * * * * [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)))))>
8.400 * * * * [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)))))>
8.400 * * * * [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)))))>
8.400 * * * * [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)))))>
8.400 * * * * [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)))))>
8.400 * [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)))), (*.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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) 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)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
8.401 * * [simplify]: iteration 1: (25 enodes)
8.407 * * [simplify]: iteration 2: (83 enodes)
8.425 * * [simplify]: iteration 3: (361 enodes)
8.788 * * [simplify]: Extracting #0: cost 5 inf + 0
8.789 * * [simplify]: Extracting #1: cost 112 inf + 0
8.790 * * [simplify]: Extracting #2: cost 485 inf + 0
8.794 * * [simplify]: Extracting #3: cost 741 inf + 7180
8.803 * * [simplify]: Extracting #4: cost 686 inf + 36178
8.825 * * [simplify]: Extracting #5: cost 526 inf + 186777
8.867 * * [simplify]: Extracting #6: cost 78 inf + 661222
8.965 * * [simplify]: Extracting #7: cost 0 inf + 759583
9.020 * * [simplify]: Extracting #8: cost 0 inf + 759023
9.105 * * [simplify]: Extracting #9: cost 0 inf + 758823
9.170 * [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)))), (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) (-.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))), (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))
9.171 * * * * [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)))))>
9.171 * [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)))))
9.171 * * * * [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))))))>
9.171 * [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 alpha (+.p16 (*.p16 (real->posit16 2) i) (-.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))))
9.171 * * * * [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)))))>
9.171 * [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 alpha (+.p16 beta (real->posit16 1.0))) (*.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)))))
9.171 * * * * [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)))))>
9.171 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.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)))))
9.172 * * * * [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)))))>
9.172 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
9.172 * * * * [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)))))>
9.172 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
9.172 * * * * [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)))))>
9.172 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
9.172 * * * * [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)))))>
9.172 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
9.172 * * * [progress]: adding candidates to table
9.429 * * [progress]: iteration 4 / 4
9.429 * * * [progress]: picking best candidate
9.727 * * * * [pick]: Picked  #<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)))))>
9.727 * * * [progress]: localizing error
10.298 * * * [progress]: generating rewritten candidates
10.298 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
10.320 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
10.353 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
10.358 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
10.402 * * * [progress]: generating series expansions
10.402 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.402 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
10.402 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
10.402 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
10.402 * * * [progress]: simplifying candidates
10.402 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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)) (+.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)))))>
10.402 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 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 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)))))>
10.402 * * * * [progress]: [ 3 / 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 (*.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.402 * * * * [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 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.403 * * * * [progress]: [ 5 / 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)))))>
10.403 * * * * [progress]: [ 6 / 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)))))>
10.403 * * * * [progress]: [ 7 / 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)))))>
10.403 * * * * [progress]: [ 8 / 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)))))>
10.403 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 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 (+.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)) (real->posit16 1.0)) (+.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) 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 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 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)))
10.404 * * [simplify]: iteration 1: (27 enodes)
10.417 * * [simplify]: iteration 2: (92 enodes)
10.465 * * [simplify]: iteration 3: (412 enodes)
10.953 * * [simplify]: Extracting #0: cost 5 inf + 0
10.953 * * [simplify]: Extracting #1: cost 154 inf + 0
10.956 * * [simplify]: Extracting #2: cost 697 inf + 1
10.964 * * [simplify]: Extracting #3: cost 1097 inf + 3504
10.974 * * [simplify]: Extracting #4: cost 1108 inf + 22201
11.003 * * [simplify]: Extracting #5: cost 898 inf + 205688
11.103 * * [simplify]: Extracting #6: cost 214 inf + 1005116
11.238 * * [simplify]: Extracting #7: cost 1 inf + 1155632
11.324 * * [simplify]: Extracting #8: cost 0 inf + 1113592
11.435 * * [simplify]: Extracting #9: cost 0 inf + 1112872
11.509 * * [simplify]: Extracting #10: cost 0 inf + 1112552
11.581 * [simplify]: Simplified to (/.p16 i (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))), (/.p16 i (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha))) (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (-.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (real->posit16 1.0)))), (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))
11.581 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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)) (+.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)))))>
11.581 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))) (/.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)))))
11.582 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 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 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)))))>
11.582 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha))) (+.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)))))
11.582 * * * * [progress]: [ 3 / 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 (*.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)))))>
11.582 * [simplify]: Simplified (2 2 1) to (λ (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 beta i) alpha))) (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (-.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.582 * * * * [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 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))))))>
11.582 * [simplify]: Simplified (2 2 2) to (λ (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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)))))
11.582 * * * * [progress]: [ 5 / 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)))))>
11.582 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) 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)))))
11.582 * * * * [progress]: [ 6 / 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)))))>
11.582 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) 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)))))
11.583 * * * * [progress]: [ 7 / 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)))))>
11.583 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) 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)))))
11.583 * * * * [progress]: [ 8 / 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)))))>
11.583 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) 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)))))
11.583 * * * [progress]: adding candidates to table
11.893 * [progress]: [Phase 3 of 3] Extracting.
11.894 * * [regime]: Finding splitpoints for: (#<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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 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))))))> #<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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.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)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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))))>)
11.913 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
11.913 * * * * [regimes]: Trying to branch on beta from (#<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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 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))))))> #<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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.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)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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))))>)
12.443 * * * * [regimes]: Trying to branch on alpha from (#<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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 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))))))> #<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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.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)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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))))>)
13.103 * * * * [regimes]: Trying to branch on i from (#<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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 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))))))> #<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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.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)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.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 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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))))>)
13.723 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
13.723 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 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)) (+.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))))
13.724 * * [simplify]: iteration 1: (22 enodes)
13.725 * * [simplify]: Extracting #0: cost 1 inf + 0
13.725 * * [simplify]: Extracting #1: cost 3 inf + 0
13.725 * * [simplify]: Extracting #2: cost 7 inf + 0
13.725 * * [simplify]: Extracting #3: cost 13 inf + 0
13.725 * * [simplify]: Extracting #4: cost 17 inf + 1
13.725 * * [simplify]: Extracting #5: cost 18 inf + 3
13.725 * * [simplify]: Extracting #6: cost 15 inf + 369
13.725 * * [simplify]: Extracting #7: cost 11 inf + 857
13.726 * * [simplify]: Extracting #8: cost 7 inf + 3230
13.726 * * [simplify]: Extracting #9: cost 2 inf + 8694
13.726 * * [simplify]: Extracting #10: cost 1 inf + 10499
13.727 * * [simplify]: Extracting #11: cost 0 inf + 14264
13.727 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 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)) (+.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))))
13.727 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
13.760 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
13.765 * * * * [points]: Setting MPFR precision to 64
13.766 * * * * [points]: Setting MPFR precision to 320
13.767 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
13.781 * * * * [points]: Setting MPFR precision to 64
13.785 * * * * [points]: Setting MPFR precision to 320
13.788 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
13.792 * * * * [points]: Setting MPFR precision to 64
13.797 * * * * [points]: Setting MPFR precision to 320
13.802 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
13.807 * * * * [points]: Setting MPFR precision to 64
13.816 * * * * [points]: Setting MPFR precision to 320
13.826 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
13.831 * * * * [points]: Setting MPFR precision to 64
13.849 * * * * [points]: Setting MPFR precision to 320
13.867 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
13.872 * * * * [points]: Setting MPFR precision to 64
13.965 * * * * [points]: Setting MPFR precision to 320
14.035 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
14.043 * * * * [points]: Setting MPFR precision to 64
14.232 * * * * [points]: Setting MPFR precision to 320
14.374 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.439 * * * * [points]: Setting MPFR precision to 64
14.749 * * * * [points]: Setting MPFR precision to 320
15.026 * * * * [points]: Computing exacts for 8000 points
15.031 * * * * [points]: Setting MPFR precision to 64
16.253 * * * * [points]: Setting MPFR precision to 320
17.367 * * * * [points]: Filtering points with unrepresentable outputs
17.375 * * * * [points]: Sampling 6911 additional inputs, on iter 1 have 1089 / 8000
17.428 * * * * [points]: Computing exacts on every 431 of 6911 points to ramp up precision
17.437 * * * * [points]: Setting MPFR precision to 64
17.439 * * * * [points]: Setting MPFR precision to 320
17.442 * * * * [points]: Computing exacts on every 215 of 6911 points to ramp up precision
17.451 * * * * [points]: Setting MPFR precision to 64
17.455 * * * * [points]: Setting MPFR precision to 320
17.460 * * * * [points]: Computing exacts on every 107 of 6911 points to ramp up precision
17.469 * * * * [points]: Setting MPFR precision to 64
17.477 * * * * [points]: Setting MPFR precision to 320
17.485 * * * * [points]: Computing exacts on every 53 of 6911 points to ramp up precision
17.494 * * * * [points]: Setting MPFR precision to 64
17.512 * * * * [points]: Setting MPFR precision to 320
17.530 * * * * [points]: Computing exacts on every 26 of 6911 points to ramp up precision
17.570 * * * * [points]: Setting MPFR precision to 64
17.611 * * * * [points]: Setting MPFR precision to 320
17.646 * * * * [points]: Computing exacts on every 13 of 6911 points to ramp up precision
17.655 * * * * [points]: Setting MPFR precision to 64
17.723 * * * * [points]: Setting MPFR precision to 320
17.823 * * * * [points]: Computing exacts on every 6 of 6911 points to ramp up precision
17.828 * * * * [points]: Setting MPFR precision to 64
17.903 * * * * [points]: Setting MPFR precision to 320
18.009 * * * * [points]: Computing exacts on every 3 of 6911 points to ramp up precision
18.013 * * * * [points]: Setting MPFR precision to 64
18.177 * * * * [points]: Setting MPFR precision to 320
18.342 * * * * [points]: Computing exacts for 6911 points
18.346 * * * * [points]: Setting MPFR precision to 64
19.326 * * * * [points]: Setting MPFR precision to 320
20.130 * * * * [points]: Filtering points with unrepresentable outputs
20.134 * * * * [points]: Sampling 5930 additional inputs, on iter 2 have 2070 / 8000
20.160 * * * * [points]: Computing exacts on every 370 of 5930 points to ramp up precision
20.166 * * * * [points]: Setting MPFR precision to 64
20.167 * * * * [points]: Setting MPFR precision to 320
20.169 * * * * [points]: Computing exacts on every 185 of 5930 points to ramp up precision
20.173 * * * * [points]: Setting MPFR precision to 64
20.175 * * * * [points]: Setting MPFR precision to 320
20.178 * * * * [points]: Computing exacts on every 92 of 5930 points to ramp up precision
20.182 * * * * [points]: Setting MPFR precision to 64
20.187 * * * * [points]: Setting MPFR precision to 320
20.192 * * * * [points]: Computing exacts on every 46 of 5930 points to ramp up precision
20.218 * * * * [points]: Setting MPFR precision to 64
20.230 * * * * [points]: Setting MPFR precision to 320
20.239 * * * * [points]: Computing exacts on every 23 of 5930 points to ramp up precision
20.244 * * * * [points]: Setting MPFR precision to 64
20.262 * * * * [points]: Setting MPFR precision to 320
20.281 * * * * [points]: Computing exacts on every 11 of 5930 points to ramp up precision
20.285 * * * * [points]: Setting MPFR precision to 64
20.322 * * * * [points]: Setting MPFR precision to 320
20.386 * * * * [points]: Computing exacts on every 5 of 5930 points to ramp up precision
20.391 * * * * [points]: Setting MPFR precision to 64
20.559 * * * * [points]: Setting MPFR precision to 320
20.696 * * * * [points]: Computing exacts on every 2 of 5930 points to ramp up precision
20.706 * * * * [points]: Setting MPFR precision to 64
20.963 * * * * [points]: Setting MPFR precision to 320
21.139 * * * * [points]: Computing exacts for 5930 points
21.144 * * * * [points]: Setting MPFR precision to 64
22.146 * * * * [points]: Setting MPFR precision to 320
22.712 * * * * [points]: Filtering points with unrepresentable outputs
22.715 * * * * [points]: Sampling 5121 additional inputs, on iter 3 have 2879 / 8000
22.736 * * * * [points]: Computing exacts on every 320 of 5121 points to ramp up precision
22.740 * * * * [points]: Setting MPFR precision to 64
22.742 * * * * [points]: Setting MPFR precision to 320
22.743 * * * * [points]: Computing exacts on every 160 of 5121 points to ramp up precision
22.747 * * * * [points]: Setting MPFR precision to 64
22.750 * * * * [points]: Setting MPFR precision to 320
22.752 * * * * [points]: Computing exacts on every 80 of 5121 points to ramp up precision
22.756 * * * * [points]: Setting MPFR precision to 64
22.782 * * * * [points]: Setting MPFR precision to 320
22.788 * * * * [points]: Computing exacts on every 40 of 5121 points to ramp up precision
22.793 * * * * [points]: Setting MPFR precision to 64
22.802 * * * * [points]: Setting MPFR precision to 320
22.811 * * * * [points]: Computing exacts on every 20 of 5121 points to ramp up precision
22.816 * * * * [points]: Setting MPFR precision to 64
22.834 * * * * [points]: Setting MPFR precision to 320
22.852 * * * * [points]: Computing exacts on every 10 of 5121 points to ramp up precision
22.857 * * * * [points]: Setting MPFR precision to 64
22.927 * * * * [points]: Setting MPFR precision to 320
22.962 * * * * [points]: Computing exacts on every 5 of 5121 points to ramp up precision
22.967 * * * * [points]: Setting MPFR precision to 64
23.066 * * * * [points]: Setting MPFR precision to 320
23.134 * * * * [points]: Computing exacts on every 2 of 5121 points to ramp up precision
23.138 * * * * [points]: Setting MPFR precision to 64
23.301 * * * * [points]: Setting MPFR precision to 320
23.470 * * * * [points]: Computing exacts for 5121 points
23.504 * * * * [points]: Setting MPFR precision to 64
24.400 * * * * [points]: Setting MPFR precision to 320
25.014 * * * * [points]: Filtering points with unrepresentable outputs
25.022 * * * * [points]: Sampling 4392 additional inputs, on iter 4 have 3608 / 8000
25.055 * * * * [points]: Computing exacts on every 274 of 4392 points to ramp up precision
25.064 * * * * [points]: Setting MPFR precision to 64
25.066 * * * * [points]: Setting MPFR precision to 320
25.068 * * * * [points]: Computing exacts on every 137 of 4392 points to ramp up precision
25.077 * * * * [points]: Setting MPFR precision to 64
25.081 * * * * [points]: Setting MPFR precision to 320
25.086 * * * * [points]: Computing exacts on every 68 of 4392 points to ramp up precision
25.094 * * * * [points]: Setting MPFR precision to 64
25.103 * * * * [points]: Setting MPFR precision to 320
25.112 * * * * [points]: Computing exacts on every 34 of 4392 points to ramp up precision
25.121 * * * * [points]: Setting MPFR precision to 64
25.138 * * * * [points]: Setting MPFR precision to 320
25.156 * * * * [points]: Computing exacts on every 17 of 4392 points to ramp up precision
25.165 * * * * [points]: Setting MPFR precision to 64
25.233 * * * * [points]: Setting MPFR precision to 320
25.266 * * * * [points]: Computing exacts on every 8 of 4392 points to ramp up precision
25.274 * * * * [points]: Setting MPFR precision to 64
25.343 * * * * [points]: Setting MPFR precision to 320
25.411 * * * * [points]: Computing exacts on every 4 of 4392 points to ramp up precision
25.421 * * * * [points]: Setting MPFR precision to 64
25.587 * * * * [points]: Setting MPFR precision to 320
25.760 * * * * [points]: Computing exacts on every 2 of 4392 points to ramp up precision
25.765 * * * * [points]: Setting MPFR precision to 64
25.988 * * * * [points]: Setting MPFR precision to 320
26.240 * * * * [points]: Computing exacts for 4392 points
26.249 * * * * [points]: Setting MPFR precision to 64
27.009 * * * * [points]: Setting MPFR precision to 320
28.167 * * * * [points]: Filtering points with unrepresentable outputs
28.171 * * * * [points]: Sampling 3759 additional inputs, on iter 5 have 4241 / 8000
28.201 * * * * [points]: Computing exacts on every 234 of 3759 points to ramp up precision
28.211 * * * * [points]: Setting MPFR precision to 64
28.213 * * * * [points]: Setting MPFR precision to 320
28.215 * * * * [points]: Computing exacts on every 117 of 3759 points to ramp up precision
28.224 * * * * [points]: Setting MPFR precision to 64
28.228 * * * * [points]: Setting MPFR precision to 320
28.232 * * * * [points]: Computing exacts on every 58 of 3759 points to ramp up precision
28.241 * * * * [points]: Setting MPFR precision to 64
28.250 * * * * [points]: Setting MPFR precision to 320
28.259 * * * * [points]: Computing exacts on every 29 of 3759 points to ramp up precision
28.268 * * * * [points]: Setting MPFR precision to 64
28.285 * * * * [points]: Setting MPFR precision to 320
28.336 * * * * [points]: Computing exacts on every 14 of 3759 points to ramp up precision
28.348 * * * * [points]: Setting MPFR precision to 64
28.383 * * * * [points]: Setting MPFR precision to 320
28.419 * * * * [points]: Computing exacts on every 7 of 3759 points to ramp up precision
28.428 * * * * [points]: Setting MPFR precision to 64
28.495 * * * * [points]: Setting MPFR precision to 320
28.602 * * * * [points]: Computing exacts on every 3 of 3759 points to ramp up precision
28.611 * * * * [points]: Setting MPFR precision to 64
28.709 * * * * [points]: Setting MPFR precision to 320
28.850 * * * * [points]: Computing exacts for 3759 points
28.856 * * * * [points]: Setting MPFR precision to 64
29.282 * * * * [points]: Setting MPFR precision to 320
29.836 * * * * [points]: Filtering points with unrepresentable outputs
29.839 * * * * [points]: Sampling 3249 additional inputs, on iter 6 have 4751 / 8000
29.852 * * * * [points]: Computing exacts on every 203 of 3249 points to ramp up precision
29.857 * * * * [points]: Setting MPFR precision to 64
29.859 * * * * [points]: Setting MPFR precision to 320
29.860 * * * * [points]: Computing exacts on every 101 of 3249 points to ramp up precision
29.864 * * * * [points]: Setting MPFR precision to 64
29.866 * * * * [points]: Setting MPFR precision to 320
29.869 * * * * [points]: Computing exacts on every 50 of 3249 points to ramp up precision
29.874 * * * * [points]: Setting MPFR precision to 64
29.914 * * * * [points]: Setting MPFR precision to 320
29.926 * * * * [points]: Computing exacts on every 25 of 3249 points to ramp up precision
29.935 * * * * [points]: Setting MPFR precision to 64
29.945 * * * * [points]: Setting MPFR precision to 320
29.954 * * * * [points]: Computing exacts on every 12 of 3249 points to ramp up precision
29.959 * * * * [points]: Setting MPFR precision to 64
29.977 * * * * [points]: Setting MPFR precision to 320
29.997 * * * * [points]: Computing exacts on every 6 of 3249 points to ramp up precision
30.006 * * * * [points]: Setting MPFR precision to 64
30.105 * * * * [points]: Setting MPFR precision to 320
30.171 * * * * [points]: Computing exacts on every 3 of 3249 points to ramp up precision
30.180 * * * * [points]: Setting MPFR precision to 64
30.276 * * * * [points]: Setting MPFR precision to 320
30.351 * * * * [points]: Computing exacts for 3249 points
30.357 * * * * [points]: Setting MPFR precision to 64
30.824 * * * * [points]: Setting MPFR precision to 320
31.865 * * * * [points]: Filtering points with unrepresentable outputs
31.868 * * * * [points]: Sampling 2805 additional inputs, on iter 7 have 5195 / 8000
31.889 * * * * [points]: Computing exacts on every 175 of 2805 points to ramp up precision
31.898 * * * * [points]: Setting MPFR precision to 64
31.900 * * * * [points]: Setting MPFR precision to 320
31.903 * * * * [points]: Computing exacts on every 87 of 2805 points to ramp up precision
31.911 * * * * [points]: Setting MPFR precision to 64
31.916 * * * * [points]: Setting MPFR precision to 320
31.920 * * * * [points]: Computing exacts on every 43 of 2805 points to ramp up precision
31.929 * * * * [points]: Setting MPFR precision to 64
31.938 * * * * [points]: Setting MPFR precision to 320
31.948 * * * * [points]: Computing exacts on every 21 of 2805 points to ramp up precision
31.957 * * * * [points]: Setting MPFR precision to 64
31.975 * * * * [points]: Setting MPFR precision to 320
31.994 * * * * [points]: Computing exacts on every 10 of 2805 points to ramp up precision
32.003 * * * * [points]: Setting MPFR precision to 64
32.073 * * * * [points]: Setting MPFR precision to 320
32.112 * * * * [points]: Computing exacts on every 5 of 2805 points to ramp up precision
32.121 * * * * [points]: Setting MPFR precision to 64
32.188 * * * * [points]: Setting MPFR precision to 320
32.256 * * * * [points]: Computing exacts on every 2 of 2805 points to ramp up precision
32.265 * * * * [points]: Setting MPFR precision to 64
32.446 * * * * [points]: Setting MPFR precision to 320
32.591 * * * * [points]: Computing exacts for 2805 points
32.600 * * * * [points]: Setting MPFR precision to 64
33.057 * * * * [points]: Setting MPFR precision to 320
33.545 * * * * [points]: Filtering points with unrepresentable outputs
33.548 * * * * [points]: Sampling 2409 additional inputs, on iter 8 have 5591 / 8000
33.567 * * * * [points]: Computing exacts on every 150 of 2409 points to ramp up precision
33.575 * * * * [points]: Setting MPFR precision to 64
33.578 * * * * [points]: Setting MPFR precision to 320
33.580 * * * * [points]: Computing exacts on every 75 of 2409 points to ramp up precision
33.588 * * * * [points]: Setting MPFR precision to 64
33.593 * * * * [points]: Setting MPFR precision to 320
33.597 * * * * [points]: Computing exacts on every 37 of 2409 points to ramp up precision
33.605 * * * * [points]: Setting MPFR precision to 64
33.614 * * * * [points]: Setting MPFR precision to 320
33.623 * * * * [points]: Computing exacts on every 18 of 2409 points to ramp up precision
33.631 * * * * [points]: Setting MPFR precision to 64
33.649 * * * * [points]: Setting MPFR precision to 320
33.666 * * * * [points]: Computing exacts on every 9 of 2409 points to ramp up precision
33.675 * * * * [points]: Setting MPFR precision to 64
33.708 * * * * [points]: Setting MPFR precision to 320
33.774 * * * * [points]: Computing exacts on every 4 of 2409 points to ramp up precision
33.782 * * * * [points]: Setting MPFR precision to 64
33.847 * * * * [points]: Setting MPFR precision to 320
33.912 * * * * [points]: Computing exacts on every 2 of 2409 points to ramp up precision
33.920 * * * * [points]: Setting MPFR precision to 64
34.076 * * * * [points]: Setting MPFR precision to 320
34.182 * * * * [points]: Computing exacts for 2409 points
34.239 * * * * [points]: Setting MPFR precision to 64
34.613 * * * * [points]: Setting MPFR precision to 320
35.468 * * * * [points]: Filtering points with unrepresentable outputs
35.471 * * * * [points]: Sampling 2067 additional inputs, on iter 9 have 5933 / 8000
35.486 * * * * [points]: Computing exacts on every 129 of 2067 points to ramp up precision
35.495 * * * * [points]: Setting MPFR precision to 64
35.497 * * * * [points]: Setting MPFR precision to 320
35.499 * * * * [points]: Computing exacts on every 64 of 2067 points to ramp up precision
35.508 * * * * [points]: Setting MPFR precision to 64
35.512 * * * * [points]: Setting MPFR precision to 320
35.517 * * * * [points]: Computing exacts on every 32 of 2067 points to ramp up precision
35.526 * * * * [points]: Setting MPFR precision to 64
35.534 * * * * [points]: Setting MPFR precision to 320
35.542 * * * * [points]: Computing exacts on every 16 of 2067 points to ramp up precision
35.551 * * * * [points]: Setting MPFR precision to 64
35.566 * * * * [points]: Setting MPFR precision to 320
35.578 * * * * [points]: Computing exacts on every 8 of 2067 points to ramp up precision
35.603 * * * * [points]: Setting MPFR precision to 64
35.621 * * * * [points]: Setting MPFR precision to 320
35.639 * * * * [points]: Computing exacts on every 4 of 2067 points to ramp up precision
35.643 * * * * [points]: Setting MPFR precision to 64
35.672 * * * * [points]: Setting MPFR precision to 320
35.703 * * * * [points]: Computing exacts on every 2 of 2067 points to ramp up precision
35.732 * * * * [points]: Setting MPFR precision to 64
35.787 * * * * [points]: Setting MPFR precision to 320
35.857 * * * * [points]: Computing exacts for 2067 points
35.888 * * * * [points]: Setting MPFR precision to 64
36.081 * * * * [points]: Setting MPFR precision to 320
36.260 * * * * [points]: Filtering points with unrepresentable outputs
36.261 * * * * [points]: Sampling 1762 additional inputs, on iter 10 have 6238 / 8000
36.269 * * * * [points]: Computing exacts on every 110 of 1762 points to ramp up precision
36.273 * * * * [points]: Setting MPFR precision to 64
36.274 * * * * [points]: Setting MPFR precision to 320
36.276 * * * * [points]: Computing exacts on every 55 of 1762 points to ramp up precision
36.280 * * * * [points]: Setting MPFR precision to 64
36.308 * * * * [points]: Setting MPFR precision to 320
36.311 * * * * [points]: Computing exacts on every 27 of 1762 points to ramp up precision
36.315 * * * * [points]: Setting MPFR precision to 64
36.322 * * * * [points]: Setting MPFR precision to 320
36.326 * * * * [points]: Computing exacts on every 13 of 1762 points to ramp up precision
36.330 * * * * [points]: Setting MPFR precision to 64
36.339 * * * * [points]: Setting MPFR precision to 320
36.349 * * * * [points]: Computing exacts on every 6 of 1762 points to ramp up precision
36.353 * * * * [points]: Setting MPFR precision to 64
36.372 * * * * [points]: Setting MPFR precision to 320
36.390 * * * * [points]: Computing exacts on every 3 of 1762 points to ramp up precision
36.395 * * * * [points]: Setting MPFR precision to 64
36.460 * * * * [points]: Setting MPFR precision to 320
36.517 * * * * [points]: Computing exacts for 1762 points
36.522 * * * * [points]: Setting MPFR precision to 64
36.753 * * * * [points]: Setting MPFR precision to 320
37.000 * * * * [points]: Filtering points with unrepresentable outputs
37.001 * * * * [points]: Sampling 1523 additional inputs, on iter 11 have 6477 / 8000
37.012 * * * * [points]: Computing exacts on every 95 of 1523 points to ramp up precision
37.062 * * * * [points]: Setting MPFR precision to 64
37.065 * * * * [points]: Setting MPFR precision to 320
37.070 * * * * [points]: Computing exacts on every 47 of 1523 points to ramp up precision
37.077 * * * * [points]: Setting MPFR precision to 64
37.081 * * * * [points]: Setting MPFR precision to 320
37.085 * * * * [points]: Computing exacts on every 23 of 1523 points to ramp up precision
37.091 * * * * [points]: Setting MPFR precision to 64
37.096 * * * * [points]: Setting MPFR precision to 320
37.100 * * * * [points]: Computing exacts on every 11 of 1523 points to ramp up precision
37.105 * * * * [points]: Setting MPFR precision to 64
37.115 * * * * [points]: Setting MPFR precision to 320
37.125 * * * * [points]: Computing exacts on every 5 of 1523 points to ramp up precision
37.133 * * * * [points]: Setting MPFR precision to 64
37.158 * * * * [points]: Setting MPFR precision to 320
37.207 * * * * [points]: Computing exacts on every 2 of 1523 points to ramp up precision
37.215 * * * * [points]: Setting MPFR precision to 64
37.273 * * * * [points]: Setting MPFR precision to 320
37.325 * * * * [points]: Computing exacts for 1523 points
37.332 * * * * [points]: Setting MPFR precision to 64
37.518 * * * * [points]: Setting MPFR precision to 320
37.703 * * * * [points]: Filtering points with unrepresentable outputs
37.704 * * * * [points]: Sampling 1295 additional inputs, on iter 12 have 6705 / 8000
37.712 * * * * [points]: Computing exacts on every 80 of 1295 points to ramp up precision
37.717 * * * * [points]: Setting MPFR precision to 64
37.718 * * * * [points]: Setting MPFR precision to 320
37.750 * * * * [points]: Computing exacts on every 40 of 1295 points to ramp up precision
37.758 * * * * [points]: Setting MPFR precision to 64
37.765 * * * * [points]: Setting MPFR precision to 320
37.769 * * * * [points]: Computing exacts on every 20 of 1295 points to ramp up precision
37.777 * * * * [points]: Setting MPFR precision to 64
37.785 * * * * [points]: Setting MPFR precision to 320
37.792 * * * * [points]: Computing exacts on every 10 of 1295 points to ramp up precision
37.796 * * * * [points]: Setting MPFR precision to 64
37.804 * * * * [points]: Setting MPFR precision to 320
37.813 * * * * [points]: Computing exacts on every 5 of 1295 points to ramp up precision
37.817 * * * * [points]: Setting MPFR precision to 64
37.837 * * * * [points]: Setting MPFR precision to 320
37.858 * * * * [points]: Computing exacts on every 2 of 1295 points to ramp up precision
37.862 * * * * [points]: Setting MPFR precision to 64
37.942 * * * * [points]: Setting MPFR precision to 320
37.998 * * * * [points]: Computing exacts for 1295 points
38.006 * * * * [points]: Setting MPFR precision to 64
38.625 * * * * [points]: Setting MPFR precision to 320
38.833 * * * * [points]: Filtering points with unrepresentable outputs
38.834 * * * * [points]: Sampling 1091 additional inputs, on iter 13 have 6909 / 8000
38.842 * * * * [points]: Computing exacts on every 68 of 1091 points to ramp up precision
38.850 * * * * [points]: Setting MPFR precision to 64
38.852 * * * * [points]: Setting MPFR precision to 320
38.854 * * * * [points]: Computing exacts on every 34 of 1091 points to ramp up precision
38.861 * * * * [points]: Setting MPFR precision to 64
38.865 * * * * [points]: Setting MPFR precision to 320
38.869 * * * * [points]: Computing exacts on every 17 of 1091 points to ramp up precision
38.877 * * * * [points]: Setting MPFR precision to 64
38.884 * * * * [points]: Setting MPFR precision to 320
38.892 * * * * [points]: Computing exacts on every 8 of 1091 points to ramp up precision
38.901 * * * * [points]: Setting MPFR precision to 64
38.916 * * * * [points]: Setting MPFR precision to 320
38.931 * * * * [points]: Computing exacts on every 4 of 1091 points to ramp up precision
38.970 * * * * [points]: Setting MPFR precision to 64
38.987 * * * * [points]: Setting MPFR precision to 320
39.012 * * * * [points]: Computing exacts on every 2 of 1091 points to ramp up precision
39.019 * * * * [points]: Setting MPFR precision to 64
39.063 * * * * [points]: Setting MPFR precision to 320
39.109 * * * * [points]: Computing exacts for 1091 points
39.116 * * * * [points]: Setting MPFR precision to 64
39.262 * * * * [points]: Setting MPFR precision to 320
39.437 * * * * [points]: Filtering points with unrepresentable outputs
39.438 * * * * [points]: Sampling 943 additional inputs, on iter 14 have 7057 / 8000
39.444 * * * * [points]: Computing exacts on every 58 of 943 points to ramp up precision
39.452 * * * * [points]: Setting MPFR precision to 64
39.455 * * * * [points]: Setting MPFR precision to 320
39.457 * * * * [points]: Computing exacts on every 29 of 943 points to ramp up precision
39.464 * * * * [points]: Setting MPFR precision to 64
39.468 * * * * [points]: Setting MPFR precision to 320
39.472 * * * * [points]: Computing exacts on every 14 of 943 points to ramp up precision
39.480 * * * * [points]: Setting MPFR precision to 64
39.490 * * * * [points]: Setting MPFR precision to 320
39.498 * * * * [points]: Computing exacts on every 7 of 943 points to ramp up precision
39.508 * * * * [points]: Setting MPFR precision to 64
39.524 * * * * [points]: Setting MPFR precision to 320
39.576 * * * * [points]: Computing exacts on every 3 of 943 points to ramp up precision
39.588 * * * * [points]: Setting MPFR precision to 64
39.620 * * * * [points]: Setting MPFR precision to 320
39.651 * * * * [points]: Computing exacts for 943 points
39.659 * * * * [points]: Setting MPFR precision to 64
39.804 * * * * [points]: Setting MPFR precision to 320
39.899 * * * * [points]: Filtering points with unrepresentable outputs
39.900 * * * * [points]: Sampling 803 additional inputs, on iter 15 have 7197 / 8000
39.906 * * * * [points]: Computing exacts on every 50 of 803 points to ramp up precision
39.914 * * * * [points]: Setting MPFR precision to 64
39.917 * * * * [points]: Setting MPFR precision to 320
39.919 * * * * [points]: Computing exacts on every 25 of 803 points to ramp up precision
39.928 * * * * [points]: Setting MPFR precision to 64
39.932 * * * * [points]: Setting MPFR precision to 320
39.937 * * * * [points]: Computing exacts on every 12 of 803 points to ramp up precision
39.986 * * * * [points]: Setting MPFR precision to 64
39.991 * * * * [points]: Setting MPFR precision to 320
40.000 * * * * [points]: Computing exacts on every 6 of 803 points to ramp up precision
40.008 * * * * [points]: Setting MPFR precision to 64
40.023 * * * * [points]: Setting MPFR precision to 320
40.040 * * * * [points]: Computing exacts on every 3 of 803 points to ramp up precision
40.049 * * * * [points]: Setting MPFR precision to 64
40.075 * * * * [points]: Setting MPFR precision to 320
40.103 * * * * [points]: Computing exacts for 803 points
40.112 * * * * [points]: Setting MPFR precision to 64
40.267 * * * * [points]: Setting MPFR precision to 320
40.380 * * * * [points]: Filtering points with unrepresentable outputs
40.381 * * * * [points]: Sampling 693 additional inputs, on iter 16 have 7307 / 8000
40.386 * * * * [points]: Computing exacts on every 43 of 693 points to ramp up precision
40.395 * * * * [points]: Setting MPFR precision to 64
40.397 * * * * [points]: Setting MPFR precision to 320
40.399 * * * * [points]: Computing exacts on every 21 of 693 points to ramp up precision
40.408 * * * * [points]: Setting MPFR precision to 64
40.458 * * * * [points]: Setting MPFR precision to 320
40.463 * * * * [points]: Computing exacts on every 10 of 693 points to ramp up precision
40.475 * * * * [points]: Setting MPFR precision to 64
40.484 * * * * [points]: Setting MPFR precision to 320
40.493 * * * * [points]: Computing exacts on every 5 of 693 points to ramp up precision
40.501 * * * * [points]: Setting MPFR precision to 64
40.517 * * * * [points]: Setting MPFR precision to 320
40.533 * * * * [points]: Computing exacts on every 2 of 693 points to ramp up precision
40.542 * * * * [points]: Setting MPFR precision to 64
40.573 * * * * [points]: Setting MPFR precision to 320
40.602 * * * * [points]: Computing exacts for 693 points
40.610 * * * * [points]: Setting MPFR precision to 64
40.750 * * * * [points]: Setting MPFR precision to 320
40.847 * * * * [points]: Filtering points with unrepresentable outputs
40.848 * * * * [points]: Sampling 602 additional inputs, on iter 17 have 7398 / 8000
40.852 * * * * [points]: Computing exacts on every 37 of 602 points to ramp up precision
40.860 * * * * [points]: Setting MPFR precision to 64
40.862 * * * * [points]: Setting MPFR precision to 320
40.864 * * * * [points]: Computing exacts on every 18 of 602 points to ramp up precision
40.871 * * * * [points]: Setting MPFR precision to 64
40.922 * * * * [points]: Setting MPFR precision to 320
40.926 * * * * [points]: Computing exacts on every 9 of 602 points to ramp up precision
40.938 * * * * [points]: Setting MPFR precision to 64
40.947 * * * * [points]: Setting MPFR precision to 320
40.955 * * * * [points]: Computing exacts on every 4 of 602 points to ramp up precision
40.965 * * * * [points]: Setting MPFR precision to 64
40.981 * * * * [points]: Setting MPFR precision to 320
40.998 * * * * [points]: Computing exacts on every 2 of 602 points to ramp up precision
41.006 * * * * [points]: Setting MPFR precision to 64
41.034 * * * * [points]: Setting MPFR precision to 320
41.061 * * * * [points]: Computing exacts for 602 points
41.070 * * * * [points]: Setting MPFR precision to 64
41.192 * * * * [points]: Setting MPFR precision to 320
41.246 * * * * [points]: Filtering points with unrepresentable outputs
41.246 * * * * [points]: Sampling 528 additional inputs, on iter 18 have 7472 / 8000
41.248 * * * * [points]: Computing exacts on every 33 of 528 points to ramp up precision
41.253 * * * * [points]: Setting MPFR precision to 64
41.254 * * * * [points]: Setting MPFR precision to 320
41.255 * * * * [points]: Computing exacts on every 16 of 528 points to ramp up precision
41.259 * * * * [points]: Setting MPFR precision to 64
41.262 * * * * [points]: Setting MPFR precision to 320
41.264 * * * * [points]: Computing exacts on every 8 of 528 points to ramp up precision
41.268 * * * * [points]: Setting MPFR precision to 64
41.273 * * * * [points]: Setting MPFR precision to 320
41.315 * * * * [points]: Computing exacts on every 4 of 528 points to ramp up precision
41.320 * * * * [points]: Setting MPFR precision to 64
41.338 * * * * [points]: Setting MPFR precision to 320
41.353 * * * * [points]: Computing exacts on every 2 of 528 points to ramp up precision
41.362 * * * * [points]: Setting MPFR precision to 64
41.386 * * * * [points]: Setting MPFR precision to 320
41.410 * * * * [points]: Computing exacts for 528 points
41.418 * * * * [points]: Setting MPFR precision to 64
41.490 * * * * [points]: Setting MPFR precision to 320
41.609 * * * * [points]: Filtering points with unrepresentable outputs
41.609 * * * * [points]: Sampling 455 additional inputs, on iter 19 have 7545 / 8000
41.613 * * * * [points]: Computing exacts on every 28 of 455 points to ramp up precision
41.622 * * * * [points]: Setting MPFR precision to 64
41.624 * * * * [points]: Setting MPFR precision to 320
41.626 * * * * [points]: Computing exacts on every 14 of 455 points to ramp up precision
41.635 * * * * [points]: Setting MPFR precision to 64
41.639 * * * * [points]: Setting MPFR precision to 320
41.643 * * * * [points]: Computing exacts on every 7 of 455 points to ramp up precision
41.652 * * * * [points]: Setting MPFR precision to 64
41.660 * * * * [points]: Setting MPFR precision to 320
41.668 * * * * [points]: Computing exacts on every 3 of 455 points to ramp up precision
41.677 * * * * [points]: Setting MPFR precision to 64
41.692 * * * * [points]: Setting MPFR precision to 320
41.708 * * * * [points]: Computing exacts for 455 points
41.716 * * * * [points]: Setting MPFR precision to 64
41.815 * * * * [points]: Setting MPFR precision to 320
41.873 * * * * [points]: Filtering points with unrepresentable outputs
41.873 * * * * [points]: Sampling 393 additional inputs, on iter 20 have 7607 / 8000
41.876 * * * * [points]: Computing exacts on every 24 of 393 points to ramp up precision
41.885 * * * * [points]: Setting MPFR precision to 64
41.888 * * * * [points]: Setting MPFR precision to 320
41.890 * * * * [points]: Computing exacts on every 12 of 393 points to ramp up precision
41.898 * * * * [points]: Setting MPFR precision to 64
41.903 * * * * [points]: Setting MPFR precision to 320
41.907 * * * * [points]: Computing exacts on every 6 of 393 points to ramp up precision
41.916 * * * * [points]: Setting MPFR precision to 64
41.923 * * * * [points]: Setting MPFR precision to 320
41.931 * * * * [points]: Computing exacts on every 3 of 393 points to ramp up precision
41.982 * * * * [points]: Setting MPFR precision to 64
41.999 * * * * [points]: Setting MPFR precision to 320
42.013 * * * * [points]: Computing exacts for 393 points
42.020 * * * * [points]: Setting MPFR precision to 64
42.057 * * * * [points]: Setting MPFR precision to 320
42.112 * * * * [points]: Filtering points with unrepresentable outputs
42.113 * * * * [points]: Sampling 345 additional inputs, on iter 21 have 7655 / 8000
42.115 * * * * [points]: Computing exacts on every 21 of 345 points to ramp up precision
42.124 * * * * [points]: Setting MPFR precision to 64
42.126 * * * * [points]: Setting MPFR precision to 320
42.128 * * * * [points]: Computing exacts on every 10 of 345 points to ramp up precision
42.137 * * * * [points]: Setting MPFR precision to 64
42.141 * * * * [points]: Setting MPFR precision to 320
42.146 * * * * [points]: Computing exacts on every 5 of 345 points to ramp up precision
42.634 * * * * [points]: Setting MPFR precision to 64
42.644 * * * * [points]: Setting MPFR precision to 320
42.652 * * * * [points]: Computing exacts on every 2 of 345 points to ramp up precision
42.661 * * * * [points]: Setting MPFR precision to 64
42.676 * * * * [points]: Setting MPFR precision to 320
42.692 * * * * [points]: Computing exacts for 345 points
42.701 * * * * [points]: Setting MPFR precision to 64
42.748 * * * * [points]: Setting MPFR precision to 320
42.801 * * * * [points]: Filtering points with unrepresentable outputs
42.802 * * * * [points]: Sampling 291 additional inputs, on iter 22 have 7709 / 8000
42.804 * * * * [points]: Computing exacts on every 18 of 291 points to ramp up precision
42.812 * * * * [points]: Setting MPFR precision to 64
42.815 * * * * [points]: Setting MPFR precision to 320
42.817 * * * * [points]: Computing exacts on every 9 of 291 points to ramp up precision
42.861 * * * * [points]: Setting MPFR precision to 64
42.868 * * * * [points]: Setting MPFR precision to 320
42.872 * * * * [points]: Computing exacts on every 4 of 291 points to ramp up precision
42.880 * * * * [points]: Setting MPFR precision to 64
42.888 * * * * [points]: Setting MPFR precision to 320
42.896 * * * * [points]: Computing exacts on every 2 of 291 points to ramp up precision
42.905 * * * * [points]: Setting MPFR precision to 64
42.919 * * * * [points]: Setting MPFR precision to 320
42.934 * * * * [points]: Computing exacts for 291 points
42.942 * * * * [points]: Setting MPFR precision to 64
42.982 * * * * [points]: Setting MPFR precision to 320
43.023 * * * * [points]: Filtering points with unrepresentable outputs
43.023 * * * * [points]: Sampling 248 additional inputs, on iter 23 have 7752 / 8000
43.025 * * * * [points]: Computing exacts on every 15 of 248 points to ramp up precision
43.057 * * * * [points]: Setting MPFR precision to 64
43.059 * * * * [points]: Setting MPFR precision to 320
43.060 * * * * [points]: Computing exacts on every 7 of 248 points to ramp up precision
43.065 * * * * [points]: Setting MPFR precision to 64
43.070 * * * * [points]: Setting MPFR precision to 320
43.073 * * * * [points]: Computing exacts on every 3 of 248 points to ramp up precision
43.078 * * * * [points]: Setting MPFR precision to 64
43.082 * * * * [points]: Setting MPFR precision to 320
43.087 * * * * [points]: Computing exacts for 248 points
43.091 * * * * [points]: Setting MPFR precision to 64
43.116 * * * * [points]: Setting MPFR precision to 320
43.150 * * * * [points]: Filtering points with unrepresentable outputs
43.150 * * * * [points]: Sampling 210 additional inputs, on iter 24 have 7790 / 8000
43.152 * * * * [points]: Computing exacts on every 13 of 210 points to ramp up precision
43.161 * * * * [points]: Setting MPFR precision to 64
43.163 * * * * [points]: Setting MPFR precision to 320
43.165 * * * * [points]: Computing exacts on every 6 of 210 points to ramp up precision
43.174 * * * * [points]: Setting MPFR precision to 64
43.178 * * * * [points]: Setting MPFR precision to 320
43.183 * * * * [points]: Computing exacts on every 3 of 210 points to ramp up precision
43.215 * * * * [points]: Setting MPFR precision to 64
43.220 * * * * [points]: Setting MPFR precision to 320
43.224 * * * * [points]: Computing exacts for 210 points
43.230 * * * * [points]: Setting MPFR precision to 64
43.258 * * * * [points]: Setting MPFR precision to 320
43.288 * * * * [points]: Filtering points with unrepresentable outputs
43.288 * * * * [points]: Sampling 180 additional inputs, on iter 25 have 7820 / 8000
43.290 * * * * [points]: Computing exacts on every 11 of 180 points to ramp up precision
43.299 * * * * [points]: Setting MPFR precision to 64
43.300 * * * * [points]: Setting MPFR precision to 320
43.301 * * * * [points]: Computing exacts on every 5 of 180 points to ramp up precision
43.306 * * * * [points]: Setting MPFR precision to 64
43.308 * * * * [points]: Setting MPFR precision to 320
43.310 * * * * [points]: Computing exacts on every 2 of 180 points to ramp up precision
43.314 * * * * [points]: Setting MPFR precision to 64
43.319 * * * * [points]: Setting MPFR precision to 320
43.323 * * * * [points]: Computing exacts for 180 points
43.328 * * * * [points]: Setting MPFR precision to 64
43.341 * * * * [points]: Setting MPFR precision to 320
43.374 * * * * [points]: Filtering points with unrepresentable outputs
43.375 * * * * [points]: Sampling 156 additional inputs, on iter 26 have 7844 / 8000
43.375 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision
43.380 * * * * [points]: Setting MPFR precision to 64
43.381 * * * * [points]: Setting MPFR precision to 320
43.382 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision
43.386 * * * * [points]: Setting MPFR precision to 64
43.389 * * * * [points]: Setting MPFR precision to 320
43.391 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision
43.395 * * * * [points]: Setting MPFR precision to 64
43.399 * * * * [points]: Setting MPFR precision to 320
43.404 * * * * [points]: Computing exacts for 156 points
43.408 * * * * [points]: Setting MPFR precision to 64
43.420 * * * * [points]: Setting MPFR precision to 320
43.431 * * * * [points]: Filtering points with unrepresentable outputs
43.431 * * * * [points]: Sampling 135 additional inputs, on iter 27 have 7865 / 8000
43.432 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
43.436 * * * * [points]: Setting MPFR precision to 64
43.437 * * * * [points]: Setting MPFR precision to 320
43.438 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
43.443 * * * * [points]: Setting MPFR precision to 64
43.445 * * * * [points]: Setting MPFR precision to 320
43.447 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
43.472 * * * * [points]: Setting MPFR precision to 64
43.476 * * * * [points]: Setting MPFR precision to 320
43.479 * * * * [points]: Computing exacts for 135 points
43.486 * * * * [points]: Setting MPFR precision to 64
43.497 * * * * [points]: Setting MPFR precision to 320
43.509 * * * * [points]: Filtering points with unrepresentable outputs
43.509 * * * * [points]: Sampling 115 additional inputs, on iter 28 have 7885 / 8000
43.509 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
43.514 * * * * [points]: Setting MPFR precision to 64
43.515 * * * * [points]: Setting MPFR precision to 320
43.516 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
43.521 * * * * [points]: Setting MPFR precision to 64
43.523 * * * * [points]: Setting MPFR precision to 320
43.525 * * * * [points]: Computing exacts for 115 points
43.529 * * * * [points]: Setting MPFR precision to 64
43.538 * * * * [points]: Setting MPFR precision to 320
43.546 * * * * [points]: Filtering points with unrepresentable outputs
43.546 * * * * [points]: Sampling 98 additional inputs, on iter 29 have 7902 / 8000
43.546 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
43.551 * * * * [points]: Setting MPFR precision to 64
43.552 * * * * [points]: Setting MPFR precision to 320
43.553 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
43.557 * * * * [points]: Setting MPFR precision to 64
43.559 * * * * [points]: Setting MPFR precision to 320
43.561 * * * * [points]: Computing exacts for 98 points
43.588 * * * * [points]: Setting MPFR precision to 64
43.596 * * * * [points]: Setting MPFR precision to 320
43.605 * * * * [points]: Filtering points with unrepresentable outputs
43.605 * * * * [points]: Sampling 89 additional inputs, on iter 30 have 7911 / 8000
43.606 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
43.610 * * * * [points]: Setting MPFR precision to 64
43.611 * * * * [points]: Setting MPFR precision to 320
43.612 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
43.616 * * * * [points]: Setting MPFR precision to 64
43.619 * * * * [points]: Setting MPFR precision to 320
43.621 * * * * [points]: Computing exacts for 89 points
43.625 * * * * [points]: Setting MPFR precision to 64
43.632 * * * * [points]: Setting MPFR precision to 320
43.638 * * * * [points]: Filtering points with unrepresentable outputs
43.638 * * * * [points]: Sampling 77 additional inputs, on iter 31 have 7923 / 8000
43.639 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
43.643 * * * * [points]: Setting MPFR precision to 64
43.644 * * * * [points]: Setting MPFR precision to 320
43.645 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
43.650 * * * * [points]: Setting MPFR precision to 64
43.652 * * * * [points]: Setting MPFR precision to 320
43.654 * * * * [points]: Computing exacts for 77 points
43.658 * * * * [points]: Setting MPFR precision to 64
43.664 * * * * [points]: Setting MPFR precision to 320
43.670 * * * * [points]: Filtering points with unrepresentable outputs
43.670 * * * * [points]: Sampling 60 additional inputs, on iter 32 have 7940 / 8000
43.670 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
43.675 * * * * [points]: Setting MPFR precision to 64
43.694 * * * * [points]: Setting MPFR precision to 320
43.695 * * * * [points]: Computing exacts for 60 points
43.699 * * * * [points]: Setting MPFR precision to 64
43.705 * * * * [points]: Setting MPFR precision to 320
43.710 * * * * [points]: Filtering points with unrepresentable outputs
43.710 * * * * [points]: Sampling 54 additional inputs, on iter 33 have 7946 / 8000
43.710 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
43.715 * * * * [points]: Setting MPFR precision to 64
43.716 * * * * [points]: Setting MPFR precision to 320
43.717 * * * * [points]: Computing exacts for 54 points
43.721 * * * * [points]: Setting MPFR precision to 64
43.726 * * * * [points]: Setting MPFR precision to 320
43.730 * * * * [points]: Filtering points with unrepresentable outputs
43.730 * * * * [points]: Sampling 49 additional inputs, on iter 34 have 7951 / 8000
43.730 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
43.735 * * * * [points]: Setting MPFR precision to 64
43.737 * * * * [points]: Setting MPFR precision to 320
43.738 * * * * [points]: Computing exacts for 49 points
43.747 * * * * [points]: Setting MPFR precision to 64
43.754 * * * * [points]: Setting MPFR precision to 320
43.762 * * * * [points]: Filtering points with unrepresentable outputs
43.762 * * * * [points]: Sampling 44 additional inputs, on iter 35 have 7956 / 8000
43.762 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
43.771 * * * * [points]: Setting MPFR precision to 64
43.773 * * * * [points]: Setting MPFR precision to 320
43.776 * * * * [points]: Computing exacts for 44 points
43.784 * * * * [points]: Setting MPFR precision to 64
43.790 * * * * [points]: Setting MPFR precision to 320
43.797 * * * * [points]: Filtering points with unrepresentable outputs
43.797 * * * * [points]: Sampling 43 additional inputs, on iter 36 have 7957 / 8000
43.797 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
43.806 * * * * [points]: Setting MPFR precision to 64
43.808 * * * * [points]: Setting MPFR precision to 320
43.810 * * * * [points]: Computing exacts for 43 points
43.842 * * * * [points]: Setting MPFR precision to 64
43.848 * * * * [points]: Setting MPFR precision to 320
43.857 * * * * [points]: Filtering points with unrepresentable outputs
43.857 * * * * [points]: Sampling 40 additional inputs, on iter 37 have 7960 / 8000
43.857 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
43.866 * * * * [points]: Setting MPFR precision to 64
43.868 * * * * [points]: Setting MPFR precision to 320
43.869 * * * * [points]: Computing exacts for 40 points
43.875 * * * * [points]: Setting MPFR precision to 64
43.878 * * * * [points]: Setting MPFR precision to 320
43.881 * * * * [points]: Filtering points with unrepresentable outputs
43.881 * * * * [points]: Sampling 36 additional inputs, on iter 38 have 7964 / 8000
43.881 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
43.885 * * * * [points]: Setting MPFR precision to 64
43.887 * * * * [points]: Setting MPFR precision to 320
43.888 * * * * [points]: Computing exacts for 36 points
43.892 * * * * [points]: Setting MPFR precision to 64
43.895 * * * * [points]: Setting MPFR precision to 320
43.898 * * * * [points]: Filtering points with unrepresentable outputs
43.898 * * * * [points]: Sampling 30 additional inputs, on iter 39 have 7970 / 8000
43.898 * * * * [points]: Computing exacts for 30 points
43.903 * * * * [points]: Setting MPFR precision to 64
43.905 * * * * [points]: Setting MPFR precision to 320
43.908 * * * * [points]: Filtering points with unrepresentable outputs
43.908 * * * * [points]: Sampling 26 additional inputs, on iter 40 have 7974 / 8000
43.908 * * * * [points]: Computing exacts for 26 points
43.913 * * * * [points]: Setting MPFR precision to 64
43.915 * * * * [points]: Setting MPFR precision to 320
43.917 * * * * [points]: Filtering points with unrepresentable outputs
43.917 * * * * [points]: Sampling 24 additional inputs, on iter 41 have 7976 / 8000
43.917 * * * * [points]: Computing exacts for 24 points
43.921 * * * * [points]: Setting MPFR precision to 64
43.923 * * * * [points]: Setting MPFR precision to 320
43.925 * * * * [points]: Filtering points with unrepresentable outputs
43.925 * * * * [points]: Sampling 23 additional inputs, on iter 42 have 7977 / 8000
43.925 * * * * [points]: Computing exacts for 23 points
43.929 * * * * [points]: Setting MPFR precision to 64
43.931 * * * * [points]: Setting MPFR precision to 320
43.933 * * * * [points]: Filtering points with unrepresentable outputs
43.933 * * * * [points]: Sampling 20 additional inputs, on iter 43 have 7980 / 8000
43.933 * * * * [points]: Computing exacts for 20 points
43.952 * * * * [points]: Setting MPFR precision to 64
43.953 * * * * [points]: Setting MPFR precision to 320
43.955 * * * * [points]: Filtering points with unrepresentable outputs
43.955 * * * * [points]: Sampling 17 additional inputs, on iter 44 have 7983 / 8000
43.955 * * * * [points]: Computing exacts for 17 points
43.960 * * * * [points]: Setting MPFR precision to 64
43.961 * * * * [points]: Setting MPFR precision to 320
43.964 * * * * [points]: Filtering points with unrepresentable outputs
43.964 * * * * [points]: Sampling 15 additional inputs, on iter 45 have 7985 / 8000
43.964 * * * * [points]: Computing exacts for 15 points
43.971 * * * * [points]: Setting MPFR precision to 64
43.974 * * * * [points]: Setting MPFR precision to 320
43.976 * * * * [points]: Filtering points with unrepresentable outputs
43.976 * * * * [points]: Sampling 15 additional inputs, on iter 46 have 7985 / 8000
43.976 * * * * [points]: Computing exacts for 15 points
43.985 * * * * [points]: Setting MPFR precision to 64
43.987 * * * * [points]: Setting MPFR precision to 320
43.989 * * * * [points]: Filtering points with unrepresentable outputs
43.990 * * * * [points]: Sampling 14 additional inputs, on iter 47 have 7986 / 8000
43.990 * * * * [points]: Computing exacts for 14 points
43.998 * * * * [points]: Setting MPFR precision to 64
44.001 * * * * [points]: Setting MPFR precision to 320
44.003 * * * * [points]: Filtering points with unrepresentable outputs
44.003 * * * * [points]: Sampling 11 additional inputs, on iter 48 have 7989 / 8000
44.003 * * * * [points]: Computing exacts for 11 points
44.012 * * * * [points]: Setting MPFR precision to 64
44.014 * * * * [points]: Setting MPFR precision to 320
44.015 * * * * [points]: Filtering points with unrepresentable outputs
44.016 * * * * [points]: Sampling 10 additional inputs, on iter 49 have 7990 / 8000
44.016 * * * * [points]: Computing exacts for 10 points
44.025 * * * * [points]: Setting MPFR precision to 64
44.026 * * * * [points]: Setting MPFR precision to 320
44.028 * * * * [points]: Filtering points with unrepresentable outputs
44.028 * * * * [points]: Sampling 7 additional inputs, on iter 50 have 7993 / 8000
44.028 * * * * [points]: Computing exacts for 7 points
44.037 * * * * [points]: Setting MPFR precision to 64
44.038 * * * * [points]: Setting MPFR precision to 320
44.039 * * * * [points]: Filtering points with unrepresentable outputs
44.039 * * * * [points]: Sampling 5 additional inputs, on iter 51 have 7995 / 8000
44.039 * * * * [points]: Computing exacts for 5 points
44.048 * * * * [points]: Setting MPFR precision to 64
44.049 * * * * [points]: Setting MPFR precision to 320
44.050 * * * * [points]: Filtering points with unrepresentable outputs
44.050 * * * * [points]: Sampling 5 additional inputs, on iter 52 have 7995 / 8000
44.050 * * * * [points]: Computing exacts for 5 points
44.059 * * * * [points]: Setting MPFR precision to 64
44.060 * * * * [points]: Setting MPFR precision to 320
44.060 * * * * [points]: Filtering points with unrepresentable outputs
44.060 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
44.060 * * * * [points]: Computing exacts for 5 points
44.066 * * * * [points]: Setting MPFR precision to 64
44.066 * * * * [points]: Setting MPFR precision to 320
44.067 * * * * [points]: Filtering points with unrepresentable outputs
44.067 * * * * [points]: Sampling 5 additional inputs, on iter 54 have 7995 / 8000
44.067 * * * * [points]: Computing exacts for 5 points
44.071 * * * * [points]: Setting MPFR precision to 64
44.072 * * * * [points]: Setting MPFR precision to 320
44.072 * * * * [points]: Filtering points with unrepresentable outputs
44.072 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7996 / 8000
44.072 * * * * [points]: Computing exacts for 4 points
44.088 * * * * [points]: Setting MPFR precision to 64
44.088 * * * * [points]: Setting MPFR precision to 320
44.089 * * * * [points]: Filtering points with unrepresentable outputs
44.089 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
44.089 * * * * [points]: Computing exacts for 4 points
44.098 * * * * [points]: Setting MPFR precision to 64
44.100 * * * * [points]: Setting MPFR precision to 320
44.100 * * * * [points]: Filtering points with unrepresentable outputs
44.101 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7996 / 8000
44.101 * * * * [points]: Computing exacts for 4 points
44.110 * * * * [points]: Setting MPFR precision to 64
44.111 * * * * [points]: Setting MPFR precision to 320
44.111 * * * * [points]: Filtering points with unrepresentable outputs
44.111 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7996 / 8000
44.111 * * * * [points]: Computing exacts for 4 points
44.119 * * * * [points]: Setting MPFR precision to 64
44.120 * * * * [points]: Setting MPFR precision to 320
44.121 * * * * [points]: Filtering points with unrepresentable outputs
44.121 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7996 / 8000
44.121 * * * * [points]: Computing exacts for 4 points
44.128 * * * * [points]: Setting MPFR precision to 64
44.129 * * * * [points]: Setting MPFR precision to 320
44.130 * * * * [points]: Filtering points with unrepresentable outputs
44.130 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7996 / 8000
44.130 * * * * [points]: Computing exacts for 4 points
44.139 * * * * [points]: Setting MPFR precision to 64
44.139 * * * * [points]: Setting MPFR precision to 320
44.140 * * * * [points]: Filtering points with unrepresentable outputs
44.140 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7996 / 8000
44.140 * * * * [points]: Computing exacts for 4 points
44.147 * * * * [points]: Setting MPFR precision to 64
44.148 * * * * [points]: Setting MPFR precision to 320
44.148 * * * * [points]: Filtering points with unrepresentable outputs
44.148 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7997 / 8000
44.148 * * * * [points]: Computing exacts for 4 points
44.153 * * * * [points]: Setting MPFR precision to 64
44.153 * * * * [points]: Setting MPFR precision to 320
44.153 * * * * [points]: Filtering points with unrepresentable outputs
44.153 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7997 / 8000
44.154 * * * * [points]: Computing exacts for 4 points
44.158 * * * * [points]: Setting MPFR precision to 64
44.158 * * * * [points]: Setting MPFR precision to 320
44.159 * * * * [points]: Filtering points with unrepresentable outputs
44.159 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7997 / 8000
44.159 * * * * [points]: Computing exacts for 4 points
44.163 * * * * [points]: Setting MPFR precision to 64
44.164 * * * * [points]: Setting MPFR precision to 320
44.164 * * * * [points]: Filtering points with unrepresentable outputs
44.164 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7997 / 8000
44.164 * * * * [points]: Computing exacts for 4 points
44.168 * * * * [points]: Setting MPFR precision to 64
44.169 * * * * [points]: Setting MPFR precision to 320
44.169 * * * * [points]: Filtering points with unrepresentable outputs
44.169 * * * * [points]: Sampling 4 additional inputs, on iter 66 have 7998 / 8000
44.169 * * * * [points]: Computing exacts for 4 points
44.173 * * * * [points]: Setting MPFR precision to 64
44.174 * * * * [points]: Setting MPFR precision to 320
44.174 * * * * [points]: Filtering points with unrepresentable outputs
44.174 * * * * [points]: Sampling 4 additional inputs, on iter 67 have 7999 / 8000
44.174 * * * * [points]: Computing exacts for 4 points
44.185 * * * * [points]: Setting MPFR precision to 64
44.185 * * * * [points]: Setting MPFR precision to 320
44.186 * * * * [points]: Filtering points with unrepresentable outputs
44.186 * * * * [points]: Sampling 4 additional inputs, on iter 68 have 7999 / 8000
44.186 * * * * [points]: Computing exacts for 4 points
44.190 * * * * [points]: Setting MPFR precision to 64
44.190 * * * * [points]: Setting MPFR precision to 320
44.190 * * * * [points]: Filtering points with unrepresentable outputs
44.191 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7999 / 8000
44.191 * * * * [points]: Computing exacts for 4 points
44.198 * * * * [points]: Setting MPFR precision to 64
44.199 * * * * [points]: Setting MPFR precision to 320
44.199 * * * * [points]: Filtering points with unrepresentable outputs
44.199 * * * * [points]: Sampled 8000 points with exact outputs
56.549 * [regime-testing]: Baseline error score: 64.0
56.553 * [regime-testing]: Oracle error score: 64.0
56.560 * [regime-testing]: End program error score: 1.4738512558504357