0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.028 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.043 * * * * [points]: Setting MPFR precision to 64
0.049 * * * * [points]: Setting MPFR precision to 320
0.056 * * * * [points]: Computing exacts for 256 points
0.060 * * * * [points]: Setting MPFR precision to 64
0.079 * * * * [points]: Setting MPFR precision to 320
0.097 * * * * [points]: Filtering points with unrepresentable outputs
0.097 * * * * [points]: Sampling 227 additional inputs, on iter 1 have 29 / 256
0.099 * * * * [points]: Computing exacts on every 14 of 227 points to ramp up precision
0.103 * * * * [points]: Setting MPFR precision to 64
0.105 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Computing exacts on every 7 of 227 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.113 * * * * [points]: Setting MPFR precision to 320
0.115 * * * * [points]: Computing exacts on every 3 of 227 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.123 * * * * [points]: Setting MPFR precision to 320
0.127 * * * * [points]: Computing exacts for 227 points
0.151 * * * * [points]: Setting MPFR precision to 64
0.170 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Filtering points with unrepresentable outputs
0.196 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.198 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.205 * * * * [points]: Setting MPFR precision to 64
0.207 * * * * [points]: Setting MPFR precision to 320
0.209 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.216 * * * * [points]: Setting MPFR precision to 64
0.220 * * * * [points]: Setting MPFR precision to 320
0.223 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.231 * * * * [points]: Setting MPFR precision to 64
0.236 * * * * [points]: Setting MPFR precision to 320
0.242 * * * * [points]: Computing exacts for 194 points
0.248 * * * * [points]: Setting MPFR precision to 64
0.270 * * * * [points]: Setting MPFR precision to 320
0.320 * * * * [points]: Filtering points with unrepresentable outputs
0.320 * * * * [points]: Sampling 153 additional inputs, on iter 3 have 103 / 256
0.321 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
0.325 * * * * [points]: Setting MPFR precision to 64
0.327 * * * * [points]: Setting MPFR precision to 320
0.328 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
0.332 * * * * [points]: Setting MPFR precision to 64
0.335 * * * * [points]: Setting MPFR precision to 320
0.337 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
0.341 * * * * [points]: Setting MPFR precision to 64
0.345 * * * * [points]: Setting MPFR precision to 320
0.349 * * * * [points]: Computing exacts for 153 points
0.353 * * * * [points]: Setting MPFR precision to 64
0.367 * * * * [points]: Setting MPFR precision to 320
0.385 * * * * [points]: Filtering points with unrepresentable outputs
0.385 * * * * [points]: Sampling 130 additional inputs, on iter 4 have 126 / 256
0.386 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
0.393 * * * * [points]: Setting MPFR precision to 64
0.394 * * * * [points]: Setting MPFR precision to 320
0.395 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
0.400 * * * * [points]: Setting MPFR precision to 64
0.402 * * * * [points]: Setting MPFR precision to 320
0.404 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
0.428 * * * * [points]: Setting MPFR precision to 64
0.432 * * * * [points]: Setting MPFR precision to 320
0.435 * * * * [points]: Computing exacts for 130 points
0.440 * * * * [points]: Setting MPFR precision to 64
0.449 * * * * [points]: Setting MPFR precision to 320
0.458 * * * * [points]: Filtering points with unrepresentable outputs
0.459 * * * * [points]: Sampling 115 additional inputs, on iter 5 have 141 / 256
0.459 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
0.467 * * * * [points]: Setting MPFR precision to 64
0.469 * * * * [points]: Setting MPFR precision to 320
0.471 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
0.476 * * * * [points]: Setting MPFR precision to 64
0.478 * * * * [points]: Setting MPFR precision to 320
0.480 * * * * [points]: Computing exacts for 115 points
0.484 * * * * [points]: Setting MPFR precision to 64
0.493 * * * * [points]: Setting MPFR precision to 320
0.501 * * * * [points]: Filtering points with unrepresentable outputs
0.501 * * * * [points]: Sampling 96 additional inputs, on iter 6 have 160 / 256
0.501 * * * * [points]: Computing exacts on every 6 of 96 points to ramp up precision
0.506 * * * * [points]: Setting MPFR precision to 64
0.508 * * * * [points]: Setting MPFR precision to 320
0.509 * * * * [points]: Computing exacts on every 3 of 96 points to ramp up precision
0.518 * * * * [points]: Setting MPFR precision to 64
0.550 * * * * [points]: Setting MPFR precision to 320
0.553 * * * * [points]: Computing exacts for 96 points
0.562 * * * * [points]: Setting MPFR precision to 64
0.574 * * * * [points]: Setting MPFR precision to 320
0.581 * * * * [points]: Filtering points with unrepresentable outputs
0.582 * * * * [points]: Sampling 84 additional inputs, on iter 7 have 172 / 256
0.582 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
0.587 * * * * [points]: Setting MPFR precision to 64
0.588 * * * * [points]: Setting MPFR precision to 320
0.589 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
0.594 * * * * [points]: Setting MPFR precision to 64
0.596 * * * * [points]: Setting MPFR precision to 320
0.598 * * * * [points]: Computing exacts for 84 points
0.605 * * * * [points]: Setting MPFR precision to 64
0.616 * * * * [points]: Setting MPFR precision to 320
0.627 * * * * [points]: Filtering points with unrepresentable outputs
0.628 * * * * [points]: Sampling 77 additional inputs, on iter 8 have 179 / 256
0.628 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
0.637 * * * * [points]: Setting MPFR precision to 64
0.639 * * * * [points]: Setting MPFR precision to 320
0.642 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
0.650 * * * * [points]: Setting MPFR precision to 64
0.653 * * * * [points]: Setting MPFR precision to 320
0.656 * * * * [points]: Computing exacts for 77 points
0.665 * * * * [points]: Setting MPFR precision to 64
0.697 * * * * [points]: Setting MPFR precision to 320
0.706 * * * * [points]: Filtering points with unrepresentable outputs
0.707 * * * * [points]: Sampling 70 additional inputs, on iter 9 have 186 / 256
0.707 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
0.715 * * * * [points]: Setting MPFR precision to 64
0.717 * * * * [points]: Setting MPFR precision to 320
0.718 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
0.726 * * * * [points]: Setting MPFR precision to 64
0.729 * * * * [points]: Setting MPFR precision to 320
0.732 * * * * [points]: Computing exacts for 70 points
0.740 * * * * [points]: Setting MPFR precision to 64
0.748 * * * * [points]: Setting MPFR precision to 320
0.756 * * * * [points]: Filtering points with unrepresentable outputs
0.756 * * * * [points]: Sampling 63 additional inputs, on iter 10 have 193 / 256
0.757 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.764 * * * * [points]: Setting MPFR precision to 64
0.766 * * * * [points]: Setting MPFR precision to 320
0.768 * * * * [points]: Computing exacts for 63 points
0.776 * * * * [points]: Setting MPFR precision to 64
0.783 * * * * [points]: Setting MPFR precision to 320
0.788 * * * * [points]: Filtering points with unrepresentable outputs
0.788 * * * * [points]: Sampling 57 additional inputs, on iter 11 have 199 / 256
0.789 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
0.795 * * * * [points]: Setting MPFR precision to 64
0.797 * * * * [points]: Setting MPFR precision to 320
0.799 * * * * [points]: Computing exacts for 57 points
0.806 * * * * [points]: Setting MPFR precision to 64
0.813 * * * * [points]: Setting MPFR precision to 320
0.820 * * * * [points]: Filtering points with unrepresentable outputs
0.820 * * * * [points]: Sampling 49 additional inputs, on iter 12 have 207 / 256
0.820 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
0.852 * * * * [points]: Setting MPFR precision to 64
0.854 * * * * [points]: Setting MPFR precision to 320
0.855 * * * * [points]: Computing exacts for 49 points
0.864 * * * * [points]: Setting MPFR precision to 64
0.871 * * * * [points]: Setting MPFR precision to 320
0.888 * * * * [points]: Filtering points with unrepresentable outputs
0.888 * * * * [points]: Sampling 40 additional inputs, on iter 13 have 216 / 256
0.889 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
0.903 * * * * [points]: Setting MPFR precision to 64
0.905 * * * * [points]: Setting MPFR precision to 320
0.906 * * * * [points]: Computing exacts for 40 points
0.910 * * * * [points]: Setting MPFR precision to 64
0.914 * * * * [points]: Setting MPFR precision to 320
0.917 * * * * [points]: Filtering points with unrepresentable outputs
0.917 * * * * [points]: Sampling 34 additional inputs, on iter 14 have 222 / 256
0.917 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
0.922 * * * * [points]: Setting MPFR precision to 64
0.923 * * * * [points]: Setting MPFR precision to 320
0.924 * * * * [points]: Computing exacts for 34 points
0.933 * * * * [points]: Setting MPFR precision to 64
0.939 * * * * [points]: Setting MPFR precision to 320
0.943 * * * * [points]: Filtering points with unrepresentable outputs
0.944 * * * * [points]: Sampling 29 additional inputs, on iter 15 have 227 / 256
0.944 * * * * [points]: Computing exacts for 29 points
0.954 * * * * [points]: Setting MPFR precision to 64
0.958 * * * * [points]: Setting MPFR precision to 320
0.962 * * * * [points]: Filtering points with unrepresentable outputs
0.962 * * * * [points]: Sampling 26 additional inputs, on iter 16 have 230 / 256
0.963 * * * * [points]: Computing exacts for 26 points
0.970 * * * * [points]: Setting MPFR precision to 64
0.972 * * * * [points]: Setting MPFR precision to 320
0.974 * * * * [points]: Filtering points with unrepresentable outputs
0.974 * * * * [points]: Sampling 24 additional inputs, on iter 17 have 232 / 256
0.974 * * * * [points]: Computing exacts for 24 points
0.998 * * * * [points]: Setting MPFR precision to 64
1.001 * * * * [points]: Setting MPFR precision to 320
1.005 * * * * [points]: Filtering points with unrepresentable outputs
1.005 * * * * [points]: Sampling 19 additional inputs, on iter 18 have 237 / 256
1.005 * * * * [points]: Computing exacts for 19 points
1.016 * * * * [points]: Setting MPFR precision to 64
1.020 * * * * [points]: Setting MPFR precision to 320
1.022 * * * * [points]: Filtering points with unrepresentable outputs
1.022 * * * * [points]: Sampling 15 additional inputs, on iter 19 have 241 / 256
1.022 * * * * [points]: Computing exacts for 15 points
1.031 * * * * [points]: Setting MPFR precision to 64
1.033 * * * * [points]: Setting MPFR precision to 320
1.035 * * * * [points]: Filtering points with unrepresentable outputs
1.035 * * * * [points]: Sampling 14 additional inputs, on iter 20 have 242 / 256
1.035 * * * * [points]: Computing exacts for 14 points
1.044 * * * * [points]: Setting MPFR precision to 64
1.046 * * * * [points]: Setting MPFR precision to 320
1.048 * * * * [points]: Filtering points with unrepresentable outputs
1.048 * * * * [points]: Sampling 13 additional inputs, on iter 21 have 243 / 256
1.049 * * * * [points]: Computing exacts for 13 points
1.058 * * * * [points]: Setting MPFR precision to 64
1.060 * * * * [points]: Setting MPFR precision to 320
1.061 * * * * [points]: Filtering points with unrepresentable outputs
1.061 * * * * [points]: Sampling 11 additional inputs, on iter 22 have 245 / 256
1.062 * * * * [points]: Computing exacts for 11 points
1.071 * * * * [points]: Setting MPFR precision to 64
1.072 * * * * [points]: Setting MPFR precision to 320
1.074 * * * * [points]: Filtering points with unrepresentable outputs
1.074 * * * * [points]: Sampling 10 additional inputs, on iter 23 have 246 / 256
1.074 * * * * [points]: Computing exacts for 10 points
1.083 * * * * [points]: Setting MPFR precision to 64
1.085 * * * * [points]: Setting MPFR precision to 320
1.086 * * * * [points]: Filtering points with unrepresentable outputs
1.086 * * * * [points]: Sampling 7 additional inputs, on iter 24 have 249 / 256
1.086 * * * * [points]: Computing exacts for 7 points
1.096 * * * * [points]: Setting MPFR precision to 64
1.097 * * * * [points]: Setting MPFR precision to 320
1.098 * * * * [points]: Filtering points with unrepresentable outputs
1.098 * * * * [points]: Sampling 5 additional inputs, on iter 25 have 251 / 256
1.098 * * * * [points]: Computing exacts for 5 points
1.107 * * * * [points]: Setting MPFR precision to 64
1.108 * * * * [points]: Setting MPFR precision to 320
1.109 * * * * [points]: Filtering points with unrepresentable outputs
1.109 * * * * [points]: Sampling 5 additional inputs, on iter 26 have 251 / 256
1.109 * * * * [points]: Computing exacts for 5 points
1.118 * * * * [points]: Setting MPFR precision to 64
1.119 * * * * [points]: Setting MPFR precision to 320
1.120 * * * * [points]: Filtering points with unrepresentable outputs
1.120 * * * * [points]: Sampling 5 additional inputs, on iter 27 have 251 / 256
1.120 * * * * [points]: Computing exacts for 5 points
1.144 * * * * [points]: Setting MPFR precision to 64
1.145 * * * * [points]: Setting MPFR precision to 320
1.146 * * * * [points]: Filtering points with unrepresentable outputs
1.146 * * * * [points]: Sampling 5 additional inputs, on iter 28 have 251 / 256
1.146 * * * * [points]: Computing exacts for 5 points
1.158 * * * * [points]: Setting MPFR precision to 64
1.159 * * * * [points]: Setting MPFR precision to 320
1.160 * * * * [points]: Filtering points with unrepresentable outputs
1.160 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
1.160 * * * * [points]: Computing exacts for 4 points
1.169 * * * * [points]: Setting MPFR precision to 64
1.170 * * * * [points]: Setting MPFR precision to 320
1.171 * * * * [points]: Filtering points with unrepresentable outputs
1.171 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
1.171 * * * * [points]: Computing exacts for 4 points
1.180 * * * * [points]: Setting MPFR precision to 64
1.181 * * * * [points]: Setting MPFR precision to 320
1.182 * * * * [points]: Filtering points with unrepresentable outputs
1.182 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 254 / 256
1.182 * * * * [points]: Computing exacts for 4 points
1.192 * * * * [points]: Setting MPFR precision to 64
1.193 * * * * [points]: Setting MPFR precision to 320
1.193 * * * * [points]: Filtering points with unrepresentable outputs
1.193 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 255 / 256
1.193 * * * * [points]: Computing exacts for 4 points
1.203 * * * * [points]: Setting MPFR precision to 64
1.204 * * * * [points]: Setting MPFR precision to 320
1.204 * * * * [points]: Filtering points with unrepresentable outputs
1.205 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 255 / 256
1.205 * * * * [points]: Computing exacts for 4 points
1.214 * * * * [points]: Setting MPFR precision to 64
1.215 * * * * [points]: Setting MPFR precision to 320
1.216 * * * * [points]: Filtering points with unrepresentable outputs
1.216 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 255 / 256
1.216 * * * * [points]: Computing exacts for 4 points
1.225 * * * * [points]: Setting MPFR precision to 64
1.226 * * * * [points]: Setting MPFR precision to 320
1.227 * * * * [points]: Filtering points with unrepresentable outputs
1.227 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
1.227 * * * * [points]: Computing exacts for 4 points
1.236 * * * * [points]: Setting MPFR precision to 64
1.237 * * * * [points]: Setting MPFR precision to 320
1.238 * * * * [points]: Filtering points with unrepresentable outputs
1.238 * * * * [points]: Sampled 256 points with exact outputs
1.238 * * * [progress]: [2/2] Setting up program.
1.268 * [progress]: [Phase 2 of 3] Improving.
1.268 * * * * [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.268 * [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.268 * * [simplify]: iters left: 6 (19 enodes)
1.279 * * [simplify]: iters left: 5 (76 enodes)
1.679 * * [simplify]: iters left: 4 (344 enodes)
1.954 * * [simplify]: Extracting #0: cost 1 inf + 0
1.954 * * [simplify]: Extracting #1: cost 75 inf + 0
1.956 * * [simplify]: Extracting #2: cost 474 inf + 1
1.962 * * [simplify]: Extracting #3: cost 742 inf + 26817
1.982 * * [simplify]: Extracting #4: cost 684 inf + 140740
1.998 * * [simplify]: Extracting #5: cost 611 inf + 190357
2.009 * * [simplify]: Extracting #6: cost 583 inf + 205484
2.036 * * [simplify]: Extracting #7: cost 359 inf + 460450
2.097 * * [simplify]: Extracting #8: cost 52 inf + 927410
2.202 * * [simplify]: Extracting #9: cost 0 inf + 1029213
2.313 * * [simplify]: Extracting #10: cost 0 inf + 1027693
2.424 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
2.424 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
2.483 * * [progress]: iteration 1 / 4
2.483 * * * [progress]: picking best candidate
2.539 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.540 * * * [progress]: localizing error
2.992 * * * [progress]: generating rewritten candidates
2.992 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.005 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.026 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.029 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
3.036 * * * [progress]: generating series expansions
3.036 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.036 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.036 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.036 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
3.036 * * * [progress]: simplifying candidates
3.036 * * * * [progress]: [ 1 / 18 ] 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))))>
3.036 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
3.036 * * [simplify]: iters left: 3 (8 enodes)
3.039 * * [simplify]: iters left: 2 (20 enodes)
3.042 * * [simplify]: iters left: 1 (26 enodes)
3.047 * * [simplify]: Extracting #0: cost 1 inf + 0
3.047 * * [simplify]: Extracting #1: cost 7 inf + 0
3.047 * * [simplify]: Extracting #2: cost 7 inf + 2
3.047 * * [simplify]: Extracting #3: cost 6 inf + 45
3.047 * * [simplify]: Extracting #4: cost 4 inf + 47
3.047 * * [simplify]: Extracting #5: cost 1 inf + 1136
3.047 * * [simplify]: Extracting #6: cost 0 inf + 1499
3.047 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
3.047 * [simplify]: Simplified (2 1 2) to (λ (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 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
3.048 * * * * [progress]: [ 2 / 18 ] 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))))>
3.048 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
3.048 * * [simplify]: iters left: 3 (6 enodes)
3.049 * * [simplify]: iters left: 2 (22 enodes)
3.054 * * [simplify]: iters left: 1 (42 enodes)
3.068 * * [simplify]: Extracting #0: cost 1 inf + 0
3.068 * * [simplify]: Extracting #1: cost 12 inf + 0
3.068 * * [simplify]: Extracting #2: cost 16 inf + 1
3.068 * * [simplify]: Extracting #3: cost 9 inf + 1412
3.069 * * [simplify]: Extracting #4: cost 0 inf + 4393
3.070 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
3.070 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 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))))
3.070 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
3.070 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.070 * * [simplify]: iters left: 4 (11 enodes)
3.076 * * [simplify]: iters left: 3 (34 enodes)
3.087 * * [simplify]: iters left: 2 (62 enodes)
3.108 * * [simplify]: iters left: 1 (116 enodes)
3.154 * * [simplify]: Extracting #0: cost 1 inf + 0
3.155 * * [simplify]: Extracting #1: cost 18 inf + 0
3.155 * * [simplify]: Extracting #2: cost 32 inf + 1
3.155 * * [simplify]: Extracting #3: cost 28 inf + 688
3.156 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.157 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.159 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.161 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.162 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
3.162 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.162 * * [simplify]: iters left: 5 (13 enodes)
3.168 * * [simplify]: iters left: 4 (36 enodes)
3.181 * * [simplify]: iters left: 3 (69 enodes)
3.205 * * [simplify]: iters left: 2 (108 enodes)
3.238 * * [simplify]: iters left: 1 (142 enodes)
3.277 * * [simplify]: Extracting #0: cost 1 inf + 0
3.277 * * [simplify]: Extracting #1: cost 3 inf + 0
3.277 * * [simplify]: Extracting #2: cost 25 inf + 0
3.277 * * [simplify]: Extracting #3: cost 26 inf + 2
3.278 * * [simplify]: Extracting #4: cost 20 inf + 1217
3.279 * * [simplify]: Extracting #5: cost 5 inf + 6972
3.282 * * [simplify]: Extracting #6: cost 0 inf + 9668
3.284 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
3.284 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
3.284 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
3.284 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
3.285 * * [simplify]: iters left: 4 (11 enodes)
3.292 * * [simplify]: iters left: 3 (33 enodes)
3.306 * * [simplify]: iters left: 2 (87 enodes)
3.355 * * [simplify]: iters left: 1 (455 enodes)
4.098 * * [simplify]: Extracting #0: cost 1 inf + 0
4.098 * * [simplify]: Extracting #1: cost 38 inf + 0
4.100 * * [simplify]: Extracting #2: cost 349 inf + 2
4.106 * * [simplify]: Extracting #3: cost 1015 inf + 2069
4.118 * * [simplify]: Extracting #4: cost 974 inf + 36877
4.148 * * [simplify]: Extracting #5: cost 686 inf + 251010
4.245 * * [simplify]: Extracting #6: cost 123 inf + 839954
4.360 * * [simplify]: Extracting #7: cost 0 inf + 991791
4.503 * * [simplify]: Extracting #8: cost 0 inf + 989631
4.643 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))
4.643 * [simplify]: Simplified (2 2) to (λ (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 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))
4.643 * * * * [progress]: [ 5 / 18 ] 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.644 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
4.644 * * [simplify]: iters left: 4 (11 enodes)
4.649 * * [simplify]: iters left: 3 (34 enodes)
4.662 * * [simplify]: iters left: 2 (62 enodes)
4.683 * * [simplify]: iters left: 1 (116 enodes)
4.723 * * [simplify]: Extracting #0: cost 1 inf + 0
4.724 * * [simplify]: Extracting #1: cost 18 inf + 0
4.724 * * [simplify]: Extracting #2: cost 32 inf + 1
4.724 * * [simplify]: Extracting #3: cost 28 inf + 688
4.725 * * [simplify]: Extracting #4: cost 20 inf + 2471
4.726 * * [simplify]: Extracting #5: cost 11 inf + 5213
4.728 * * [simplify]: Extracting #6: cost 0 inf + 16616
4.730 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
4.730 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.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.731 * * * * [progress]: [ 6 / 18 ] 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.731 * [simplify]: Simplifying (+.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.731 * * [simplify]: iters left: 5 (12 enodes)
4.737 * * [simplify]: iters left: 4 (32 enodes)
4.750 * * [simplify]: iters left: 3 (90 enodes)
4.808 * * [simplify]: iters left: 2 (378 enodes)
5.213 * * [simplify]: Extracting #0: cost 1 inf + 0
5.213 * * [simplify]: Extracting #1: cost 90 inf + 0
5.214 * * [simplify]: Extracting #2: cost 388 inf + 0
5.217 * * [simplify]: Extracting #3: cost 380 inf + 3950
5.228 * * [simplify]: Extracting #4: cost 272 inf + 84531
5.273 * * [simplify]: Extracting #5: cost 20 inf + 357988
5.325 * * [simplify]: Extracting #6: cost 0 inf + 384165
5.375 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
5.375 * [simplify]: Simplified (2 2) to (λ (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 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))))
5.375 * * * * [progress]: [ 7 / 18 ] 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))))))>
5.376 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
5.376 * * [simplify]: iters left: 5 (9 enodes)
5.380 * * [simplify]: iters left: 4 (35 enodes)
5.395 * * [simplify]: iters left: 3 (128 enodes)
5.492 * * [simplify]: Extracting #0: cost 1 inf + 0
5.492 * * [simplify]: Extracting #1: cost 39 inf + 0
5.493 * * [simplify]: Extracting #2: cost 167 inf + 1
5.494 * * [simplify]: Extracting #3: cost 185 inf + 9642
5.503 * * [simplify]: Extracting #4: cost 54 inf + 131260
5.518 * * [simplify]: Extracting #5: cost 0 inf + 183768
5.535 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
5.535 * [simplify]: Simplified (2 1) 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 (+.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))))))
5.535 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
5.536 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
5.536 * * [simplify]: iters left: 5 (15 enodes)
5.543 * * [simplify]: iters left: 4 (44 enodes)
5.560 * * [simplify]: iters left: 3 (112 enodes)
5.616 * * [simplify]: iters left: 2 (473 enodes)
6.111 * * [simplify]: Extracting #0: cost 1 inf + 0
6.111 * * [simplify]: Extracting #1: cost 35 inf + 0
6.112 * * [simplify]: Extracting #2: cost 286 inf + 1
6.117 * * [simplify]: Extracting #3: cost 529 inf + 4158
6.124 * * [simplify]: Extracting #4: cost 531 inf + 7620
6.134 * * [simplify]: Extracting #5: cost 474 inf + 34154
6.170 * * [simplify]: Extracting #6: cost 203 inf + 247830
6.241 * * [simplify]: Extracting #7: cost 17 inf + 434257
6.322 * * [simplify]: Extracting #8: cost 0 inf + 455708
6.404 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
6.404 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
6.404 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
6.404 * * [simplify]: iters left: 6 (17 enodes)
6.409 * * [simplify]: iters left: 5 (52 enodes)
6.420 * * [simplify]: iters left: 4 (154 enodes)
6.519 * * [simplify]: Extracting #0: cost 1 inf + 0
6.519 * * [simplify]: Extracting #1: cost 27 inf + 0
6.519 * * [simplify]: Extracting #2: cost 137 inf + 0
6.521 * * [simplify]: Extracting #3: cost 277 inf + 366
6.524 * * [simplify]: Extracting #4: cost 285 inf + 5479
6.528 * * [simplify]: Extracting #5: cost 253 inf + 13586
6.533 * * [simplify]: Extracting #6: cost 206 inf + 39659
6.555 * * [simplify]: Extracting #7: cost 38 inf + 215233
6.586 * * [simplify]: Extracting #8: cost 0 inf + 248609
6.622 * * [simplify]: Extracting #9: cost 0 inf + 244529
6.654 * * [simplify]: Extracting #10: cost 0 inf + 244169
6.671 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
6.671 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
6.671 * * * * [progress]: [ 9 / 18 ] 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))))>
6.672 * [simplify]: Simplifying (*.p16 i i)
6.672 * * [simplify]: iters left: 1 (2 enodes)
6.672 * * [simplify]: Extracting #0: cost 1 inf + 0
6.672 * * [simplify]: Extracting #1: cost 2 inf + 0
6.672 * * [simplify]: Extracting #2: cost 1 inf + 1
6.672 * * [simplify]: Extracting #3: cost 0 inf + 322
6.672 * [simplify]: Simplified to (*.p16 i i)
6.672 * [simplify]: Simplified (2 1 1 2 2) to (λ (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))))
6.672 * * * * [progress]: [ 10 / 18 ] 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))))>
6.673 * [simplify]: Simplifying (*.p16 i i)
6.673 * * [simplify]: iters left: 1 (2 enodes)
6.673 * * [simplify]: Extracting #0: cost 1 inf + 0
6.673 * * [simplify]: Extracting #1: cost 2 inf + 0
6.673 * * [simplify]: Extracting #2: cost 1 inf + 1
6.673 * * [simplify]: Extracting #3: cost 0 inf + 322
6.673 * [simplify]: Simplified to (*.p16 i i)
6.673 * [simplify]: Simplified (2 1 1 2 2) to (λ (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))))
6.674 * * * * [progress]: [ 11 / 18 ] 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))))>
6.674 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.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))))>
6.675 * [simplify]: Simplifying (*.p16 i i)
6.675 * * [simplify]: iters left: 1 (2 enodes)
6.675 * * [simplify]: Extracting #0: cost 1 inf + 0
6.675 * * [simplify]: Extracting #1: cost 2 inf + 0
6.675 * * [simplify]: Extracting #2: cost 1 inf + 1
6.675 * * [simplify]: Extracting #3: cost 0 inf + 322
6.675 * [simplify]: Simplified to (*.p16 i i)
6.675 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.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))))
6.675 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.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))))>
6.676 * [simplify]: Simplifying (*.p16 i i)
6.676 * * [simplify]: iters left: 1 (2 enodes)
6.676 * * [simplify]: Extracting #0: cost 1 inf + 0
6.676 * * [simplify]: Extracting #1: cost 2 inf + 0
6.676 * * [simplify]: Extracting #2: cost 1 inf + 1
6.676 * * [simplify]: Extracting #3: cost 0 inf + 322
6.676 * [simplify]: Simplified to (*.p16 i i)
6.676 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.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))))
6.676 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) 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))))>
6.676 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.677 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
6.677 * * [simplify]: iters left: 6 (19 enodes)
6.682 * * [simplify]: iters left: 5 (76 enodes)
6.703 * * [simplify]: iters left: 4 (344 enodes)
6.956 * * [simplify]: Extracting #0: cost 1 inf + 0
6.956 * * [simplify]: Extracting #1: cost 75 inf + 0
6.957 * * [simplify]: Extracting #2: cost 474 inf + 1
6.960 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.968 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.988 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.012 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.033 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.079 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.186 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.267 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.342 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
7.342 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
7.343 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
7.343 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
7.343 * * [simplify]: iters left: 6 (19 enodes)
7.353 * * [simplify]: iters left: 5 (76 enodes)
7.395 * * [simplify]: iters left: 4 (344 enodes)
7.710 * * [simplify]: Extracting #0: cost 1 inf + 0
7.710 * * [simplify]: Extracting #1: cost 75 inf + 0
7.711 * * [simplify]: Extracting #2: cost 474 inf + 1
7.714 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.726 * * [simplify]: Extracting #4: cost 684 inf + 140740
7.736 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.747 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.769 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.814 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.869 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.940 * * [simplify]: Extracting #10: cost 0 inf + 1027693
8.021 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
8.022 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
8.022 * * * * [progress]: [ 17 / 18 ] 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))))>
8.022 * [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)))
8.022 * * [simplify]: iters left: 6 (19 enodes)
8.032 * * [simplify]: iters left: 5 (76 enodes)
8.073 * * [simplify]: iters left: 4 (344 enodes)
8.410 * * [simplify]: Extracting #0: cost 1 inf + 0
8.411 * * [simplify]: Extracting #1: cost 75 inf + 0
8.413 * * [simplify]: Extracting #2: cost 474 inf + 1
8.420 * * [simplify]: Extracting #3: cost 742 inf + 26817
8.434 * * [simplify]: Extracting #4: cost 684 inf + 140740
8.455 * * [simplify]: Extracting #5: cost 611 inf + 190357
8.478 * * [simplify]: Extracting #6: cost 583 inf + 205484
8.522 * * [simplify]: Extracting #7: cost 359 inf + 460450
8.615 * * [simplify]: Extracting #8: cost 52 inf + 927410
8.726 * * [simplify]: Extracting #9: cost 0 inf + 1029213
8.813 * * [simplify]: Extracting #10: cost 0 inf + 1027693
8.916 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
8.916 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
8.916 * * * * [progress]: [ 18 / 18 ] 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))))>
8.917 * [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)))
8.917 * * [simplify]: iters left: 6 (19 enodes)
8.927 * * [simplify]: iters left: 5 (76 enodes)
8.968 * * [simplify]: iters left: 4 (344 enodes)
9.269 * * [simplify]: Extracting #0: cost 1 inf + 0
9.269 * * [simplify]: Extracting #1: cost 75 inf + 0
9.271 * * [simplify]: Extracting #2: cost 474 inf + 1
9.278 * * [simplify]: Extracting #3: cost 742 inf + 26817
9.288 * * [simplify]: Extracting #4: cost 684 inf + 140740
9.298 * * [simplify]: Extracting #5: cost 611 inf + 190357
9.310 * * [simplify]: Extracting #6: cost 583 inf + 205484
9.335 * * [simplify]: Extracting #7: cost 359 inf + 460450
9.382 * * [simplify]: Extracting #8: cost 52 inf + 927410
9.438 * * [simplify]: Extracting #9: cost 0 inf + 1029213
9.499 * * [simplify]: Extracting #10: cost 0 inf + 1027693
9.567 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
9.567 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
9.567 * * * [progress]: adding candidates to table
10.733 * * [progress]: iteration 2 / 4
10.733 * * * [progress]: picking best candidate
11.011 * * * * [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)))))>
11.011 * * * [progress]: localizing error
11.607 * * * [progress]: generating rewritten candidates
11.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
11.639 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
11.653 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
11.696 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
11.773 * * * [progress]: generating series expansions
11.773 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
11.773 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
11.773 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
11.773 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
11.774 * * * [progress]: simplifying candidates
11.774 * * * * [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)))))>
11.774 * * * * [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)))))>
11.774 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
11.774 * * [simplify]: iters left: 4 (11 enodes)
11.780 * * [simplify]: iters left: 3 (27 enodes)
11.788 * * [simplify]: iters left: 2 (47 enodes)
11.805 * * [simplify]: iters left: 1 (76 enodes)
11.830 * * [simplify]: Extracting #0: cost 1 inf + 0
11.830 * * [simplify]: Extracting #1: cost 16 inf + 0
11.830 * * [simplify]: Extracting #2: cost 17 inf + 2
11.830 * * [simplify]: Extracting #3: cost 13 inf + 89
11.831 * * [simplify]: Extracting #4: cost 9 inf + 298
11.832 * * [simplify]: Extracting #5: cost 1 inf + 2963
11.833 * * [simplify]: Extracting #6: cost 0 inf + 3367
11.834 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
11.834 * [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 (+.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 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
11.834 * * * * [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))))))>
11.835 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
11.835 * * [simplify]: iters left: 4 (8 enodes)
11.838 * * [simplify]: iters left: 3 (26 enodes)
11.848 * * [simplify]: iters left: 2 (53 enodes)
11.868 * * [simplify]: iters left: 1 (91 enodes)
11.895 * * [simplify]: Extracting #0: cost 1 inf + 0
11.895 * * [simplify]: Extracting #1: cost 24 inf + 0
11.896 * * [simplify]: Extracting #2: cost 31 inf + 0
11.896 * * [simplify]: Extracting #3: cost 26 inf + 366
11.897 * * [simplify]: Extracting #4: cost 9 inf + 8250
11.898 * * [simplify]: Extracting #5: cost 0 inf + 15077
11.900 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
11.900 * [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 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) 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.900 * * * * [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)))))>
11.900 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
11.900 * * [simplify]: iters left: 3 (6 enodes)
11.903 * * [simplify]: iters left: 2 (22 enodes)
11.910 * * [simplify]: iters left: 1 (42 enodes)
11.924 * * [simplify]: Extracting #0: cost 1 inf + 0
11.924 * * [simplify]: Extracting #1: cost 12 inf + 0
11.924 * * [simplify]: Extracting #2: cost 16 inf + 1
11.924 * * [simplify]: Extracting #3: cost 9 inf + 1412
11.925 * * [simplify]: Extracting #4: cost 0 inf + 4393
11.926 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
11.926 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.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)))))
11.926 * * * * [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)))))>
11.926 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.926 * * [simplify]: iters left: 5 (15 enodes)
11.934 * * [simplify]: iters left: 4 (44 enodes)
11.950 * * [simplify]: iters left: 3 (112 enodes)
12.008 * * [simplify]: iters left: 2 (473 enodes)
12.490 * * [simplify]: Extracting #0: cost 1 inf + 0
12.490 * * [simplify]: Extracting #1: cost 35 inf + 0
12.491 * * [simplify]: Extracting #2: cost 286 inf + 1
12.493 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.496 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.507 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.538 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.585 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.628 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.668 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
12.669 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
12.669 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.669 * * [simplify]: iters left: 6 (17 enodes)
12.673 * * [simplify]: iters left: 5 (52 enodes)
12.684 * * [simplify]: iters left: 4 (154 enodes)
12.735 * * [simplify]: Extracting #0: cost 1 inf + 0
12.736 * * [simplify]: Extracting #1: cost 27 inf + 0
12.736 * * [simplify]: Extracting #2: cost 137 inf + 0
12.738 * * [simplify]: Extracting #3: cost 277 inf + 366
12.740 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.744 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.750 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.777 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.808 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.836 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.867 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.898 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
12.898 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
12.898 * * * * [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)))))>
12.898 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.898 * * [simplify]: iters left: 5 (15 enodes)
12.906 * * [simplify]: iters left: 4 (44 enodes)
12.923 * * [simplify]: iters left: 3 (112 enodes)
12.970 * * [simplify]: iters left: 2 (473 enodes)
13.432 * * [simplify]: Extracting #0: cost 1 inf + 0
13.432 * * [simplify]: Extracting #1: cost 35 inf + 0
13.433 * * [simplify]: Extracting #2: cost 286 inf + 1
13.437 * * [simplify]: Extracting #3: cost 529 inf + 4158
13.443 * * [simplify]: Extracting #4: cost 531 inf + 7620
13.452 * * [simplify]: Extracting #5: cost 474 inf + 34154
13.484 * * [simplify]: Extracting #6: cost 203 inf + 247830
13.556 * * [simplify]: Extracting #7: cost 17 inf + 434257
13.620 * * [simplify]: Extracting #8: cost 0 inf + 455708
13.698 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
13.698 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
13.699 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.699 * * [simplify]: iters left: 6 (17 enodes)
13.708 * * [simplify]: iters left: 5 (52 enodes)
13.721 * * [simplify]: iters left: 4 (154 enodes)
13.775 * * [simplify]: Extracting #0: cost 1 inf + 0
13.775 * * [simplify]: Extracting #1: cost 27 inf + 0
13.776 * * [simplify]: Extracting #2: cost 137 inf + 0
13.776 * * [simplify]: Extracting #3: cost 277 inf + 366
13.777 * * [simplify]: Extracting #4: cost 285 inf + 5479
13.779 * * [simplify]: Extracting #5: cost 253 inf + 13586
13.782 * * [simplify]: Extracting #6: cost 206 inf + 39659
13.793 * * [simplify]: Extracting #7: cost 38 inf + 215233
13.809 * * [simplify]: Extracting #8: cost 0 inf + 248609
13.825 * * [simplify]: Extracting #9: cost 0 inf + 244529
13.843 * * [simplify]: Extracting #10: cost 0 inf + 244169
13.859 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
13.859 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
13.859 * * * * [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)))))>
13.859 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.859 * * [simplify]: iters left: 5 (15 enodes)
13.863 * * [simplify]: iters left: 4 (44 enodes)
13.871 * * [simplify]: iters left: 3 (112 enodes)
13.903 * * [simplify]: iters left: 2 (473 enodes)
14.196 * * [simplify]: Extracting #0: cost 1 inf + 0
14.196 * * [simplify]: Extracting #1: cost 35 inf + 0
14.197 * * [simplify]: Extracting #2: cost 286 inf + 1
14.199 * * [simplify]: Extracting #3: cost 529 inf + 4158
14.206 * * [simplify]: Extracting #4: cost 531 inf + 7620
14.210 * * [simplify]: Extracting #5: cost 474 inf + 34154
14.227 * * [simplify]: Extracting #6: cost 203 inf + 247830
14.263 * * [simplify]: Extracting #7: cost 17 inf + 434257
14.303 * * [simplify]: Extracting #8: cost 0 inf + 455708
14.344 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
14.344 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
14.345 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
14.345 * * [simplify]: iters left: 6 (17 enodes)
14.350 * * [simplify]: iters left: 5 (52 enodes)
14.361 * * [simplify]: iters left: 4 (154 enodes)
14.415 * * [simplify]: Extracting #0: cost 1 inf + 0
14.415 * * [simplify]: Extracting #1: cost 27 inf + 0
14.415 * * [simplify]: Extracting #2: cost 137 inf + 0
14.416 * * [simplify]: Extracting #3: cost 277 inf + 366
14.417 * * [simplify]: Extracting #4: cost 285 inf + 5479
14.418 * * [simplify]: Extracting #5: cost 253 inf + 13586
14.421 * * [simplify]: Extracting #6: cost 206 inf + 39659
14.435 * * [simplify]: Extracting #7: cost 38 inf + 215233
14.450 * * [simplify]: Extracting #8: cost 0 inf + 248609
14.465 * * [simplify]: Extracting #9: cost 0 inf + 244529
14.482 * * [simplify]: Extracting #10: cost 0 inf + 244169
14.498 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
14.498 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
14.499 * * * * [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)))))>
14.499 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
14.499 * * [simplify]: iters left: 5 (15 enodes)
14.503 * * [simplify]: iters left: 4 (44 enodes)
14.511 * * [simplify]: iters left: 3 (112 enodes)
14.540 * * [simplify]: iters left: 2 (473 enodes)
14.959 * * [simplify]: Extracting #0: cost 1 inf + 0
14.959 * * [simplify]: Extracting #1: cost 35 inf + 0
14.961 * * [simplify]: Extracting #2: cost 286 inf + 1
14.966 * * [simplify]: Extracting #3: cost 529 inf + 4158
14.972 * * [simplify]: Extracting #4: cost 531 inf + 7620
14.981 * * [simplify]: Extracting #5: cost 474 inf + 34154
15.012 * * [simplify]: Extracting #6: cost 203 inf + 247830
15.086 * * [simplify]: Extracting #7: cost 17 inf + 434257
15.165 * * [simplify]: Extracting #8: cost 0 inf + 455708
15.246 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
15.246 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
15.247 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
15.247 * * [simplify]: iters left: 6 (17 enodes)
15.255 * * [simplify]: iters left: 5 (52 enodes)
15.277 * * [simplify]: iters left: 4 (154 enodes)
15.382 * * [simplify]: Extracting #0: cost 1 inf + 0
15.382 * * [simplify]: Extracting #1: cost 27 inf + 0
15.382 * * [simplify]: Extracting #2: cost 137 inf + 0
15.384 * * [simplify]: Extracting #3: cost 277 inf + 366
15.386 * * [simplify]: Extracting #4: cost 285 inf + 5479
15.389 * * [simplify]: Extracting #5: cost 253 inf + 13586
15.394 * * [simplify]: Extracting #6: cost 206 inf + 39659
15.416 * * [simplify]: Extracting #7: cost 38 inf + 215233
15.446 * * [simplify]: Extracting #8: cost 0 inf + 248609
15.479 * * [simplify]: Extracting #9: cost 0 inf + 244529
15.514 * * [simplify]: Extracting #10: cost 0 inf + 244169
15.545 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
15.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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
15.546 * * * [progress]: adding candidates to table
15.952 * * [progress]: iteration 3 / 4
15.952 * * * [progress]: picking best candidate
16.249 * * * * [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)))))>
16.249 * * * [progress]: localizing error
16.820 * * * [progress]: generating rewritten candidates
16.821 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
16.834 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
16.866 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
16.914 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
17.018 * * * [progress]: generating series expansions
17.018 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
17.018 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
17.018 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
17.018 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
17.019 * * * [progress]: simplifying candidates
17.019 * * * * [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)))))>
17.019 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
17.019 * * [simplify]: iters left: 4 (11 enodes)
17.025 * * [simplify]: iters left: 3 (27 enodes)
17.034 * * [simplify]: iters left: 2 (47 enodes)
17.051 * * [simplify]: iters left: 1 (76 enodes)
17.076 * * [simplify]: Extracting #0: cost 1 inf + 0
17.076 * * [simplify]: Extracting #1: cost 16 inf + 0
17.076 * * [simplify]: Extracting #2: cost 17 inf + 2
17.076 * * [simplify]: Extracting #3: cost 13 inf + 89
17.077 * * [simplify]: Extracting #4: cost 9 inf + 298
17.077 * * [simplify]: Extracting #5: cost 1 inf + 2963
17.078 * * [simplify]: Extracting #6: cost 0 inf + 3367
17.079 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
17.080 * [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 (+.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 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
17.080 * * * * [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))))))>
17.080 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
17.080 * * [simplify]: iters left: 4 (8 enodes)
17.084 * * [simplify]: iters left: 3 (26 enodes)
17.093 * * [simplify]: iters left: 2 (53 enodes)
17.113 * * [simplify]: iters left: 1 (91 enodes)
17.140 * * [simplify]: Extracting #0: cost 1 inf + 0
17.140 * * [simplify]: Extracting #1: cost 24 inf + 0
17.140 * * [simplify]: Extracting #2: cost 31 inf + 0
17.141 * * [simplify]: Extracting #3: cost 26 inf + 366
17.141 * * [simplify]: Extracting #4: cost 9 inf + 8250
17.143 * * [simplify]: Extracting #5: cost 0 inf + 15077
17.146 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
17.147 * [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 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) 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))))))
17.147 * * * * [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)))))>
17.147 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
17.147 * * [simplify]: iters left: 4 (9 enodes)
17.152 * * [simplify]: iters left: 3 (21 enodes)
17.158 * * [simplify]: iters left: 2 (27 enodes)
17.167 * * [simplify]: iters left: 1 (28 enodes)
17.175 * * [simplify]: Extracting #0: cost 1 inf + 0
17.175 * * [simplify]: Extracting #1: cost 3 inf + 0
17.175 * * [simplify]: Extracting #2: cost 8 inf + 1
17.175 * * [simplify]: Extracting #3: cost 6 inf + 45
17.175 * * [simplify]: Extracting #4: cost 7 inf + 45
17.175 * * [simplify]: Extracting #5: cost 1 inf + 1499
17.176 * * [simplify]: Extracting #6: cost 0 inf + 2343
17.176 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
17.176 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.176 * * * * [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)))))>
17.176 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.176 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.176 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.177 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.177 * * * [progress]: adding candidates to table
17.711 * * [progress]: iteration 4 / 4
17.712 * * * [progress]: picking best candidate
18.132 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.132 * * * [progress]: localizing error
18.790 * * * [progress]: generating rewritten candidates
18.790 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
18.802 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
18.910 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
18.923 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
18.965 * * * [progress]: generating series expansions
18.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
18.965 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
18.965 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
18.966 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
18.966 * * * [progress]: simplifying candidates
18.966 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.966 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
18.966 * * [simplify]: iters left: 4 (11 enodes)
18.972 * * [simplify]: iters left: 3 (27 enodes)
18.982 * * [simplify]: iters left: 2 (47 enodes)
18.999 * * [simplify]: iters left: 1 (76 enodes)
19.022 * * [simplify]: Extracting #0: cost 1 inf + 0
19.022 * * [simplify]: Extracting #1: cost 16 inf + 0
19.022 * * [simplify]: Extracting #2: cost 17 inf + 2
19.022 * * [simplify]: Extracting #3: cost 13 inf + 89
19.023 * * [simplify]: Extracting #4: cost 9 inf + 298
19.023 * * [simplify]: Extracting #5: cost 1 inf + 2963
19.024 * * [simplify]: Extracting #6: cost 0 inf + 3367
19.024 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
19.024 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.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 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
19.024 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
19.025 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
19.025 * * [simplify]: iters left: 4 (8 enodes)
19.026 * * [simplify]: iters left: 3 (26 enodes)
19.031 * * [simplify]: iters left: 2 (53 enodes)
19.040 * * [simplify]: iters left: 1 (91 enodes)
19.053 * * [simplify]: Extracting #0: cost 1 inf + 0
19.053 * * [simplify]: Extracting #1: cost 24 inf + 0
19.053 * * [simplify]: Extracting #2: cost 31 inf + 0
19.053 * * [simplify]: Extracting #3: cost 26 inf + 366
19.054 * * [simplify]: Extracting #4: cost 9 inf + 8250
19.054 * * [simplify]: Extracting #5: cost 0 inf + 15077
19.055 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
19.055 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
19.055 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.056 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.056 * * [simplify]: iters left: 4 (9 enodes)
19.058 * * [simplify]: iters left: 3 (21 enodes)
19.063 * * [simplify]: iters left: 2 (27 enodes)
19.071 * * [simplify]: iters left: 1 (28 enodes)
19.078 * * [simplify]: Extracting #0: cost 1 inf + 0
19.078 * * [simplify]: Extracting #1: cost 3 inf + 0
19.078 * * [simplify]: Extracting #2: cost 8 inf + 1
19.078 * * [simplify]: Extracting #3: cost 6 inf + 45
19.079 * * [simplify]: Extracting #4: cost 7 inf + 45
19.079 * * [simplify]: Extracting #5: cost 1 inf + 1499
19.079 * * [simplify]: Extracting #6: cost 0 inf + 2343
19.080 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
19.080 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.080 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.080 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.080 * * [simplify]: iters left: 4 (9 enodes)
19.084 * * [simplify]: iters left: 3 (21 enodes)
19.091 * * [simplify]: iters left: 2 (27 enodes)
19.097 * * [simplify]: iters left: 1 (28 enodes)
19.102 * * [simplify]: Extracting #0: cost 1 inf + 0
19.102 * * [simplify]: Extracting #1: cost 3 inf + 0
19.102 * * [simplify]: Extracting #2: cost 8 inf + 1
19.103 * * [simplify]: Extracting #3: cost 6 inf + 45
19.103 * * [simplify]: Extracting #4: cost 7 inf + 45
19.103 * * [simplify]: Extracting #5: cost 1 inf + 1499
19.103 * * [simplify]: Extracting #6: cost 0 inf + 2343
19.103 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
19.103 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.104 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.104 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.104 * * [simplify]: iters left: 4 (9 enodes)
19.106 * * [simplify]: iters left: 3 (21 enodes)
19.109 * * [simplify]: iters left: 2 (27 enodes)
19.113 * * [simplify]: iters left: 1 (28 enodes)
19.117 * * [simplify]: Extracting #0: cost 1 inf + 0
19.117 * * [simplify]: Extracting #1: cost 3 inf + 0
19.117 * * [simplify]: Extracting #2: cost 8 inf + 1
19.117 * * [simplify]: Extracting #3: cost 6 inf + 45
19.117 * * [simplify]: Extracting #4: cost 7 inf + 45
19.117 * * [simplify]: Extracting #5: cost 1 inf + 1499
19.117 * * [simplify]: Extracting #6: cost 0 inf + 2343
19.118 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
19.118 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.118 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.118 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.118 * * [simplify]: iters left: 4 (9 enodes)
19.120 * * [simplify]: iters left: 3 (21 enodes)
19.123 * * [simplify]: iters left: 2 (27 enodes)
19.127 * * [simplify]: iters left: 1 (28 enodes)
19.131 * * [simplify]: Extracting #0: cost 1 inf + 0
19.131 * * [simplify]: Extracting #1: cost 3 inf + 0
19.131 * * [simplify]: Extracting #2: cost 8 inf + 1
19.131 * * [simplify]: Extracting #3: cost 6 inf + 45
19.131 * * [simplify]: Extracting #4: cost 7 inf + 45
19.131 * * [simplify]: Extracting #5: cost 1 inf + 1499
19.132 * * [simplify]: Extracting #6: cost 0 inf + 2343
19.132 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
19.132 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.132 * * * [progress]: adding candidates to table
19.312 * [progress]: [Phase 3 of 3] Extracting.
19.313 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.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 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.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))))> #<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))))> #<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 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 (+.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 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.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))))>)
19.321 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
19.321 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.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 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.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))))> #<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))))> #<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 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 (+.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 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.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))))>)
19.880 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.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 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.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))))> #<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))))> #<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 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 (+.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 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.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))))>)
20.211 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.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 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.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))))> #<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))))> #<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 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 (+.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 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.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))))>)
20.657 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
20.657 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
20.658 * * [simplify]: iters left: 6 (22 enodes)
20.660 * * [simplify]: Extracting #0: cost 1 inf + 0
20.661 * * [simplify]: Extracting #1: cost 3 inf + 0
20.661 * * [simplify]: Extracting #2: cost 7 inf + 0
20.661 * * [simplify]: Extracting #3: cost 13 inf + 0
20.661 * * [simplify]: Extracting #4: cost 17 inf + 1
20.661 * * [simplify]: Extracting #5: cost 19 inf + 2
20.661 * * [simplify]: Extracting #6: cost 15 inf + 369
20.661 * * [simplify]: Extracting #7: cost 11 inf + 857
20.661 * * [simplify]: Extracting #8: cost 6 inf + 3716
20.662 * * [simplify]: Extracting #9: cost 1 inf + 10499
20.663 * * [simplify]: Extracting #10: cost 0 inf + 14264
20.664 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
20.664 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
20.709 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
20.714 * * * * [points]: Setting MPFR precision to 64
20.716 * * * * [points]: Setting MPFR precision to 320
20.717 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
20.722 * * * * [points]: Setting MPFR precision to 64
20.724 * * * * [points]: Setting MPFR precision to 320
20.726 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
20.731 * * * * [points]: Setting MPFR precision to 64
20.736 * * * * [points]: Setting MPFR precision to 320
20.741 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
20.745 * * * * [points]: Setting MPFR precision to 64
20.754 * * * * [points]: Setting MPFR precision to 320
20.764 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
20.785 * * * * [points]: Setting MPFR precision to 64
20.805 * * * * [points]: Setting MPFR precision to 320
20.824 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
20.830 * * * * [points]: Setting MPFR precision to 64
20.869 * * * * [points]: Setting MPFR precision to 320
20.934 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
20.939 * * * * [points]: Setting MPFR precision to 64
21.016 * * * * [points]: Setting MPFR precision to 320
21.122 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
21.127 * * * * [points]: Setting MPFR precision to 64
21.820 * * * * [points]: Setting MPFR precision to 320
22.204 * * * * [points]: Computing exacts for 8000 points
22.213 * * * * [points]: Setting MPFR precision to 64
23.185 * * * * [points]: Setting MPFR precision to 320
24.192 * * * * [points]: Filtering points with unrepresentable outputs
24.199 * * * * [points]: Sampling 6911 additional inputs, on iter 1 have 1089 / 8000
24.253 * * * * [points]: Computing exacts on every 431 of 6911 points to ramp up precision
24.264 * * * * [points]: Setting MPFR precision to 64
24.267 * * * * [points]: Setting MPFR precision to 320
24.269 * * * * [points]: Computing exacts on every 215 of 6911 points to ramp up precision
24.314 * * * * [points]: Setting MPFR precision to 64
24.319 * * * * [points]: Setting MPFR precision to 320
24.327 * * * * [points]: Computing exacts on every 107 of 6911 points to ramp up precision
24.336 * * * * [points]: Setting MPFR precision to 64
24.345 * * * * [points]: Setting MPFR precision to 320
24.354 * * * * [points]: Computing exacts on every 53 of 6911 points to ramp up precision
24.364 * * * * [points]: Setting MPFR precision to 64
24.382 * * * * [points]: Setting MPFR precision to 320
24.402 * * * * [points]: Computing exacts on every 26 of 6911 points to ramp up precision
24.412 * * * * [points]: Setting MPFR precision to 64
24.447 * * * * [points]: Setting MPFR precision to 320
24.483 * * * * [points]: Computing exacts on every 13 of 6911 points to ramp up precision
24.492 * * * * [points]: Setting MPFR precision to 64
25.040 * * * * [points]: Setting MPFR precision to 320
25.111 * * * * [points]: Computing exacts on every 6 of 6911 points to ramp up precision
25.121 * * * * [points]: Setting MPFR precision to 64
25.309 * * * * [points]: Setting MPFR precision to 320
25.474 * * * * [points]: Computing exacts on every 3 of 6911 points to ramp up precision
25.489 * * * * [points]: Setting MPFR precision to 64
25.778 * * * * [points]: Setting MPFR precision to 320
26.081 * * * * [points]: Computing exacts for 6911 points
26.091 * * * * [points]: Setting MPFR precision to 64
27.038 * * * * [points]: Setting MPFR precision to 320
28.497 * * * * [points]: Filtering points with unrepresentable outputs
28.503 * * * * [points]: Sampling 5977 additional inputs, on iter 2 have 2023 / 8000
28.548 * * * * [points]: Computing exacts on every 373 of 5977 points to ramp up precision
28.557 * * * * [points]: Setting MPFR precision to 64
28.560 * * * * [points]: Setting MPFR precision to 320
28.562 * * * * [points]: Computing exacts on every 186 of 5977 points to ramp up precision
28.571 * * * * [points]: Setting MPFR precision to 64
28.575 * * * * [points]: Setting MPFR precision to 320
28.579 * * * * [points]: Computing exacts on every 93 of 5977 points to ramp up precision
28.588 * * * * [points]: Setting MPFR precision to 64
28.596 * * * * [points]: Setting MPFR precision to 320
28.604 * * * * [points]: Computing exacts on every 46 of 5977 points to ramp up precision
28.613 * * * * [points]: Setting MPFR precision to 64
28.630 * * * * [points]: Setting MPFR precision to 320
28.674 * * * * [points]: Computing exacts on every 23 of 5977 points to ramp up precision
28.687 * * * * [points]: Setting MPFR precision to 64
28.720 * * * * [points]: Setting MPFR precision to 320
28.753 * * * * [points]: Computing exacts on every 11 of 5977 points to ramp up precision
28.762 * * * * [points]: Setting MPFR precision to 64
28.830 * * * * [points]: Setting MPFR precision to 320
28.927 * * * * [points]: Computing exacts on every 5 of 5977 points to ramp up precision
28.937 * * * * [points]: Setting MPFR precision to 64
29.073 * * * * [points]: Setting MPFR precision to 320
29.246 * * * * [points]: Computing exacts on every 2 of 5977 points to ramp up precision
29.258 * * * * [points]: Setting MPFR precision to 64
29.573 * * * * [points]: Setting MPFR precision to 320
29.945 * * * * [points]: Computing exacts for 5977 points
29.954 * * * * [points]: Setting MPFR precision to 64
30.972 * * * * [points]: Setting MPFR precision to 320
32.035 * * * * [points]: Filtering points with unrepresentable outputs
32.041 * * * * [points]: Sampling 5103 additional inputs, on iter 3 have 2897 / 8000
32.525 * * * * [points]: Computing exacts on every 318 of 5103 points to ramp up precision
32.535 * * * * [points]: Setting MPFR precision to 64
32.537 * * * * [points]: Setting MPFR precision to 320
32.539 * * * * [points]: Computing exacts on every 159 of 5103 points to ramp up precision
32.548 * * * * [points]: Setting MPFR precision to 64
32.553 * * * * [points]: Setting MPFR precision to 320
32.557 * * * * [points]: Computing exacts on every 79 of 5103 points to ramp up precision
32.566 * * * * [points]: Setting MPFR precision to 64
32.575 * * * * [points]: Setting MPFR precision to 320
32.584 * * * * [points]: Computing exacts on every 39 of 5103 points to ramp up precision
32.593 * * * * [points]: Setting MPFR precision to 64
32.609 * * * * [points]: Setting MPFR precision to 320
32.625 * * * * [points]: Computing exacts on every 19 of 5103 points to ramp up precision
32.635 * * * * [points]: Setting MPFR precision to 64
32.670 * * * * [points]: Setting MPFR precision to 320
32.734 * * * * [points]: Computing exacts on every 9 of 5103 points to ramp up precision
32.743 * * * * [points]: Setting MPFR precision to 64
32.805 * * * * [points]: Setting MPFR precision to 320
32.864 * * * * [points]: Computing exacts on every 4 of 5103 points to ramp up precision
32.872 * * * * [points]: Setting MPFR precision to 64
33.044 * * * * [points]: Setting MPFR precision to 320
33.199 * * * * [points]: Computing exacts on every 2 of 5103 points to ramp up precision
33.205 * * * * [points]: Setting MPFR precision to 64
33.362 * * * * [points]: Setting MPFR precision to 320
33.523 * * * * [points]: Computing exacts for 5103 points
33.527 * * * * [points]: Setting MPFR precision to 64
34.052 * * * * [points]: Setting MPFR precision to 320
34.912 * * * * [points]: Filtering points with unrepresentable outputs
34.917 * * * * [points]: Sampling 4364 additional inputs, on iter 4 have 3636 / 8000
34.950 * * * * [points]: Computing exacts on every 272 of 4364 points to ramp up precision
34.959 * * * * [points]: Setting MPFR precision to 64
35.000 * * * * [points]: Setting MPFR precision to 320
35.002 * * * * [points]: Computing exacts on every 136 of 4364 points to ramp up precision
35.015 * * * * [points]: Setting MPFR precision to 64
35.020 * * * * [points]: Setting MPFR precision to 320
35.024 * * * * [points]: Computing exacts on every 68 of 4364 points to ramp up precision
35.034 * * * * [points]: Setting MPFR precision to 64
35.043 * * * * [points]: Setting MPFR precision to 320
35.052 * * * * [points]: Computing exacts on every 34 of 4364 points to ramp up precision
35.061 * * * * [points]: Setting MPFR precision to 64
35.080 * * * * [points]: Setting MPFR precision to 320
35.097 * * * * [points]: Computing exacts on every 17 of 4364 points to ramp up precision
35.106 * * * * [points]: Setting MPFR precision to 64
35.137 * * * * [points]: Setting MPFR precision to 320
35.171 * * * * [points]: Computing exacts on every 8 of 4364 points to ramp up precision
35.216 * * * * [points]: Setting MPFR precision to 64
35.287 * * * * [points]: Setting MPFR precision to 320
35.354 * * * * [points]: Computing exacts on every 4 of 4364 points to ramp up precision
35.363 * * * * [points]: Setting MPFR precision to 64
35.739 * * * * [points]: Setting MPFR precision to 320
35.816 * * * * [points]: Computing exacts on every 2 of 4364 points to ramp up precision
35.846 * * * * [points]: Setting MPFR precision to 64
35.958 * * * * [points]: Setting MPFR precision to 320
36.200 * * * * [points]: Computing exacts for 4364 points
36.263 * * * * [points]: Setting MPFR precision to 64
36.987 * * * * [points]: Setting MPFR precision to 320
37.470 * * * * [points]: Filtering points with unrepresentable outputs
37.472 * * * * [points]: Sampling 3760 additional inputs, on iter 5 have 4240 / 8000
37.491 * * * * [points]: Computing exacts on every 235 of 3760 points to ramp up precision
37.496 * * * * [points]: Setting MPFR precision to 64
37.497 * * * * [points]: Setting MPFR precision to 320
37.498 * * * * [points]: Computing exacts on every 117 of 3760 points to ramp up precision
37.503 * * * * [points]: Setting MPFR precision to 64
37.506 * * * * [points]: Setting MPFR precision to 320
37.508 * * * * [points]: Computing exacts on every 58 of 3760 points to ramp up precision
37.512 * * * * [points]: Setting MPFR precision to 64
37.517 * * * * [points]: Setting MPFR precision to 320
37.522 * * * * [points]: Computing exacts on every 29 of 3760 points to ramp up precision
37.526 * * * * [points]: Setting MPFR precision to 64
37.535 * * * * [points]: Setting MPFR precision to 320
37.544 * * * * [points]: Computing exacts on every 14 of 3760 points to ramp up precision
37.549 * * * * [points]: Setting MPFR precision to 64
37.585 * * * * [points]: Setting MPFR precision to 320
37.605 * * * * [points]: Computing exacts on every 7 of 3760 points to ramp up precision
37.610 * * * * [points]: Setting MPFR precision to 64
37.651 * * * * [points]: Setting MPFR precision to 320
37.699 * * * * [points]: Computing exacts on every 3 of 3760 points to ramp up precision
37.731 * * * * [points]: Setting MPFR precision to 64
37.853 * * * * [points]: Setting MPFR precision to 320
37.964 * * * * [points]: Computing exacts for 3760 points
37.969 * * * * [points]: Setting MPFR precision to 64
38.361 * * * * [points]: Setting MPFR precision to 320
39.057 * * * * [points]: Filtering points with unrepresentable outputs
39.058 * * * * [points]: Sampling 3270 additional inputs, on iter 6 have 4730 / 8000
39.073 * * * * [points]: Computing exacts on every 204 of 3270 points to ramp up precision
39.078 * * * * [points]: Setting MPFR precision to 64
39.079 * * * * [points]: Setting MPFR precision to 320
39.081 * * * * [points]: Computing exacts on every 102 of 3270 points to ramp up precision
39.091 * * * * [points]: Setting MPFR precision to 64
39.095 * * * * [points]: Setting MPFR precision to 320
39.099 * * * * [points]: Computing exacts on every 51 of 3270 points to ramp up precision
39.109 * * * * [points]: Setting MPFR precision to 64
39.114 * * * * [points]: Setting MPFR precision to 320
39.119 * * * * [points]: Computing exacts on every 25 of 3270 points to ramp up precision
39.144 * * * * [points]: Setting MPFR precision to 64
39.156 * * * * [points]: Setting MPFR precision to 320
39.165 * * * * [points]: Computing exacts on every 12 of 3270 points to ramp up precision
39.170 * * * * [points]: Setting MPFR precision to 64
39.192 * * * * [points]: Setting MPFR precision to 320
39.219 * * * * [points]: Computing exacts on every 6 of 3270 points to ramp up precision
39.224 * * * * [points]: Setting MPFR precision to 64
39.256 * * * * [points]: Setting MPFR precision to 320
39.342 * * * * [points]: Computing exacts on every 3 of 3270 points to ramp up precision
39.352 * * * * [points]: Setting MPFR precision to 64
39.437 * * * * [points]: Setting MPFR precision to 320
39.554 * * * * [points]: Computing exacts for 3270 points
39.563 * * * * [points]: Setting MPFR precision to 64
40.032 * * * * [points]: Setting MPFR precision to 320
40.548 * * * * [points]: Filtering points with unrepresentable outputs
40.551 * * * * [points]: Sampling 2805 additional inputs, on iter 7 have 5195 / 8000
40.625 * * * * [points]: Computing exacts on every 175 of 2805 points to ramp up precision
40.637 * * * * [points]: Setting MPFR precision to 64
40.639 * * * * [points]: Setting MPFR precision to 320
40.641 * * * * [points]: Computing exacts on every 87 of 2805 points to ramp up precision
40.651 * * * * [points]: Setting MPFR precision to 64
40.655 * * * * [points]: Setting MPFR precision to 320
40.660 * * * * [points]: Computing exacts on every 43 of 2805 points to ramp up precision
40.670 * * * * [points]: Setting MPFR precision to 64
40.679 * * * * [points]: Setting MPFR precision to 320
40.687 * * * * [points]: Computing exacts on every 21 of 2805 points to ramp up precision
40.696 * * * * [points]: Setting MPFR precision to 64
40.705 * * * * [points]: Setting MPFR precision to 320
40.714 * * * * [points]: Computing exacts on every 10 of 2805 points to ramp up precision
40.719 * * * * [points]: Setting MPFR precision to 64
40.749 * * * * [points]: Setting MPFR precision to 320
40.800 * * * * [points]: Computing exacts on every 5 of 2805 points to ramp up precision
40.805 * * * * [points]: Setting MPFR precision to 64
40.858 * * * * [points]: Setting MPFR precision to 320
40.922 * * * * [points]: Computing exacts on every 2 of 2805 points to ramp up precision
40.931 * * * * [points]: Setting MPFR precision to 64
41.109 * * * * [points]: Setting MPFR precision to 320
41.299 * * * * [points]: Computing exacts for 2805 points
41.309 * * * * [points]: Setting MPFR precision to 64
41.872 * * * * [points]: Setting MPFR precision to 320
42.142 * * * * [points]: Filtering points with unrepresentable outputs
42.145 * * * * [points]: Sampling 2418 additional inputs, on iter 8 have 5582 / 8000
42.168 * * * * [points]: Computing exacts on every 151 of 2418 points to ramp up precision
42.178 * * * * [points]: Setting MPFR precision to 64
42.180 * * * * [points]: Setting MPFR precision to 320
42.183 * * * * [points]: Computing exacts on every 75 of 2418 points to ramp up precision
42.192 * * * * [points]: Setting MPFR precision to 64
42.196 * * * * [points]: Setting MPFR precision to 320
42.201 * * * * [points]: Computing exacts on every 37 of 2418 points to ramp up precision
42.211 * * * * [points]: Setting MPFR precision to 64
42.220 * * * * [points]: Setting MPFR precision to 320
42.229 * * * * [points]: Computing exacts on every 18 of 2418 points to ramp up precision
42.237 * * * * [points]: Setting MPFR precision to 64
42.247 * * * * [points]: Setting MPFR precision to 320
42.256 * * * * [points]: Computing exacts on every 9 of 2418 points to ramp up precision
42.261 * * * * [points]: Setting MPFR precision to 64
42.295 * * * * [points]: Setting MPFR precision to 320
42.315 * * * * [points]: Computing exacts on every 4 of 2418 points to ramp up precision
42.320 * * * * [points]: Setting MPFR precision to 64
42.370 * * * * [points]: Setting MPFR precision to 320
42.427 * * * * [points]: Computing exacts on every 2 of 2418 points to ramp up precision
42.435 * * * * [points]: Setting MPFR precision to 64
42.581 * * * * [points]: Setting MPFR precision to 320
42.720 * * * * [points]: Computing exacts for 2418 points
42.734 * * * * [points]: Setting MPFR precision to 64
43.036 * * * * [points]: Setting MPFR precision to 320
43.354 * * * * [points]: Filtering points with unrepresentable outputs
43.356 * * * * [points]: Sampling 2048 additional inputs, on iter 9 have 5952 / 8000
43.365 * * * * [points]: Computing exacts on every 128 of 2048 points to ramp up precision
43.371 * * * * [points]: Setting MPFR precision to 64
43.372 * * * * [points]: Setting MPFR precision to 320
43.373 * * * * [points]: Computing exacts on every 64 of 2048 points to ramp up precision
43.378 * * * * [points]: Setting MPFR precision to 64
43.381 * * * * [points]: Setting MPFR precision to 320
43.383 * * * * [points]: Computing exacts on every 32 of 2048 points to ramp up precision
43.387 * * * * [points]: Setting MPFR precision to 64
43.392 * * * * [points]: Setting MPFR precision to 320
43.397 * * * * [points]: Computing exacts on every 16 of 2048 points to ramp up precision
43.402 * * * * [points]: Setting MPFR precision to 64
43.416 * * * * [points]: Setting MPFR precision to 320
43.451 * * * * [points]: Computing exacts on every 8 of 2048 points to ramp up precision
43.461 * * * * [points]: Setting MPFR precision to 64
43.493 * * * * [points]: Setting MPFR precision to 320
43.520 * * * * [points]: Computing exacts on every 4 of 2048 points to ramp up precision
43.525 * * * * [points]: Setting MPFR precision to 64
43.556 * * * * [points]: Setting MPFR precision to 320
43.617 * * * * [points]: Computing exacts on every 2 of 2048 points to ramp up precision
43.624 * * * * [points]: Setting MPFR precision to 64
43.673 * * * * [points]: Setting MPFR precision to 320
43.760 * * * * [points]: Computing exacts for 2048 points
43.767 * * * * [points]: Setting MPFR precision to 64
43.971 * * * * [points]: Setting MPFR precision to 320
44.155 * * * * [points]: Filtering points with unrepresentable outputs
44.156 * * * * [points]: Sampling 1770 additional inputs, on iter 10 have 6230 / 8000
44.166 * * * * [points]: Computing exacts on every 110 of 1770 points to ramp up precision
44.171 * * * * [points]: Setting MPFR precision to 64
44.200 * * * * [points]: Setting MPFR precision to 320
44.202 * * * * [points]: Computing exacts on every 55 of 1770 points to ramp up precision
44.206 * * * * [points]: Setting MPFR precision to 64
44.210 * * * * [points]: Setting MPFR precision to 320
44.213 * * * * [points]: Computing exacts on every 27 of 1770 points to ramp up precision
44.218 * * * * [points]: Setting MPFR precision to 64
44.222 * * * * [points]: Setting MPFR precision to 320
44.227 * * * * [points]: Computing exacts on every 13 of 1770 points to ramp up precision
44.232 * * * * [points]: Setting MPFR precision to 64
44.241 * * * * [points]: Setting MPFR precision to 320
44.250 * * * * [points]: Computing exacts on every 6 of 1770 points to ramp up precision
44.255 * * * * [points]: Setting MPFR precision to 64
44.273 * * * * [points]: Setting MPFR precision to 320
44.292 * * * * [points]: Computing exacts on every 3 of 1770 points to ramp up precision
44.323 * * * * [points]: Setting MPFR precision to 64
44.358 * * * * [points]: Setting MPFR precision to 320
44.401 * * * * [points]: Computing exacts for 1770 points
44.406 * * * * [points]: Setting MPFR precision to 64
45.093 * * * * [points]: Setting MPFR precision to 320
45.333 * * * * [points]: Filtering points with unrepresentable outputs
45.334 * * * * [points]: Sampling 1513 additional inputs, on iter 11 have 6487 / 8000
45.340 * * * * [points]: Computing exacts on every 94 of 1513 points to ramp up precision
45.346 * * * * [points]: Setting MPFR precision to 64
45.347 * * * * [points]: Setting MPFR precision to 320
45.348 * * * * [points]: Computing exacts on every 47 of 1513 points to ramp up precision
45.353 * * * * [points]: Setting MPFR precision to 64
45.355 * * * * [points]: Setting MPFR precision to 320
45.357 * * * * [points]: Computing exacts on every 23 of 1513 points to ramp up precision
45.362 * * * * [points]: Setting MPFR precision to 64
45.367 * * * * [points]: Setting MPFR precision to 320
45.371 * * * * [points]: Computing exacts on every 11 of 1513 points to ramp up precision
45.378 * * * * [points]: Setting MPFR precision to 64
45.388 * * * * [points]: Setting MPFR precision to 320
45.399 * * * * [points]: Computing exacts on every 5 of 1513 points to ramp up precision
45.404 * * * * [points]: Setting MPFR precision to 64
45.456 * * * * [points]: Setting MPFR precision to 320
45.475 * * * * [points]: Computing exacts on every 2 of 1513 points to ramp up precision
45.480 * * * * [points]: Setting MPFR precision to 64
45.536 * * * * [points]: Setting MPFR precision to 320
45.575 * * * * [points]: Computing exacts for 1513 points
45.609 * * * * [points]: Setting MPFR precision to 64
45.872 * * * * [points]: Setting MPFR precision to 320
46.030 * * * * [points]: Filtering points with unrepresentable outputs
46.031 * * * * [points]: Sampling 1312 additional inputs, on iter 12 have 6688 / 8000
46.037 * * * * [points]: Computing exacts on every 82 of 1312 points to ramp up precision
46.042 * * * * [points]: Setting MPFR precision to 64
46.043 * * * * [points]: Setting MPFR precision to 320
46.044 * * * * [points]: Computing exacts on every 41 of 1312 points to ramp up precision
46.050 * * * * [points]: Setting MPFR precision to 64
46.054 * * * * [points]: Setting MPFR precision to 320
46.058 * * * * [points]: Computing exacts on every 20 of 1312 points to ramp up precision
46.063 * * * * [points]: Setting MPFR precision to 64
46.068 * * * * [points]: Setting MPFR precision to 320
46.076 * * * * [points]: Computing exacts on every 10 of 1312 points to ramp up precision
46.085 * * * * [points]: Setting MPFR precision to 64
46.101 * * * * [points]: Setting MPFR precision to 320
46.112 * * * * [points]: Computing exacts on every 5 of 1312 points to ramp up precision
46.118 * * * * [points]: Setting MPFR precision to 64
46.172 * * * * [points]: Setting MPFR precision to 320
46.200 * * * * [points]: Computing exacts on every 2 of 1312 points to ramp up precision
46.208 * * * * [points]: Setting MPFR precision to 64
46.260 * * * * [points]: Setting MPFR precision to 320
46.313 * * * * [points]: Computing exacts for 1312 points
46.321 * * * * [points]: Setting MPFR precision to 64
46.525 * * * * [points]: Setting MPFR precision to 320
46.713 * * * * [points]: Filtering points with unrepresentable outputs
46.714 * * * * [points]: Sampling 1119 additional inputs, on iter 13 have 6881 / 8000
46.722 * * * * [points]: Computing exacts on every 69 of 1119 points to ramp up precision
46.728 * * * * [points]: Setting MPFR precision to 64
46.729 * * * * [points]: Setting MPFR precision to 320
46.730 * * * * [points]: Computing exacts on every 34 of 1119 points to ramp up precision
46.735 * * * * [points]: Setting MPFR precision to 64
46.737 * * * * [points]: Setting MPFR precision to 320
46.739 * * * * [points]: Computing exacts on every 17 of 1119 points to ramp up precision
46.770 * * * * [points]: Setting MPFR precision to 64
46.774 * * * * [points]: Setting MPFR precision to 320
46.781 * * * * [points]: Computing exacts on every 8 of 1119 points to ramp up precision
46.787 * * * * [points]: Setting MPFR precision to 64
46.796 * * * * [points]: Setting MPFR precision to 320
46.807 * * * * [points]: Computing exacts on every 4 of 1119 points to ramp up precision
46.815 * * * * [points]: Setting MPFR precision to 64
46.840 * * * * [points]: Setting MPFR precision to 320
46.859 * * * * [points]: Computing exacts on every 2 of 1119 points to ramp up precision
46.864 * * * * [points]: Setting MPFR precision to 64
46.923 * * * * [points]: Setting MPFR precision to 320
46.951 * * * * [points]: Computing exacts for 1119 points
46.957 * * * * [points]: Setting MPFR precision to 64
47.079 * * * * [points]: Setting MPFR precision to 320
47.212 * * * * [points]: Filtering points with unrepresentable outputs
47.213 * * * * [points]: Sampling 952 additional inputs, on iter 14 have 7048 / 8000
47.219 * * * * [points]: Computing exacts on every 59 of 952 points to ramp up precision
47.224 * * * * [points]: Setting MPFR precision to 64
47.226 * * * * [points]: Setting MPFR precision to 320
47.227 * * * * [points]: Computing exacts on every 29 of 952 points to ramp up precision
47.269 * * * * [points]: Setting MPFR precision to 64
47.276 * * * * [points]: Setting MPFR precision to 320
47.278 * * * * [points]: Computing exacts on every 14 of 952 points to ramp up precision
47.283 * * * * [points]: Setting MPFR precision to 64
47.287 * * * * [points]: Setting MPFR precision to 320
47.292 * * * * [points]: Computing exacts on every 7 of 952 points to ramp up precision
47.297 * * * * [points]: Setting MPFR precision to 64
47.305 * * * * [points]: Setting MPFR precision to 320
47.314 * * * * [points]: Computing exacts on every 3 of 952 points to ramp up precision
47.318 * * * * [points]: Setting MPFR precision to 64
47.342 * * * * [points]: Setting MPFR precision to 320
47.358 * * * * [points]: Computing exacts for 952 points
47.392 * * * * [points]: Setting MPFR precision to 64
47.514 * * * * [points]: Setting MPFR precision to 320
47.656 * * * * [points]: Filtering points with unrepresentable outputs
47.657 * * * * [points]: Sampling 807 additional inputs, on iter 15 have 7193 / 8000
47.660 * * * * [points]: Computing exacts on every 50 of 807 points to ramp up precision
47.665 * * * * [points]: Setting MPFR precision to 64
47.667 * * * * [points]: Setting MPFR precision to 320
47.668 * * * * [points]: Computing exacts on every 25 of 807 points to ramp up precision
47.673 * * * * [points]: Setting MPFR precision to 64
47.676 * * * * [points]: Setting MPFR precision to 320
47.678 * * * * [points]: Computing exacts on every 12 of 807 points to ramp up precision
47.683 * * * * [points]: Setting MPFR precision to 64
47.687 * * * * [points]: Setting MPFR precision to 320
47.692 * * * * [points]: Computing exacts on every 6 of 807 points to ramp up precision
47.696 * * * * [points]: Setting MPFR precision to 64
47.704 * * * * [points]: Setting MPFR precision to 320
47.712 * * * * [points]: Computing exacts on every 3 of 807 points to ramp up precision
48.066 * * * * [points]: Setting MPFR precision to 64
48.086 * * * * [points]: Setting MPFR precision to 320
48.110 * * * * [points]: Computing exacts for 807 points
48.118 * * * * [points]: Setting MPFR precision to 64
48.206 * * * * [points]: Setting MPFR precision to 320
48.299 * * * * [points]: Filtering points with unrepresentable outputs
48.300 * * * * [points]: Sampling 698 additional inputs, on iter 16 have 7302 / 8000
48.303 * * * * [points]: Computing exacts on every 43 of 698 points to ramp up precision
48.308 * * * * [points]: Setting MPFR precision to 64
48.309 * * * * [points]: Setting MPFR precision to 320
48.310 * * * * [points]: Computing exacts on every 21 of 698 points to ramp up precision
48.315 * * * * [points]: Setting MPFR precision to 64
48.317 * * * * [points]: Setting MPFR precision to 320
48.320 * * * * [points]: Computing exacts on every 10 of 698 points to ramp up precision
48.324 * * * * [points]: Setting MPFR precision to 64
48.332 * * * * [points]: Setting MPFR precision to 320
48.340 * * * * [points]: Computing exacts on every 5 of 698 points to ramp up precision
48.348 * * * * [points]: Setting MPFR precision to 64
48.394 * * * * [points]: Setting MPFR precision to 320
48.412 * * * * [points]: Computing exacts on every 2 of 698 points to ramp up precision
48.422 * * * * [points]: Setting MPFR precision to 64
48.452 * * * * [points]: Setting MPFR precision to 320
48.481 * * * * [points]: Computing exacts for 698 points
48.487 * * * * [points]: Setting MPFR precision to 64
48.591 * * * * [points]: Setting MPFR precision to 320
48.673 * * * * [points]: Filtering points with unrepresentable outputs
48.674 * * * * [points]: Sampling 601 additional inputs, on iter 17 have 7399 / 8000
48.678 * * * * [points]: Computing exacts on every 37 of 601 points to ramp up precision
48.688 * * * * [points]: Setting MPFR precision to 64
48.690 * * * * [points]: Setting MPFR precision to 320
48.693 * * * * [points]: Computing exacts on every 18 of 601 points to ramp up precision
48.702 * * * * [points]: Setting MPFR precision to 64
48.707 * * * * [points]: Setting MPFR precision to 320
48.711 * * * * [points]: Computing exacts on every 9 of 601 points to ramp up precision
48.720 * * * * [points]: Setting MPFR precision to 64
48.728 * * * * [points]: Setting MPFR precision to 320
48.736 * * * * [points]: Computing exacts on every 4 of 601 points to ramp up precision
48.745 * * * * [points]: Setting MPFR precision to 64
48.785 * * * * [points]: Setting MPFR precision to 320
48.800 * * * * [points]: Computing exacts on every 2 of 601 points to ramp up precision
48.808 * * * * [points]: Setting MPFR precision to 64
48.833 * * * * [points]: Setting MPFR precision to 320
48.858 * * * * [points]: Computing exacts for 601 points
48.867 * * * * [points]: Setting MPFR precision to 64
48.938 * * * * [points]: Setting MPFR precision to 320
49.058 * * * * [points]: Filtering points with unrepresentable outputs
49.059 * * * * [points]: Sampling 521 additional inputs, on iter 18 have 7479 / 8000
49.063 * * * * [points]: Computing exacts on every 32 of 521 points to ramp up precision
49.070 * * * * [points]: Setting MPFR precision to 64
49.071 * * * * [points]: Setting MPFR precision to 320
49.072 * * * * [points]: Computing exacts on every 16 of 521 points to ramp up precision
49.077 * * * * [points]: Setting MPFR precision to 64
49.079 * * * * [points]: Setting MPFR precision to 320
49.081 * * * * [points]: Computing exacts on every 8 of 521 points to ramp up precision
49.086 * * * * [points]: Setting MPFR precision to 64
49.090 * * * * [points]: Setting MPFR precision to 320
49.094 * * * * [points]: Computing exacts on every 4 of 521 points to ramp up precision
49.099 * * * * [points]: Setting MPFR precision to 64
49.106 * * * * [points]: Setting MPFR precision to 320
49.147 * * * * [points]: Computing exacts on every 2 of 521 points to ramp up precision
49.154 * * * * [points]: Setting MPFR precision to 64
49.170 * * * * [points]: Setting MPFR precision to 320
49.184 * * * * [points]: Computing exacts for 521 points
49.193 * * * * [points]: Setting MPFR precision to 64
49.251 * * * * [points]: Setting MPFR precision to 320
49.349 * * * * [points]: Filtering points with unrepresentable outputs
49.350 * * * * [points]: Sampling 435 additional inputs, on iter 19 have 7565 / 8000
49.353 * * * * [points]: Computing exacts on every 27 of 435 points to ramp up precision
49.360 * * * * [points]: Setting MPFR precision to 64
49.362 * * * * [points]: Setting MPFR precision to 320
49.364 * * * * [points]: Computing exacts on every 13 of 435 points to ramp up precision
49.371 * * * * [points]: Setting MPFR precision to 64
49.375 * * * * [points]: Setting MPFR precision to 320
49.378 * * * * [points]: Computing exacts on every 6 of 435 points to ramp up precision
49.385 * * * * [points]: Setting MPFR precision to 64
49.393 * * * * [points]: Setting MPFR precision to 320
49.400 * * * * [points]: Computing exacts on every 3 of 435 points to ramp up precision
49.407 * * * * [points]: Setting MPFR precision to 64
49.419 * * * * [points]: Setting MPFR precision to 320
49.431 * * * * [points]: Computing exacts for 435 points
49.438 * * * * [points]: Setting MPFR precision to 64
49.518 * * * * [points]: Setting MPFR precision to 320
49.567 * * * * [points]: Filtering points with unrepresentable outputs
49.567 * * * * [points]: Sampling 377 additional inputs, on iter 20 have 7623 / 8000
49.569 * * * * [points]: Computing exacts on every 23 of 377 points to ramp up precision
49.576 * * * * [points]: Setting MPFR precision to 64
49.578 * * * * [points]: Setting MPFR precision to 320
49.580 * * * * [points]: Computing exacts on every 11 of 377 points to ramp up precision
49.585 * * * * [points]: Setting MPFR precision to 64
49.587 * * * * [points]: Setting MPFR precision to 320
49.590 * * * * [points]: Computing exacts on every 5 of 377 points to ramp up precision
49.597 * * * * [points]: Setting MPFR precision to 64
49.603 * * * * [points]: Setting MPFR precision to 320
49.607 * * * * [points]: Computing exacts on every 2 of 377 points to ramp up precision
49.612 * * * * [points]: Setting MPFR precision to 64
49.621 * * * * [points]: Setting MPFR precision to 320
49.653 * * * * [points]: Computing exacts for 377 points
49.657 * * * * [points]: Setting MPFR precision to 64
49.686 * * * * [points]: Setting MPFR precision to 320
49.716 * * * * [points]: Filtering points with unrepresentable outputs
49.716 * * * * [points]: Sampling 329 additional inputs, on iter 21 have 7671 / 8000
49.719 * * * * [points]: Computing exacts on every 20 of 329 points to ramp up precision
49.726 * * * * [points]: Setting MPFR precision to 64
49.728 * * * * [points]: Setting MPFR precision to 320
49.730 * * * * [points]: Computing exacts on every 10 of 329 points to ramp up precision
49.737 * * * * [points]: Setting MPFR precision to 64
49.741 * * * * [points]: Setting MPFR precision to 320
49.744 * * * * [points]: Computing exacts on every 5 of 329 points to ramp up precision
49.752 * * * * [points]: Setting MPFR precision to 64
49.758 * * * * [points]: Setting MPFR precision to 320
49.793 * * * * [points]: Computing exacts on every 2 of 329 points to ramp up precision
49.798 * * * * [points]: Setting MPFR precision to 64
49.808 * * * * [points]: Setting MPFR precision to 320
49.816 * * * * [points]: Computing exacts for 329 points
49.820 * * * * [points]: Setting MPFR precision to 64
49.843 * * * * [points]: Setting MPFR precision to 320
49.866 * * * * [points]: Filtering points with unrepresentable outputs
49.867 * * * * [points]: Sampling 286 additional inputs, on iter 22 have 7714 / 8000
49.868 * * * * [points]: Computing exacts on every 17 of 286 points to ramp up precision
49.873 * * * * [points]: Setting MPFR precision to 64
49.874 * * * * [points]: Setting MPFR precision to 320
49.875 * * * * [points]: Computing exacts on every 8 of 286 points to ramp up precision
49.879 * * * * [points]: Setting MPFR precision to 64
49.882 * * * * [points]: Setting MPFR precision to 320
49.907 * * * * [points]: Computing exacts on every 4 of 286 points to ramp up precision
49.912 * * * * [points]: Setting MPFR precision to 64
49.917 * * * * [points]: Setting MPFR precision to 320
49.921 * * * * [points]: Computing exacts on every 2 of 286 points to ramp up precision
49.926 * * * * [points]: Setting MPFR precision to 64
49.933 * * * * [points]: Setting MPFR precision to 320
49.939 * * * * [points]: Computing exacts for 286 points
49.946 * * * * [points]: Setting MPFR precision to 64
49.978 * * * * [points]: Setting MPFR precision to 320
50.010 * * * * [points]: Filtering points with unrepresentable outputs
50.010 * * * * [points]: Sampling 247 additional inputs, on iter 23 have 7753 / 8000
50.012 * * * * [points]: Computing exacts on every 15 of 247 points to ramp up precision
50.020 * * * * [points]: Setting MPFR precision to 64
50.022 * * * * [points]: Setting MPFR precision to 320
50.024 * * * * [points]: Computing exacts on every 7 of 247 points to ramp up precision
50.062 * * * * [points]: Setting MPFR precision to 64
50.070 * * * * [points]: Setting MPFR precision to 320
50.073 * * * * [points]: Computing exacts on every 3 of 247 points to ramp up precision
50.082 * * * * [points]: Setting MPFR precision to 64
50.089 * * * * [points]: Setting MPFR precision to 320
50.096 * * * * [points]: Computing exacts for 247 points
50.105 * * * * [points]: Setting MPFR precision to 64
50.130 * * * * [points]: Setting MPFR precision to 320
50.148 * * * * [points]: Filtering points with unrepresentable outputs
50.148 * * * * [points]: Sampling 217 additional inputs, on iter 24 have 7783 / 8000
50.149 * * * * [points]: Computing exacts on every 13 of 217 points to ramp up precision
50.154 * * * * [points]: Setting MPFR precision to 64
50.155 * * * * [points]: Setting MPFR precision to 320
50.156 * * * * [points]: Computing exacts on every 6 of 217 points to ramp up precision
50.161 * * * * [points]: Setting MPFR precision to 64
50.163 * * * * [points]: Setting MPFR precision to 320
50.165 * * * * [points]: Computing exacts on every 3 of 217 points to ramp up precision
50.170 * * * * [points]: Setting MPFR precision to 64
50.202 * * * * [points]: Setting MPFR precision to 320
50.209 * * * * [points]: Computing exacts for 217 points
50.220 * * * * [points]: Setting MPFR precision to 64
50.245 * * * * [points]: Setting MPFR precision to 320
50.267 * * * * [points]: Filtering points with unrepresentable outputs
50.268 * * * * [points]: Sampling 189 additional inputs, on iter 25 have 7811 / 8000
50.269 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision
50.273 * * * * [points]: Setting MPFR precision to 64
50.275 * * * * [points]: Setting MPFR precision to 320
50.276 * * * * [points]: Computing exacts on every 5 of 189 points to ramp up precision
50.281 * * * * [points]: Setting MPFR precision to 64
50.284 * * * * [points]: Setting MPFR precision to 320
50.287 * * * * [points]: Computing exacts on every 2 of 189 points to ramp up precision
50.292 * * * * [points]: Setting MPFR precision to 64
50.299 * * * * [points]: Setting MPFR precision to 320
50.306 * * * * [points]: Computing exacts for 189 points
50.314 * * * * [points]: Setting MPFR precision to 64
50.360 * * * * [points]: Setting MPFR precision to 320
50.383 * * * * [points]: Filtering points with unrepresentable outputs
50.383 * * * * [points]: Sampling 168 additional inputs, on iter 26 have 7832 / 8000
50.384 * * * * [points]: Computing exacts on every 10 of 168 points to ramp up precision
50.391 * * * * [points]: Setting MPFR precision to 64
50.393 * * * * [points]: Setting MPFR precision to 320
50.395 * * * * [points]: Computing exacts on every 5 of 168 points to ramp up precision
50.402 * * * * [points]: Setting MPFR precision to 64
50.405 * * * * [points]: Setting MPFR precision to 320
50.408 * * * * [points]: Computing exacts on every 2 of 168 points to ramp up precision
50.415 * * * * [points]: Setting MPFR precision to 64
50.421 * * * * [points]: Setting MPFR precision to 320
50.427 * * * * [points]: Computing exacts for 168 points
50.434 * * * * [points]: Setting MPFR precision to 64
50.452 * * * * [points]: Setting MPFR precision to 320
50.469 * * * * [points]: Filtering points with unrepresentable outputs
50.470 * * * * [points]: Sampling 150 additional inputs, on iter 27 have 7850 / 8000
50.471 * * * * [points]: Computing exacts on every 9 of 150 points to ramp up precision
50.476 * * * * [points]: Setting MPFR precision to 64
50.478 * * * * [points]: Setting MPFR precision to 320
50.480 * * * * [points]: Computing exacts on every 4 of 150 points to ramp up precision
50.505 * * * * [points]: Setting MPFR precision to 64
50.508 * * * * [points]: Setting MPFR precision to 320
50.510 * * * * [points]: Computing exacts on every 2 of 150 points to ramp up precision
50.516 * * * * [points]: Setting MPFR precision to 64
50.520 * * * * [points]: Setting MPFR precision to 320
50.523 * * * * [points]: Computing exacts for 150 points
50.528 * * * * [points]: Setting MPFR precision to 64
50.538 * * * * [points]: Setting MPFR precision to 320
50.549 * * * * [points]: Filtering points with unrepresentable outputs
50.549 * * * * [points]: Sampling 131 additional inputs, on iter 28 have 7869 / 8000
50.549 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
50.554 * * * * [points]: Setting MPFR precision to 64
50.555 * * * * [points]: Setting MPFR precision to 320
50.556 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
50.561 * * * * [points]: Setting MPFR precision to 64
50.563 * * * * [points]: Setting MPFR precision to 320
50.564 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
50.571 * * * * [points]: Setting MPFR precision to 64
50.574 * * * * [points]: Setting MPFR precision to 320
50.577 * * * * [points]: Computing exacts for 131 points
50.582 * * * * [points]: Setting MPFR precision to 64
50.619 * * * * [points]: Setting MPFR precision to 320
50.636 * * * * [points]: Filtering points with unrepresentable outputs
50.636 * * * * [points]: Sampling 107 additional inputs, on iter 29 have 7893 / 8000
50.637 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
50.644 * * * * [points]: Setting MPFR precision to 64
50.646 * * * * [points]: Setting MPFR precision to 320
50.648 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
50.656 * * * * [points]: Setting MPFR precision to 64
50.659 * * * * [points]: Setting MPFR precision to 320
50.662 * * * * [points]: Computing exacts for 107 points
50.669 * * * * [points]: Setting MPFR precision to 64
50.681 * * * * [points]: Setting MPFR precision to 320
50.694 * * * * [points]: Filtering points with unrepresentable outputs
50.694 * * * * [points]: Sampling 93 additional inputs, on iter 30 have 7907 / 8000
50.695 * * * * [points]: Computing exacts on every 5 of 93 points to ramp up precision
50.702 * * * * [points]: Setting MPFR precision to 64
50.703 * * * * [points]: Setting MPFR precision to 320
50.704 * * * * [points]: Computing exacts on every 2 of 93 points to ramp up precision
50.709 * * * * [points]: Setting MPFR precision to 64
50.712 * * * * [points]: Setting MPFR precision to 320
50.716 * * * * [points]: Computing exacts for 93 points
50.723 * * * * [points]: Setting MPFR precision to 64
50.734 * * * * [points]: Setting MPFR precision to 320
50.764 * * * * [points]: Filtering points with unrepresentable outputs
50.764 * * * * [points]: Sampling 82 additional inputs, on iter 31 have 7918 / 8000
50.765 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision
50.772 * * * * [points]: Setting MPFR precision to 64
50.776 * * * * [points]: Setting MPFR precision to 320
50.778 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision
50.783 * * * * [points]: Setting MPFR precision to 64
50.785 * * * * [points]: Setting MPFR precision to 320
50.787 * * * * [points]: Computing exacts for 82 points
50.795 * * * * [points]: Setting MPFR precision to 64
50.804 * * * * [points]: Setting MPFR precision to 320
50.814 * * * * [points]: Filtering points with unrepresentable outputs
50.814 * * * * [points]: Sampling 66 additional inputs, on iter 32 have 7934 / 8000
50.814 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
50.822 * * * * [points]: Setting MPFR precision to 64
50.824 * * * * [points]: Setting MPFR precision to 320
50.825 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
50.834 * * * * [points]: Setting MPFR precision to 64
50.837 * * * * [points]: Setting MPFR precision to 320
50.839 * * * * [points]: Computing exacts for 66 points
50.847 * * * * [points]: Setting MPFR precision to 64
50.854 * * * * [points]: Setting MPFR precision to 320
50.861 * * * * [points]: Filtering points with unrepresentable outputs
50.862 * * * * [points]: Sampling 57 additional inputs, on iter 33 have 7943 / 8000
50.862 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
50.869 * * * * [points]: Setting MPFR precision to 64
50.871 * * * * [points]: Setting MPFR precision to 320
50.873 * * * * [points]: Computing exacts for 57 points
50.880 * * * * [points]: Setting MPFR precision to 64
50.905 * * * * [points]: Setting MPFR precision to 320
50.914 * * * * [points]: Filtering points with unrepresentable outputs
50.914 * * * * [points]: Sampling 47 additional inputs, on iter 34 have 7953 / 8000
50.914 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
50.922 * * * * [points]: Setting MPFR precision to 64
50.924 * * * * [points]: Setting MPFR precision to 320
50.925 * * * * [points]: Computing exacts for 47 points
50.933 * * * * [points]: Setting MPFR precision to 64
50.938 * * * * [points]: Setting MPFR precision to 320
50.944 * * * * [points]: Filtering points with unrepresentable outputs
50.944 * * * * [points]: Sampling 40 additional inputs, on iter 35 have 7960 / 8000
50.944 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
50.952 * * * * [points]: Setting MPFR precision to 64
50.953 * * * * [points]: Setting MPFR precision to 320
50.955 * * * * [points]: Computing exacts for 40 points
50.962 * * * * [points]: Setting MPFR precision to 64
50.967 * * * * [points]: Setting MPFR precision to 320
50.972 * * * * [points]: Filtering points with unrepresentable outputs
50.972 * * * * [points]: Sampling 34 additional inputs, on iter 36 have 7966 / 8000
50.972 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
50.980 * * * * [points]: Setting MPFR precision to 64
50.981 * * * * [points]: Setting MPFR precision to 320
50.983 * * * * [points]: Computing exacts for 34 points
50.990 * * * * [points]: Setting MPFR precision to 64
50.993 * * * * [points]: Setting MPFR precision to 320
50.996 * * * * [points]: Filtering points with unrepresentable outputs
50.996 * * * * [points]: Sampling 30 additional inputs, on iter 37 have 7970 / 8000
50.996 * * * * [points]: Computing exacts for 30 points
51.001 * * * * [points]: Setting MPFR precision to 64
51.003 * * * * [points]: Setting MPFR precision to 320
51.005 * * * * [points]: Filtering points with unrepresentable outputs
51.005 * * * * [points]: Sampling 27 additional inputs, on iter 38 have 7973 / 8000
51.005 * * * * [points]: Computing exacts for 27 points
51.011 * * * * [points]: Setting MPFR precision to 64
51.013 * * * * [points]: Setting MPFR precision to 320
51.035 * * * * [points]: Filtering points with unrepresentable outputs
51.035 * * * * [points]: Sampling 23 additional inputs, on iter 39 have 7977 / 8000
51.035 * * * * [points]: Computing exacts for 23 points
51.043 * * * * [points]: Setting MPFR precision to 64
51.049 * * * * [points]: Setting MPFR precision to 320
51.051 * * * * [points]: Filtering points with unrepresentable outputs
51.052 * * * * [points]: Sampling 19 additional inputs, on iter 40 have 7981 / 8000
51.052 * * * * [points]: Computing exacts for 19 points
51.059 * * * * [points]: Setting MPFR precision to 64
51.062 * * * * [points]: Setting MPFR precision to 320
51.064 * * * * [points]: Filtering points with unrepresentable outputs
51.065 * * * * [points]: Sampling 16 additional inputs, on iter 41 have 7984 / 8000
51.065 * * * * [points]: Computing exacts for 16 points
51.073 * * * * [points]: Setting MPFR precision to 64
51.075 * * * * [points]: Setting MPFR precision to 320
51.077 * * * * [points]: Filtering points with unrepresentable outputs
51.078 * * * * [points]: Sampling 15 additional inputs, on iter 42 have 7985 / 8000
51.078 * * * * [points]: Computing exacts for 15 points
51.087 * * * * [points]: Setting MPFR precision to 64
51.089 * * * * [points]: Setting MPFR precision to 320
51.091 * * * * [points]: Filtering points with unrepresentable outputs
51.091 * * * * [points]: Sampling 13 additional inputs, on iter 43 have 7987 / 8000
51.091 * * * * [points]: Computing exacts for 13 points
51.099 * * * * [points]: Setting MPFR precision to 64
51.101 * * * * [points]: Setting MPFR precision to 320
51.103 * * * * [points]: Filtering points with unrepresentable outputs
51.103 * * * * [points]: Sampling 13 additional inputs, on iter 44 have 7987 / 8000
51.103 * * * * [points]: Computing exacts for 13 points
51.112 * * * * [points]: Setting MPFR precision to 64
51.114 * * * * [points]: Setting MPFR precision to 320
51.116 * * * * [points]: Filtering points with unrepresentable outputs
51.116 * * * * [points]: Sampling 12 additional inputs, on iter 45 have 7988 / 8000
51.117 * * * * [points]: Computing exacts for 12 points
51.122 * * * * [points]: Setting MPFR precision to 64
51.123 * * * * [points]: Setting MPFR precision to 320
51.124 * * * * [points]: Filtering points with unrepresentable outputs
51.124 * * * * [points]: Sampling 11 additional inputs, on iter 46 have 7989 / 8000
51.124 * * * * [points]: Computing exacts for 11 points
51.129 * * * * [points]: Setting MPFR precision to 64
51.131 * * * * [points]: Setting MPFR precision to 320
51.131 * * * * [points]: Filtering points with unrepresentable outputs
51.131 * * * * [points]: Sampling 9 additional inputs, on iter 47 have 7991 / 8000
51.132 * * * * [points]: Computing exacts for 9 points
51.136 * * * * [points]: Setting MPFR precision to 64
51.137 * * * * [points]: Setting MPFR precision to 320
51.138 * * * * [points]: Filtering points with unrepresentable outputs
51.138 * * * * [points]: Sampling 7 additional inputs, on iter 48 have 7993 / 8000
51.138 * * * * [points]: Computing exacts for 7 points
51.481 * * * * [points]: Setting MPFR precision to 64
51.482 * * * * [points]: Setting MPFR precision to 320
51.483 * * * * [points]: Filtering points with unrepresentable outputs
51.483 * * * * [points]: Sampling 7 additional inputs, on iter 49 have 7993 / 8000
51.483 * * * * [points]: Computing exacts for 7 points
51.495 * * * * [points]: Setting MPFR precision to 64
51.496 * * * * [points]: Setting MPFR precision to 320
51.497 * * * * [points]: Filtering points with unrepresentable outputs
51.497 * * * * [points]: Sampling 5 additional inputs, on iter 50 have 7995 / 8000
51.498 * * * * [points]: Computing exacts for 5 points
51.506 * * * * [points]: Setting MPFR precision to 64
51.507 * * * * [points]: Setting MPFR precision to 320
51.507 * * * * [points]: Filtering points with unrepresentable outputs
51.508 * * * * [points]: Sampling 5 additional inputs, on iter 51 have 7995 / 8000
51.508 * * * * [points]: Computing exacts for 5 points
51.516 * * * * [points]: Setting MPFR precision to 64
51.517 * * * * [points]: Setting MPFR precision to 320
51.517 * * * * [points]: Filtering points with unrepresentable outputs
51.518 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7996 / 8000
51.518 * * * * [points]: Computing exacts for 4 points
51.526 * * * * [points]: Setting MPFR precision to 64
51.527 * * * * [points]: Setting MPFR precision to 320
51.527 * * * * [points]: Filtering points with unrepresentable outputs
51.527 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7996 / 8000
51.527 * * * * [points]: Computing exacts for 4 points
51.535 * * * * [points]: Setting MPFR precision to 64
51.536 * * * * [points]: Setting MPFR precision to 320
51.536 * * * * [points]: Filtering points with unrepresentable outputs
51.536 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7997 / 8000
51.536 * * * * [points]: Computing exacts for 4 points
51.544 * * * * [points]: Setting MPFR precision to 64
51.545 * * * * [points]: Setting MPFR precision to 320
51.545 * * * * [points]: Filtering points with unrepresentable outputs
51.545 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7998 / 8000
51.545 * * * * [points]: Computing exacts for 4 points
51.553 * * * * [points]: Setting MPFR precision to 64
51.554 * * * * [points]: Setting MPFR precision to 320
51.554 * * * * [points]: Filtering points with unrepresentable outputs
51.555 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7998 / 8000
51.555 * * * * [points]: Computing exacts for 4 points
51.562 * * * * [points]: Setting MPFR precision to 64
51.563 * * * * [points]: Setting MPFR precision to 320
51.563 * * * * [points]: Filtering points with unrepresentable outputs
51.563 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7999 / 8000
51.563 * * * * [points]: Computing exacts for 4 points
51.569 * * * * [points]: Setting MPFR precision to 64
51.569 * * * * [points]: Setting MPFR precision to 320
51.569 * * * * [points]: Filtering points with unrepresentable outputs
51.570 * * * * [points]: Sampled 8001 points with exact outputs
62.294 * [regime-testing]: Baseline error score: 64.0
62.297 * [regime-testing]: Oracle error score: 64.0
62.304 * [regime-testing]: End program error score: 1.4396896694759653