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.003 * * * * [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.014 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.034 * * * * [points]: Setting MPFR precision to 64
0.040 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Computing exacts for 256 points
0.051 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.102 * * * * [points]: Filtering points with unrepresentable outputs
0.103 * * * * [points]: Sampling 213 additional inputs, on iter 1 have 43 / 256
0.104 * * * * [points]: Computing exacts on every 13 of 213 points to ramp up precision
0.108 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Computing exacts on every 6 of 213 points to ramp up precision
0.115 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.120 * * * * [points]: Computing exacts on every 3 of 213 points to ramp up precision
0.124 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.133 * * * * [points]: Computing exacts for 213 points
0.137 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.168 * * * * [points]: Filtering points with unrepresentable outputs
0.168 * * * * [points]: Sampling 182 additional inputs, on iter 2 have 74 / 256
0.169 * * * * [points]: Computing exacts on every 11 of 182 points to ramp up precision
0.196 * * * * [points]: Setting MPFR precision to 64
0.197 * * * * [points]: Setting MPFR precision to 320
0.198 * * * * [points]: Computing exacts on every 5 of 182 points to ramp up precision
0.203 * * * * [points]: Setting MPFR precision to 64
0.207 * * * * [points]: Setting MPFR precision to 320
0.209 * * * * [points]: Computing exacts on every 2 of 182 points to ramp up precision
0.214 * * * * [points]: Setting MPFR precision to 64
0.220 * * * * [points]: Setting MPFR precision to 320
0.227 * * * * [points]: Computing exacts for 182 points
0.234 * * * * [points]: Setting MPFR precision to 64
0.249 * * * * [points]: Setting MPFR precision to 320
0.262 * * * * [points]: Filtering points with unrepresentable outputs
0.262 * * * * [points]: Sampling 153 additional inputs, on iter 3 have 103 / 256
0.263 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
0.268 * * * * [points]: Setting MPFR precision to 64
0.269 * * * * [points]: Setting MPFR precision to 320
0.270 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
0.275 * * * * [points]: Setting MPFR precision to 64
0.277 * * * * [points]: Setting MPFR precision to 320
0.279 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
0.283 * * * * [points]: Setting MPFR precision to 64
0.287 * * * * [points]: Setting MPFR precision to 320
0.310 * * * * [points]: Computing exacts for 153 points
0.316 * * * * [points]: Setting MPFR precision to 64
0.334 * * * * [points]: Setting MPFR precision to 320
0.345 * * * * [points]: Filtering points with unrepresentable outputs
0.345 * * * * [points]: Sampling 140 additional inputs, on iter 4 have 116 / 256
0.346 * * * * [points]: Computing exacts on every 8 of 140 points to ramp up precision
0.350 * * * * [points]: Setting MPFR precision to 64
0.351 * * * * [points]: Setting MPFR precision to 320
0.352 * * * * [points]: Computing exacts on every 4 of 140 points to ramp up precision
0.357 * * * * [points]: Setting MPFR precision to 64
0.359 * * * * [points]: Setting MPFR precision to 320
0.361 * * * * [points]: Computing exacts on every 2 of 140 points to ramp up precision
0.365 * * * * [points]: Setting MPFR precision to 64
0.369 * * * * [points]: Setting MPFR precision to 320
0.372 * * * * [points]: Computing exacts for 140 points
0.376 * * * * [points]: Setting MPFR precision to 64
0.386 * * * * [points]: Setting MPFR precision to 320
0.396 * * * * [points]: Filtering points with unrepresentable outputs
0.396 * * * * [points]: Sampling 118 additional inputs, on iter 5 have 138 / 256
0.397 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.401 * * * * [points]: Setting MPFR precision to 64
0.402 * * * * [points]: Setting MPFR precision to 320
0.422 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.426 * * * * [points]: Setting MPFR precision to 64
0.428 * * * * [points]: Setting MPFR precision to 320
0.430 * * * * [points]: Computing exacts for 118 points
0.436 * * * * [points]: Setting MPFR precision to 64
0.445 * * * * [points]: Setting MPFR precision to 320
0.453 * * * * [points]: Filtering points with unrepresentable outputs
0.453 * * * * [points]: Sampling 103 additional inputs, on iter 6 have 153 / 256
0.453 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
0.458 * * * * [points]: Setting MPFR precision to 64
0.459 * * * * [points]: Setting MPFR precision to 320
0.460 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
0.464 * * * * [points]: Setting MPFR precision to 64
0.466 * * * * [points]: Setting MPFR precision to 320
0.468 * * * * [points]: Computing exacts for 103 points
0.472 * * * * [points]: Setting MPFR precision to 64
0.479 * * * * [points]: Setting MPFR precision to 320
0.487 * * * * [points]: Filtering points with unrepresentable outputs
0.487 * * * * [points]: Sampling 89 additional inputs, on iter 7 have 167 / 256
0.487 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.492 * * * * [points]: Setting MPFR precision to 64
0.493 * * * * [points]: Setting MPFR precision to 320
0.494 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.498 * * * * [points]: Setting MPFR precision to 64
0.500 * * * * [points]: Setting MPFR precision to 320
0.502 * * * * [points]: Computing exacts for 89 points
0.528 * * * * [points]: Setting MPFR precision to 64
0.539 * * * * [points]: Setting MPFR precision to 320
0.546 * * * * [points]: Filtering points with unrepresentable outputs
0.546 * * * * [points]: Sampling 82 additional inputs, on iter 8 have 174 / 256
0.547 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision
0.551 * * * * [points]: Setting MPFR precision to 64
0.552 * * * * [points]: Setting MPFR precision to 320
0.553 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision
0.557 * * * * [points]: Setting MPFR precision to 64
0.559 * * * * [points]: Setting MPFR precision to 320
0.561 * * * * [points]: Computing exacts for 82 points
0.569 * * * * [points]: Setting MPFR precision to 64
0.578 * * * * [points]: Setting MPFR precision to 320
0.588 * * * * [points]: Filtering points with unrepresentable outputs
0.588 * * * * [points]: Sampling 76 additional inputs, on iter 9 have 180 / 256
0.589 * * * * [points]: Computing exacts on every 4 of 76 points to ramp up precision
0.596 * * * * [points]: Setting MPFR precision to 64
0.598 * * * * [points]: Setting MPFR precision to 320
0.600 * * * * [points]: Computing exacts on every 2 of 76 points to ramp up precision
0.607 * * * * [points]: Setting MPFR precision to 64
0.610 * * * * [points]: Setting MPFR precision to 320
0.613 * * * * [points]: Computing exacts for 76 points
0.620 * * * * [points]: Setting MPFR precision to 64
0.629 * * * * [points]: Setting MPFR precision to 320
0.638 * * * * [points]: Filtering points with unrepresentable outputs
0.639 * * * * [points]: Sampling 60 additional inputs, on iter 10 have 196 / 256
0.639 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.666 * * * * [points]: Setting MPFR precision to 64
0.667 * * * * [points]: Setting MPFR precision to 320
0.669 * * * * [points]: Computing exacts for 60 points
0.677 * * * * [points]: Setting MPFR precision to 64
0.682 * * * * [points]: Setting MPFR precision to 320
0.686 * * * * [points]: Filtering points with unrepresentable outputs
0.687 * * * * [points]: Sampling 51 additional inputs, on iter 11 have 205 / 256
0.687 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
0.691 * * * * [points]: Setting MPFR precision to 64
0.692 * * * * [points]: Setting MPFR precision to 320
0.693 * * * * [points]: Computing exacts for 51 points
0.698 * * * * [points]: Setting MPFR precision to 64
0.701 * * * * [points]: Setting MPFR precision to 320
0.705 * * * * [points]: Filtering points with unrepresentable outputs
0.705 * * * * [points]: Sampling 45 additional inputs, on iter 12 have 211 / 256
0.705 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
0.710 * * * * [points]: Setting MPFR precision to 64
0.711 * * * * [points]: Setting MPFR precision to 320
0.712 * * * * [points]: Computing exacts for 45 points
0.718 * * * * [points]: Setting MPFR precision to 64
0.723 * * * * [points]: Setting MPFR precision to 320
0.728 * * * * [points]: Filtering points with unrepresentable outputs
0.728 * * * * [points]: Sampling 38 additional inputs, on iter 13 have 218 / 256
0.729 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.736 * * * * [points]: Setting MPFR precision to 64
0.738 * * * * [points]: Setting MPFR precision to 320
0.739 * * * * [points]: Computing exacts for 38 points
0.747 * * * * [points]: Setting MPFR precision to 64
0.751 * * * * [points]: Setting MPFR precision to 320
0.756 * * * * [points]: Filtering points with unrepresentable outputs
0.756 * * * * [points]: Sampling 32 additional inputs, on iter 14 have 224 / 256
0.756 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.764 * * * * [points]: Setting MPFR precision to 64
0.765 * * * * [points]: Setting MPFR precision to 320
0.766 * * * * [points]: Computing exacts for 32 points
0.792 * * * * [points]: Setting MPFR precision to 64
0.798 * * * * [points]: Setting MPFR precision to 320
0.802 * * * * [points]: Filtering points with unrepresentable outputs
0.802 * * * * [points]: Sampling 27 additional inputs, on iter 15 have 229 / 256
0.803 * * * * [points]: Computing exacts for 27 points
0.811 * * * * [points]: Setting MPFR precision to 64
0.814 * * * * [points]: Setting MPFR precision to 320
0.817 * * * * [points]: Filtering points with unrepresentable outputs
0.817 * * * * [points]: Sampling 22 additional inputs, on iter 16 have 234 / 256
0.817 * * * * [points]: Computing exacts for 22 points
0.822 * * * * [points]: Setting MPFR precision to 64
0.823 * * * * [points]: Setting MPFR precision to 320
0.825 * * * * [points]: Filtering points with unrepresentable outputs
0.825 * * * * [points]: Sampling 21 additional inputs, on iter 17 have 235 / 256
0.825 * * * * [points]: Computing exacts for 21 points
0.829 * * * * [points]: Setting MPFR precision to 64
0.831 * * * * [points]: Setting MPFR precision to 320
0.832 * * * * [points]: Filtering points with unrepresentable outputs
0.832 * * * * [points]: Sampling 18 additional inputs, on iter 18 have 238 / 256
0.832 * * * * [points]: Computing exacts for 18 points
0.837 * * * * [points]: Setting MPFR precision to 64
0.838 * * * * [points]: Setting MPFR precision to 320
0.839 * * * * [points]: Filtering points with unrepresentable outputs
0.839 * * * * [points]: Sampling 15 additional inputs, on iter 19 have 241 / 256
0.839 * * * * [points]: Computing exacts for 15 points
0.844 * * * * [points]: Setting MPFR precision to 64
0.845 * * * * [points]: Setting MPFR precision to 320
0.846 * * * * [points]: Filtering points with unrepresentable outputs
0.846 * * * * [points]: Sampling 14 additional inputs, on iter 20 have 242 / 256
0.846 * * * * [points]: Computing exacts for 14 points
0.850 * * * * [points]: Setting MPFR precision to 64
0.851 * * * * [points]: Setting MPFR precision to 320
0.853 * * * * [points]: Filtering points with unrepresentable outputs
0.853 * * * * [points]: Sampling 11 additional inputs, on iter 21 have 245 / 256
0.853 * * * * [points]: Computing exacts for 11 points
0.857 * * * * [points]: Setting MPFR precision to 64
0.858 * * * * [points]: Setting MPFR precision to 320
0.859 * * * * [points]: Filtering points with unrepresentable outputs
0.859 * * * * [points]: Sampling 10 additional inputs, on iter 22 have 246 / 256
0.859 * * * * [points]: Computing exacts for 10 points
0.863 * * * * [points]: Setting MPFR precision to 64
0.864 * * * * [points]: Setting MPFR precision to 320
0.864 * * * * [points]: Filtering points with unrepresentable outputs
0.864 * * * * [points]: Sampling 9 additional inputs, on iter 23 have 247 / 256
0.865 * * * * [points]: Computing exacts for 9 points
0.869 * * * * [points]: Setting MPFR precision to 64
0.882 * * * * [points]: Setting MPFR precision to 320
0.883 * * * * [points]: Filtering points with unrepresentable outputs
0.883 * * * * [points]: Sampling 8 additional inputs, on iter 24 have 248 / 256
0.883 * * * * [points]: Computing exacts for 8 points
0.889 * * * * [points]: Setting MPFR precision to 64
0.890 * * * * [points]: Setting MPFR precision to 320
0.890 * * * * [points]: Filtering points with unrepresentable outputs
0.890 * * * * [points]: Sampling 7 additional inputs, on iter 25 have 249 / 256
0.890 * * * * [points]: Computing exacts for 7 points
0.896 * * * * [points]: Setting MPFR precision to 64
0.897 * * * * [points]: Setting MPFR precision to 320
0.897 * * * * [points]: Filtering points with unrepresentable outputs
0.898 * * * * [points]: Sampling 7 additional inputs, on iter 26 have 249 / 256
0.898 * * * * [points]: Computing exacts for 7 points
0.902 * * * * [points]: Setting MPFR precision to 64
0.903 * * * * [points]: Setting MPFR precision to 320
0.903 * * * * [points]: Filtering points with unrepresentable outputs
0.903 * * * * [points]: Sampling 6 additional inputs, on iter 27 have 250 / 256
0.903 * * * * [points]: Computing exacts for 6 points
0.910 * * * * [points]: Setting MPFR precision to 64
0.911 * * * * [points]: Setting MPFR precision to 320
0.912 * * * * [points]: Filtering points with unrepresentable outputs
0.912 * * * * [points]: Sampling 5 additional inputs, on iter 28 have 251 / 256
0.912 * * * * [points]: Computing exacts for 5 points
0.919 * * * * [points]: Setting MPFR precision to 64
0.920 * * * * [points]: Setting MPFR precision to 320
0.920 * * * * [points]: Filtering points with unrepresentable outputs
0.921 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
0.921 * * * * [points]: Computing exacts for 4 points
0.928 * * * * [points]: Setting MPFR precision to 64
0.928 * * * * [points]: Setting MPFR precision to 320
0.929 * * * * [points]: Filtering points with unrepresentable outputs
0.929 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
0.929 * * * * [points]: Computing exacts for 4 points
0.936 * * * * [points]: Setting MPFR precision to 64
0.936 * * * * [points]: Setting MPFR precision to 320
0.937 * * * * [points]: Filtering points with unrepresentable outputs
0.937 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
0.937 * * * * [points]: Computing exacts for 4 points
0.944 * * * * [points]: Setting MPFR precision to 64
0.945 * * * * [points]: Setting MPFR precision to 320
0.945 * * * * [points]: Filtering points with unrepresentable outputs
0.945 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
0.945 * * * * [points]: Computing exacts for 4 points
0.950 * * * * [points]: Setting MPFR precision to 64
0.951 * * * * [points]: Setting MPFR precision to 320
0.951 * * * * [points]: Filtering points with unrepresentable outputs
0.951 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
0.951 * * * * [points]: Computing exacts for 4 points
0.956 * * * * [points]: Setting MPFR precision to 64
0.956 * * * * [points]: Setting MPFR precision to 320
0.956 * * * * [points]: Filtering points with unrepresentable outputs
0.956 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
0.956 * * * * [points]: Computing exacts for 4 points
0.961 * * * * [points]: Setting MPFR precision to 64
0.961 * * * * [points]: Setting MPFR precision to 320
0.961 * * * * [points]: Filtering points with unrepresentable outputs
0.961 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
0.961 * * * * [points]: Computing exacts for 4 points
0.972 * * * * [points]: Setting MPFR precision to 64
0.973 * * * * [points]: Setting MPFR precision to 320
0.973 * * * * [points]: Filtering points with unrepresentable outputs
0.973 * * * * [points]: Sampled 256 points with exact outputs
0.973 * * * [progress]: [2/2] Setting up program.
0.998 * [progress]: [Phase 2 of 3] Improving.
0.998 * * * * [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))))>
0.999 * [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)))
0.999 * * [simplify]: iters left: 6 (19 enodes)
1.007 * * [simplify]: iters left: 5 (76 enodes)
1.043 * * [simplify]: iters left: 4 (344 enodes)
1.480 * * [simplify]: Extracting #0: cost 1 inf + 0
1.480 * * [simplify]: Extracting #1: cost 75 inf + 0
1.481 * * [simplify]: Extracting #2: cost 474 inf + 1
1.484 * * [simplify]: Extracting #3: cost 742 inf + 26817
1.491 * * [simplify]: Extracting #4: cost 684 inf + 140740
1.502 * * [simplify]: Extracting #5: cost 611 inf + 190357
1.514 * * [simplify]: Extracting #6: cost 583 inf + 205484
1.540 * * [simplify]: Extracting #7: cost 359 inf + 460450
1.591 * * [simplify]: Extracting #8: cost 52 inf + 927410
1.649 * * [simplify]: Extracting #9: cost 0 inf + 1029213
1.708 * * [simplify]: Extracting #10: cost 0 inf + 1027693
1.772 * [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))))
1.772 * [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)))))
1.822 * * [progress]: iteration 1 / 4
1.823 * * * [progress]: picking best candidate
1.875 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
1.875 * * * [progress]: localizing error
2.179 * * * [progress]: generating rewritten candidates
2.179 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.185 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.191 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.195 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
2.202 * * * [progress]: generating series expansions
2.202 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.202 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.202 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.202 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
2.202 * * * [progress]: simplifying candidates
2.202 * * * * [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))))>
2.202 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
2.202 * * [simplify]: iters left: 3 (8 enodes)
2.205 * * [simplify]: iters left: 2 (20 enodes)
2.208 * * [simplify]: iters left: 1 (26 enodes)
2.213 * * [simplify]: Extracting #0: cost 1 inf + 0
2.213 * * [simplify]: Extracting #1: cost 7 inf + 0
2.213 * * [simplify]: Extracting #2: cost 7 inf + 2
2.213 * * [simplify]: Extracting #3: cost 6 inf + 45
2.213 * * [simplify]: Extracting #4: cost 4 inf + 47
2.213 * * [simplify]: Extracting #5: cost 1 inf + 1136
2.213 * * [simplify]: Extracting #6: cost 0 inf + 1499
2.213 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
2.213 * [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))))
2.213 * * * * [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))))>
2.214 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
2.214 * * [simplify]: iters left: 3 (6 enodes)
2.215 * * [simplify]: iters left: 2 (22 enodes)
2.219 * * [simplify]: iters left: 1 (42 enodes)
2.227 * * [simplify]: Extracting #0: cost 1 inf + 0
2.227 * * [simplify]: Extracting #1: cost 12 inf + 0
2.227 * * [simplify]: Extracting #2: cost 16 inf + 1
2.227 * * [simplify]: Extracting #3: cost 9 inf + 1412
2.228 * * [simplify]: Extracting #4: cost 0 inf + 4393
2.229 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
2.229 * [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))))
2.229 * * * * [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))))>
2.229 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.229 * * [simplify]: iters left: 4 (11 enodes)
2.234 * * [simplify]: iters left: 3 (34 enodes)
2.246 * * [simplify]: iters left: 2 (62 enodes)
2.268 * * [simplify]: iters left: 1 (116 enodes)
2.293 * * [simplify]: Extracting #0: cost 1 inf + 0
2.294 * * [simplify]: Extracting #1: cost 18 inf + 0
2.294 * * [simplify]: Extracting #2: cost 32 inf + 1
2.294 * * [simplify]: Extracting #3: cost 28 inf + 688
2.295 * * [simplify]: Extracting #4: cost 20 inf + 2471
2.296 * * [simplify]: Extracting #5: cost 11 inf + 5213
2.297 * * [simplify]: Extracting #6: cost 0 inf + 16616
2.299 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
2.299 * [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))))
2.300 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.300 * * [simplify]: iters left: 5 (13 enodes)
2.305 * * [simplify]: iters left: 4 (36 enodes)
2.316 * * [simplify]: iters left: 3 (69 enodes)
2.336 * * [simplify]: iters left: 2 (108 enodes)
2.366 * * [simplify]: iters left: 1 (142 enodes)
2.400 * * [simplify]: Extracting #0: cost 1 inf + 0
2.400 * * [simplify]: Extracting #1: cost 3 inf + 0
2.400 * * [simplify]: Extracting #2: cost 25 inf + 0
2.401 * * [simplify]: Extracting #3: cost 26 inf + 2
2.401 * * [simplify]: Extracting #4: cost 20 inf + 1217
2.402 * * [simplify]: Extracting #5: cost 5 inf + 6972
2.403 * * [simplify]: Extracting #6: cost 0 inf + 9668
2.404 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
2.405 * [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))))
2.405 * * * * [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))))>
2.405 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
2.405 * * [simplify]: iters left: 4 (11 enodes)
2.410 * * [simplify]: iters left: 3 (33 enodes)
2.422 * * [simplify]: iters left: 2 (87 enodes)
2.458 * * [simplify]: iters left: 1 (455 enodes)
2.952 * * [simplify]: Extracting #0: cost 1 inf + 0
2.952 * * [simplify]: Extracting #1: cost 38 inf + 0
2.953 * * [simplify]: Extracting #2: cost 349 inf + 2
2.956 * * [simplify]: Extracting #3: cost 1015 inf + 2069
2.962 * * [simplify]: Extracting #4: cost 974 inf + 36877
2.984 * * [simplify]: Extracting #5: cost 686 inf + 251010
3.037 * * [simplify]: Extracting #6: cost 123 inf + 839954
3.124 * * [simplify]: Extracting #7: cost 0 inf + 991791
3.212 * * [simplify]: Extracting #8: cost 0 inf + 989631
3.291 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))
3.291 * [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))))
3.291 * * * * [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))))))>
3.292 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.292 * * [simplify]: iters left: 4 (11 enodes)
3.297 * * [simplify]: iters left: 3 (34 enodes)
3.306 * * [simplify]: iters left: 2 (62 enodes)
3.317 * * [simplify]: iters left: 1 (116 enodes)
3.338 * * [simplify]: Extracting #0: cost 1 inf + 0
3.338 * * [simplify]: Extracting #1: cost 18 inf + 0
3.338 * * [simplify]: Extracting #2: cost 32 inf + 1
3.339 * * [simplify]: Extracting #3: cost 28 inf + 688
3.339 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.339 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.340 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.342 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.342 * [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))))))
3.342 * * * * [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))))>
3.342 * [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))
3.342 * * [simplify]: iters left: 5 (12 enodes)
3.345 * * [simplify]: iters left: 4 (32 enodes)
3.352 * * [simplify]: iters left: 3 (90 enodes)
3.384 * * [simplify]: iters left: 2 (378 enodes)
3.700 * * [simplify]: Extracting #0: cost 1 inf + 0
3.701 * * [simplify]: Extracting #1: cost 90 inf + 0
3.703 * * [simplify]: Extracting #2: cost 388 inf + 0
3.706 * * [simplify]: Extracting #3: cost 380 inf + 3950
3.715 * * [simplify]: Extracting #4: cost 272 inf + 84531
3.749 * * [simplify]: Extracting #5: cost 20 inf + 357988
3.776 * * [simplify]: Extracting #6: cost 0 inf + 384165
3.807 * [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))))
3.807 * [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))))))
3.807 * * * * [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))))))>
3.807 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
3.807 * * [simplify]: iters left: 5 (9 enodes)
3.809 * * [simplify]: iters left: 4 (35 enodes)
3.817 * * [simplify]: iters left: 3 (128 enodes)
3.871 * * [simplify]: Extracting #0: cost 1 inf + 0
3.872 * * [simplify]: Extracting #1: cost 39 inf + 0
3.872 * * [simplify]: Extracting #2: cost 167 inf + 1
3.874 * * [simplify]: Extracting #3: cost 185 inf + 9642
3.882 * * [simplify]: Extracting #4: cost 54 inf + 131260
3.896 * * [simplify]: Extracting #5: cost 0 inf + 183768
3.909 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
3.909 * [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))))))
3.909 * * * * [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)))))>
3.910 * [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)))
3.910 * * [simplify]: iters left: 5 (15 enodes)
3.916 * * [simplify]: iters left: 4 (44 enodes)
3.932 * * [simplify]: iters left: 3 (112 enodes)
3.978 * * [simplify]: iters left: 2 (473 enodes)
4.301 * * [simplify]: Extracting #0: cost 1 inf + 0
4.302 * * [simplify]: Extracting #1: cost 35 inf + 0
4.302 * * [simplify]: Extracting #2: cost 286 inf + 1
4.304 * * [simplify]: Extracting #3: cost 529 inf + 4158
4.307 * * [simplify]: Extracting #4: cost 531 inf + 7620
4.311 * * [simplify]: Extracting #5: cost 474 inf + 34154
4.327 * * [simplify]: Extracting #6: cost 203 inf + 247830
4.365 * * [simplify]: Extracting #7: cost 17 inf + 434257
4.409 * * [simplify]: Extracting #8: cost 0 inf + 455708
4.450 * [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))))
4.450 * [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)))))
4.450 * [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)))
4.450 * * [simplify]: iters left: 6 (17 enodes)
4.455 * * [simplify]: iters left: 5 (52 enodes)
4.471 * * [simplify]: iters left: 4 (154 enodes)
4.526 * * [simplify]: Extracting #0: cost 1 inf + 0
4.526 * * [simplify]: Extracting #1: cost 27 inf + 0
4.526 * * [simplify]: Extracting #2: cost 137 inf + 0
4.527 * * [simplify]: Extracting #3: cost 277 inf + 366
4.528 * * [simplify]: Extracting #4: cost 285 inf + 5479
4.530 * * [simplify]: Extracting #5: cost 253 inf + 13586
4.535 * * [simplify]: Extracting #6: cost 206 inf + 39659
4.547 * * [simplify]: Extracting #7: cost 38 inf + 215233
4.575 * * [simplify]: Extracting #8: cost 0 inf + 248609
4.605 * * [simplify]: Extracting #9: cost 0 inf + 244529
4.637 * * [simplify]: Extracting #10: cost 0 inf + 244169
4.668 * [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)))))
4.668 * [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)))))))
4.668 * * * * [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))))>
4.669 * [simplify]: Simplifying (*.p16 i i)
4.669 * * [simplify]: iters left: 1 (2 enodes)
4.670 * * [simplify]: Extracting #0: cost 1 inf + 0
4.670 * * [simplify]: Extracting #1: cost 2 inf + 0
4.670 * * [simplify]: Extracting #2: cost 1 inf + 1
4.670 * * [simplify]: Extracting #3: cost 0 inf + 322
4.670 * [simplify]: Simplified to (*.p16 i i)
4.670 * [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))))
4.670 * * * * [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))))>
4.670 * [simplify]: Simplifying (*.p16 i i)
4.671 * * [simplify]: iters left: 1 (2 enodes)
4.671 * * [simplify]: Extracting #0: cost 1 inf + 0
4.671 * * [simplify]: Extracting #1: cost 2 inf + 0
4.671 * * [simplify]: Extracting #2: cost 1 inf + 1
4.672 * * [simplify]: Extracting #3: cost 0 inf + 322
4.672 * [simplify]: Simplified to (*.p16 i i)
4.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 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.672 * * * * [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))))>
4.672 * * * * [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))))>
4.672 * [simplify]: Simplifying (*.p16 i i)
4.672 * * [simplify]: iters left: 1 (2 enodes)
4.673 * * [simplify]: Extracting #0: cost 1 inf + 0
4.673 * * [simplify]: Extracting #1: cost 2 inf + 0
4.673 * * [simplify]: Extracting #2: cost 1 inf + 1
4.673 * * [simplify]: Extracting #3: cost 0 inf + 322
4.673 * [simplify]: Simplified to (*.p16 i i)
4.673 * [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))))
4.674 * * * * [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))))>
4.674 * [simplify]: Simplifying (*.p16 i i)
4.674 * * [simplify]: iters left: 1 (2 enodes)
4.675 * * [simplify]: Extracting #0: cost 1 inf + 0
4.675 * * [simplify]: Extracting #1: cost 2 inf + 0
4.675 * * [simplify]: Extracting #2: cost 1 inf + 1
4.675 * * [simplify]: Extracting #3: cost 0 inf + 322
4.675 * [simplify]: Simplified to (*.p16 i i)
4.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 (+.p16 alpha beta) i) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.675 * * * * [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))))>
4.675 * * * * [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))))>
4.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)))
4.677 * * [simplify]: iters left: 6 (19 enodes)
4.687 * * [simplify]: iters left: 5 (76 enodes)
4.712 * * [simplify]: iters left: 4 (344 enodes)
4.881 * * [simplify]: Extracting #0: cost 1 inf + 0
4.881 * * [simplify]: Extracting #1: cost 75 inf + 0
4.882 * * [simplify]: Extracting #2: cost 474 inf + 1
4.889 * * [simplify]: Extracting #3: cost 742 inf + 26817
4.896 * * [simplify]: Extracting #4: cost 684 inf + 140740
4.908 * * [simplify]: Extracting #5: cost 611 inf + 190357
4.919 * * [simplify]: Extracting #6: cost 583 inf + 205484
4.941 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.006 * * [simplify]: Extracting #8: cost 52 inf + 927410
5.089 * * [simplify]: Extracting #9: cost 0 inf + 1029213
5.150 * * [simplify]: Extracting #10: cost 0 inf + 1027693
5.209 * [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))))
5.209 * [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)))))
5.209 * * * * [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))))>
5.209 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
5.210 * * [simplify]: iters left: 6 (19 enodes)
5.215 * * [simplify]: iters left: 5 (76 enodes)
5.235 * * [simplify]: iters left: 4 (344 enodes)
5.405 * * [simplify]: Extracting #0: cost 1 inf + 0
5.405 * * [simplify]: Extracting #1: cost 75 inf + 0
5.406 * * [simplify]: Extracting #2: cost 474 inf + 1
5.409 * * [simplify]: Extracting #3: cost 742 inf + 26817
5.416 * * [simplify]: Extracting #4: cost 684 inf + 140740
5.427 * * [simplify]: Extracting #5: cost 611 inf + 190357
5.438 * * [simplify]: Extracting #6: cost 583 inf + 205484
5.464 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.511 * * [simplify]: Extracting #8: cost 52 inf + 927410
5.569 * * [simplify]: Extracting #9: cost 0 inf + 1029213
5.627 * * [simplify]: Extracting #10: cost 0 inf + 1027693
5.687 * [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))))
5.687 * [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)))))
5.687 * * * * [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))))>
5.687 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
5.688 * * [simplify]: iters left: 6 (19 enodes)
5.697 * * [simplify]: iters left: 5 (76 enodes)
5.720 * * [simplify]: iters left: 4 (344 enodes)
5.892 * * [simplify]: Extracting #0: cost 1 inf + 0
5.892 * * [simplify]: Extracting #1: cost 75 inf + 0
5.893 * * [simplify]: Extracting #2: cost 474 inf + 1
5.896 * * [simplify]: Extracting #3: cost 742 inf + 26817
5.903 * * [simplify]: Extracting #4: cost 684 inf + 140740
5.913 * * [simplify]: Extracting #5: cost 611 inf + 190357
5.928 * * [simplify]: Extracting #6: cost 583 inf + 205484
5.949 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.997 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.083 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.147 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.215 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
6.215 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
6.216 * * * * [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))))>
6.216 * [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.216 * * [simplify]: iters left: 6 (19 enodes)
6.226 * * [simplify]: iters left: 5 (76 enodes)
6.266 * * [simplify]: iters left: 4 (344 enodes)
6.584 * * [simplify]: Extracting #0: cost 1 inf + 0
6.584 * * [simplify]: Extracting #1: cost 75 inf + 0
6.586 * * [simplify]: Extracting #2: cost 474 inf + 1
6.593 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.613 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.634 * * [simplify]: Extracting #5: cost 611 inf + 190357
6.658 * * [simplify]: Extracting #6: cost 583 inf + 205484
6.701 * * [simplify]: Extracting #7: cost 359 inf + 460450
6.795 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.908 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.001 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.118 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
7.118 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
7.119 * * * [progress]: adding candidates to table
8.226 * * [progress]: iteration 2 / 4
8.226 * * * [progress]: picking best candidate
8.489 * * * * [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)))))>
8.489 * * * [progress]: localizing error
9.038 * * * [progress]: generating rewritten candidates
9.038 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
9.051 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.073 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.118 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
9.176 * * * [progress]: generating series expansions
9.176 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
9.176 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
9.176 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.176 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
9.176 * * * [progress]: simplifying candidates
9.176 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.177 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.177 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
9.177 * * [simplify]: iters left: 4 (11 enodes)
9.183 * * [simplify]: iters left: 3 (27 enodes)
9.190 * * [simplify]: iters left: 2 (47 enodes)
9.199 * * [simplify]: iters left: 1 (76 enodes)
9.213 * * [simplify]: Extracting #0: cost 1 inf + 0
9.213 * * [simplify]: Extracting #1: cost 16 inf + 0
9.213 * * [simplify]: Extracting #2: cost 17 inf + 2
9.213 * * [simplify]: Extracting #3: cost 13 inf + 89
9.213 * * [simplify]: Extracting #4: cost 9 inf + 298
9.213 * * [simplify]: Extracting #5: cost 1 inf + 2963
9.214 * * [simplify]: Extracting #6: cost 0 inf + 3367
9.215 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
9.215 * [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)))))
9.215 * * * * [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))))))>
9.215 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
9.215 * * [simplify]: iters left: 4 (8 enodes)
9.217 * * [simplify]: iters left: 3 (26 enodes)
9.224 * * [simplify]: iters left: 2 (53 enodes)
9.242 * * [simplify]: iters left: 1 (91 enodes)
9.270 * * [simplify]: Extracting #0: cost 1 inf + 0
9.270 * * [simplify]: Extracting #1: cost 24 inf + 0
9.271 * * [simplify]: Extracting #2: cost 31 inf + 0
9.271 * * [simplify]: Extracting #3: cost 26 inf + 366
9.271 * * [simplify]: Extracting #4: cost 9 inf + 8250
9.272 * * [simplify]: Extracting #5: cost 0 inf + 15077
9.273 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
9.273 * [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))))))
9.273 * * * * [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)))))>
9.273 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
9.273 * * [simplify]: iters left: 3 (6 enodes)
9.275 * * [simplify]: iters left: 2 (22 enodes)
9.279 * * [simplify]: iters left: 1 (42 enodes)
9.286 * * [simplify]: Extracting #0: cost 1 inf + 0
9.286 * * [simplify]: Extracting #1: cost 12 inf + 0
9.286 * * [simplify]: Extracting #2: cost 16 inf + 1
9.286 * * [simplify]: Extracting #3: cost 9 inf + 1412
9.287 * * [simplify]: Extracting #4: cost 0 inf + 4393
9.287 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
9.287 * [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)))))
9.287 * * * * [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)))))>
9.287 * [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)))
9.287 * * [simplify]: iters left: 5 (15 enodes)
9.291 * * [simplify]: iters left: 4 (44 enodes)
9.300 * * [simplify]: iters left: 3 (112 enodes)
9.359 * * [simplify]: iters left: 2 (473 enodes)
9.831 * * [simplify]: Extracting #0: cost 1 inf + 0
9.831 * * [simplify]: Extracting #1: cost 35 inf + 0
9.832 * * [simplify]: Extracting #2: cost 286 inf + 1
9.837 * * [simplify]: Extracting #3: cost 529 inf + 4158
9.842 * * [simplify]: Extracting #4: cost 531 inf + 7620
9.850 * * [simplify]: Extracting #5: cost 474 inf + 34154
9.881 * * [simplify]: Extracting #6: cost 203 inf + 247830
9.960 * * [simplify]: Extracting #7: cost 17 inf + 434257
10.042 * * [simplify]: Extracting #8: cost 0 inf + 455708
10.121 * [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))))
10.121 * [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)))))
10.122 * [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)))
10.122 * * [simplify]: iters left: 6 (17 enodes)
10.131 * * [simplify]: iters left: 5 (52 enodes)
10.153 * * [simplify]: iters left: 4 (154 enodes)
10.240 * * [simplify]: Extracting #0: cost 1 inf + 0
10.240 * * [simplify]: Extracting #1: cost 27 inf + 0
10.240 * * [simplify]: Extracting #2: cost 137 inf + 0
10.242 * * [simplify]: Extracting #3: cost 277 inf + 366
10.243 * * [simplify]: Extracting #4: cost 285 inf + 5479
10.244 * * [simplify]: Extracting #5: cost 253 inf + 13586
10.247 * * [simplify]: Extracting #6: cost 206 inf + 39659
10.265 * * [simplify]: Extracting #7: cost 38 inf + 215233
10.296 * * [simplify]: Extracting #8: cost 0 inf + 248609
10.329 * * [simplify]: Extracting #9: cost 0 inf + 244529
10.366 * * [simplify]: Extracting #10: cost 0 inf + 244169
10.397 * [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)))))
10.398 * [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)))))))
10.398 * * * * [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)))))>
10.398 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.398 * * [simplify]: iters left: 5 (15 enodes)
10.406 * * [simplify]: iters left: 4 (44 enodes)
10.423 * * [simplify]: iters left: 3 (112 enodes)
10.481 * * [simplify]: iters left: 2 (473 enodes)
10.869 * * [simplify]: Extracting #0: cost 1 inf + 0
10.869 * * [simplify]: Extracting #1: cost 35 inf + 0
10.870 * * [simplify]: Extracting #2: cost 286 inf + 1
10.872 * * [simplify]: Extracting #3: cost 529 inf + 4158
10.874 * * [simplify]: Extracting #4: cost 531 inf + 7620
10.879 * * [simplify]: Extracting #5: cost 474 inf + 34154
10.901 * * [simplify]: Extracting #6: cost 203 inf + 247830
10.976 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.045 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.124 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
11.124 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.125 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.125 * * [simplify]: iters left: 6 (17 enodes)
11.134 * * [simplify]: iters left: 5 (52 enodes)
11.157 * * [simplify]: iters left: 4 (154 enodes)
11.250 * * [simplify]: Extracting #0: cost 1 inf + 0
11.251 * * [simplify]: Extracting #1: cost 27 inf + 0
11.251 * * [simplify]: Extracting #2: cost 137 inf + 0
11.252 * * [simplify]: Extracting #3: cost 277 inf + 366
11.253 * * [simplify]: Extracting #4: cost 285 inf + 5479
11.255 * * [simplify]: Extracting #5: cost 253 inf + 13586
11.258 * * [simplify]: Extracting #6: cost 206 inf + 39659
11.270 * * [simplify]: Extracting #7: cost 38 inf + 215233
11.289 * * [simplify]: Extracting #8: cost 0 inf + 248609
11.305 * * [simplify]: Extracting #9: cost 0 inf + 244529
11.321 * * [simplify]: Extracting #10: cost 0 inf + 244169
11.338 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
11.338 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
11.338 * * * * [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)))))>
11.338 * [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.338 * * [simplify]: iters left: 5 (15 enodes)
11.342 * * [simplify]: iters left: 4 (44 enodes)
11.351 * * [simplify]: iters left: 3 (112 enodes)
11.383 * * [simplify]: iters left: 2 (473 enodes)
11.737 * * [simplify]: Extracting #0: cost 1 inf + 0
11.737 * * [simplify]: Extracting #1: cost 35 inf + 0
11.738 * * [simplify]: Extracting #2: cost 286 inf + 1
11.740 * * [simplify]: Extracting #3: cost 529 inf + 4158
11.743 * * [simplify]: Extracting #4: cost 531 inf + 7620
11.748 * * [simplify]: Extracting #5: cost 474 inf + 34154
11.764 * * [simplify]: Extracting #6: cost 203 inf + 247830
11.813 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.868 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.911 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
11.911 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.911 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.911 * * [simplify]: iters left: 6 (17 enodes)
11.916 * * [simplify]: iters left: 5 (52 enodes)
11.928 * * [simplify]: iters left: 4 (154 enodes)
11.982 * * [simplify]: Extracting #0: cost 1 inf + 0
11.983 * * [simplify]: Extracting #1: cost 27 inf + 0
11.983 * * [simplify]: Extracting #2: cost 137 inf + 0
11.985 * * [simplify]: Extracting #3: cost 277 inf + 366
11.987 * * [simplify]: Extracting #4: cost 285 inf + 5479
11.990 * * [simplify]: Extracting #5: cost 253 inf + 13586
11.995 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.018 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.049 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.082 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.116 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.140 * [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.140 * [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.140 * * * * [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)))))>
12.140 * [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.141 * * [simplify]: iters left: 5 (15 enodes)
12.145 * * [simplify]: iters left: 4 (44 enodes)
12.154 * * [simplify]: iters left: 3 (112 enodes)
12.184 * * [simplify]: iters left: 2 (473 enodes)
12.494 * * [simplify]: Extracting #0: cost 1 inf + 0
12.494 * * [simplify]: Extracting #1: cost 35 inf + 0
12.495 * * [simplify]: Extracting #2: cost 286 inf + 1
12.499 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.504 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.517 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.545 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.598 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.641 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.695 * [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.695 * [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.696 * [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.696 * * [simplify]: iters left: 6 (17 enodes)
12.705 * * [simplify]: iters left: 5 (52 enodes)
12.727 * * [simplify]: iters left: 4 (154 enodes)
12.818 * * [simplify]: Extracting #0: cost 1 inf + 0
12.818 * * [simplify]: Extracting #1: cost 27 inf + 0
12.819 * * [simplify]: Extracting #2: cost 137 inf + 0
12.820 * * [simplify]: Extracting #3: cost 277 inf + 366
12.821 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.822 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.825 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.837 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.871 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.888 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.904 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.934 * [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.934 * [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.935 * * * [progress]: adding candidates to table
13.234 * * [progress]: iteration 3 / 4
13.234 * * * [progress]: picking best candidate
13.558 * * * * [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)))))>
13.558 * * * [progress]: localizing error
14.232 * * * [progress]: generating rewritten candidates
14.232 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
14.246 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
14.278 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
14.328 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
14.421 * * * [progress]: generating series expansions
14.421 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
14.421 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
14.421 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
14.421 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
14.421 * * * [progress]: simplifying candidates
14.421 * * * * [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)))))>
14.422 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
14.422 * * [simplify]: iters left: 4 (11 enodes)
14.427 * * [simplify]: iters left: 3 (27 enodes)
14.434 * * [simplify]: iters left: 2 (47 enodes)
14.445 * * [simplify]: iters left: 1 (76 enodes)
14.458 * * [simplify]: Extracting #0: cost 1 inf + 0
14.458 * * [simplify]: Extracting #1: cost 16 inf + 0
14.458 * * [simplify]: Extracting #2: cost 17 inf + 2
14.458 * * [simplify]: Extracting #3: cost 13 inf + 89
14.458 * * [simplify]: Extracting #4: cost 9 inf + 298
14.459 * * [simplify]: Extracting #5: cost 1 inf + 2963
14.459 * * [simplify]: Extracting #6: cost 0 inf + 3367
14.460 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
14.460 * [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)))))
14.460 * * * * [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))))))>
14.460 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
14.460 * * [simplify]: iters left: 4 (8 enodes)
14.462 * * [simplify]: iters left: 3 (26 enodes)
14.468 * * [simplify]: iters left: 2 (53 enodes)
14.483 * * [simplify]: iters left: 1 (91 enodes)
14.500 * * [simplify]: Extracting #0: cost 1 inf + 0
14.500 * * [simplify]: Extracting #1: cost 24 inf + 0
14.501 * * [simplify]: Extracting #2: cost 31 inf + 0
14.501 * * [simplify]: Extracting #3: cost 26 inf + 366
14.501 * * [simplify]: Extracting #4: cost 9 inf + 8250
14.502 * * [simplify]: Extracting #5: cost 0 inf + 15077
14.503 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
14.503 * [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))))))
14.503 * * * * [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)))))>
14.503 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
14.504 * * [simplify]: iters left: 4 (9 enodes)
14.506 * * [simplify]: iters left: 3 (21 enodes)
14.510 * * [simplify]: iters left: 2 (27 enodes)
14.514 * * [simplify]: iters left: 1 (28 enodes)
14.519 * * [simplify]: Extracting #0: cost 1 inf + 0
14.519 * * [simplify]: Extracting #1: cost 3 inf + 0
14.519 * * [simplify]: Extracting #2: cost 8 inf + 1
14.519 * * [simplify]: Extracting #3: cost 6 inf + 45
14.519 * * [simplify]: Extracting #4: cost 7 inf + 45
14.520 * * [simplify]: Extracting #5: cost 1 inf + 1499
14.520 * * [simplify]: Extracting #6: cost 0 inf + 2343
14.520 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
14.520 * [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)))))
14.521 * * * * [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)))))>
14.521 * * * * [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)))))>
14.521 * * * * [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)))))>
14.521 * * * * [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)))))>
14.521 * * * * [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)))))>
14.521 * * * [progress]: adding candidates to table
14.873 * * [progress]: iteration 4 / 4
14.873 * * * [progress]: picking best candidate
15.151 * * * * [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)))))>
15.151 * * * [progress]: localizing error
15.524 * * * [progress]: generating rewritten candidates
15.524 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
15.530 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
15.590 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
15.596 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
15.618 * * * [progress]: generating series expansions
15.618 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
15.618 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
15.618 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
15.618 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
15.618 * * * [progress]: simplifying candidates
15.618 * * * * [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)))))>
15.618 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
15.618 * * [simplify]: iters left: 4 (11 enodes)
15.621 * * [simplify]: iters left: 3 (27 enodes)
15.626 * * [simplify]: iters left: 2 (47 enodes)
15.635 * * [simplify]: iters left: 1 (76 enodes)
15.647 * * [simplify]: Extracting #0: cost 1 inf + 0
15.647 * * [simplify]: Extracting #1: cost 16 inf + 0
15.647 * * [simplify]: Extracting #2: cost 17 inf + 2
15.647 * * [simplify]: Extracting #3: cost 13 inf + 89
15.647 * * [simplify]: Extracting #4: cost 9 inf + 298
15.648 * * [simplify]: Extracting #5: cost 1 inf + 2963
15.648 * * [simplify]: Extracting #6: cost 0 inf + 3367
15.649 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
15.649 * [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)))))
15.649 * * * * [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))))))>
15.649 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
15.649 * * [simplify]: iters left: 4 (8 enodes)
15.651 * * [simplify]: iters left: 3 (26 enodes)
15.656 * * [simplify]: iters left: 2 (53 enodes)
15.665 * * [simplify]: iters left: 1 (91 enodes)
15.683 * * [simplify]: Extracting #0: cost 1 inf + 0
15.683 * * [simplify]: Extracting #1: cost 24 inf + 0
15.683 * * [simplify]: Extracting #2: cost 31 inf + 0
15.683 * * [simplify]: Extracting #3: cost 26 inf + 366
15.684 * * [simplify]: Extracting #4: cost 9 inf + 8250
15.684 * * [simplify]: Extracting #5: cost 0 inf + 15077
15.685 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
15.685 * [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))))))
15.685 * * * * [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)))))>
15.686 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.686 * * [simplify]: iters left: 4 (9 enodes)
15.688 * * [simplify]: iters left: 3 (21 enodes)
15.691 * * [simplify]: iters left: 2 (27 enodes)
15.695 * * [simplify]: iters left: 1 (28 enodes)
15.700 * * [simplify]: Extracting #0: cost 1 inf + 0
15.700 * * [simplify]: Extracting #1: cost 3 inf + 0
15.700 * * [simplify]: Extracting #2: cost 8 inf + 1
15.700 * * [simplify]: Extracting #3: cost 6 inf + 45
15.700 * * [simplify]: Extracting #4: cost 7 inf + 45
15.700 * * [simplify]: Extracting #5: cost 1 inf + 1499
15.701 * * [simplify]: Extracting #6: cost 0 inf + 2343
15.701 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
15.701 * [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)))))
15.701 * * * * [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)))))>
15.701 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.701 * * [simplify]: iters left: 4 (9 enodes)
15.703 * * [simplify]: iters left: 3 (21 enodes)
15.707 * * [simplify]: iters left: 2 (27 enodes)
15.711 * * [simplify]: iters left: 1 (28 enodes)
15.719 * * [simplify]: Extracting #0: cost 1 inf + 0
15.719 * * [simplify]: Extracting #1: cost 3 inf + 0
15.719 * * [simplify]: Extracting #2: cost 8 inf + 1
15.719 * * [simplify]: Extracting #3: cost 6 inf + 45
15.719 * * [simplify]: Extracting #4: cost 7 inf + 45
15.719 * * [simplify]: Extracting #5: cost 1 inf + 1499
15.720 * * [simplify]: Extracting #6: cost 0 inf + 2343
15.720 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
15.720 * [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)))))
15.720 * * * * [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)))))>
15.721 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.721 * * [simplify]: iters left: 4 (9 enodes)
15.724 * * [simplify]: iters left: 3 (21 enodes)
15.728 * * [simplify]: iters left: 2 (27 enodes)
15.732 * * [simplify]: iters left: 1 (28 enodes)
15.736 * * [simplify]: Extracting #0: cost 1 inf + 0
15.736 * * [simplify]: Extracting #1: cost 3 inf + 0
15.736 * * [simplify]: Extracting #2: cost 8 inf + 1
15.736 * * [simplify]: Extracting #3: cost 6 inf + 45
15.736 * * [simplify]: Extracting #4: cost 7 inf + 45
15.736 * * [simplify]: Extracting #5: cost 1 inf + 1499
15.736 * * [simplify]: Extracting #6: cost 0 inf + 2343
15.737 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
15.737 * [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)))))
15.737 * * * * [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)))))>
15.737 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.737 * * [simplify]: iters left: 4 (9 enodes)
15.739 * * [simplify]: iters left: 3 (21 enodes)
15.743 * * [simplify]: iters left: 2 (27 enodes)
15.747 * * [simplify]: iters left: 1 (28 enodes)
15.751 * * [simplify]: Extracting #0: cost 1 inf + 0
15.751 * * [simplify]: Extracting #1: cost 3 inf + 0
15.751 * * [simplify]: Extracting #2: cost 8 inf + 1
15.751 * * [simplify]: Extracting #3: cost 6 inf + 45
15.751 * * [simplify]: Extracting #4: cost 7 inf + 45
15.751 * * [simplify]: Extracting #5: cost 1 inf + 1499
15.751 * * [simplify]: Extracting #6: cost 0 inf + 2343
15.752 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
15.752 * [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)))))
15.752 * * * [progress]: adding candidates to table
15.889 * [progress]: [Phase 3 of 3] Extracting.
15.889 * * [regime]: Finding splitpoints for: (#<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 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.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 (+.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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 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))))>)
15.898 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
15.898 * * * * [regimes]: Trying to branch on beta from (#<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 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.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 (+.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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 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))))>)
16.234 * * * * [regimes]: Trying to branch on alpha from (#<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 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.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 (+.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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 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))))>)
16.572 * * * * [regimes]: Trying to branch on i from (#<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 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.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 (+.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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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 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))))>)
16.958 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
16.959 * [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))))
16.959 * * [simplify]: iters left: 6 (22 enodes)
16.961 * * [simplify]: Extracting #0: cost 1 inf + 0
16.961 * * [simplify]: Extracting #1: cost 3 inf + 0
16.961 * * [simplify]: Extracting #2: cost 7 inf + 0
16.961 * * [simplify]: Extracting #3: cost 13 inf + 0
16.961 * * [simplify]: Extracting #4: cost 17 inf + 1
16.961 * * [simplify]: Extracting #5: cost 19 inf + 2
16.961 * * [simplify]: Extracting #6: cost 15 inf + 369
16.961 * * [simplify]: Extracting #7: cost 11 inf + 857
16.961 * * [simplify]: Extracting #8: cost 6 inf + 3716
16.962 * * [simplify]: Extracting #9: cost 1 inf + 10499
16.962 * * [simplify]: Extracting #10: cost 0 inf + 14264
16.962 * [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))))
16.963 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
16.996 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
17.001 * * * * [points]: Setting MPFR precision to 64
17.002 * * * * [points]: Setting MPFR precision to 320
17.003 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
17.007 * * * * [points]: Setting MPFR precision to 64
17.010 * * * * [points]: Setting MPFR precision to 320
17.012 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
17.017 * * * * [points]: Setting MPFR precision to 64
17.023 * * * * [points]: Setting MPFR precision to 320
17.030 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
17.039 * * * * [points]: Setting MPFR precision to 64
17.057 * * * * [points]: Setting MPFR precision to 320
17.074 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
17.107 * * * * [points]: Setting MPFR precision to 64
17.147 * * * * [points]: Setting MPFR precision to 320
17.180 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
17.189 * * * * [points]: Setting MPFR precision to 64
17.256 * * * * [points]: Setting MPFR precision to 320
17.342 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
17.351 * * * * [points]: Setting MPFR precision to 64
17.480 * * * * [points]: Setting MPFR precision to 320
17.588 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
17.593 * * * * [points]: Setting MPFR precision to 64
18.333 * * * * [points]: Setting MPFR precision to 320
18.708 * * * * [points]: Computing exacts for 8000 points
18.718 * * * * [points]: Setting MPFR precision to 64
19.798 * * * * [points]: Setting MPFR precision to 320
20.809 * * * * [points]: Filtering points with unrepresentable outputs
20.813 * * * * [points]: Sampling 6862 additional inputs, on iter 1 have 1138 / 8000
20.841 * * * * [points]: Computing exacts on every 428 of 6862 points to ramp up precision
20.846 * * * * [points]: Setting MPFR precision to 64
20.847 * * * * [points]: Setting MPFR precision to 320
20.848 * * * * [points]: Computing exacts on every 214 of 6862 points to ramp up precision
20.853 * * * * [points]: Setting MPFR precision to 64
20.855 * * * * [points]: Setting MPFR precision to 320
20.879 * * * * [points]: Computing exacts on every 107 of 6862 points to ramp up precision
20.883 * * * * [points]: Setting MPFR precision to 64
20.890 * * * * [points]: Setting MPFR precision to 320
20.895 * * * * [points]: Computing exacts on every 53 of 6862 points to ramp up precision
20.899 * * * * [points]: Setting MPFR precision to 64
20.908 * * * * [points]: Setting MPFR precision to 320
20.917 * * * * [points]: Computing exacts on every 26 of 6862 points to ramp up precision
20.922 * * * * [points]: Setting MPFR precision to 64
20.940 * * * * [points]: Setting MPFR precision to 320
20.958 * * * * [points]: Computing exacts on every 13 of 6862 points to ramp up precision
20.963 * * * * [points]: Setting MPFR precision to 64
21.350 * * * * [points]: Setting MPFR precision to 320
21.410 * * * * [points]: Computing exacts on every 6 of 6862 points to ramp up precision
21.415 * * * * [points]: Setting MPFR precision to 64
21.513 * * * * [points]: Setting MPFR precision to 320
21.587 * * * * [points]: Computing exacts on every 3 of 6862 points to ramp up precision
21.623 * * * * [points]: Setting MPFR precision to 64
21.790 * * * * [points]: Setting MPFR precision to 320
21.962 * * * * [points]: Computing exacts for 6862 points
21.971 * * * * [points]: Setting MPFR precision to 64
22.870 * * * * [points]: Setting MPFR precision to 320
23.819 * * * * [points]: Filtering points with unrepresentable outputs
23.822 * * * * [points]: Sampling 5921 additional inputs, on iter 2 have 2079 / 8000
24.288 * * * * [points]: Computing exacts on every 370 of 5921 points to ramp up precision
24.297 * * * * [points]: Setting MPFR precision to 64
24.299 * * * * [points]: Setting MPFR precision to 320
24.302 * * * * [points]: Computing exacts on every 185 of 5921 points to ramp up precision
24.311 * * * * [points]: Setting MPFR precision to 64
24.315 * * * * [points]: Setting MPFR precision to 320
24.320 * * * * [points]: Computing exacts on every 92 of 5921 points to ramp up precision
24.330 * * * * [points]: Setting MPFR precision to 64
24.339 * * * * [points]: Setting MPFR precision to 320
24.348 * * * * [points]: Computing exacts on every 46 of 5921 points to ramp up precision
24.357 * * * * [points]: Setting MPFR precision to 64
24.373 * * * * [points]: Setting MPFR precision to 320
24.390 * * * * [points]: Computing exacts on every 23 of 5921 points to ramp up precision
24.399 * * * * [points]: Setting MPFR precision to 64
24.433 * * * * [points]: Setting MPFR precision to 320
24.501 * * * * [points]: Computing exacts on every 11 of 5921 points to ramp up precision
24.510 * * * * [points]: Setting MPFR precision to 64
24.579 * * * * [points]: Setting MPFR precision to 320
24.649 * * * * [points]: Computing exacts on every 5 of 5921 points to ramp up precision
24.658 * * * * [points]: Setting MPFR precision to 64
24.842 * * * * [points]: Setting MPFR precision to 320
25.036 * * * * [points]: Computing exacts on every 2 of 5921 points to ramp up precision
25.045 * * * * [points]: Setting MPFR precision to 64
25.364 * * * * [points]: Setting MPFR precision to 320
25.607 * * * * [points]: Computing exacts for 5921 points
25.644 * * * * [points]: Setting MPFR precision to 64
26.367 * * * * [points]: Setting MPFR precision to 320
27.461 * * * * [points]: Filtering points with unrepresentable outputs
27.466 * * * * [points]: Sampling 5105 additional inputs, on iter 3 have 2895 / 8000
27.507 * * * * [points]: Computing exacts on every 319 of 5105 points to ramp up precision
27.516 * * * * [points]: Setting MPFR precision to 64
27.518 * * * * [points]: Setting MPFR precision to 320
27.520 * * * * [points]: Computing exacts on every 159 of 5105 points to ramp up precision
27.528 * * * * [points]: Setting MPFR precision to 64
27.531 * * * * [points]: Setting MPFR precision to 320
27.533 * * * * [points]: Computing exacts on every 79 of 5105 points to ramp up precision
27.541 * * * * [points]: Setting MPFR precision to 64
27.549 * * * * [points]: Setting MPFR precision to 320
27.557 * * * * [points]: Computing exacts on every 39 of 5105 points to ramp up precision
27.566 * * * * [points]: Setting MPFR precision to 64
27.583 * * * * [points]: Setting MPFR precision to 320
27.601 * * * * [points]: Computing exacts on every 19 of 5105 points to ramp up precision
27.635 * * * * [points]: Setting MPFR precision to 64
27.670 * * * * [points]: Setting MPFR precision to 320
27.701 * * * * [points]: Computing exacts on every 9 of 5105 points to ramp up precision
27.710 * * * * [points]: Setting MPFR precision to 64
27.780 * * * * [points]: Setting MPFR precision to 320
27.897 * * * * [points]: Computing exacts on every 4 of 5105 points to ramp up precision
27.905 * * * * [points]: Setting MPFR precision to 64
28.040 * * * * [points]: Setting MPFR precision to 320
28.201 * * * * [points]: Computing exacts on every 2 of 5105 points to ramp up precision
28.210 * * * * [points]: Setting MPFR precision to 64
28.439 * * * * [points]: Setting MPFR precision to 320
28.677 * * * * [points]: Computing exacts for 5105 points
28.714 * * * * [points]: Setting MPFR precision to 64
29.415 * * * * [points]: Setting MPFR precision to 320
30.267 * * * * [points]: Filtering points with unrepresentable outputs
30.276 * * * * [points]: Sampling 4400 additional inputs, on iter 4 have 3600 / 8000
30.309 * * * * [points]: Computing exacts on every 275 of 4400 points to ramp up precision
30.319 * * * * [points]: Setting MPFR precision to 64
30.322 * * * * [points]: Setting MPFR precision to 320
30.324 * * * * [points]: Computing exacts on every 137 of 4400 points to ramp up precision
30.334 * * * * [points]: Setting MPFR precision to 64
30.338 * * * * [points]: Setting MPFR precision to 320
30.342 * * * * [points]: Computing exacts on every 68 of 4400 points to ramp up precision
30.352 * * * * [points]: Setting MPFR precision to 64
30.360 * * * * [points]: Setting MPFR precision to 320
30.367 * * * * [points]: Computing exacts on every 34 of 4400 points to ramp up precision
30.376 * * * * [points]: Setting MPFR precision to 64
30.391 * * * * [points]: Setting MPFR precision to 320
30.406 * * * * [points]: Computing exacts on every 17 of 4400 points to ramp up precision
30.414 * * * * [points]: Setting MPFR precision to 64
30.473 * * * * [points]: Setting MPFR precision to 320
30.505 * * * * [points]: Computing exacts on every 8 of 4400 points to ramp up precision
30.514 * * * * [points]: Setting MPFR precision to 64
30.571 * * * * [points]: Setting MPFR precision to 320
30.628 * * * * [points]: Computing exacts on every 4 of 4400 points to ramp up precision
30.637 * * * * [points]: Setting MPFR precision to 64
31.142 * * * * [points]: Setting MPFR precision to 320
31.269 * * * * [points]: Computing exacts on every 2 of 4400 points to ramp up precision
31.273 * * * * [points]: Setting MPFR precision to 64
31.414 * * * * [points]: Setting MPFR precision to 320
31.564 * * * * [points]: Computing exacts for 4400 points
31.569 * * * * [points]: Setting MPFR precision to 64
32.150 * * * * [points]: Setting MPFR precision to 320
32.740 * * * * [points]: Filtering points with unrepresentable outputs
32.742 * * * * [points]: Sampling 3770 additional inputs, on iter 5 have 4230 / 8000
32.758 * * * * [points]: Computing exacts on every 235 of 3770 points to ramp up precision
32.763 * * * * [points]: Setting MPFR precision to 64
32.764 * * * * [points]: Setting MPFR precision to 320
32.765 * * * * [points]: Computing exacts on every 117 of 3770 points to ramp up precision
32.770 * * * * [points]: Setting MPFR precision to 64
32.772 * * * * [points]: Setting MPFR precision to 320
32.774 * * * * [points]: Computing exacts on every 58 of 3770 points to ramp up precision
32.779 * * * * [points]: Setting MPFR precision to 64
32.784 * * * * [points]: Setting MPFR precision to 320
32.788 * * * * [points]: Computing exacts on every 29 of 3770 points to ramp up precision
32.793 * * * * [points]: Setting MPFR precision to 64
32.802 * * * * [points]: Setting MPFR precision to 320
32.832 * * * * [points]: Computing exacts on every 14 of 3770 points to ramp up precision
32.838 * * * * [points]: Setting MPFR precision to 64
32.858 * * * * [points]: Setting MPFR precision to 320
32.876 * * * * [points]: Computing exacts on every 7 of 3770 points to ramp up precision
32.881 * * * * [points]: Setting MPFR precision to 64
32.936 * * * * [points]: Setting MPFR precision to 320
33.006 * * * * [points]: Computing exacts on every 3 of 3770 points to ramp up precision
33.010 * * * * [points]: Setting MPFR precision to 64
33.082 * * * * [points]: Setting MPFR precision to 320
33.181 * * * * [points]: Computing exacts for 3770 points
33.188 * * * * [points]: Setting MPFR precision to 64
34.155 * * * * [points]: Setting MPFR precision to 320
34.803 * * * * [points]: Filtering points with unrepresentable outputs
34.807 * * * * [points]: Sampling 3253 additional inputs, on iter 6 have 4747 / 8000
34.831 * * * * [points]: Computing exacts on every 203 of 3253 points to ramp up precision
34.841 * * * * [points]: Setting MPFR precision to 64
34.844 * * * * [points]: Setting MPFR precision to 320
34.846 * * * * [points]: Computing exacts on every 101 of 3253 points to ramp up precision
34.857 * * * * [points]: Setting MPFR precision to 64
34.897 * * * * [points]: Setting MPFR precision to 320
34.902 * * * * [points]: Computing exacts on every 50 of 3253 points to ramp up precision
34.914 * * * * [points]: Setting MPFR precision to 64
34.923 * * * * [points]: Setting MPFR precision to 320
34.933 * * * * [points]: Computing exacts on every 25 of 3253 points to ramp up precision
34.942 * * * * [points]: Setting MPFR precision to 64
34.960 * * * * [points]: Setting MPFR precision to 320
34.978 * * * * [points]: Computing exacts on every 12 of 3253 points to ramp up precision
34.987 * * * * [points]: Setting MPFR precision to 64
35.022 * * * * [points]: Setting MPFR precision to 320
35.058 * * * * [points]: Computing exacts on every 6 of 3253 points to ramp up precision
35.067 * * * * [points]: Setting MPFR precision to 64
35.172 * * * * [points]: Setting MPFR precision to 320
35.233 * * * * [points]: Computing exacts on every 3 of 3253 points to ramp up precision
35.242 * * * * [points]: Setting MPFR precision to 64
35.389 * * * * [points]: Setting MPFR precision to 320
35.490 * * * * [points]: Computing exacts for 3253 points
35.499 * * * * [points]: Setting MPFR precision to 64
35.888 * * * * [points]: Setting MPFR precision to 320
36.301 * * * * [points]: Filtering points with unrepresentable outputs
36.302 * * * * [points]: Sampling 2769 additional inputs, on iter 7 have 5231 / 8000
36.314 * * * * [points]: Computing exacts on every 173 of 2769 points to ramp up precision
36.319 * * * * [points]: Setting MPFR precision to 64
36.320 * * * * [points]: Setting MPFR precision to 320
36.321 * * * * [points]: Computing exacts on every 86 of 2769 points to ramp up precision
36.326 * * * * [points]: Setting MPFR precision to 64
36.328 * * * * [points]: Setting MPFR precision to 320
36.330 * * * * [points]: Computing exacts on every 43 of 2769 points to ramp up precision
36.334 * * * * [points]: Setting MPFR precision to 64
36.339 * * * * [points]: Setting MPFR precision to 320
36.344 * * * * [points]: Computing exacts on every 21 of 2769 points to ramp up precision
36.351 * * * * [points]: Setting MPFR precision to 64
36.365 * * * * [points]: Setting MPFR precision to 320
36.379 * * * * [points]: Computing exacts on every 10 of 2769 points to ramp up precision
36.386 * * * * [points]: Setting MPFR precision to 64
36.443 * * * * [points]: Setting MPFR precision to 320
36.472 * * * * [points]: Computing exacts on every 5 of 2769 points to ramp up precision
36.479 * * * * [points]: Setting MPFR precision to 64
36.529 * * * * [points]: Setting MPFR precision to 320
36.581 * * * * [points]: Computing exacts on every 2 of 2769 points to ramp up precision
36.624 * * * * [points]: Setting MPFR precision to 64
36.729 * * * * [points]: Setting MPFR precision to 320
36.874 * * * * [points]: Computing exacts for 2769 points
36.882 * * * * [points]: Setting MPFR precision to 64
37.558 * * * * [points]: Setting MPFR precision to 320
37.915 * * * * [points]: Filtering points with unrepresentable outputs
37.917 * * * * [points]: Sampling 2357 additional inputs, on iter 8 have 5643 / 8000
37.927 * * * * [points]: Computing exacts on every 147 of 2357 points to ramp up precision
37.931 * * * * [points]: Setting MPFR precision to 64
37.933 * * * * [points]: Setting MPFR precision to 320
37.934 * * * * [points]: Computing exacts on every 73 of 2357 points to ramp up precision
37.938 * * * * [points]: Setting MPFR precision to 64
37.941 * * * * [points]: Setting MPFR precision to 320
37.943 * * * * [points]: Computing exacts on every 36 of 2357 points to ramp up precision
37.947 * * * * [points]: Setting MPFR precision to 64
37.952 * * * * [points]: Setting MPFR precision to 320
37.958 * * * * [points]: Computing exacts on every 18 of 2357 points to ramp up precision
37.964 * * * * [points]: Setting MPFR precision to 64
37.972 * * * * [points]: Setting MPFR precision to 320
37.981 * * * * [points]: Computing exacts on every 9 of 2357 points to ramp up precision
37.986 * * * * [points]: Setting MPFR precision to 64
38.033 * * * * [points]: Setting MPFR precision to 320
38.056 * * * * [points]: Computing exacts on every 4 of 2357 points to ramp up precision
38.064 * * * * [points]: Setting MPFR precision to 64
38.101 * * * * [points]: Setting MPFR precision to 320
38.152 * * * * [points]: Computing exacts on every 2 of 2357 points to ramp up precision
38.160 * * * * [points]: Setting MPFR precision to 64
38.263 * * * * [points]: Setting MPFR precision to 320
38.354 * * * * [points]: Computing exacts for 2357 points
38.359 * * * * [points]: Setting MPFR precision to 64
38.576 * * * * [points]: Setting MPFR precision to 320
38.890 * * * * [points]: Filtering points with unrepresentable outputs
38.891 * * * * [points]: Sampling 2022 additional inputs, on iter 9 have 5978 / 8000
38.899 * * * * [points]: Computing exacts on every 126 of 2022 points to ramp up precision
38.904 * * * * [points]: Setting MPFR precision to 64
38.905 * * * * [points]: Setting MPFR precision to 320
38.906 * * * * [points]: Computing exacts on every 63 of 2022 points to ramp up precision
38.911 * * * * [points]: Setting MPFR precision to 64
38.914 * * * * [points]: Setting MPFR precision to 320
38.918 * * * * [points]: Computing exacts on every 31 of 2022 points to ramp up precision
38.926 * * * * [points]: Setting MPFR precision to 64
38.935 * * * * [points]: Setting MPFR precision to 320
38.942 * * * * [points]: Computing exacts on every 15 of 2022 points to ramp up precision
38.951 * * * * [points]: Setting MPFR precision to 64
38.966 * * * * [points]: Setting MPFR precision to 320
38.975 * * * * [points]: Computing exacts on every 7 of 2022 points to ramp up precision
39.000 * * * * [points]: Setting MPFR precision to 64
39.020 * * * * [points]: Setting MPFR precision to 320
39.052 * * * * [points]: Computing exacts on every 3 of 2022 points to ramp up precision
39.062 * * * * [points]: Setting MPFR precision to 64
39.118 * * * * [points]: Setting MPFR precision to 320
39.181 * * * * [points]: Computing exacts for 2022 points
39.185 * * * * [points]: Setting MPFR precision to 64
39.384 * * * * [points]: Setting MPFR precision to 320
39.554 * * * * [points]: Filtering points with unrepresentable outputs
39.555 * * * * [points]: Sampling 1746 additional inputs, on iter 10 have 6254 / 8000
39.563 * * * * [points]: Computing exacts on every 109 of 1746 points to ramp up precision
39.596 * * * * [points]: Setting MPFR precision to 64
39.598 * * * * [points]: Setting MPFR precision to 320
39.599 * * * * [points]: Computing exacts on every 54 of 1746 points to ramp up precision
39.603 * * * * [points]: Setting MPFR precision to 64
39.607 * * * * [points]: Setting MPFR precision to 320
39.609 * * * * [points]: Computing exacts on every 27 of 1746 points to ramp up precision
39.614 * * * * [points]: Setting MPFR precision to 64
39.618 * * * * [points]: Setting MPFR precision to 320
39.624 * * * * [points]: Computing exacts on every 13 of 1746 points to ramp up precision
39.629 * * * * [points]: Setting MPFR precision to 64
39.637 * * * * [points]: Setting MPFR precision to 320
39.646 * * * * [points]: Computing exacts on every 6 of 1746 points to ramp up precision
39.651 * * * * [points]: Setting MPFR precision to 64
39.669 * * * * [points]: Setting MPFR precision to 320
39.687 * * * * [points]: Computing exacts on every 3 of 1746 points to ramp up precision
39.713 * * * * [points]: Setting MPFR precision to 64
39.745 * * * * [points]: Setting MPFR precision to 320
39.783 * * * * [points]: Computing exacts for 1746 points
39.792 * * * * [points]: Setting MPFR precision to 64
40.010 * * * * [points]: Setting MPFR precision to 320
40.615 * * * * [points]: Filtering points with unrepresentable outputs
40.616 * * * * [points]: Sampling 1510 additional inputs, on iter 11 have 6490 / 8000
40.625 * * * * [points]: Computing exacts on every 94 of 1510 points to ramp up precision
40.630 * * * * [points]: Setting MPFR precision to 64
40.631 * * * * [points]: Setting MPFR precision to 320
40.633 * * * * [points]: Computing exacts on every 47 of 1510 points to ramp up precision
40.639 * * * * [points]: Setting MPFR precision to 64
40.644 * * * * [points]: Setting MPFR precision to 320
40.648 * * * * [points]: Computing exacts on every 23 of 1510 points to ramp up precision
40.657 * * * * [points]: Setting MPFR precision to 64
40.666 * * * * [points]: Setting MPFR precision to 320
40.675 * * * * [points]: Computing exacts on every 11 of 1510 points to ramp up precision
40.684 * * * * [points]: Setting MPFR precision to 64
40.702 * * * * [points]: Setting MPFR precision to 320
40.719 * * * * [points]: Computing exacts on every 5 of 1510 points to ramp up precision
40.728 * * * * [points]: Setting MPFR precision to 64
40.762 * * * * [points]: Setting MPFR precision to 320
40.816 * * * * [points]: Computing exacts on every 2 of 1510 points to ramp up precision
40.825 * * * * [points]: Setting MPFR precision to 64
40.868 * * * * [points]: Setting MPFR precision to 320
40.911 * * * * [points]: Computing exacts for 1510 points
40.921 * * * * [points]: Setting MPFR precision to 64
41.104 * * * * [points]: Setting MPFR precision to 320
41.326 * * * * [points]: Filtering points with unrepresentable outputs
41.327 * * * * [points]: Sampling 1303 additional inputs, on iter 12 have 6697 / 8000
41.333 * * * * [points]: Computing exacts on every 81 of 1303 points to ramp up precision
41.341 * * * * [points]: Setting MPFR precision to 64
41.343 * * * * [points]: Setting MPFR precision to 320
41.344 * * * * [points]: Computing exacts on every 40 of 1303 points to ramp up precision
41.348 * * * * [points]: Setting MPFR precision to 64
41.351 * * * * [points]: Setting MPFR precision to 320
41.353 * * * * [points]: Computing exacts on every 20 of 1303 points to ramp up precision
41.358 * * * * [points]: Setting MPFR precision to 64
41.362 * * * * [points]: Setting MPFR precision to 320
41.367 * * * * [points]: Computing exacts on every 10 of 1303 points to ramp up precision
41.372 * * * * [points]: Setting MPFR precision to 64
41.386 * * * * [points]: Setting MPFR precision to 320
41.400 * * * * [points]: Computing exacts on every 5 of 1303 points to ramp up precision
41.408 * * * * [points]: Setting MPFR precision to 64
41.433 * * * * [points]: Setting MPFR precision to 320
41.497 * * * * [points]: Computing exacts on every 2 of 1303 points to ramp up precision
41.509 * * * * [points]: Setting MPFR precision to 64
41.569 * * * * [points]: Setting MPFR precision to 320
41.629 * * * * [points]: Computing exacts for 1303 points
41.639 * * * * [points]: Setting MPFR precision to 64
41.842 * * * * [points]: Setting MPFR precision to 320
41.994 * * * * [points]: Filtering points with unrepresentable outputs
41.994 * * * * [points]: Sampling 1137 additional inputs, on iter 13 have 6863 / 8000
41.999 * * * * [points]: Computing exacts on every 71 of 1137 points to ramp up precision
42.004 * * * * [points]: Setting MPFR precision to 64
42.005 * * * * [points]: Setting MPFR precision to 320
42.007 * * * * [points]: Computing exacts on every 35 of 1137 points to ramp up precision
42.011 * * * * [points]: Setting MPFR precision to 64
42.013 * * * * [points]: Setting MPFR precision to 320
42.016 * * * * [points]: Computing exacts on every 17 of 1137 points to ramp up precision
42.021 * * * * [points]: Setting MPFR precision to 64
42.029 * * * * [points]: Setting MPFR precision to 320
42.037 * * * * [points]: Computing exacts on every 8 of 1137 points to ramp up precision
42.042 * * * * [points]: Setting MPFR precision to 64
42.085 * * * * [points]: Setting MPFR precision to 320
42.101 * * * * [points]: Computing exacts on every 4 of 1137 points to ramp up precision
42.109 * * * * [points]: Setting MPFR precision to 64
42.138 * * * * [points]: Setting MPFR precision to 320
42.166 * * * * [points]: Computing exacts on every 2 of 1137 points to ramp up precision
42.174 * * * * [points]: Setting MPFR precision to 64
42.215 * * * * [points]: Setting MPFR precision to 320
42.298 * * * * [points]: Computing exacts for 1137 points
42.306 * * * * [points]: Setting MPFR precision to 64
42.442 * * * * [points]: Setting MPFR precision to 320
42.598 * * * * [points]: Filtering points with unrepresentable outputs
42.598 * * * * [points]: Sampling 956 additional inputs, on iter 14 have 7044 / 8000
42.603 * * * * [points]: Computing exacts on every 59 of 956 points to ramp up precision
42.607 * * * * [points]: Setting MPFR precision to 64
42.609 * * * * [points]: Setting MPFR precision to 320
42.610 * * * * [points]: Computing exacts on every 29 of 956 points to ramp up precision
42.615 * * * * [points]: Setting MPFR precision to 64
42.619 * * * * [points]: Setting MPFR precision to 320
42.623 * * * * [points]: Computing exacts on every 14 of 956 points to ramp up precision
42.677 * * * * [points]: Setting MPFR precision to 64
42.689 * * * * [points]: Setting MPFR precision to 320
42.698 * * * * [points]: Computing exacts on every 7 of 956 points to ramp up precision
42.707 * * * * [points]: Setting MPFR precision to 64
42.724 * * * * [points]: Setting MPFR precision to 320
42.740 * * * * [points]: Computing exacts on every 3 of 956 points to ramp up precision
42.749 * * * * [points]: Setting MPFR precision to 64
42.782 * * * * [points]: Setting MPFR precision to 320
42.814 * * * * [points]: Computing exacts for 956 points
42.824 * * * * [points]: Setting MPFR precision to 64
42.972 * * * * [points]: Setting MPFR precision to 320
43.080 * * * * [points]: Filtering points with unrepresentable outputs
43.080 * * * * [points]: Sampling 842 additional inputs, on iter 15 have 7158 / 8000
43.088 * * * * [points]: Computing exacts on every 52 of 842 points to ramp up precision
43.098 * * * * [points]: Setting MPFR precision to 64
43.101 * * * * [points]: Setting MPFR precision to 320
43.103 * * * * [points]: Computing exacts on every 26 of 842 points to ramp up precision
43.109 * * * * [points]: Setting MPFR precision to 64
43.112 * * * * [points]: Setting MPFR precision to 320
43.114 * * * * [points]: Computing exacts on every 13 of 842 points to ramp up precision
43.119 * * * * [points]: Setting MPFR precision to 64
43.123 * * * * [points]: Setting MPFR precision to 320
43.128 * * * * [points]: Computing exacts on every 6 of 842 points to ramp up precision
43.132 * * * * [points]: Setting MPFR precision to 64
43.143 * * * * [points]: Setting MPFR precision to 320
43.152 * * * * [points]: Computing exacts on every 3 of 842 points to ramp up precision
43.156 * * * * [points]: Setting MPFR precision to 64
43.171 * * * * [points]: Setting MPFR precision to 320
43.218 * * * * [points]: Computing exacts for 842 points
43.226 * * * * [points]: Setting MPFR precision to 64
43.310 * * * * [points]: Setting MPFR precision to 320
43.432 * * * * [points]: Filtering points with unrepresentable outputs
43.432 * * * * [points]: Sampling 720 additional inputs, on iter 16 have 7280 / 8000
43.435 * * * * [points]: Computing exacts on every 45 of 720 points to ramp up precision
43.440 * * * * [points]: Setting MPFR precision to 64
43.442 * * * * [points]: Setting MPFR precision to 320
43.443 * * * * [points]: Computing exacts on every 22 of 720 points to ramp up precision
43.448 * * * * [points]: Setting MPFR precision to 64
43.451 * * * * [points]: Setting MPFR precision to 320
43.453 * * * * [points]: Computing exacts on every 11 of 720 points to ramp up precision
43.458 * * * * [points]: Setting MPFR precision to 64
43.464 * * * * [points]: Setting MPFR precision to 320
43.468 * * * * [points]: Computing exacts on every 5 of 720 points to ramp up precision
43.472 * * * * [points]: Setting MPFR precision to 64
43.481 * * * * [points]: Setting MPFR precision to 320
43.490 * * * * [points]: Computing exacts on every 2 of 720 points to ramp up precision
43.494 * * * * [points]: Setting MPFR precision to 64
43.810 * * * * [points]: Setting MPFR precision to 320
43.827 * * * * [points]: Computing exacts for 720 points
43.832 * * * * [points]: Setting MPFR precision to 64
43.882 * * * * [points]: Setting MPFR precision to 320
43.967 * * * * [points]: Filtering points with unrepresentable outputs
43.968 * * * * [points]: Sampling 625 additional inputs, on iter 17 have 7375 / 8000
43.970 * * * * [points]: Computing exacts on every 39 of 625 points to ramp up precision
43.975 * * * * [points]: Setting MPFR precision to 64
43.976 * * * * [points]: Setting MPFR precision to 320
43.978 * * * * [points]: Computing exacts on every 19 of 625 points to ramp up precision
43.982 * * * * [points]: Setting MPFR precision to 64
43.984 * * * * [points]: Setting MPFR precision to 320
43.987 * * * * [points]: Computing exacts on every 9 of 625 points to ramp up precision
43.991 * * * * [points]: Setting MPFR precision to 64
43.996 * * * * [points]: Setting MPFR precision to 320
44.000 * * * * [points]: Computing exacts on every 4 of 625 points to ramp up precision
44.004 * * * * [points]: Setting MPFR precision to 64
44.014 * * * * [points]: Setting MPFR precision to 320
44.023 * * * * [points]: Computing exacts on every 2 of 625 points to ramp up precision
44.061 * * * * [points]: Setting MPFR precision to 64
44.079 * * * * [points]: Setting MPFR precision to 320
44.095 * * * * [points]: Computing exacts for 625 points
44.099 * * * * [points]: Setting MPFR precision to 64
44.143 * * * * [points]: Setting MPFR precision to 320
44.220 * * * * [points]: Filtering points with unrepresentable outputs
44.221 * * * * [points]: Sampling 539 additional inputs, on iter 18 have 7461 / 8000
44.223 * * * * [points]: Computing exacts on every 33 of 539 points to ramp up precision
44.227 * * * * [points]: Setting MPFR precision to 64
44.229 * * * * [points]: Setting MPFR precision to 320
44.230 * * * * [points]: Computing exacts on every 16 of 539 points to ramp up precision
44.234 * * * * [points]: Setting MPFR precision to 64
44.236 * * * * [points]: Setting MPFR precision to 320
44.239 * * * * [points]: Computing exacts on every 8 of 539 points to ramp up precision
44.243 * * * * [points]: Setting MPFR precision to 64
44.247 * * * * [points]: Setting MPFR precision to 320
44.252 * * * * [points]: Computing exacts on every 4 of 539 points to ramp up precision
44.256 * * * * [points]: Setting MPFR precision to 64
44.264 * * * * [points]: Setting MPFR precision to 320
44.271 * * * * [points]: Computing exacts on every 2 of 539 points to ramp up precision
44.276 * * * * [points]: Setting MPFR precision to 64
44.319 * * * * [points]: Setting MPFR precision to 320
44.332 * * * * [points]: Computing exacts for 539 points
44.337 * * * * [points]: Setting MPFR precision to 64
44.374 * * * * [points]: Setting MPFR precision to 320
44.412 * * * * [points]: Filtering points with unrepresentable outputs
44.412 * * * * [points]: Sampling 463 additional inputs, on iter 19 have 7537 / 8000
44.414 * * * * [points]: Computing exacts on every 28 of 463 points to ramp up precision
44.449 * * * * [points]: Setting MPFR precision to 64
44.450 * * * * [points]: Setting MPFR precision to 320
44.451 * * * * [points]: Computing exacts on every 14 of 463 points to ramp up precision
44.458 * * * * [points]: Setting MPFR precision to 64
44.460 * * * * [points]: Setting MPFR precision to 320
44.462 * * * * [points]: Computing exacts on every 7 of 463 points to ramp up precision
44.467 * * * * [points]: Setting MPFR precision to 64
44.471 * * * * [points]: Setting MPFR precision to 320
44.475 * * * * [points]: Computing exacts on every 3 of 463 points to ramp up precision
44.480 * * * * [points]: Setting MPFR precision to 64
44.488 * * * * [points]: Setting MPFR precision to 320
44.496 * * * * [points]: Computing exacts for 463 points
44.501 * * * * [points]: Setting MPFR precision to 64
44.533 * * * * [points]: Setting MPFR precision to 320
44.597 * * * * [points]: Filtering points with unrepresentable outputs
44.598 * * * * [points]: Sampling 393 additional inputs, on iter 20 have 7607 / 8000
44.599 * * * * [points]: Computing exacts on every 24 of 393 points to ramp up precision
44.609 * * * * [points]: Setting MPFR precision to 64
44.611 * * * * [points]: Setting MPFR precision to 320
44.614 * * * * [points]: Computing exacts on every 12 of 393 points to ramp up precision
44.623 * * * * [points]: Setting MPFR precision to 64
44.626 * * * * [points]: Setting MPFR precision to 320
44.628 * * * * [points]: Computing exacts on every 6 of 393 points to ramp up precision
44.633 * * * * [points]: Setting MPFR precision to 64
44.637 * * * * [points]: Setting MPFR precision to 320
44.641 * * * * [points]: Computing exacts on every 3 of 393 points to ramp up precision
44.646 * * * * [points]: Setting MPFR precision to 64
44.653 * * * * [points]: Setting MPFR precision to 320
44.660 * * * * [points]: Computing exacts for 393 points
44.664 * * * * [points]: Setting MPFR precision to 64
44.722 * * * * [points]: Setting MPFR precision to 320
44.755 * * * * [points]: Filtering points with unrepresentable outputs
44.756 * * * * [points]: Sampling 333 additional inputs, on iter 21 have 7667 / 8000
44.757 * * * * [points]: Computing exacts on every 20 of 333 points to ramp up precision
44.762 * * * * [points]: Setting MPFR precision to 64
44.763 * * * * [points]: Setting MPFR precision to 320
44.764 * * * * [points]: Computing exacts on every 10 of 333 points to ramp up precision
44.769 * * * * [points]: Setting MPFR precision to 64
44.772 * * * * [points]: Setting MPFR precision to 320
44.774 * * * * [points]: Computing exacts on every 5 of 333 points to ramp up precision
44.780 * * * * [points]: Setting MPFR precision to 64
44.784 * * * * [points]: Setting MPFR precision to 320
44.790 * * * * [points]: Computing exacts on every 2 of 333 points to ramp up precision
44.800 * * * * [points]: Setting MPFR precision to 64
44.814 * * * * [points]: Setting MPFR precision to 320
44.851 * * * * [points]: Computing exacts for 333 points
44.861 * * * * [points]: Setting MPFR precision to 64
44.905 * * * * [points]: Setting MPFR precision to 320
44.949 * * * * [points]: Filtering points with unrepresentable outputs
44.949 * * * * [points]: Sampling 288 additional inputs, on iter 22 have 7712 / 8000
44.950 * * * * [points]: Computing exacts on every 18 of 288 points to ramp up precision
44.955 * * * * [points]: Setting MPFR precision to 64
44.956 * * * * [points]: Setting MPFR precision to 320
44.957 * * * * [points]: Computing exacts on every 9 of 288 points to ramp up precision
44.962 * * * * [points]: Setting MPFR precision to 64
44.965 * * * * [points]: Setting MPFR precision to 320
44.967 * * * * [points]: Computing exacts on every 4 of 288 points to ramp up precision
44.972 * * * * [points]: Setting MPFR precision to 64
44.976 * * * * [points]: Setting MPFR precision to 320
44.981 * * * * [points]: Computing exacts on every 2 of 288 points to ramp up precision
45.016 * * * * [points]: Setting MPFR precision to 64
45.025 * * * * [points]: Setting MPFR precision to 320
45.032 * * * * [points]: Computing exacts for 288 points
45.037 * * * * [points]: Setting MPFR precision to 64
45.057 * * * * [points]: Setting MPFR precision to 320
45.083 * * * * [points]: Filtering points with unrepresentable outputs
45.084 * * * * [points]: Sampling 256 additional inputs, on iter 23 have 7744 / 8000
45.086 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
45.095 * * * * [points]: Setting MPFR precision to 64
45.097 * * * * [points]: Setting MPFR precision to 320
45.099 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
45.108 * * * * [points]: Setting MPFR precision to 64
45.112 * * * * [points]: Setting MPFR precision to 320
45.116 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
45.125 * * * * [points]: Setting MPFR precision to 64
45.132 * * * * [points]: Setting MPFR precision to 320
45.173 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
45.182 * * * * [points]: Setting MPFR precision to 64
45.201 * * * * [points]: Setting MPFR precision to 320
45.214 * * * * [points]: Computing exacts for 256 points
45.223 * * * * [points]: Setting MPFR precision to 64
45.258 * * * * [points]: Setting MPFR precision to 320
45.292 * * * * [points]: Filtering points with unrepresentable outputs
45.293 * * * * [points]: Sampling 224 additional inputs, on iter 24 have 7776 / 8000
45.294 * * * * [points]: Computing exacts on every 14 of 224 points to ramp up precision
45.304 * * * * [points]: Setting MPFR precision to 64
45.306 * * * * [points]: Setting MPFR precision to 320
45.308 * * * * [points]: Computing exacts on every 7 of 224 points to ramp up precision
45.317 * * * * [points]: Setting MPFR precision to 64
45.321 * * * * [points]: Setting MPFR precision to 320
45.325 * * * * [points]: Computing exacts on every 3 of 224 points to ramp up precision
45.335 * * * * [points]: Setting MPFR precision to 64
45.343 * * * * [points]: Setting MPFR precision to 320
45.347 * * * * [points]: Computing exacts for 224 points
45.375 * * * * [points]: Setting MPFR precision to 64
45.392 * * * * [points]: Setting MPFR precision to 320
45.410 * * * * [points]: Filtering points with unrepresentable outputs
45.410 * * * * [points]: Sampling 191 additional inputs, on iter 25 have 7809 / 8000
45.412 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision
45.422 * * * * [points]: Setting MPFR precision to 64
45.425 * * * * [points]: Setting MPFR precision to 320
45.427 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision
45.436 * * * * [points]: Setting MPFR precision to 64
45.441 * * * * [points]: Setting MPFR precision to 320
45.445 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision
45.455 * * * * [points]: Setting MPFR precision to 64
45.463 * * * * [points]: Setting MPFR precision to 320
45.471 * * * * [points]: Computing exacts for 191 points
45.480 * * * * [points]: Setting MPFR precision to 64
45.493 * * * * [points]: Setting MPFR precision to 320
45.528 * * * * [points]: Filtering points with unrepresentable outputs
45.528 * * * * [points]: Sampling 164 additional inputs, on iter 26 have 7836 / 8000
45.529 * * * * [points]: Computing exacts on every 10 of 164 points to ramp up precision
45.535 * * * * [points]: Setting MPFR precision to 64
45.536 * * * * [points]: Setting MPFR precision to 320
45.538 * * * * [points]: Computing exacts on every 5 of 164 points to ramp up precision
45.542 * * * * [points]: Setting MPFR precision to 64
45.544 * * * * [points]: Setting MPFR precision to 320
45.546 * * * * [points]: Computing exacts on every 2 of 164 points to ramp up precision
45.551 * * * * [points]: Setting MPFR precision to 64
45.555 * * * * [points]: Setting MPFR precision to 320
45.559 * * * * [points]: Computing exacts for 164 points
45.564 * * * * [points]: Setting MPFR precision to 64
45.578 * * * * [points]: Setting MPFR precision to 320
45.591 * * * * [points]: Filtering points with unrepresentable outputs
45.591 * * * * [points]: Sampling 141 additional inputs, on iter 27 have 7859 / 8000
45.592 * * * * [points]: Computing exacts on every 8 of 141 points to ramp up precision
45.601 * * * * [points]: Setting MPFR precision to 64
45.603 * * * * [points]: Setting MPFR precision to 320
45.605 * * * * [points]: Computing exacts on every 4 of 141 points to ramp up precision
45.614 * * * * [points]: Setting MPFR precision to 64
45.618 * * * * [points]: Setting MPFR precision to 320
45.622 * * * * [points]: Computing exacts on every 2 of 141 points to ramp up precision
45.660 * * * * [points]: Setting MPFR precision to 64
45.669 * * * * [points]: Setting MPFR precision to 320
45.675 * * * * [points]: Computing exacts for 141 points
45.681 * * * * [points]: Setting MPFR precision to 64
45.691 * * * * [points]: Setting MPFR precision to 320
45.700 * * * * [points]: Filtering points with unrepresentable outputs
45.700 * * * * [points]: Sampling 114 additional inputs, on iter 28 have 7886 / 8000
45.701 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
45.705 * * * * [points]: Setting MPFR precision to 64
45.707 * * * * [points]: Setting MPFR precision to 320
45.708 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
45.712 * * * * [points]: Setting MPFR precision to 64
45.714 * * * * [points]: Setting MPFR precision to 320
45.716 * * * * [points]: Computing exacts for 114 points
45.721 * * * * [points]: Setting MPFR precision to 64
45.729 * * * * [points]: Setting MPFR precision to 320
45.738 * * * * [points]: Filtering points with unrepresentable outputs
45.739 * * * * [points]: Sampling 95 additional inputs, on iter 29 have 7905 / 8000
45.739 * * * * [points]: Computing exacts on every 5 of 95 points to ramp up precision
45.744 * * * * [points]: Setting MPFR precision to 64
45.745 * * * * [points]: Setting MPFR precision to 320
45.746 * * * * [points]: Computing exacts on every 2 of 95 points to ramp up precision
45.753 * * * * [points]: Setting MPFR precision to 64
45.783 * * * * [points]: Setting MPFR precision to 320
45.788 * * * * [points]: Computing exacts for 95 points
45.799 * * * * [points]: Setting MPFR precision to 64
45.812 * * * * [points]: Setting MPFR precision to 320
45.825 * * * * [points]: Filtering points with unrepresentable outputs
45.825 * * * * [points]: Sampling 80 additional inputs, on iter 30 have 7920 / 8000
45.825 * * * * [points]: Computing exacts on every 5 of 80 points to ramp up precision
45.833 * * * * [points]: Setting MPFR precision to 64
45.834 * * * * [points]: Setting MPFR precision to 320
45.835 * * * * [points]: Computing exacts on every 2 of 80 points to ramp up precision
45.839 * * * * [points]: Setting MPFR precision to 64
45.841 * * * * [points]: Setting MPFR precision to 320
45.843 * * * * [points]: Computing exacts for 80 points
45.848 * * * * [points]: Setting MPFR precision to 64
45.854 * * * * [points]: Setting MPFR precision to 320
45.861 * * * * [points]: Filtering points with unrepresentable outputs
45.861 * * * * [points]: Sampling 66 additional inputs, on iter 31 have 7934 / 8000
45.861 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
45.866 * * * * [points]: Setting MPFR precision to 64
45.867 * * * * [points]: Setting MPFR precision to 320
45.868 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
45.873 * * * * [points]: Setting MPFR precision to 64
45.875 * * * * [points]: Setting MPFR precision to 320
45.877 * * * * [points]: Computing exacts for 66 points
45.881 * * * * [points]: Setting MPFR precision to 64
45.886 * * * * [points]: Setting MPFR precision to 320
45.891 * * * * [points]: Filtering points with unrepresentable outputs
45.891 * * * * [points]: Sampling 62 additional inputs, on iter 32 have 7938 / 8000
45.891 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
45.913 * * * * [points]: Setting MPFR precision to 64
45.914 * * * * [points]: Setting MPFR precision to 320
45.915 * * * * [points]: Computing exacts for 62 points
45.921 * * * * [points]: Setting MPFR precision to 64
45.927 * * * * [points]: Setting MPFR precision to 320
45.931 * * * * [points]: Filtering points with unrepresentable outputs
45.931 * * * * [points]: Sampling 53 additional inputs, on iter 33 have 7947 / 8000
45.931 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
45.936 * * * * [points]: Setting MPFR precision to 64
45.937 * * * * [points]: Setting MPFR precision to 320
45.938 * * * * [points]: Computing exacts for 53 points
45.942 * * * * [points]: Setting MPFR precision to 64
45.946 * * * * [points]: Setting MPFR precision to 320
45.950 * * * * [points]: Filtering points with unrepresentable outputs
45.950 * * * * [points]: Sampling 49 additional inputs, on iter 34 have 7951 / 8000
45.950 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
45.958 * * * * [points]: Setting MPFR precision to 64
45.960 * * * * [points]: Setting MPFR precision to 320
45.962 * * * * [points]: Computing exacts for 49 points
45.971 * * * * [points]: Setting MPFR precision to 64
45.977 * * * * [points]: Setting MPFR precision to 320
45.984 * * * * [points]: Filtering points with unrepresentable outputs
45.984 * * * * [points]: Sampling 46 additional inputs, on iter 35 have 7954 / 8000
45.984 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
45.993 * * * * [points]: Setting MPFR precision to 64
45.995 * * * * [points]: Setting MPFR precision to 320
45.998 * * * * [points]: Computing exacts for 46 points
46.006 * * * * [points]: Setting MPFR precision to 64
46.013 * * * * [points]: Setting MPFR precision to 320
46.019 * * * * [points]: Filtering points with unrepresentable outputs
46.020 * * * * [points]: Sampling 42 additional inputs, on iter 36 have 7958 / 8000
46.020 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
46.050 * * * * [points]: Setting MPFR precision to 64
46.052 * * * * [points]: Setting MPFR precision to 320
46.053 * * * * [points]: Computing exacts for 42 points
46.057 * * * * [points]: Setting MPFR precision to 64
46.062 * * * * [points]: Setting MPFR precision to 320
46.065 * * * * [points]: Filtering points with unrepresentable outputs
46.065 * * * * [points]: Sampling 36 additional inputs, on iter 37 have 7964 / 8000
46.065 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
46.070 * * * * [points]: Setting MPFR precision to 64
46.071 * * * * [points]: Setting MPFR precision to 320
46.072 * * * * [points]: Computing exacts for 36 points
46.076 * * * * [points]: Setting MPFR precision to 64
46.079 * * * * [points]: Setting MPFR precision to 320
46.082 * * * * [points]: Filtering points with unrepresentable outputs
46.082 * * * * [points]: Sampling 30 additional inputs, on iter 38 have 7970 / 8000
46.082 * * * * [points]: Computing exacts for 30 points
46.087 * * * * [points]: Setting MPFR precision to 64
46.089 * * * * [points]: Setting MPFR precision to 320
46.091 * * * * [points]: Filtering points with unrepresentable outputs
46.091 * * * * [points]: Sampling 25 additional inputs, on iter 39 have 7975 / 8000
46.091 * * * * [points]: Computing exacts for 25 points
46.096 * * * * [points]: Setting MPFR precision to 64
46.099 * * * * [points]: Setting MPFR precision to 320
46.101 * * * * [points]: Filtering points with unrepresentable outputs
46.101 * * * * [points]: Sampling 22 additional inputs, on iter 40 have 7978 / 8000
46.101 * * * * [points]: Computing exacts for 22 points
46.106 * * * * [points]: Setting MPFR precision to 64
46.108 * * * * [points]: Setting MPFR precision to 320
46.109 * * * * [points]: Filtering points with unrepresentable outputs
46.109 * * * * [points]: Sampling 18 additional inputs, on iter 41 have 7982 / 8000
46.109 * * * * [points]: Computing exacts for 18 points
46.114 * * * * [points]: Setting MPFR precision to 64
46.115 * * * * [points]: Setting MPFR precision to 320
46.117 * * * * [points]: Filtering points with unrepresentable outputs
46.117 * * * * [points]: Sampling 16 additional inputs, on iter 42 have 7984 / 8000
46.117 * * * * [points]: Computing exacts for 16 points
46.121 * * * * [points]: Setting MPFR precision to 64
46.123 * * * * [points]: Setting MPFR precision to 320
46.124 * * * * [points]: Filtering points with unrepresentable outputs
46.124 * * * * [points]: Sampling 12 additional inputs, on iter 43 have 7988 / 8000
46.124 * * * * [points]: Computing exacts for 12 points
46.141 * * * * [points]: Setting MPFR precision to 64
46.142 * * * * [points]: Setting MPFR precision to 320
46.143 * * * * [points]: Filtering points with unrepresentable outputs
46.143 * * * * [points]: Sampling 7 additional inputs, on iter 44 have 7993 / 8000
46.143 * * * * [points]: Computing exacts for 7 points
46.147 * * * * [points]: Setting MPFR precision to 64
46.148 * * * * [points]: Setting MPFR precision to 320
46.149 * * * * [points]: Filtering points with unrepresentable outputs
46.149 * * * * [points]: Sampling 5 additional inputs, on iter 45 have 7995 / 8000
46.149 * * * * [points]: Computing exacts for 5 points
46.155 * * * * [points]: Setting MPFR precision to 64
46.155 * * * * [points]: Setting MPFR precision to 320
46.156 * * * * [points]: Filtering points with unrepresentable outputs
46.156 * * * * [points]: Sampling 5 additional inputs, on iter 46 have 7995 / 8000
46.156 * * * * [points]: Computing exacts for 5 points
46.160 * * * * [points]: Setting MPFR precision to 64
46.161 * * * * [points]: Setting MPFR precision to 320
46.161 * * * * [points]: Filtering points with unrepresentable outputs
46.161 * * * * [points]: Sampling 5 additional inputs, on iter 47 have 7995 / 8000
46.161 * * * * [points]: Computing exacts for 5 points
46.166 * * * * [points]: Setting MPFR precision to 64
46.166 * * * * [points]: Setting MPFR precision to 320
46.167 * * * * [points]: Filtering points with unrepresentable outputs
46.167 * * * * [points]: Sampling 5 additional inputs, on iter 48 have 7995 / 8000
46.167 * * * * [points]: Computing exacts for 5 points
46.175 * * * * [points]: Setting MPFR precision to 64
46.176 * * * * [points]: Setting MPFR precision to 320
46.177 * * * * [points]: Filtering points with unrepresentable outputs
46.177 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 7996 / 8000
46.177 * * * * [points]: Computing exacts for 4 points
46.186 * * * * [points]: Setting MPFR precision to 64
46.187 * * * * [points]: Setting MPFR precision to 320
46.187 * * * * [points]: Filtering points with unrepresentable outputs
46.187 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7997 / 8000
46.187 * * * * [points]: Computing exacts for 4 points
46.196 * * * * [points]: Setting MPFR precision to 64
46.197 * * * * [points]: Setting MPFR precision to 320
46.197 * * * * [points]: Filtering points with unrepresentable outputs
46.198 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7998 / 8000
46.198 * * * * [points]: Computing exacts for 4 points
46.206 * * * * [points]: Setting MPFR precision to 64
46.207 * * * * [points]: Setting MPFR precision to 320
46.208 * * * * [points]: Filtering points with unrepresentable outputs
46.208 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7999 / 8000
46.208 * * * * [points]: Computing exacts for 4 points
46.217 * * * * [points]: Setting MPFR precision to 64
46.218 * * * * [points]: Setting MPFR precision to 320
46.218 * * * * [points]: Filtering points with unrepresentable outputs
46.218 * * * * [points]: Sampled 8001 points with exact outputs
58.349 * [regime-testing]: Baseline error score: 64.0
58.353 * [regime-testing]: Oracle error score: 64.0
58.361 * [regime-testing]: End program error score: 1.4585774222998602