0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.016 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.028 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.048 * * * * [points]: Setting MPFR precision to 64
0.057 * * * * [points]: Setting MPFR precision to 320
0.064 * * * * [points]: Computing exacts for 256 points
0.069 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Filtering points with unrepresentable outputs
0.116 * * * * [points]: Sampling 215 additional inputs, on iter 1 have 41 / 256
0.118 * * * * [points]: Computing exacts on every 13 of 215 points to ramp up precision
0.126 * * * * [points]: Setting MPFR precision to 64
0.129 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Computing exacts on every 6 of 215 points to ramp up precision
0.139 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.147 * * * * [points]: Computing exacts on every 3 of 215 points to ramp up precision
0.155 * * * * [points]: Setting MPFR precision to 64
0.163 * * * * [points]: Setting MPFR precision to 320
0.170 * * * * [points]: Computing exacts for 215 points
0.176 * * * * [points]: Setting MPFR precision to 64
0.210 * * * * [points]: Setting MPFR precision to 320
0.226 * * * * [points]: Filtering points with unrepresentable outputs
0.226 * * * * [points]: Sampling 182 additional inputs, on iter 2 have 74 / 256
0.227 * * * * [points]: Computing exacts on every 11 of 182 points to ramp up precision
0.231 * * * * [points]: Setting MPFR precision to 64
0.232 * * * * [points]: Setting MPFR precision to 320
0.233 * * * * [points]: Computing exacts on every 5 of 182 points to ramp up precision
0.238 * * * * [points]: Setting MPFR precision to 64
0.240 * * * * [points]: Setting MPFR precision to 320
0.242 * * * * [points]: Computing exacts on every 2 of 182 points to ramp up precision
0.247 * * * * [points]: Setting MPFR precision to 64
0.251 * * * * [points]: Setting MPFR precision to 320
0.255 * * * * [points]: Computing exacts for 182 points
0.260 * * * * [points]: Setting MPFR precision to 64
0.272 * * * * [points]: Setting MPFR precision to 320
0.285 * * * * [points]: Filtering points with unrepresentable outputs
0.286 * * * * [points]: Sampling 159 additional inputs, on iter 3 have 97 / 256
0.286 * * * * [points]: Computing exacts on every 9 of 159 points to ramp up precision
0.325 * * * * [points]: Setting MPFR precision to 64
0.327 * * * * [points]: Setting MPFR precision to 320
0.328 * * * * [points]: Computing exacts on every 4 of 159 points to ramp up precision
0.336 * * * * [points]: Setting MPFR precision to 64
0.340 * * * * [points]: Setting MPFR precision to 320
0.344 * * * * [points]: Computing exacts on every 2 of 159 points to ramp up precision
0.352 * * * * [points]: Setting MPFR precision to 64
0.358 * * * * [points]: Setting MPFR precision to 320
0.365 * * * * [points]: Computing exacts for 159 points
0.372 * * * * [points]: Setting MPFR precision to 64
0.392 * * * * [points]: Setting MPFR precision to 320
0.411 * * * * [points]: Filtering points with unrepresentable outputs
0.411 * * * * [points]: Sampling 133 additional inputs, on iter 4 have 123 / 256
0.412 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.420 * * * * [points]: Setting MPFR precision to 64
0.422 * * * * [points]: Setting MPFR precision to 320
0.424 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.431 * * * * [points]: Setting MPFR precision to 64
0.435 * * * * [points]: Setting MPFR precision to 320
0.438 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.446 * * * * [points]: Setting MPFR precision to 64
0.451 * * * * [points]: Setting MPFR precision to 320
0.479 * * * * [points]: Computing exacts for 133 points
0.484 * * * * [points]: Setting MPFR precision to 64
0.494 * * * * [points]: Setting MPFR precision to 320
0.503 * * * * [points]: Filtering points with unrepresentable outputs
0.503 * * * * [points]: Sampling 114 additional inputs, on iter 5 have 142 / 256
0.504 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
0.509 * * * * [points]: Setting MPFR precision to 64
0.510 * * * * [points]: Setting MPFR precision to 320
0.511 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
0.515 * * * * [points]: Setting MPFR precision to 64
0.517 * * * * [points]: Setting MPFR precision to 320
0.521 * * * * [points]: Computing exacts for 114 points
0.529 * * * * [points]: Setting MPFR precision to 64
0.543 * * * * [points]: Setting MPFR precision to 320
0.551 * * * * [points]: Filtering points with unrepresentable outputs
0.551 * * * * [points]: Sampling 100 additional inputs, on iter 6 have 156 / 256
0.551 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
0.557 * * * * [points]: Setting MPFR precision to 64
0.558 * * * * [points]: Setting MPFR precision to 320
0.559 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
0.563 * * * * [points]: Setting MPFR precision to 64
0.565 * * * * [points]: Setting MPFR precision to 320
0.567 * * * * [points]: Computing exacts for 100 points
0.572 * * * * [points]: Setting MPFR precision to 64
0.598 * * * * [points]: Setting MPFR precision to 320
0.606 * * * * [points]: Filtering points with unrepresentable outputs
0.606 * * * * [points]: Sampling 85 additional inputs, on iter 7 have 171 / 256
0.606 * * * * [points]: Computing exacts on every 5 of 85 points to ramp up precision
0.611 * * * * [points]: Setting MPFR precision to 64
0.612 * * * * [points]: Setting MPFR precision to 320
0.613 * * * * [points]: Computing exacts on every 2 of 85 points to ramp up precision
0.618 * * * * [points]: Setting MPFR precision to 64
0.620 * * * * [points]: Setting MPFR precision to 320
0.622 * * * * [points]: Computing exacts for 85 points
0.627 * * * * [points]: Setting MPFR precision to 64
0.633 * * * * [points]: Setting MPFR precision to 320
0.639 * * * * [points]: Filtering points with unrepresentable outputs
0.639 * * * * [points]: Sampling 68 additional inputs, on iter 8 have 188 / 256
0.639 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.644 * * * * [points]: Setting MPFR precision to 64
0.645 * * * * [points]: Setting MPFR precision to 320
0.646 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.650 * * * * [points]: Setting MPFR precision to 64
0.652 * * * * [points]: Setting MPFR precision to 320
0.654 * * * * [points]: Computing exacts for 68 points
0.658 * * * * [points]: Setting MPFR precision to 64
0.663 * * * * [points]: Setting MPFR precision to 320
0.668 * * * * [points]: Filtering points with unrepresentable outputs
0.668 * * * * [points]: Sampling 58 additional inputs, on iter 9 have 198 / 256
0.669 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
0.673 * * * * [points]: Setting MPFR precision to 64
0.674 * * * * [points]: Setting MPFR precision to 320
0.675 * * * * [points]: Computing exacts for 58 points
0.699 * * * * [points]: Setting MPFR precision to 64
0.704 * * * * [points]: Setting MPFR precision to 320
0.708 * * * * [points]: Filtering points with unrepresentable outputs
0.708 * * * * [points]: Sampling 47 additional inputs, on iter 10 have 209 / 256
0.708 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.713 * * * * [points]: Setting MPFR precision to 64
0.714 * * * * [points]: Setting MPFR precision to 320
0.715 * * * * [points]: Computing exacts for 47 points
0.720 * * * * [points]: Setting MPFR precision to 64
0.724 * * * * [points]: Setting MPFR precision to 320
0.729 * * * * [points]: Filtering points with unrepresentable outputs
0.729 * * * * [points]: Sampling 42 additional inputs, on iter 11 have 214 / 256
0.729 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
0.737 * * * * [points]: Setting MPFR precision to 64
0.739 * * * * [points]: Setting MPFR precision to 320
0.741 * * * * [points]: Computing exacts for 42 points
0.746 * * * * [points]: Setting MPFR precision to 64
0.749 * * * * [points]: Setting MPFR precision to 320
0.752 * * * * [points]: Filtering points with unrepresentable outputs
0.752 * * * * [points]: Sampling 33 additional inputs, on iter 12 have 223 / 256
0.753 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.757 * * * * [points]: Setting MPFR precision to 64
0.758 * * * * [points]: Setting MPFR precision to 320
0.759 * * * * [points]: Computing exacts for 33 points
0.764 * * * * [points]: Setting MPFR precision to 64
0.766 * * * * [points]: Setting MPFR precision to 320
0.769 * * * * [points]: Filtering points with unrepresentable outputs
0.769 * * * * [points]: Sampling 26 additional inputs, on iter 13 have 230 / 256
0.769 * * * * [points]: Computing exacts for 26 points
0.773 * * * * [points]: Setting MPFR precision to 64
0.775 * * * * [points]: Setting MPFR precision to 320
0.777 * * * * [points]: Filtering points with unrepresentable outputs
0.777 * * * * [points]: Sampling 24 additional inputs, on iter 14 have 232 / 256
0.777 * * * * [points]: Computing exacts for 24 points
0.801 * * * * [points]: Setting MPFR precision to 64
0.804 * * * * [points]: Setting MPFR precision to 320
0.807 * * * * [points]: Filtering points with unrepresentable outputs
0.808 * * * * [points]: Sampling 20 additional inputs, on iter 15 have 236 / 256
0.808 * * * * [points]: Computing exacts for 20 points
0.812 * * * * [points]: Setting MPFR precision to 64
0.814 * * * * [points]: Setting MPFR precision to 320
0.815 * * * * [points]: Filtering points with unrepresentable outputs
0.815 * * * * [points]: Sampling 18 additional inputs, on iter 16 have 238 / 256
0.815 * * * * [points]: Computing exacts for 18 points
0.820 * * * * [points]: Setting MPFR precision to 64
0.821 * * * * [points]: Setting MPFR precision to 320
0.823 * * * * [points]: Filtering points with unrepresentable outputs
0.823 * * * * [points]: Sampling 14 additional inputs, on iter 17 have 242 / 256
0.823 * * * * [points]: Computing exacts for 14 points
0.827 * * * * [points]: Setting MPFR precision to 64
0.828 * * * * [points]: Setting MPFR precision to 320
0.830 * * * * [points]: Filtering points with unrepresentable outputs
0.830 * * * * [points]: Sampling 12 additional inputs, on iter 18 have 244 / 256
0.830 * * * * [points]: Computing exacts for 12 points
0.834 * * * * [points]: Setting MPFR precision to 64
0.835 * * * * [points]: Setting MPFR precision to 320
0.836 * * * * [points]: Filtering points with unrepresentable outputs
0.836 * * * * [points]: Sampling 9 additional inputs, on iter 19 have 247 / 256
0.836 * * * * [points]: Computing exacts for 9 points
0.841 * * * * [points]: Setting MPFR precision to 64
0.842 * * * * [points]: Setting MPFR precision to 320
0.842 * * * * [points]: Filtering points with unrepresentable outputs
0.842 * * * * [points]: Sampling 9 additional inputs, on iter 20 have 247 / 256
0.842 * * * * [points]: Computing exacts for 9 points
0.858 * * * * [points]: Setting MPFR precision to 64
0.860 * * * * [points]: Setting MPFR precision to 320
0.862 * * * * [points]: Filtering points with unrepresentable outputs
0.862 * * * * [points]: Sampling 9 additional inputs, on iter 21 have 247 / 256
0.862 * * * * [points]: Computing exacts for 9 points
0.875 * * * * [points]: Setting MPFR precision to 64
0.875 * * * * [points]: Setting MPFR precision to 320
0.876 * * * * [points]: Filtering points with unrepresentable outputs
0.876 * * * * [points]: Sampling 6 additional inputs, on iter 22 have 250 / 256
0.876 * * * * [points]: Computing exacts for 6 points
0.881 * * * * [points]: Setting MPFR precision to 64
0.881 * * * * [points]: Setting MPFR precision to 320
0.882 * * * * [points]: Filtering points with unrepresentable outputs
0.882 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 252 / 256
0.882 * * * * [points]: Computing exacts for 4 points
0.886 * * * * [points]: Setting MPFR precision to 64
0.887 * * * * [points]: Setting MPFR precision to 320
0.887 * * * * [points]: Filtering points with unrepresentable outputs
0.887 * * * * [points]: Sampling 4 additional inputs, on iter 24 have 252 / 256
0.887 * * * * [points]: Computing exacts for 4 points
0.904 * * * * [points]: Setting MPFR precision to 64
0.904 * * * * [points]: Setting MPFR precision to 320
0.905 * * * * [points]: Filtering points with unrepresentable outputs
0.905 * * * * [points]: Sampling 4 additional inputs, on iter 25 have 253 / 256
0.905 * * * * [points]: Computing exacts for 4 points
0.911 * * * * [points]: Setting MPFR precision to 64
0.912 * * * * [points]: Setting MPFR precision to 320
0.913 * * * * [points]: Filtering points with unrepresentable outputs
0.913 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 254 / 256
0.913 * * * * [points]: Computing exacts for 4 points
0.921 * * * * [points]: Setting MPFR precision to 64
0.922 * * * * [points]: Setting MPFR precision to 320
0.922 * * * * [points]: Filtering points with unrepresentable outputs
0.922 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 254 / 256
0.922 * * * * [points]: Computing exacts for 4 points
0.927 * * * * [points]: Setting MPFR precision to 64
0.927 * * * * [points]: Setting MPFR precision to 320
0.928 * * * * [points]: Filtering points with unrepresentable outputs
0.928 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 254 / 256
0.928 * * * * [points]: Computing exacts for 4 points
0.932 * * * * [points]: Setting MPFR precision to 64
0.933 * * * * [points]: Setting MPFR precision to 320
0.933 * * * * [points]: Filtering points with unrepresentable outputs
0.933 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 254 / 256
0.933 * * * * [points]: Computing exacts for 4 points
0.938 * * * * [points]: Setting MPFR precision to 64
0.938 * * * * [points]: Setting MPFR precision to 320
0.939 * * * * [points]: Filtering points with unrepresentable outputs
0.939 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 254 / 256
0.939 * * * * [points]: Computing exacts for 4 points
0.944 * * * * [points]: Setting MPFR precision to 64
0.944 * * * * [points]: Setting MPFR precision to 320
0.945 * * * * [points]: Filtering points with unrepresentable outputs
0.945 * * * * [points]: Sampled 256 points with exact outputs
0.945 * * * [progress]: [2/2] Setting up program.
0.967 * [progress]: [Phase 2 of 3] Improving.
0.968 * * * * [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.968 * [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.968 * * [simplify]: iters left: 6 (19 enodes)
0.978 * * [simplify]: iters left: 5 (76 enodes)
1.024 * * [simplify]: iters left: 4 (344 enodes)
1.233 * * [simplify]: Extracting #0: cost 1 inf + 0
1.233 * * [simplify]: Extracting #1: cost 75 inf + 0
1.234 * * [simplify]: Extracting #2: cost 474 inf + 1
1.237 * * [simplify]: Extracting #3: cost 742 inf + 26817
1.248 * * [simplify]: Extracting #4: cost 684 inf + 140740
1.274 * * [simplify]: Extracting #5: cost 611 inf + 190357
1.296 * * [simplify]: Extracting #6: cost 583 inf + 205484
1.339 * * [simplify]: Extracting #7: cost 359 inf + 460450
1.423 * * [simplify]: Extracting #8: cost 52 inf + 927410
1.488 * * [simplify]: Extracting #9: cost 0 inf + 1029213
1.568 * * [simplify]: Extracting #10: cost 0 inf + 1027693
1.642 * [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.642 * [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.674 * * [progress]: iteration 1 / 4
1.674 * * * [progress]: picking best candidate
1.714 * * * * [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.715 * * * [progress]: localizing error
2.057 * * * [progress]: generating rewritten candidates
2.057 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.063 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.073 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.078 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.092 * * * [progress]: generating series expansions
2.092 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.092 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.092 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.092 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.092 * * * [progress]: simplifying candidates
2.092 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.092 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
2.092 * * [simplify]: iters left: 3 (8 enodes)
2.095 * * [simplify]: iters left: 2 (20 enodes)
2.098 * * [simplify]: iters left: 1 (26 enodes)
2.102 * * [simplify]: Extracting #0: cost 1 inf + 0
2.102 * * [simplify]: Extracting #1: cost 7 inf + 0
2.102 * * [simplify]: Extracting #2: cost 7 inf + 2
2.102 * * [simplify]: Extracting #3: cost 6 inf + 45
2.102 * * [simplify]: Extracting #4: cost 4 inf + 47
2.102 * * [simplify]: Extracting #5: cost 1 inf + 1136
2.102 * * [simplify]: Extracting #6: cost 0 inf + 1499
2.102 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
2.102 * [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.103 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.103 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
2.103 * * [simplify]: iters left: 3 (6 enodes)
2.104 * * [simplify]: iters left: 2 (22 enodes)
2.107 * * [simplify]: iters left: 1 (42 enodes)
2.114 * * [simplify]: Extracting #0: cost 1 inf + 0
2.114 * * [simplify]: Extracting #1: cost 12 inf + 0
2.114 * * [simplify]: Extracting #2: cost 16 inf + 1
2.114 * * [simplify]: Extracting #3: cost 9 inf + 1412
2.114 * * [simplify]: Extracting #4: cost 0 inf + 4393
2.115 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
2.115 * [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.115 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.115 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.115 * * [simplify]: iters left: 4 (11 enodes)
2.118 * * [simplify]: iters left: 3 (34 enodes)
2.128 * * [simplify]: iters left: 2 (62 enodes)
2.146 * * [simplify]: iters left: 1 (116 enodes)
2.172 * * [simplify]: Extracting #0: cost 1 inf + 0
2.172 * * [simplify]: Extracting #1: cost 18 inf + 0
2.172 * * [simplify]: Extracting #2: cost 32 inf + 1
2.174 * * [simplify]: Extracting #3: cost 28 inf + 688
2.174 * * [simplify]: Extracting #4: cost 20 inf + 2471
2.175 * * [simplify]: Extracting #5: cost 11 inf + 5213
2.176 * * [simplify]: Extracting #6: cost 0 inf + 16616
2.177 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
2.177 * [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.177 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.177 * * [simplify]: iters left: 5 (13 enodes)
2.180 * * [simplify]: iters left: 4 (36 enodes)
2.186 * * [simplify]: iters left: 3 (69 enodes)
2.197 * * [simplify]: iters left: 2 (108 enodes)
2.212 * * [simplify]: iters left: 1 (142 enodes)
2.243 * * [simplify]: Extracting #0: cost 1 inf + 0
2.243 * * [simplify]: Extracting #1: cost 3 inf + 0
2.243 * * [simplify]: Extracting #2: cost 25 inf + 0
2.243 * * [simplify]: Extracting #3: cost 26 inf + 2
2.244 * * [simplify]: Extracting #4: cost 20 inf + 1217
2.245 * * [simplify]: Extracting #5: cost 5 inf + 6972
2.246 * * [simplify]: Extracting #6: cost 0 inf + 9668
2.247 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
2.247 * [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.247 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
2.248 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
2.248 * * [simplify]: iters left: 4 (11 enodes)
2.252 * * [simplify]: iters left: 3 (33 enodes)
2.265 * * [simplify]: iters left: 2 (87 enodes)
2.307 * * [simplify]: iters left: 1 (455 enodes)
2.906 * * [simplify]: Extracting #0: cost 1 inf + 0
2.906 * * [simplify]: Extracting #1: cost 38 inf + 0
2.907 * * [simplify]: Extracting #2: cost 349 inf + 2
2.913 * * [simplify]: Extracting #3: cost 1015 inf + 2069
2.923 * * [simplify]: Extracting #4: cost 974 inf + 36877
2.953 * * [simplify]: Extracting #5: cost 686 inf + 251010
3.058 * * [simplify]: Extracting #6: cost 123 inf + 839954
3.185 * * [simplify]: Extracting #7: cost 0 inf + 991791
3.304 * * [simplify]: Extracting #8: cost 0 inf + 989631
3.417 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))
3.417 * [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.417 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
3.418 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.418 * * [simplify]: iters left: 4 (11 enodes)
3.421 * * [simplify]: iters left: 3 (34 enodes)
3.430 * * [simplify]: iters left: 2 (62 enodes)
3.449 * * [simplify]: iters left: 1 (116 enodes)
3.484 * * [simplify]: Extracting #0: cost 1 inf + 0
3.484 * * [simplify]: Extracting #1: cost 18 inf + 0
3.484 * * [simplify]: Extracting #2: cost 32 inf + 1
3.484 * * [simplify]: Extracting #3: cost 28 inf + 688
3.485 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.486 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.487 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.490 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.490 * [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.490 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
3.490 * [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.490 * * [simplify]: iters left: 5 (12 enodes)
3.496 * * [simplify]: iters left: 4 (32 enodes)
3.507 * * [simplify]: iters left: 3 (90 enodes)
3.559 * * [simplify]: iters left: 2 (378 enodes)
3.925 * * [simplify]: Extracting #0: cost 1 inf + 0
3.925 * * [simplify]: Extracting #1: cost 90 inf + 0
3.927 * * [simplify]: Extracting #2: cost 388 inf + 0
3.931 * * [simplify]: Extracting #3: cost 380 inf + 3950
3.941 * * [simplify]: Extracting #4: cost 272 inf + 84531
3.982 * * [simplify]: Extracting #5: cost 20 inf + 357988
4.024 * * [simplify]: Extracting #6: cost 0 inf + 384165
4.049 * [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))))
4.049 * [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))))))
4.049 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
4.049 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
4.050 * * [simplify]: iters left: 5 (9 enodes)
4.052 * * [simplify]: iters left: 4 (35 enodes)
4.061 * * [simplify]: iters left: 3 (128 enodes)
4.152 * * [simplify]: Extracting #0: cost 1 inf + 0
4.153 * * [simplify]: Extracting #1: cost 39 inf + 0
4.153 * * [simplify]: Extracting #2: cost 167 inf + 1
4.155 * * [simplify]: Extracting #3: cost 185 inf + 9642
4.163 * * [simplify]: Extracting #4: cost 54 inf + 131260
4.177 * * [simplify]: Extracting #5: cost 0 inf + 183768
4.192 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
4.192 * [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))))))
4.192 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
4.193 * [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)))
4.193 * * [simplify]: iters left: 5 (15 enodes)
4.200 * * [simplify]: iters left: 4 (44 enodes)
4.216 * * [simplify]: iters left: 3 (112 enodes)
4.267 * * [simplify]: iters left: 2 (473 enodes)
4.773 * * [simplify]: Extracting #0: cost 1 inf + 0
4.773 * * [simplify]: Extracting #1: cost 35 inf + 0
4.774 * * [simplify]: Extracting #2: cost 286 inf + 1
4.778 * * [simplify]: Extracting #3: cost 529 inf + 4158
4.783 * * [simplify]: Extracting #4: cost 531 inf + 7620
4.790 * * [simplify]: Extracting #5: cost 474 inf + 34154
4.822 * * [simplify]: Extracting #6: cost 203 inf + 247830
4.883 * * [simplify]: Extracting #7: cost 17 inf + 434257
4.952 * * [simplify]: Extracting #8: cost 0 inf + 455708
5.008 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
5.008 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
5.009 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
5.009 * * [simplify]: iters left: 6 (17 enodes)
5.015 * * [simplify]: iters left: 5 (52 enodes)
5.026 * * [simplify]: iters left: 4 (154 enodes)
5.106 * * [simplify]: Extracting #0: cost 1 inf + 0
5.106 * * [simplify]: Extracting #1: cost 27 inf + 0
5.106 * * [simplify]: Extracting #2: cost 137 inf + 0
5.108 * * [simplify]: Extracting #3: cost 277 inf + 366
5.110 * * [simplify]: Extracting #4: cost 285 inf + 5479
5.113 * * [simplify]: Extracting #5: cost 253 inf + 13586
5.117 * * [simplify]: Extracting #6: cost 206 inf + 39659
5.133 * * [simplify]: Extracting #7: cost 38 inf + 215233
5.158 * * [simplify]: Extracting #8: cost 0 inf + 248609
5.173 * * [simplify]: Extracting #9: cost 0 inf + 244529
5.198 * * [simplify]: Extracting #10: cost 0 inf + 244169
5.223 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
5.223 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
5.223 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.223 * [simplify]: Simplifying (*.p16 i i)
5.223 * * [simplify]: iters left: 1 (2 enodes)
5.224 * * [simplify]: Extracting #0: cost 1 inf + 0
5.224 * * [simplify]: Extracting #1: cost 2 inf + 0
5.224 * * [simplify]: Extracting #2: cost 1 inf + 1
5.224 * * [simplify]: Extracting #3: cost 0 inf + 322
5.224 * [simplify]: Simplified to (*.p16 i i)
5.224 * [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))))
5.224 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.224 * [simplify]: Simplifying (*.p16 i i)
5.224 * * [simplify]: iters left: 1 (2 enodes)
5.224 * * [simplify]: Extracting #0: cost 1 inf + 0
5.224 * * [simplify]: Extracting #1: cost 2 inf + 0
5.224 * * [simplify]: Extracting #2: cost 1 inf + 1
5.225 * * [simplify]: Extracting #3: cost 0 inf + 322
5.225 * [simplify]: Simplified to (*.p16 i i)
5.225 * [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))))
5.225 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.225 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
5.225 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0))))>
5.225 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.225 * [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.225 * * [simplify]: iters left: 6 (19 enodes)
5.230 * * [simplify]: iters left: 5 (76 enodes)
5.251 * * [simplify]: iters left: 4 (344 enodes)
5.493 * * [simplify]: Extracting #0: cost 1 inf + 0
5.493 * * [simplify]: Extracting #1: cost 75 inf + 0
5.495 * * [simplify]: Extracting #2: cost 474 inf + 1
5.500 * * [simplify]: Extracting #3: cost 742 inf + 26817
5.513 * * [simplify]: Extracting #4: cost 684 inf + 140740
5.532 * * [simplify]: Extracting #5: cost 611 inf + 190357
5.551 * * [simplify]: Extracting #6: cost 583 inf + 205484
5.587 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.666 * * [simplify]: Extracting #8: cost 52 inf + 927410
5.749 * * [simplify]: Extracting #9: cost 0 inf + 1029213
5.811 * * [simplify]: Extracting #10: cost 0 inf + 1027693
5.882 * [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.882 * [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.882 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.883 * [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.883 * * [simplify]: iters left: 6 (19 enodes)
5.893 * * [simplify]: iters left: 5 (76 enodes)
5.917 * * [simplify]: iters left: 4 (344 enodes)
6.112 * * [simplify]: Extracting #0: cost 1 inf + 0
6.112 * * [simplify]: Extracting #1: cost 75 inf + 0
6.113 * * [simplify]: Extracting #2: cost 474 inf + 1
6.120 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.128 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.138 * * [simplify]: Extracting #5: cost 611 inf + 190357
6.150 * * [simplify]: Extracting #6: cost 583 inf + 205484
6.171 * * [simplify]: Extracting #7: cost 359 inf + 460450
6.254 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.318 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.421 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.506 * [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.506 * [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.506 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.506 * [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.506 * * [simplify]: iters left: 6 (19 enodes)
6.516 * * [simplify]: iters left: 5 (76 enodes)
6.556 * * [simplify]: iters left: 4 (344 enodes)
7.268 * * [simplify]: Extracting #0: cost 1 inf + 0
7.269 * * [simplify]: Extracting #1: cost 75 inf + 0
7.270 * * [simplify]: Extracting #2: cost 474 inf + 1
7.276 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.289 * * [simplify]: Extracting #4: cost 684 inf + 140740
7.309 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.332 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.378 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.466 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.574 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.678 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.782 * [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.782 * [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.782 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
7.783 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
7.783 * * [simplify]: iters left: 6 (19 enodes)
7.793 * * [simplify]: iters left: 5 (76 enodes)
7.833 * * [simplify]: iters left: 4 (344 enodes)
8.150 * * [simplify]: Extracting #0: cost 1 inf + 0
8.150 * * [simplify]: Extracting #1: cost 75 inf + 0
8.152 * * [simplify]: Extracting #2: cost 474 inf + 1
8.158 * * [simplify]: Extracting #3: cost 742 inf + 26817
8.169 * * [simplify]: Extracting #4: cost 684 inf + 140740
8.179 * * [simplify]: Extracting #5: cost 611 inf + 190357
8.197 * * [simplify]: Extracting #6: cost 583 inf + 205484
8.224 * * [simplify]: Extracting #7: cost 359 inf + 460450
8.295 * * [simplify]: Extracting #8: cost 52 inf + 927410
8.403 * * [simplify]: Extracting #9: cost 0 inf + 1029213
8.478 * * [simplify]: Extracting #10: cost 0 inf + 1027693
8.567 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
8.567 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
8.568 * * * [progress]: adding candidates to table
9.465 * * [progress]: iteration 2 / 4
9.465 * * * [progress]: picking best candidate
9.658 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.658 * * * [progress]: localizing error
10.210 * * * [progress]: generating rewritten candidates
10.210 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
10.223 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
10.257 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
10.331 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
10.376 * * * [progress]: generating series expansions
10.376 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.376 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
10.376 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
10.376 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
10.376 * * * [progress]: simplifying candidates
10.376 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.376 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.377 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
10.377 * * [simplify]: iters left: 3 (6 enodes)
10.379 * * [simplify]: iters left: 2 (22 enodes)
10.386 * * [simplify]: iters left: 1 (42 enodes)
10.400 * * [simplify]: Extracting #0: cost 1 inf + 0
10.400 * * [simplify]: Extracting #1: cost 12 inf + 0
10.400 * * [simplify]: Extracting #2: cost 16 inf + 1
10.400 * * [simplify]: Extracting #3: cost 9 inf + 1412
10.401 * * [simplify]: Extracting #4: cost 0 inf + 4393
10.401 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
10.401 * [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)))))
10.402 * * * * [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 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.402 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
10.402 * * [simplify]: iters left: 4 (11 enodes)
10.408 * * [simplify]: iters left: 3 (27 enodes)
10.417 * * [simplify]: iters left: 2 (47 enodes)
10.435 * * [simplify]: iters left: 1 (76 enodes)
10.460 * * [simplify]: Extracting #0: cost 1 inf + 0
10.460 * * [simplify]: Extracting #1: cost 16 inf + 0
10.461 * * [simplify]: Extracting #2: cost 17 inf + 2
10.461 * * [simplify]: Extracting #3: cost 13 inf + 89
10.461 * * [simplify]: Extracting #4: cost 9 inf + 298
10.462 * * [simplify]: Extracting #5: cost 1 inf + 2963
10.463 * * [simplify]: Extracting #6: cost 0 inf + 3367
10.464 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
10.464 * [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)))))
10.465 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
10.465 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
10.465 * * [simplify]: iters left: 4 (8 enodes)
10.468 * * [simplify]: iters left: 3 (26 enodes)
10.478 * * [simplify]: iters left: 2 (53 enodes)
10.495 * * [simplify]: iters left: 1 (91 enodes)
10.523 * * [simplify]: Extracting #0: cost 1 inf + 0
10.523 * * [simplify]: Extracting #1: cost 24 inf + 0
10.523 * * [simplify]: Extracting #2: cost 31 inf + 0
10.523 * * [simplify]: Extracting #3: cost 26 inf + 366
10.524 * * [simplify]: Extracting #4: cost 9 inf + 8250
10.526 * * [simplify]: Extracting #5: cost 0 inf + 15077
10.527 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
10.527 * [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))))))
10.528 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.528 * [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.528 * * [simplify]: iters left: 5 (15 enodes)
10.536 * * [simplify]: iters left: 4 (44 enodes)
10.553 * * [simplify]: iters left: 3 (112 enodes)
10.609 * * [simplify]: iters left: 2 (473 enodes)
10.991 * * [simplify]: Extracting #0: cost 1 inf + 0
10.991 * * [simplify]: Extracting #1: cost 35 inf + 0
10.992 * * [simplify]: Extracting #2: cost 286 inf + 1
10.996 * * [simplify]: Extracting #3: cost 529 inf + 4158
11.002 * * [simplify]: Extracting #4: cost 531 inf + 7620
11.010 * * [simplify]: Extracting #5: cost 474 inf + 34154
11.048 * * [simplify]: Extracting #6: cost 203 inf + 247830
11.120 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.197 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.272 * [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.273 * [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.273 * [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.273 * * [simplify]: iters left: 6 (17 enodes)
11.281 * * [simplify]: iters left: 5 (52 enodes)
11.300 * * [simplify]: iters left: 4 (154 enodes)
11.388 * * [simplify]: Extracting #0: cost 1 inf + 0
11.388 * * [simplify]: Extracting #1: cost 27 inf + 0
11.389 * * [simplify]: Extracting #2: cost 137 inf + 0
11.390 * * [simplify]: Extracting #3: cost 277 inf + 366
11.392 * * [simplify]: Extracting #4: cost 285 inf + 5479
11.395 * * [simplify]: Extracting #5: cost 253 inf + 13586
11.400 * * [simplify]: Extracting #6: cost 206 inf + 39659
11.421 * * [simplify]: Extracting #7: cost 38 inf + 215233
11.445 * * [simplify]: Extracting #8: cost 0 inf + 248609
11.460 * * [simplify]: Extracting #9: cost 0 inf + 244529
11.478 * * [simplify]: Extracting #10: cost 0 inf + 244169
11.507 * [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.507 * [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.508 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.508 * [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.508 * * [simplify]: iters left: 5 (15 enodes)
11.515 * * [simplify]: iters left: 4 (44 enodes)
11.528 * * [simplify]: iters left: 3 (112 enodes)
11.568 * * [simplify]: iters left: 2 (473 enodes)
12.030 * * [simplify]: Extracting #0: cost 1 inf + 0
12.030 * * [simplify]: Extracting #1: cost 35 inf + 0
12.031 * * [simplify]: Extracting #2: cost 286 inf + 1
12.035 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.041 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.049 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.077 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.146 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.213 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.284 * [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.284 * [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.284 * [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.284 * * [simplify]: iters left: 6 (17 enodes)
12.292 * * [simplify]: iters left: 5 (52 enodes)
12.310 * * [simplify]: iters left: 4 (154 enodes)
12.382 * * [simplify]: Extracting #0: cost 1 inf + 0
12.382 * * [simplify]: Extracting #1: cost 27 inf + 0
12.383 * * [simplify]: Extracting #2: cost 137 inf + 0
12.384 * * [simplify]: Extracting #3: cost 277 inf + 366
12.386 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.389 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.394 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.413 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.440 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.467 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.498 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.518 * [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.518 * [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.518 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
12.518 * [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.518 * * [simplify]: iters left: 5 (15 enodes)
12.522 * * [simplify]: iters left: 4 (44 enodes)
12.531 * * [simplify]: iters left: 3 (112 enodes)
12.568 * * [simplify]: iters left: 2 (473 enodes)
12.919 * * [simplify]: Extracting #0: cost 1 inf + 0
12.919 * * [simplify]: Extracting #1: cost 35 inf + 0
12.920 * * [simplify]: Extracting #2: cost 286 inf + 1
12.925 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.934 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.943 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.973 * * [simplify]: Extracting #6: cost 203 inf + 247830
13.030 * * [simplify]: Extracting #7: cost 17 inf + 434257
13.088 * * [simplify]: Extracting #8: cost 0 inf + 455708
13.137 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
13.137 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
13.138 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.138 * * [simplify]: iters left: 6 (17 enodes)
13.145 * * [simplify]: iters left: 5 (52 enodes)
13.165 * * [simplify]: iters left: 4 (154 enodes)
13.256 * * [simplify]: Extracting #0: cost 1 inf + 0
13.256 * * [simplify]: Extracting #1: cost 27 inf + 0
13.256 * * [simplify]: Extracting #2: cost 137 inf + 0
13.258 * * [simplify]: Extracting #3: cost 277 inf + 366
13.260 * * [simplify]: Extracting #4: cost 285 inf + 5479
13.262 * * [simplify]: Extracting #5: cost 253 inf + 13586
13.267 * * [simplify]: Extracting #6: cost 206 inf + 39659
13.290 * * [simplify]: Extracting #7: cost 38 inf + 215233
13.313 * * [simplify]: Extracting #8: cost 0 inf + 248609
13.329 * * [simplify]: Extracting #9: cost 0 inf + 244529
13.350 * * [simplify]: Extracting #10: cost 0 inf + 244169
13.376 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
13.376 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
13.376 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
13.376 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.376 * * [simplify]: iters left: 5 (15 enodes)
13.383 * * [simplify]: iters left: 4 (44 enodes)
13.398 * * [simplify]: iters left: 3 (112 enodes)
13.454 * * [simplify]: iters left: 2 (473 enodes)
13.919 * * [simplify]: Extracting #0: cost 1 inf + 0
13.920 * * [simplify]: Extracting #1: cost 35 inf + 0
13.921 * * [simplify]: Extracting #2: cost 286 inf + 1
13.925 * * [simplify]: Extracting #3: cost 529 inf + 4158
13.931 * * [simplify]: Extracting #4: cost 531 inf + 7620
13.940 * * [simplify]: Extracting #5: cost 474 inf + 34154
13.971 * * [simplify]: Extracting #6: cost 203 inf + 247830
14.027 * * [simplify]: Extracting #7: cost 17 inf + 434257
14.082 * * [simplify]: Extracting #8: cost 0 inf + 455708
14.150 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
14.151 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
14.151 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
14.151 * * [simplify]: iters left: 6 (17 enodes)
14.160 * * [simplify]: iters left: 5 (52 enodes)
14.182 * * [simplify]: iters left: 4 (154 enodes)
14.285 * * [simplify]: Extracting #0: cost 1 inf + 0
14.285 * * [simplify]: Extracting #1: cost 27 inf + 0
14.285 * * [simplify]: Extracting #2: cost 137 inf + 0
14.287 * * [simplify]: Extracting #3: cost 277 inf + 366
14.289 * * [simplify]: Extracting #4: cost 285 inf + 5479
14.292 * * [simplify]: Extracting #5: cost 253 inf + 13586
14.298 * * [simplify]: Extracting #6: cost 206 inf + 39659
14.320 * * [simplify]: Extracting #7: cost 38 inf + 215233
14.352 * * [simplify]: Extracting #8: cost 0 inf + 248609
14.374 * * [simplify]: Extracting #9: cost 0 inf + 244529
14.394 * * [simplify]: Extracting #10: cost 0 inf + 244169
14.417 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
14.417 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
14.417 * * * [progress]: adding candidates to table
14.672 * * [progress]: iteration 3 / 4
14.672 * * * [progress]: picking best candidate
14.922 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
14.922 * * * [progress]: localizing error
15.570 * * * [progress]: generating rewritten candidates
15.570 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
15.577 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
15.602 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
15.683 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
15.730 * * * [progress]: generating series expansions
15.730 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
15.730 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
15.730 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
15.730 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
15.730 * * * [progress]: simplifying candidates
15.730 * * * * [progress]: [ 1 / 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)))))>
15.731 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.731 * * [simplify]: iters left: 4 (9 enodes)
15.735 * * [simplify]: iters left: 3 (21 enodes)
15.741 * * [simplify]: iters left: 2 (27 enodes)
15.750 * * [simplify]: iters left: 1 (28 enodes)
15.757 * * [simplify]: Extracting #0: cost 1 inf + 0
15.757 * * [simplify]: Extracting #1: cost 3 inf + 0
15.758 * * [simplify]: Extracting #2: cost 8 inf + 1
15.758 * * [simplify]: Extracting #3: cost 6 inf + 45
15.758 * * [simplify]: Extracting #4: cost 7 inf + 45
15.758 * * [simplify]: Extracting #5: cost 1 inf + 1499
15.758 * * [simplify]: Extracting #6: cost 0 inf + 2343
15.759 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
15.759 * [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.759 * * * * [progress]: [ 2 / 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)))))>
15.759 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
15.759 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
15.760 * * [simplify]: iters left: 4 (11 enodes)
15.765 * * [simplify]: iters left: 3 (27 enodes)
15.775 * * [simplify]: iters left: 2 (47 enodes)
15.791 * * [simplify]: iters left: 1 (76 enodes)
15.812 * * [simplify]: Extracting #0: cost 1 inf + 0
15.812 * * [simplify]: Extracting #1: cost 16 inf + 0
15.813 * * [simplify]: Extracting #2: cost 17 inf + 2
15.813 * * [simplify]: Extracting #3: cost 13 inf + 89
15.813 * * [simplify]: Extracting #4: cost 9 inf + 298
15.813 * * [simplify]: Extracting #5: cost 1 inf + 2963
15.814 * * [simplify]: Extracting #6: cost 0 inf + 3367
15.814 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
15.814 * [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)))))
15.815 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
15.815 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
15.815 * * [simplify]: iters left: 4 (8 enodes)
15.816 * * [simplify]: iters left: 3 (26 enodes)
15.821 * * [simplify]: iters left: 2 (53 enodes)
15.831 * * [simplify]: iters left: 1 (91 enodes)
15.851 * * [simplify]: Extracting #0: cost 1 inf + 0
15.851 * * [simplify]: Extracting #1: cost 24 inf + 0
15.851 * * [simplify]: Extracting #2: cost 31 inf + 0
15.851 * * [simplify]: Extracting #3: cost 26 inf + 366
15.852 * * [simplify]: Extracting #4: cost 9 inf + 8250
15.854 * * [simplify]: Extracting #5: cost 0 inf + 15077
15.855 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
15.855 * [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))))))
15.856 * * * * [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)))))>
15.856 * * * * [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)))))>
15.856 * * * * [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)))))>
15.856 * * * * [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)))))>
15.856 * * * [progress]: adding candidates to table
16.258 * * [progress]: iteration 4 / 4
16.258 * * * [progress]: picking best candidate
16.612 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.612 * * * [progress]: localizing error
16.943 * * * [progress]: generating rewritten candidates
16.943 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
16.950 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
16.965 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
16.990 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
16.992 * * * [progress]: generating series expansions
16.992 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
16.992 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
16.993 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
16.993 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
16.993 * * * [progress]: simplifying candidates
16.993 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.993 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
16.993 * * [simplify]: iters left: 4 (11 enodes)
16.996 * * [simplify]: iters left: 3 (27 enodes)
17.001 * * [simplify]: iters left: 2 (47 enodes)
17.009 * * [simplify]: iters left: 1 (76 enodes)
17.021 * * [simplify]: Extracting #0: cost 1 inf + 0
17.021 * * [simplify]: Extracting #1: cost 16 inf + 0
17.021 * * [simplify]: Extracting #2: cost 17 inf + 2
17.021 * * [simplify]: Extracting #3: cost 13 inf + 89
17.022 * * [simplify]: Extracting #4: cost 9 inf + 298
17.022 * * [simplify]: Extracting #5: cost 1 inf + 2963
17.023 * * [simplify]: Extracting #6: cost 0 inf + 3367
17.023 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
17.023 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
17.023 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
17.024 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
17.024 * * [simplify]: iters left: 4 (8 enodes)
17.025 * * [simplify]: iters left: 3 (26 enodes)
17.030 * * [simplify]: iters left: 2 (53 enodes)
17.038 * * [simplify]: iters left: 1 (91 enodes)
17.054 * * [simplify]: Extracting #0: cost 1 inf + 0
17.054 * * [simplify]: Extracting #1: cost 24 inf + 0
17.054 * * [simplify]: Extracting #2: cost 31 inf + 0
17.055 * * [simplify]: Extracting #3: cost 26 inf + 366
17.055 * * [simplify]: Extracting #4: cost 9 inf + 8250
17.056 * * [simplify]: Extracting #5: cost 0 inf + 15077
17.057 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
17.057 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
17.057 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.057 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.057 * * [simplify]: iters left: 4 (10 enodes)
17.059 * * [simplify]: iters left: 3 (25 enodes)
17.063 * * [simplify]: iters left: 2 (37 enodes)
17.069 * * [simplify]: iters left: 1 (40 enodes)
17.074 * * [simplify]: Extracting #0: cost 1 inf + 0
17.074 * * [simplify]: Extracting #1: cost 3 inf + 0
17.074 * * [simplify]: Extracting #2: cost 12 inf + 0
17.074 * * [simplify]: Extracting #3: cost 9 inf + 45
17.074 * * [simplify]: Extracting #4: cost 7 inf + 212
17.074 * * [simplify]: Extracting #5: cost 6 inf + 213
17.074 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.075 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.075 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 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)))))
17.075 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.075 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) i)
17.075 * * [simplify]: iters left: 2 (5 enodes)
17.076 * * [simplify]: iters left: 1 (15 enodes)
17.078 * * [simplify]: Extracting #0: cost 1 inf + 0
17.078 * * [simplify]: Extracting #1: cost 8 inf + 0
17.078 * * [simplify]: Extracting #2: cost 5 inf + 3
17.079 * * [simplify]: Extracting #3: cost 0 inf + 254
17.079 * [simplify]: Simplified to (+.p16 beta (+.p16 alpha i))
17.079 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
17.079 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.079 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.079 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.079 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
17.079 * * * [progress]: adding candidates to table
17.430 * [progress]: [Phase 3 of 3] Extracting.
17.430 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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) 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.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))))>)
17.447 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
17.447 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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) 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.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))))>)
18.034 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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) 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.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))))>)
18.418 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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) 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.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))))>)
18.752 * * * [regime]: Found split indices: #<option (#s(si 8 256))>
18.752 * [simplify]: Simplifying (*.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))))
18.752 * * [simplify]: iters left: 6 (22 enodes)
18.754 * * [simplify]: Extracting #0: cost 1 inf + 0
18.754 * * [simplify]: Extracting #1: cost 3 inf + 0
18.754 * * [simplify]: Extracting #2: cost 7 inf + 0
18.754 * * [simplify]: Extracting #3: cost 11 inf + 1
18.754 * * [simplify]: Extracting #4: cost 17 inf + 1
18.754 * * [simplify]: Extracting #5: cost 18 inf + 3
18.754 * * [simplify]: Extracting #6: cost 14 inf + 452
18.754 * * [simplify]: Extracting #7: cost 11 inf + 857
18.754 * * [simplify]: Extracting #8: cost 8 inf + 2346
18.754 * * [simplify]: Extracting #9: cost 2 inf + 9054
18.755 * * [simplify]: Extracting #10: cost 1 inf + 10739
18.755 * * [simplify]: Extracting #11: cost 0 inf + 14384
18.756 * [simplify]: Simplified to (*.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))))
18.756 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
18.789 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
18.800 * * * * [points]: Setting MPFR precision to 64
18.802 * * * * [points]: Setting MPFR precision to 320
18.803 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
18.807 * * * * [points]: Setting MPFR precision to 64
18.810 * * * * [points]: Setting MPFR precision to 320
18.812 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
18.817 * * * * [points]: Setting MPFR precision to 64
18.822 * * * * [points]: Setting MPFR precision to 320
18.828 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
18.833 * * * * [points]: Setting MPFR precision to 64
18.842 * * * * [points]: Setting MPFR precision to 320
18.852 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
18.857 * * * * [points]: Setting MPFR precision to 64
18.879 * * * * [points]: Setting MPFR precision to 320
18.919 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
18.924 * * * * [points]: Setting MPFR precision to 64
18.962 * * * * [points]: Setting MPFR precision to 320
18.998 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
19.003 * * * * [points]: Setting MPFR precision to 64
19.108 * * * * [points]: Setting MPFR precision to 320
19.220 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.226 * * * * [points]: Setting MPFR precision to 64
19.410 * * * * [points]: Setting MPFR precision to 320
19.587 * * * * [points]: Computing exacts for 8000 points
19.592 * * * * [points]: Setting MPFR precision to 64
20.930 * * * * [points]: Setting MPFR precision to 320
21.704 * * * * [points]: Filtering points with unrepresentable outputs
21.708 * * * * [points]: Sampling 6851 additional inputs, on iter 1 have 1149 / 8000
21.737 * * * * [points]: Computing exacts on every 428 of 6851 points to ramp up precision
21.742 * * * * [points]: Setting MPFR precision to 64
21.744 * * * * [points]: Setting MPFR precision to 320
21.745 * * * * [points]: Computing exacts on every 214 of 6851 points to ramp up precision
21.749 * * * * [points]: Setting MPFR precision to 64
21.752 * * * * [points]: Setting MPFR precision to 320
21.754 * * * * [points]: Computing exacts on every 107 of 6851 points to ramp up precision
21.758 * * * * [points]: Setting MPFR precision to 64
21.763 * * * * [points]: Setting MPFR precision to 320
21.768 * * * * [points]: Computing exacts on every 53 of 6851 points to ramp up precision
21.772 * * * * [points]: Setting MPFR precision to 64
21.781 * * * * [points]: Setting MPFR precision to 320
21.807 * * * * [points]: Computing exacts on every 26 of 6851 points to ramp up precision
21.813 * * * * [points]: Setting MPFR precision to 64
21.832 * * * * [points]: Setting MPFR precision to 320
21.850 * * * * [points]: Computing exacts on every 13 of 6851 points to ramp up precision
21.855 * * * * [points]: Setting MPFR precision to 64
21.891 * * * * [points]: Setting MPFR precision to 320
21.954 * * * * [points]: Computing exacts on every 6 of 6851 points to ramp up precision
21.958 * * * * [points]: Setting MPFR precision to 64
22.029 * * * * [points]: Setting MPFR precision to 320
22.132 * * * * [points]: Computing exacts on every 3 of 6851 points to ramp up precision
22.137 * * * * [points]: Setting MPFR precision to 64
22.291 * * * * [points]: Setting MPFR precision to 320
22.833 * * * * [points]: Computing exacts for 6851 points
22.893 * * * * [points]: Setting MPFR precision to 64
23.955 * * * * [points]: Setting MPFR precision to 320
25.071 * * * * [points]: Filtering points with unrepresentable outputs
25.076 * * * * [points]: Sampling 5850 additional inputs, on iter 2 have 2150 / 8000
25.115 * * * * [points]: Computing exacts on every 365 of 5850 points to ramp up precision
25.124 * * * * [points]: Setting MPFR precision to 64
25.126 * * * * [points]: Setting MPFR precision to 320
25.128 * * * * [points]: Computing exacts on every 182 of 5850 points to ramp up precision
25.166 * * * * [points]: Setting MPFR precision to 64
25.170 * * * * [points]: Setting MPFR precision to 320
25.176 * * * * [points]: Computing exacts on every 91 of 5850 points to ramp up precision
25.184 * * * * [points]: Setting MPFR precision to 64
25.192 * * * * [points]: Setting MPFR precision to 320
25.200 * * * * [points]: Computing exacts on every 45 of 5850 points to ramp up precision
25.208 * * * * [points]: Setting MPFR precision to 64
25.223 * * * * [points]: Setting MPFR precision to 320
25.240 * * * * [points]: Computing exacts on every 22 of 5850 points to ramp up precision
25.248 * * * * [points]: Setting MPFR precision to 64
25.282 * * * * [points]: Setting MPFR precision to 320
25.305 * * * * [points]: Computing exacts on every 11 of 5850 points to ramp up precision
25.310 * * * * [points]: Setting MPFR precision to 64
25.398 * * * * [points]: Setting MPFR precision to 320
25.462 * * * * [points]: Computing exacts on every 5 of 5850 points to ramp up precision
25.467 * * * * [points]: Setting MPFR precision to 64
25.582 * * * * [points]: Setting MPFR precision to 320
25.677 * * * * [points]: Computing exacts on every 2 of 5850 points to ramp up precision
25.712 * * * * [points]: Setting MPFR precision to 64
26.299 * * * * [points]: Setting MPFR precision to 320
26.513 * * * * [points]: Computing exacts for 5850 points
26.518 * * * * [points]: Setting MPFR precision to 64
27.212 * * * * [points]: Setting MPFR precision to 320
27.822 * * * * [points]: Filtering points with unrepresentable outputs
27.826 * * * * [points]: Sampling 5034 additional inputs, on iter 3 have 2966 / 8000
27.862 * * * * [points]: Computing exacts on every 314 of 5034 points to ramp up precision
27.901 * * * * [points]: Setting MPFR precision to 64
27.903 * * * * [points]: Setting MPFR precision to 320
27.904 * * * * [points]: Computing exacts on every 157 of 5034 points to ramp up precision
27.909 * * * * [points]: Setting MPFR precision to 64
27.913 * * * * [points]: Setting MPFR precision to 320
27.915 * * * * [points]: Computing exacts on every 78 of 5034 points to ramp up precision
27.919 * * * * [points]: Setting MPFR precision to 64
27.924 * * * * [points]: Setting MPFR precision to 320
27.929 * * * * [points]: Computing exacts on every 39 of 5034 points to ramp up precision
27.933 * * * * [points]: Setting MPFR precision to 64
27.942 * * * * [points]: Setting MPFR precision to 320
27.951 * * * * [points]: Computing exacts on every 19 of 5034 points to ramp up precision
27.956 * * * * [points]: Setting MPFR precision to 64
27.973 * * * * [points]: Setting MPFR precision to 320
27.999 * * * * [points]: Computing exacts on every 9 of 5034 points to ramp up precision
28.028 * * * * [points]: Setting MPFR precision to 64
28.066 * * * * [points]: Setting MPFR precision to 320
28.101 * * * * [points]: Computing exacts on every 4 of 5034 points to ramp up precision
28.106 * * * * [points]: Setting MPFR precision to 64
28.217 * * * * [points]: Setting MPFR precision to 320
28.338 * * * * [points]: Computing exacts on every 2 of 5034 points to ramp up precision
28.343 * * * * [points]: Setting MPFR precision to 64
28.551 * * * * [points]: Setting MPFR precision to 320
28.996 * * * * [points]: Computing exacts for 5034 points
29.000 * * * * [points]: Setting MPFR precision to 64
29.628 * * * * [points]: Setting MPFR precision to 320
30.140 * * * * [points]: Filtering points with unrepresentable outputs
30.143 * * * * [points]: Sampling 4340 additional inputs, on iter 4 have 3660 / 8000
30.161 * * * * [points]: Computing exacts on every 271 of 4340 points to ramp up precision
30.165 * * * * [points]: Setting MPFR precision to 64
30.167 * * * * [points]: Setting MPFR precision to 320
30.168 * * * * [points]: Computing exacts on every 135 of 4340 points to ramp up precision
30.172 * * * * [points]: Setting MPFR precision to 64
30.175 * * * * [points]: Setting MPFR precision to 320
30.177 * * * * [points]: Computing exacts on every 67 of 4340 points to ramp up precision
30.181 * * * * [points]: Setting MPFR precision to 64
30.186 * * * * [points]: Setting MPFR precision to 320
30.190 * * * * [points]: Computing exacts on every 33 of 4340 points to ramp up precision
30.194 * * * * [points]: Setting MPFR precision to 64
30.224 * * * * [points]: Setting MPFR precision to 320
30.235 * * * * [points]: Computing exacts on every 16 of 4340 points to ramp up precision
30.240 * * * * [points]: Setting MPFR precision to 64
30.261 * * * * [points]: Setting MPFR precision to 320
30.279 * * * * [points]: Computing exacts on every 8 of 4340 points to ramp up precision
30.283 * * * * [points]: Setting MPFR precision to 64
30.335 * * * * [points]: Setting MPFR precision to 320
30.450 * * * * [points]: Computing exacts on every 4 of 4340 points to ramp up precision
30.459 * * * * [points]: Setting MPFR precision to 64
30.530 * * * * [points]: Setting MPFR precision to 320
30.640 * * * * [points]: Computing exacts on every 2 of 4340 points to ramp up precision
30.644 * * * * [points]: Setting MPFR precision to 64
30.778 * * * * [points]: Setting MPFR precision to 320
30.938 * * * * [points]: Computing exacts for 4340 points
30.948 * * * * [points]: Setting MPFR precision to 64
32.039 * * * * [points]: Setting MPFR precision to 320
32.719 * * * * [points]: Filtering points with unrepresentable outputs
32.722 * * * * [points]: Sampling 3745 additional inputs, on iter 5 have 4255 / 8000
32.738 * * * * [points]: Computing exacts on every 234 of 3745 points to ramp up precision
32.743 * * * * [points]: Setting MPFR precision to 64
32.745 * * * * [points]: Setting MPFR precision to 320
32.746 * * * * [points]: Computing exacts on every 117 of 3745 points to ramp up precision
32.754 * * * * [points]: Setting MPFR precision to 64
32.757 * * * * [points]: Setting MPFR precision to 320
32.760 * * * * [points]: Computing exacts on every 58 of 3745 points to ramp up precision
32.764 * * * * [points]: Setting MPFR precision to 64
32.769 * * * * [points]: Setting MPFR precision to 320
32.809 * * * * [points]: Computing exacts on every 29 of 3745 points to ramp up precision
32.820 * * * * [points]: Setting MPFR precision to 64
32.838 * * * * [points]: Setting MPFR precision to 320
32.855 * * * * [points]: Computing exacts on every 14 of 3745 points to ramp up precision
32.864 * * * * [points]: Setting MPFR precision to 64
32.899 * * * * [points]: Setting MPFR precision to 320
32.935 * * * * [points]: Computing exacts on every 7 of 3745 points to ramp up precision
32.945 * * * * [points]: Setting MPFR precision to 64
33.023 * * * * [points]: Setting MPFR precision to 320
33.080 * * * * [points]: Computing exacts on every 3 of 3745 points to ramp up precision
33.085 * * * * [points]: Setting MPFR precision to 64
33.182 * * * * [points]: Setting MPFR precision to 320
33.254 * * * * [points]: Computing exacts for 3745 points
33.259 * * * * [points]: Setting MPFR precision to 64
33.634 * * * * [points]: Setting MPFR precision to 320
33.984 * * * * [points]: Filtering points with unrepresentable outputs
33.986 * * * * [points]: Sampling 3214 additional inputs, on iter 6 have 4786 / 8000
33.999 * * * * [points]: Computing exacts on every 200 of 3214 points to ramp up precision
34.043 * * * * [points]: Setting MPFR precision to 64
34.045 * * * * [points]: Setting MPFR precision to 320
34.048 * * * * [points]: Computing exacts on every 100 of 3214 points to ramp up precision
34.059 * * * * [points]: Setting MPFR precision to 64
34.064 * * * * [points]: Setting MPFR precision to 320
34.068 * * * * [points]: Computing exacts on every 50 of 3214 points to ramp up precision
34.078 * * * * [points]: Setting MPFR precision to 64
34.087 * * * * [points]: Setting MPFR precision to 320
34.095 * * * * [points]: Computing exacts on every 25 of 3214 points to ramp up precision
34.105 * * * * [points]: Setting MPFR precision to 64
34.122 * * * * [points]: Setting MPFR precision to 320
34.140 * * * * [points]: Computing exacts on every 12 of 3214 points to ramp up precision
34.149 * * * * [points]: Setting MPFR precision to 64
34.184 * * * * [points]: Setting MPFR precision to 320
34.220 * * * * [points]: Computing exacts on every 6 of 3214 points to ramp up precision
34.265 * * * * [points]: Setting MPFR precision to 64
34.333 * * * * [points]: Setting MPFR precision to 320
34.396 * * * * [points]: Computing exacts on every 3 of 3214 points to ramp up precision
34.406 * * * * [points]: Setting MPFR precision to 64
34.565 * * * * [points]: Setting MPFR precision to 320
34.676 * * * * [points]: Computing exacts for 3214 points
34.686 * * * * [points]: Setting MPFR precision to 64
35.695 * * * * [points]: Setting MPFR precision to 320
36.159 * * * * [points]: Filtering points with unrepresentable outputs
36.162 * * * * [points]: Sampling 2748 additional inputs, on iter 7 have 5252 / 8000
36.183 * * * * [points]: Computing exacts on every 171 of 2748 points to ramp up precision
36.193 * * * * [points]: Setting MPFR precision to 64
36.195 * * * * [points]: Setting MPFR precision to 320
36.197 * * * * [points]: Computing exacts on every 85 of 2748 points to ramp up precision
36.207 * * * * [points]: Setting MPFR precision to 64
36.211 * * * * [points]: Setting MPFR precision to 320
36.215 * * * * [points]: Computing exacts on every 42 of 2748 points to ramp up precision
36.225 * * * * [points]: Setting MPFR precision to 64
36.234 * * * * [points]: Setting MPFR precision to 320
36.242 * * * * [points]: Computing exacts on every 21 of 2748 points to ramp up precision
36.252 * * * * [points]: Setting MPFR precision to 64
36.269 * * * * [points]: Setting MPFR precision to 320
36.288 * * * * [points]: Computing exacts on every 10 of 2748 points to ramp up precision
36.327 * * * * [points]: Setting MPFR precision to 64
36.349 * * * * [points]: Setting MPFR precision to 320
36.377 * * * * [points]: Computing exacts on every 5 of 2748 points to ramp up precision
36.382 * * * * [points]: Setting MPFR precision to 64
36.440 * * * * [points]: Setting MPFR precision to 320
36.551 * * * * [points]: Computing exacts on every 2 of 2748 points to ramp up precision
36.560 * * * * [points]: Setting MPFR precision to 64
36.687 * * * * [points]: Setting MPFR precision to 320
36.839 * * * * [points]: Computing exacts for 2748 points
36.845 * * * * [points]: Setting MPFR precision to 64
37.107 * * * * [points]: Setting MPFR precision to 320
37.377 * * * * [points]: Filtering points with unrepresentable outputs
37.378 * * * * [points]: Sampling 2357 additional inputs, on iter 8 have 5643 / 8000
37.388 * * * * [points]: Computing exacts on every 147 of 2357 points to ramp up precision
37.393 * * * * [points]: Setting MPFR precision to 64
37.394 * * * * [points]: Setting MPFR precision to 320
37.395 * * * * [points]: Computing exacts on every 73 of 2357 points to ramp up precision
37.400 * * * * [points]: Setting MPFR precision to 64
37.405 * * * * [points]: Setting MPFR precision to 320
37.407 * * * * [points]: Computing exacts on every 36 of 2357 points to ramp up precision
37.411 * * * * [points]: Setting MPFR precision to 64
37.416 * * * * [points]: Setting MPFR precision to 320
37.421 * * * * [points]: Computing exacts on every 18 of 2357 points to ramp up precision
37.425 * * * * [points]: Setting MPFR precision to 64
37.434 * * * * [points]: Setting MPFR precision to 320
37.444 * * * * [points]: Computing exacts on every 9 of 2357 points to ramp up precision
37.449 * * * * [points]: Setting MPFR precision to 64
37.488 * * * * [points]: Setting MPFR precision to 320
37.505 * * * * [points]: Computing exacts on every 4 of 2357 points to ramp up precision
37.510 * * * * [points]: Setting MPFR precision to 64
37.545 * * * * [points]: Setting MPFR precision to 320
37.581 * * * * [points]: Computing exacts on every 2 of 2357 points to ramp up precision
37.611 * * * * [points]: Setting MPFR precision to 64
37.671 * * * * [points]: Setting MPFR precision to 320
37.759 * * * * [points]: Computing exacts for 2357 points
37.763 * * * * [points]: Setting MPFR precision to 64
38.242 * * * * [points]: Setting MPFR precision to 320
38.488 * * * * [points]: Filtering points with unrepresentable outputs
38.489 * * * * [points]: Sampling 2020 additional inputs, on iter 9 have 5980 / 8000
38.497 * * * * [points]: Computing exacts on every 126 of 2020 points to ramp up precision
38.502 * * * * [points]: Setting MPFR precision to 64
38.503 * * * * [points]: Setting MPFR precision to 320
38.504 * * * * [points]: Computing exacts on every 63 of 2020 points to ramp up precision
38.509 * * * * [points]: Setting MPFR precision to 64
38.511 * * * * [points]: Setting MPFR precision to 320
38.514 * * * * [points]: Computing exacts on every 31 of 2020 points to ramp up precision
38.518 * * * * [points]: Setting MPFR precision to 64
38.523 * * * * [points]: Setting MPFR precision to 320
38.528 * * * * [points]: Computing exacts on every 15 of 2020 points to ramp up precision
38.532 * * * * [points]: Setting MPFR precision to 64
38.542 * * * * [points]: Setting MPFR precision to 320
38.551 * * * * [points]: Computing exacts on every 7 of 2020 points to ramp up precision
38.574 * * * * [points]: Setting MPFR precision to 64
38.595 * * * * [points]: Setting MPFR precision to 320
38.613 * * * * [points]: Computing exacts on every 3 of 2020 points to ramp up precision
38.618 * * * * [points]: Setting MPFR precision to 64
38.686 * * * * [points]: Setting MPFR precision to 320
38.796 * * * * [points]: Computing exacts for 2020 points
38.801 * * * * [points]: Setting MPFR precision to 64
38.982 * * * * [points]: Setting MPFR precision to 320
39.303 * * * * [points]: Filtering points with unrepresentable outputs
39.305 * * * * [points]: Sampling 1743 additional inputs, on iter 10 have 6257 / 8000
39.319 * * * * [points]: Computing exacts on every 108 of 1743 points to ramp up precision
39.370 * * * * [points]: Setting MPFR precision to 64
39.375 * * * * [points]: Setting MPFR precision to 320
39.376 * * * * [points]: Computing exacts on every 54 of 1743 points to ramp up precision
39.381 * * * * [points]: Setting MPFR precision to 64
39.383 * * * * [points]: Setting MPFR precision to 320
39.385 * * * * [points]: Computing exacts on every 27 of 1743 points to ramp up precision
39.390 * * * * [points]: Setting MPFR precision to 64
39.394 * * * * [points]: Setting MPFR precision to 320
39.399 * * * * [points]: Computing exacts on every 13 of 1743 points to ramp up precision
39.404 * * * * [points]: Setting MPFR precision to 64
39.412 * * * * [points]: Setting MPFR precision to 320
39.421 * * * * [points]: Computing exacts on every 6 of 1743 points to ramp up precision
39.426 * * * * [points]: Setting MPFR precision to 64
39.445 * * * * [points]: Setting MPFR precision to 320
39.504 * * * * [points]: Computing exacts on every 3 of 1743 points to ramp up precision
39.515 * * * * [points]: Setting MPFR precision to 64
39.569 * * * * [points]: Setting MPFR precision to 320
39.625 * * * * [points]: Computing exacts for 1743 points
39.634 * * * * [points]: Setting MPFR precision to 64
39.904 * * * * [points]: Setting MPFR precision to 320
40.149 * * * * [points]: Filtering points with unrepresentable outputs
40.150 * * * * [points]: Sampling 1479 additional inputs, on iter 11 have 6521 / 8000
40.159 * * * * [points]: Computing exacts on every 92 of 1479 points to ramp up precision
40.168 * * * * [points]: Setting MPFR precision to 64
40.170 * * * * [points]: Setting MPFR precision to 320
40.172 * * * * [points]: Computing exacts on every 46 of 1479 points to ramp up precision
40.182 * * * * [points]: Setting MPFR precision to 64
40.186 * * * * [points]: Setting MPFR precision to 320
40.190 * * * * [points]: Computing exacts on every 23 of 1479 points to ramp up precision
40.196 * * * * [points]: Setting MPFR precision to 64
40.201 * * * * [points]: Setting MPFR precision to 320
40.205 * * * * [points]: Computing exacts on every 11 of 1479 points to ramp up precision
40.210 * * * * [points]: Setting MPFR precision to 64
40.219 * * * * [points]: Setting MPFR precision to 320
40.233 * * * * [points]: Computing exacts on every 5 of 1479 points to ramp up precision
40.242 * * * * [points]: Setting MPFR precision to 64
40.293 * * * * [points]: Setting MPFR precision to 320
40.311 * * * * [points]: Computing exacts on every 2 of 1479 points to ramp up precision
40.316 * * * * [points]: Setting MPFR precision to 64
40.377 * * * * [points]: Setting MPFR precision to 320
40.419 * * * * [points]: Computing exacts for 1479 points
40.463 * * * * [points]: Setting MPFR precision to 64
40.634 * * * * [points]: Setting MPFR precision to 320
40.840 * * * * [points]: Filtering points with unrepresentable outputs
40.841 * * * * [points]: Sampling 1272 additional inputs, on iter 12 have 6728 / 8000
40.846 * * * * [points]: Computing exacts on every 79 of 1272 points to ramp up precision
40.853 * * * * [points]: Setting MPFR precision to 64
40.854 * * * * [points]: Setting MPFR precision to 320
40.855 * * * * [points]: Computing exacts on every 39 of 1272 points to ramp up precision
40.860 * * * * [points]: Setting MPFR precision to 64
40.862 * * * * [points]: Setting MPFR precision to 320
40.864 * * * * [points]: Computing exacts on every 19 of 1272 points to ramp up precision
40.869 * * * * [points]: Setting MPFR precision to 64
40.873 * * * * [points]: Setting MPFR precision to 320
40.878 * * * * [points]: Computing exacts on every 9 of 1272 points to ramp up precision
40.883 * * * * [points]: Setting MPFR precision to 64
40.891 * * * * [points]: Setting MPFR precision to 320
40.901 * * * * [points]: Computing exacts on every 4 of 1272 points to ramp up precision
40.905 * * * * [points]: Setting MPFR precision to 64
40.924 * * * * [points]: Setting MPFR precision to 320
41.264 * * * * [points]: Computing exacts on every 2 of 1272 points to ramp up precision
41.273 * * * * [points]: Setting MPFR precision to 64
41.324 * * * * [points]: Setting MPFR precision to 320
41.356 * * * * [points]: Computing exacts for 1272 points
41.361 * * * * [points]: Setting MPFR precision to 64
41.486 * * * * [points]: Setting MPFR precision to 320
41.689 * * * * [points]: Filtering points with unrepresentable outputs
41.690 * * * * [points]: Sampling 1104 additional inputs, on iter 13 have 6896 / 8000
41.699 * * * * [points]: Computing exacts on every 69 of 1104 points to ramp up precision
41.709 * * * * [points]: Setting MPFR precision to 64
41.711 * * * * [points]: Setting MPFR precision to 320
41.713 * * * * [points]: Computing exacts on every 34 of 1104 points to ramp up precision
41.722 * * * * [points]: Setting MPFR precision to 64
41.727 * * * * [points]: Setting MPFR precision to 320
41.731 * * * * [points]: Computing exacts on every 17 of 1104 points to ramp up precision
41.739 * * * * [points]: Setting MPFR precision to 64
41.747 * * * * [points]: Setting MPFR precision to 320
41.755 * * * * [points]: Computing exacts on every 8 of 1104 points to ramp up precision
41.800 * * * * [points]: Setting MPFR precision to 64
41.820 * * * * [points]: Setting MPFR precision to 320
41.836 * * * * [points]: Computing exacts on every 4 of 1104 points to ramp up precision
41.844 * * * * [points]: Setting MPFR precision to 64
41.873 * * * * [points]: Setting MPFR precision to 320
41.902 * * * * [points]: Computing exacts on every 2 of 1104 points to ramp up precision
41.911 * * * * [points]: Setting MPFR precision to 64
41.959 * * * * [points]: Setting MPFR precision to 320
42.019 * * * * [points]: Computing exacts for 1104 points
42.024 * * * * [points]: Setting MPFR precision to 64
42.103 * * * * [points]: Setting MPFR precision to 320
42.213 * * * * [points]: Filtering points with unrepresentable outputs
42.214 * * * * [points]: Sampling 940 additional inputs, on iter 14 have 7060 / 8000
42.218 * * * * [points]: Computing exacts on every 58 of 940 points to ramp up precision
42.223 * * * * [points]: Setting MPFR precision to 64
42.224 * * * * [points]: Setting MPFR precision to 320
42.225 * * * * [points]: Computing exacts on every 29 of 940 points to ramp up precision
42.230 * * * * [points]: Setting MPFR precision to 64
42.233 * * * * [points]: Setting MPFR precision to 320
42.235 * * * * [points]: Computing exacts on every 14 of 940 points to ramp up precision
42.239 * * * * [points]: Setting MPFR precision to 64
42.269 * * * * [points]: Setting MPFR precision to 320
42.274 * * * * [points]: Computing exacts on every 7 of 940 points to ramp up precision
42.281 * * * * [points]: Setting MPFR precision to 64
42.292 * * * * [points]: Setting MPFR precision to 320
42.306 * * * * [points]: Computing exacts on every 3 of 940 points to ramp up precision
42.311 * * * * [points]: Setting MPFR precision to 64
42.328 * * * * [points]: Setting MPFR precision to 320
42.346 * * * * [points]: Computing exacts for 940 points
42.351 * * * * [points]: Setting MPFR precision to 64
42.506 * * * * [points]: Setting MPFR precision to 320
42.680 * * * * [points]: Filtering points with unrepresentable outputs
42.681 * * * * [points]: Sampling 786 additional inputs, on iter 15 have 7214 / 8000
42.691 * * * * [points]: Computing exacts on every 49 of 786 points to ramp up precision
42.700 * * * * [points]: Setting MPFR precision to 64
42.703 * * * * [points]: Setting MPFR precision to 320
42.705 * * * * [points]: Computing exacts on every 24 of 786 points to ramp up precision
42.714 * * * * [points]: Setting MPFR precision to 64
42.718 * * * * [points]: Setting MPFR precision to 320
42.723 * * * * [points]: Computing exacts on every 12 of 786 points to ramp up precision
42.732 * * * * [points]: Setting MPFR precision to 64
42.740 * * * * [points]: Setting MPFR precision to 320
42.748 * * * * [points]: Computing exacts on every 6 of 786 points to ramp up precision
42.757 * * * * [points]: Setting MPFR precision to 64
42.771 * * * * [points]: Setting MPFR precision to 320
42.784 * * * * [points]: Computing exacts on every 3 of 786 points to ramp up precision
42.793 * * * * [points]: Setting MPFR precision to 64
42.816 * * * * [points]: Setting MPFR precision to 320
42.859 * * * * [points]: Computing exacts for 786 points
42.869 * * * * [points]: Setting MPFR precision to 64
42.950 * * * * [points]: Setting MPFR precision to 320
43.096 * * * * [points]: Filtering points with unrepresentable outputs
43.097 * * * * [points]: Sampling 665 additional inputs, on iter 16 have 7335 / 8000
43.102 * * * * [points]: Computing exacts on every 41 of 665 points to ramp up precision
43.112 * * * * [points]: Setting MPFR precision to 64
43.114 * * * * [points]: Setting MPFR precision to 320
43.116 * * * * [points]: Computing exacts on every 20 of 665 points to ramp up precision
43.126 * * * * [points]: Setting MPFR precision to 64
43.130 * * * * [points]: Setting MPFR precision to 320
43.132 * * * * [points]: Computing exacts on every 10 of 665 points to ramp up precision
43.137 * * * * [points]: Setting MPFR precision to 64
43.141 * * * * [points]: Setting MPFR precision to 320
43.146 * * * * [points]: Computing exacts on every 5 of 665 points to ramp up precision
43.151 * * * * [points]: Setting MPFR precision to 64
43.159 * * * * [points]: Setting MPFR precision to 320
43.170 * * * * [points]: Computing exacts on every 2 of 665 points to ramp up precision
43.178 * * * * [points]: Setting MPFR precision to 64
43.215 * * * * [points]: Setting MPFR precision to 320
43.232 * * * * [points]: Computing exacts for 665 points
43.237 * * * * [points]: Setting MPFR precision to 64
43.283 * * * * [points]: Setting MPFR precision to 320
43.383 * * * * [points]: Filtering points with unrepresentable outputs
43.384 * * * * [points]: Sampling 565 additional inputs, on iter 17 have 7435 / 8000
43.386 * * * * [points]: Computing exacts on every 35 of 565 points to ramp up precision
43.392 * * * * [points]: Setting MPFR precision to 64
43.394 * * * * [points]: Setting MPFR precision to 320
43.395 * * * * [points]: Computing exacts on every 17 of 565 points to ramp up precision
43.400 * * * * [points]: Setting MPFR precision to 64
43.402 * * * * [points]: Setting MPFR precision to 320
43.404 * * * * [points]: Computing exacts on every 8 of 565 points to ramp up precision
43.409 * * * * [points]: Setting MPFR precision to 64
43.413 * * * * [points]: Setting MPFR precision to 320
43.418 * * * * [points]: Computing exacts on every 4 of 565 points to ramp up precision
43.423 * * * * [points]: Setting MPFR precision to 64
43.431 * * * * [points]: Setting MPFR precision to 320
43.439 * * * * [points]: Computing exacts on every 2 of 565 points to ramp up precision
43.444 * * * * [points]: Setting MPFR precision to 64
43.458 * * * * [points]: Setting MPFR precision to 320
43.494 * * * * [points]: Computing exacts for 565 points
43.500 * * * * [points]: Setting MPFR precision to 64
43.542 * * * * [points]: Setting MPFR precision to 320
43.583 * * * * [points]: Filtering points with unrepresentable outputs
43.583 * * * * [points]: Sampling 489 additional inputs, on iter 18 have 7511 / 8000
43.585 * * * * [points]: Computing exacts on every 30 of 489 points to ramp up precision
43.590 * * * * [points]: Setting MPFR precision to 64
43.618 * * * * [points]: Setting MPFR precision to 320
43.619 * * * * [points]: Computing exacts on every 15 of 489 points to ramp up precision
43.624 * * * * [points]: Setting MPFR precision to 64
43.626 * * * * [points]: Setting MPFR precision to 320
43.630 * * * * [points]: Computing exacts on every 7 of 489 points to ramp up precision
43.635 * * * * [points]: Setting MPFR precision to 64
43.640 * * * * [points]: Setting MPFR precision to 320
43.644 * * * * [points]: Computing exacts on every 3 of 489 points to ramp up precision
43.652 * * * * [points]: Setting MPFR precision to 64
43.669 * * * * [points]: Setting MPFR precision to 320
43.684 * * * * [points]: Computing exacts for 489 points
43.694 * * * * [points]: Setting MPFR precision to 64
43.760 * * * * [points]: Setting MPFR precision to 320
43.873 * * * * [points]: Filtering points with unrepresentable outputs
43.874 * * * * [points]: Sampling 408 additional inputs, on iter 19 have 7592 / 8000
43.877 * * * * [points]: Computing exacts on every 25 of 408 points to ramp up precision
43.886 * * * * [points]: Setting MPFR precision to 64
43.888 * * * * [points]: Setting MPFR precision to 320
43.890 * * * * [points]: Computing exacts on every 12 of 408 points to ramp up precision
43.900 * * * * [points]: Setting MPFR precision to 64
43.904 * * * * [points]: Setting MPFR precision to 320
43.909 * * * * [points]: Computing exacts on every 6 of 408 points to ramp up precision
43.918 * * * * [points]: Setting MPFR precision to 64
43.922 * * * * [points]: Setting MPFR precision to 320
43.926 * * * * [points]: Computing exacts on every 3 of 408 points to ramp up precision
43.931 * * * * [points]: Setting MPFR precision to 64
43.938 * * * * [points]: Setting MPFR precision to 320
43.945 * * * * [points]: Computing exacts for 408 points
43.950 * * * * [points]: Setting MPFR precision to 64
44.049 * * * * [points]: Setting MPFR precision to 320
44.104 * * * * [points]: Filtering points with unrepresentable outputs
44.105 * * * * [points]: Sampling 362 additional inputs, on iter 20 have 7638 / 8000
44.108 * * * * [points]: Computing exacts on every 22 of 362 points to ramp up precision
44.117 * * * * [points]: Setting MPFR precision to 64
44.119 * * * * [points]: Setting MPFR precision to 320
44.121 * * * * [points]: Computing exacts on every 11 of 362 points to ramp up precision
44.130 * * * * [points]: Setting MPFR precision to 64
44.134 * * * * [points]: Setting MPFR precision to 320
44.139 * * * * [points]: Computing exacts on every 5 of 362 points to ramp up precision
44.147 * * * * [points]: Setting MPFR precision to 64
44.151 * * * * [points]: Setting MPFR precision to 320
44.156 * * * * [points]: Computing exacts on every 2 of 362 points to ramp up precision
44.161 * * * * [points]: Setting MPFR precision to 64
44.522 * * * * [points]: Setting MPFR precision to 320
44.541 * * * * [points]: Computing exacts for 362 points
44.551 * * * * [points]: Setting MPFR precision to 64
44.602 * * * * [points]: Setting MPFR precision to 320
44.652 * * * * [points]: Filtering points with unrepresentable outputs
44.653 * * * * [points]: Sampling 304 additional inputs, on iter 21 have 7696 / 8000
44.655 * * * * [points]: Computing exacts on every 19 of 304 points to ramp up precision
44.664 * * * * [points]: Setting MPFR precision to 64
44.667 * * * * [points]: Setting MPFR precision to 320
44.669 * * * * [points]: Computing exacts on every 9 of 304 points to ramp up precision
44.679 * * * * [points]: Setting MPFR precision to 64
44.683 * * * * [points]: Setting MPFR precision to 320
44.688 * * * * [points]: Computing exacts on every 4 of 304 points to ramp up precision
44.734 * * * * [points]: Setting MPFR precision to 64
44.745 * * * * [points]: Setting MPFR precision to 320
44.753 * * * * [points]: Computing exacts on every 2 of 304 points to ramp up precision
44.763 * * * * [points]: Setting MPFR precision to 64
44.777 * * * * [points]: Setting MPFR precision to 320
44.791 * * * * [points]: Computing exacts for 304 points
44.801 * * * * [points]: Setting MPFR precision to 64
44.844 * * * * [points]: Setting MPFR precision to 320
44.877 * * * * [points]: Filtering points with unrepresentable outputs
44.878 * * * * [points]: Sampling 259 additional inputs, on iter 22 have 7741 / 8000
44.879 * * * * [points]: Computing exacts on every 16 of 259 points to ramp up precision
44.883 * * * * [points]: Setting MPFR precision to 64
44.885 * * * * [points]: Setting MPFR precision to 320
44.886 * * * * [points]: Computing exacts on every 8 of 259 points to ramp up precision
44.890 * * * * [points]: Setting MPFR precision to 64
44.916 * * * * [points]: Setting MPFR precision to 320
44.918 * * * * [points]: Computing exacts on every 4 of 259 points to ramp up precision
44.923 * * * * [points]: Setting MPFR precision to 64
44.928 * * * * [points]: Setting MPFR precision to 320
44.932 * * * * [points]: Computing exacts on every 2 of 259 points to ramp up precision
44.938 * * * * [points]: Setting MPFR precision to 64
44.950 * * * * [points]: Setting MPFR precision to 320
44.961 * * * * [points]: Computing exacts for 259 points
44.966 * * * * [points]: Setting MPFR precision to 64
44.985 * * * * [points]: Setting MPFR precision to 320
45.017 * * * * [points]: Filtering points with unrepresentable outputs
45.017 * * * * [points]: Sampling 213 additional inputs, on iter 23 have 7787 / 8000
45.019 * * * * [points]: Computing exacts on every 13 of 213 points to ramp up precision
45.029 * * * * [points]: Setting MPFR precision to 64
45.031 * * * * [points]: Setting MPFR precision to 320
45.033 * * * * [points]: Computing exacts on every 6 of 213 points to ramp up precision
45.042 * * * * [points]: Setting MPFR precision to 64
45.081 * * * * [points]: Setting MPFR precision to 320
45.085 * * * * [points]: Computing exacts on every 3 of 213 points to ramp up precision
45.097 * * * * [points]: Setting MPFR precision to 64
45.105 * * * * [points]: Setting MPFR precision to 320
45.112 * * * * [points]: Computing exacts for 213 points
45.121 * * * * [points]: Setting MPFR precision to 64
45.149 * * * * [points]: Setting MPFR precision to 320
45.178 * * * * [points]: Filtering points with unrepresentable outputs
45.178 * * * * [points]: Sampling 189 additional inputs, on iter 24 have 7811 / 8000
45.180 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision
45.189 * * * * [points]: Setting MPFR precision to 64
45.191 * * * * [points]: Setting MPFR precision to 320
45.193 * * * * [points]: Computing exacts on every 5 of 189 points to ramp up precision
45.202 * * * * [points]: Setting MPFR precision to 64
45.206 * * * * [points]: Setting MPFR precision to 320
45.210 * * * * [points]: Computing exacts on every 2 of 189 points to ramp up precision
45.218 * * * * [points]: Setting MPFR precision to 64
45.227 * * * * [points]: Setting MPFR precision to 320
45.235 * * * * [points]: Computing exacts for 189 points
45.260 * * * * [points]: Setting MPFR precision to 64
45.283 * * * * [points]: Setting MPFR precision to 320
45.304 * * * * [points]: Filtering points with unrepresentable outputs
45.305 * * * * [points]: Sampling 155 additional inputs, on iter 25 have 7845 / 8000
45.306 * * * * [points]: Computing exacts on every 9 of 155 points to ramp up precision
45.314 * * * * [points]: Setting MPFR precision to 64
45.316 * * * * [points]: Setting MPFR precision to 320
45.318 * * * * [points]: Computing exacts on every 4 of 155 points to ramp up precision
45.326 * * * * [points]: Setting MPFR precision to 64
45.330 * * * * [points]: Setting MPFR precision to 320
45.334 * * * * [points]: Computing exacts on every 2 of 155 points to ramp up precision
45.343 * * * * [points]: Setting MPFR precision to 64
45.351 * * * * [points]: Setting MPFR precision to 320
45.359 * * * * [points]: Computing exacts for 155 points
45.369 * * * * [points]: Setting MPFR precision to 64
45.390 * * * * [points]: Setting MPFR precision to 320
45.411 * * * * [points]: Filtering points with unrepresentable outputs
45.411 * * * * [points]: Sampling 136 additional inputs, on iter 26 have 7864 / 8000
45.412 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
45.421 * * * * [points]: Setting MPFR precision to 64
45.456 * * * * [points]: Setting MPFR precision to 320
45.458 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
45.471 * * * * [points]: Setting MPFR precision to 64
45.475 * * * * [points]: Setting MPFR precision to 320
45.479 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
45.488 * * * * [points]: Setting MPFR precision to 64
45.495 * * * * [points]: Setting MPFR precision to 320
45.501 * * * * [points]: Computing exacts for 136 points
45.510 * * * * [points]: Setting MPFR precision to 64
45.529 * * * * [points]: Setting MPFR precision to 320
45.549 * * * * [points]: Filtering points with unrepresentable outputs
45.549 * * * * [points]: Sampling 113 additional inputs, on iter 27 have 7887 / 8000
45.550 * * * * [points]: Computing exacts on every 7 of 113 points to ramp up precision
45.559 * * * * [points]: Setting MPFR precision to 64
45.561 * * * * [points]: Setting MPFR precision to 320
45.563 * * * * [points]: Computing exacts on every 3 of 113 points to ramp up precision
45.572 * * * * [points]: Setting MPFR precision to 64
45.575 * * * * [points]: Setting MPFR precision to 320
45.579 * * * * [points]: Computing exacts for 113 points
45.588 * * * * [points]: Setting MPFR precision to 64
45.602 * * * * [points]: Setting MPFR precision to 320
45.617 * * * * [points]: Filtering points with unrepresentable outputs
45.617 * * * * [points]: Sampling 97 additional inputs, on iter 28 have 7903 / 8000
45.618 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
45.642 * * * * [points]: Setting MPFR precision to 64
45.643 * * * * [points]: Setting MPFR precision to 320
45.644 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
45.648 * * * * [points]: Setting MPFR precision to 64
45.652 * * * * [points]: Setting MPFR precision to 320
45.653 * * * * [points]: Computing exacts for 97 points
45.658 * * * * [points]: Setting MPFR precision to 64
45.665 * * * * [points]: Setting MPFR precision to 320
45.672 * * * * [points]: Filtering points with unrepresentable outputs
45.672 * * * * [points]: Sampling 88 additional inputs, on iter 29 have 7912 / 8000
45.672 * * * * [points]: Computing exacts on every 5 of 88 points to ramp up precision
45.677 * * * * [points]: Setting MPFR precision to 64
45.678 * * * * [points]: Setting MPFR precision to 320
45.679 * * * * [points]: Computing exacts on every 2 of 88 points to ramp up precision
45.683 * * * * [points]: Setting MPFR precision to 64
45.686 * * * * [points]: Setting MPFR precision to 320
45.688 * * * * [points]: Computing exacts for 88 points
45.692 * * * * [points]: Setting MPFR precision to 64
45.698 * * * * [points]: Setting MPFR precision to 320
45.705 * * * * [points]: Filtering points with unrepresentable outputs
45.705 * * * * [points]: Sampling 75 additional inputs, on iter 30 have 7925 / 8000
45.705 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
45.710 * * * * [points]: Setting MPFR precision to 64
45.711 * * * * [points]: Setting MPFR precision to 320
45.712 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
45.720 * * * * [points]: Setting MPFR precision to 64
45.724 * * * * [points]: Setting MPFR precision to 320
45.750 * * * * [points]: Computing exacts for 75 points
45.759 * * * * [points]: Setting MPFR precision to 64
45.772 * * * * [points]: Setting MPFR precision to 320
45.782 * * * * [points]: Filtering points with unrepresentable outputs
45.782 * * * * [points]: Sampling 69 additional inputs, on iter 31 have 7931 / 8000
45.783 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
45.792 * * * * [points]: Setting MPFR precision to 64
45.794 * * * * [points]: Setting MPFR precision to 320
45.796 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
45.805 * * * * [points]: Setting MPFR precision to 64
45.808 * * * * [points]: Setting MPFR precision to 320
45.811 * * * * [points]: Computing exacts for 69 points
45.821 * * * * [points]: Setting MPFR precision to 64
45.831 * * * * [points]: Setting MPFR precision to 320
45.840 * * * * [points]: Filtering points with unrepresentable outputs
45.841 * * * * [points]: Sampling 62 additional inputs, on iter 32 have 7938 / 8000
45.841 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
45.852 * * * * [points]: Setting MPFR precision to 64
45.855 * * * * [points]: Setting MPFR precision to 320
45.857 * * * * [points]: Computing exacts for 62 points
45.866 * * * * [points]: Setting MPFR precision to 64
45.874 * * * * [points]: Setting MPFR precision to 320
45.883 * * * * [points]: Filtering points with unrepresentable outputs
45.883 * * * * [points]: Sampling 54 additional inputs, on iter 33 have 7946 / 8000
45.884 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
45.893 * * * * [points]: Setting MPFR precision to 64
45.895 * * * * [points]: Setting MPFR precision to 320
45.897 * * * * [points]: Computing exacts for 54 points
45.906 * * * * [points]: Setting MPFR precision to 64
45.937 * * * * [points]: Setting MPFR precision to 320
45.948 * * * * [points]: Filtering points with unrepresentable outputs
45.948 * * * * [points]: Sampling 47 additional inputs, on iter 34 have 7953 / 8000
45.949 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
45.958 * * * * [points]: Setting MPFR precision to 64
45.961 * * * * [points]: Setting MPFR precision to 320
45.963 * * * * [points]: Computing exacts for 47 points
45.972 * * * * [points]: Setting MPFR precision to 64
45.978 * * * * [points]: Setting MPFR precision to 320
45.985 * * * * [points]: Filtering points with unrepresentable outputs
45.985 * * * * [points]: Sampling 43 additional inputs, on iter 35 have 7957 / 8000
45.986 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
45.995 * * * * [points]: Setting MPFR precision to 64
45.998 * * * * [points]: Setting MPFR precision to 320
46.000 * * * * [points]: Computing exacts for 43 points
46.009 * * * * [points]: Setting MPFR precision to 64
46.015 * * * * [points]: Setting MPFR precision to 320
46.021 * * * * [points]: Filtering points with unrepresentable outputs
46.021 * * * * [points]: Sampling 42 additional inputs, on iter 36 have 7958 / 8000
46.021 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
46.031 * * * * [points]: Setting MPFR precision to 64
46.033 * * * * [points]: Setting MPFR precision to 320
46.035 * * * * [points]: Computing exacts for 42 points
46.044 * * * * [points]: Setting MPFR precision to 64
46.050 * * * * [points]: Setting MPFR precision to 320
46.056 * * * * [points]: Filtering points with unrepresentable outputs
46.056 * * * * [points]: Sampling 40 additional inputs, on iter 37 have 7960 / 8000
46.057 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
46.066 * * * * [points]: Setting MPFR precision to 64
46.068 * * * * [points]: Setting MPFR precision to 320
46.070 * * * * [points]: Computing exacts for 40 points
46.080 * * * * [points]: Setting MPFR precision to 64
46.088 * * * * [points]: Setting MPFR precision to 320
46.094 * * * * [points]: Filtering points with unrepresentable outputs
46.094 * * * * [points]: Sampling 35 additional inputs, on iter 38 have 7965 / 8000
46.094 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
46.127 * * * * [points]: Setting MPFR precision to 64
46.131 * * * * [points]: Setting MPFR precision to 320
46.133 * * * * [points]: Computing exacts for 35 points
46.142 * * * * [points]: Setting MPFR precision to 64
46.147 * * * * [points]: Setting MPFR precision to 320
46.151 * * * * [points]: Filtering points with unrepresentable outputs
46.152 * * * * [points]: Sampling 27 additional inputs, on iter 39 have 7973 / 8000
46.152 * * * * [points]: Computing exacts for 27 points
46.161 * * * * [points]: Setting MPFR precision to 64
46.165 * * * * [points]: Setting MPFR precision to 320
46.169 * * * * [points]: Filtering points with unrepresentable outputs
46.169 * * * * [points]: Sampling 23 additional inputs, on iter 40 have 7977 / 8000
46.169 * * * * [points]: Computing exacts for 23 points
46.179 * * * * [points]: Setting MPFR precision to 64
46.182 * * * * [points]: Setting MPFR precision to 320
46.185 * * * * [points]: Filtering points with unrepresentable outputs
46.185 * * * * [points]: Sampling 20 additional inputs, on iter 41 have 7980 / 8000
46.186 * * * * [points]: Computing exacts for 20 points
46.195 * * * * [points]: Setting MPFR precision to 64
46.198 * * * * [points]: Setting MPFR precision to 320
46.200 * * * * [points]: Filtering points with unrepresentable outputs
46.200 * * * * [points]: Sampling 15 additional inputs, on iter 42 have 7985 / 8000
46.201 * * * * [points]: Computing exacts for 15 points
46.210 * * * * [points]: Setting MPFR precision to 64
46.212 * * * * [points]: Setting MPFR precision to 320
46.215 * * * * [points]: Filtering points with unrepresentable outputs
46.215 * * * * [points]: Sampling 13 additional inputs, on iter 43 have 7987 / 8000
46.215 * * * * [points]: Computing exacts for 13 points
46.224 * * * * [points]: Setting MPFR precision to 64
46.226 * * * * [points]: Setting MPFR precision to 320
46.228 * * * * [points]: Filtering points with unrepresentable outputs
46.228 * * * * [points]: Sampling 11 additional inputs, on iter 44 have 7989 / 8000
46.228 * * * * [points]: Computing exacts for 11 points
46.238 * * * * [points]: Setting MPFR precision to 64
46.239 * * * * [points]: Setting MPFR precision to 320
46.241 * * * * [points]: Filtering points with unrepresentable outputs
46.241 * * * * [points]: Sampling 11 additional inputs, on iter 45 have 7989 / 8000
46.241 * * * * [points]: Computing exacts for 11 points
46.250 * * * * [points]: Setting MPFR precision to 64
46.252 * * * * [points]: Setting MPFR precision to 320
46.254 * * * * [points]: Filtering points with unrepresentable outputs
46.254 * * * * [points]: Sampling 9 additional inputs, on iter 46 have 7991 / 8000
46.254 * * * * [points]: Computing exacts for 9 points
46.283 * * * * [points]: Setting MPFR precision to 64
46.285 * * * * [points]: Setting MPFR precision to 320
46.286 * * * * [points]: Filtering points with unrepresentable outputs
46.286 * * * * [points]: Sampling 8 additional inputs, on iter 47 have 7992 / 8000
46.286 * * * * [points]: Computing exacts for 8 points
46.296 * * * * [points]: Setting MPFR precision to 64
46.297 * * * * [points]: Setting MPFR precision to 320
46.298 * * * * [points]: Filtering points with unrepresentable outputs
46.298 * * * * [points]: Sampling 6 additional inputs, on iter 48 have 7994 / 8000
46.298 * * * * [points]: Computing exacts for 6 points
46.307 * * * * [points]: Setting MPFR precision to 64
46.309 * * * * [points]: Setting MPFR precision to 320
46.310 * * * * [points]: Filtering points with unrepresentable outputs
46.310 * * * * [points]: Sampling 6 additional inputs, on iter 49 have 7994 / 8000
46.310 * * * * [points]: Computing exacts for 6 points
46.319 * * * * [points]: Setting MPFR precision to 64
46.320 * * * * [points]: Setting MPFR precision to 320
46.321 * * * * [points]: Filtering points with unrepresentable outputs
46.321 * * * * [points]: Sampling 5 additional inputs, on iter 50 have 7995 / 8000
46.321 * * * * [points]: Computing exacts for 5 points
46.331 * * * * [points]: Setting MPFR precision to 64
46.332 * * * * [points]: Setting MPFR precision to 320
46.333 * * * * [points]: Filtering points with unrepresentable outputs
46.333 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7996 / 8000
46.333 * * * * [points]: Computing exacts for 4 points
46.343 * * * * [points]: Setting MPFR precision to 64
46.344 * * * * [points]: Setting MPFR precision to 320
46.345 * * * * [points]: Filtering points with unrepresentable outputs
46.345 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7996 / 8000
46.345 * * * * [points]: Computing exacts for 4 points
46.355 * * * * [points]: Setting MPFR precision to 64
46.356 * * * * [points]: Setting MPFR precision to 320
46.356 * * * * [points]: Filtering points with unrepresentable outputs
46.356 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7996 / 8000
46.356 * * * * [points]: Computing exacts for 4 points
46.366 * * * * [points]: Setting MPFR precision to 64
46.367 * * * * [points]: Setting MPFR precision to 320
46.367 * * * * [points]: Filtering points with unrepresentable outputs
46.368 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7997 / 8000
46.368 * * * * [points]: Computing exacts for 4 points
46.377 * * * * [points]: Setting MPFR precision to 64
46.377 * * * * [points]: Setting MPFR precision to 320
46.378 * * * * [points]: Filtering points with unrepresentable outputs
46.378 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7997 / 8000
46.378 * * * * [points]: Computing exacts for 4 points
46.387 * * * * [points]: Setting MPFR precision to 64
46.388 * * * * [points]: Setting MPFR precision to 320
46.389 * * * * [points]: Filtering points with unrepresentable outputs
46.389 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7997 / 8000
46.389 * * * * [points]: Computing exacts for 4 points
46.398 * * * * [points]: Setting MPFR precision to 64
46.399 * * * * [points]: Setting MPFR precision to 320
46.399 * * * * [points]: Filtering points with unrepresentable outputs
46.400 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7997 / 8000
46.400 * * * * [points]: Computing exacts for 4 points
46.409 * * * * [points]: Setting MPFR precision to 64
46.410 * * * * [points]: Setting MPFR precision to 320
46.410 * * * * [points]: Filtering points with unrepresentable outputs
46.410 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7998 / 8000
46.410 * * * * [points]: Computing exacts for 4 points
46.434 * * * * [points]: Setting MPFR precision to 64
46.435 * * * * [points]: Setting MPFR precision to 320
46.435 * * * * [points]: Filtering points with unrepresentable outputs
46.436 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7999 / 8000
46.436 * * * * [points]: Computing exacts for 4 points
46.445 * * * * [points]: Setting MPFR precision to 64
46.446 * * * * [points]: Setting MPFR precision to 320
46.446 * * * * [points]: Filtering points with unrepresentable outputs
46.447 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7999 / 8000
46.447 * * * * [points]: Computing exacts for 4 points
46.456 * * * * [points]: Setting MPFR precision to 64
46.457 * * * * [points]: Setting MPFR precision to 320
46.457 * * * * [points]: Filtering points with unrepresentable outputs
46.457 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7999 / 8000
46.457 * * * * [points]: Computing exacts for 4 points
46.467 * * * * [points]: Setting MPFR precision to 64
46.467 * * * * [points]: Setting MPFR precision to 320
46.468 * * * * [points]: Filtering points with unrepresentable outputs
46.468 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7999 / 8000
46.469 * * * * [points]: Computing exacts for 4 points
46.478 * * * * [points]: Setting MPFR precision to 64
46.478 * * * * [points]: Setting MPFR precision to 320
46.479 * * * * [points]: Filtering points with unrepresentable outputs
46.479 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7999 / 8000
46.479 * * * * [points]: Computing exacts for 4 points
46.488 * * * * [points]: Setting MPFR precision to 64
46.489 * * * * [points]: Setting MPFR precision to 320
46.490 * * * * [points]: Filtering points with unrepresentable outputs
46.490 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7999 / 8000
46.490 * * * * [points]: Computing exacts for 4 points
46.499 * * * * [points]: Setting MPFR precision to 64
46.500 * * * * [points]: Setting MPFR precision to 320
46.500 * * * * [points]: Filtering points with unrepresentable outputs
46.501 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7999 / 8000
46.501 * * * * [points]: Computing exacts for 4 points
46.509 * * * * [points]: Setting MPFR precision to 64
46.510 * * * * [points]: Setting MPFR precision to 320
46.510 * * * * [points]: Filtering points with unrepresentable outputs
46.510 * * * * [points]: Sampled 8000 points with exact outputs
55.981 * [regime-testing]: Baseline error score: 64.0
55.987 * [regime-testing]: Oracle error score: 64.0
55.997 * [regime-testing]: End program error score: 1.4803049188055348