0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.039 * * * * [points]: Setting MPFR precision to 64
0.045 * * * * [points]: Setting MPFR precision to 320
0.051 * * * * [points]: Computing exacts for 256 points
0.057 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Filtering points with unrepresentable outputs
0.111 * * * * [points]: Sampling 215 additional inputs, on iter 1 have 41 / 256
0.112 * * * * [points]: Computing exacts on every 13 of 215 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.121 * * * * [points]: Setting MPFR precision to 320
0.123 * * * * [points]: Computing exacts on every 6 of 215 points to ramp up precision
0.130 * * * * [points]: Setting MPFR precision to 64
0.133 * * * * [points]: Setting MPFR precision to 320
0.161 * * * * [points]: Computing exacts on every 3 of 215 points to ramp up precision
0.168 * * * * [points]: Setting MPFR precision to 64
0.177 * * * * [points]: Setting MPFR precision to 320
0.183 * * * * [points]: Computing exacts for 215 points
0.190 * * * * [points]: Setting MPFR precision to 64
0.214 * * * * [points]: Setting MPFR precision to 320
0.230 * * * * [points]: Filtering points with unrepresentable outputs
0.230 * * * * [points]: Sampling 182 additional inputs, on iter 2 have 74 / 256
0.231 * * * * [points]: Computing exacts on every 11 of 182 points to ramp up precision
0.236 * * * * [points]: Setting MPFR precision to 64
0.238 * * * * [points]: Setting MPFR precision to 320
0.240 * * * * [points]: Computing exacts on every 5 of 182 points to ramp up precision
0.244 * * * * [points]: Setting MPFR precision to 64
0.246 * * * * [points]: Setting MPFR precision to 320
0.249 * * * * [points]: Computing exacts on every 2 of 182 points to ramp up precision
0.256 * * * * [points]: Setting MPFR precision to 64
0.260 * * * * [points]: Setting MPFR precision to 320
0.265 * * * * [points]: Computing exacts for 182 points
0.269 * * * * [points]: Setting MPFR precision to 64
0.313 * * * * [points]: Setting MPFR precision to 320
0.336 * * * * [points]: Filtering points with unrepresentable outputs
0.336 * * * * [points]: Sampling 159 additional inputs, on iter 3 have 97 / 256
0.338 * * * * [points]: Computing exacts on every 9 of 159 points to ramp up precision
0.345 * * * * [points]: Setting MPFR precision to 64
0.346 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Computing exacts on every 4 of 159 points to ramp up precision
0.356 * * * * [points]: Setting MPFR precision to 64
0.359 * * * * [points]: Setting MPFR precision to 320
0.363 * * * * [points]: Computing exacts on every 2 of 159 points to ramp up precision
0.370 * * * * [points]: Setting MPFR precision to 64
0.376 * * * * [points]: Setting MPFR precision to 320
0.383 * * * * [points]: Computing exacts for 159 points
0.390 * * * * [points]: Setting MPFR precision to 64
0.409 * * * * [points]: Setting MPFR precision to 320
0.428 * * * * [points]: Filtering points with unrepresentable outputs
0.428 * * * * [points]: Sampling 133 additional inputs, on iter 4 have 123 / 256
0.429 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.437 * * * * [points]: Setting MPFR precision to 64
0.439 * * * * [points]: Setting MPFR precision to 320
0.440 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.472 * * * * [points]: Setting MPFR precision to 64
0.475 * * * * [points]: Setting MPFR precision to 320
0.478 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.487 * * * * [points]: Setting MPFR precision to 64
0.490 * * * * [points]: Setting MPFR precision to 320
0.493 * * * * [points]: Computing exacts for 133 points
0.498 * * * * [points]: Setting MPFR precision to 64
0.507 * * * * [points]: Setting MPFR precision to 320
0.517 * * * * [points]: Filtering points with unrepresentable outputs
0.517 * * * * [points]: Sampling 114 additional inputs, on iter 5 have 142 / 256
0.517 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
0.523 * * * * [points]: Setting MPFR precision to 64
0.525 * * * * [points]: Setting MPFR precision to 320
0.527 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
0.534 * * * * [points]: Setting MPFR precision to 64
0.537 * * * * [points]: Setting MPFR precision to 320
0.540 * * * * [points]: Computing exacts for 114 points
0.547 * * * * [points]: Setting MPFR precision to 64
0.560 * * * * [points]: Setting MPFR precision to 320
0.574 * * * * [points]: Filtering points with unrepresentable outputs
0.574 * * * * [points]: Sampling 100 additional inputs, on iter 6 have 156 / 256
0.575 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
0.582 * * * * [points]: Setting MPFR precision to 64
0.583 * * * * [points]: Setting MPFR precision to 320
0.585 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
0.614 * * * * [points]: Setting MPFR precision to 64
0.617 * * * * [points]: Setting MPFR precision to 320
0.620 * * * * [points]: Computing exacts for 100 points
0.629 * * * * [points]: Setting MPFR precision to 64
0.641 * * * * [points]: Setting MPFR precision to 320
0.652 * * * * [points]: Filtering points with unrepresentable outputs
0.652 * * * * [points]: Sampling 85 additional inputs, on iter 7 have 171 / 256
0.653 * * * * [points]: Computing exacts on every 5 of 85 points to ramp up precision
0.659 * * * * [points]: Setting MPFR precision to 64
0.661 * * * * [points]: Setting MPFR precision to 320
0.663 * * * * [points]: Computing exacts on every 2 of 85 points to ramp up precision
0.669 * * * * [points]: Setting MPFR precision to 64
0.671 * * * * [points]: Setting MPFR precision to 320
0.673 * * * * [points]: Computing exacts for 85 points
0.677 * * * * [points]: Setting MPFR precision to 64
0.683 * * * * [points]: Setting MPFR precision to 320
0.689 * * * * [points]: Filtering points with unrepresentable outputs
0.690 * * * * [points]: Sampling 68 additional inputs, on iter 8 have 188 / 256
0.690 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.694 * * * * [points]: Setting MPFR precision to 64
0.695 * * * * [points]: Setting MPFR precision to 320
0.696 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.702 * * * * [points]: Setting MPFR precision to 64
0.705 * * * * [points]: Setting MPFR precision to 320
0.708 * * * * [points]: Computing exacts for 68 points
0.712 * * * * [points]: Setting MPFR precision to 64
0.717 * * * * [points]: Setting MPFR precision to 320
0.741 * * * * [points]: Filtering points with unrepresentable outputs
0.741 * * * * [points]: Sampling 58 additional inputs, on iter 9 have 198 / 256
0.742 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
0.748 * * * * [points]: Setting MPFR precision to 64
0.753 * * * * [points]: Setting MPFR precision to 320
0.754 * * * * [points]: Computing exacts for 58 points
0.761 * * * * [points]: Setting MPFR precision to 64
0.768 * * * * [points]: Setting MPFR precision to 320
0.775 * * * * [points]: Filtering points with unrepresentable outputs
0.775 * * * * [points]: Sampling 47 additional inputs, on iter 10 have 209 / 256
0.775 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.781 * * * * [points]: Setting MPFR precision to 64
0.783 * * * * [points]: Setting MPFR precision to 320
0.785 * * * * [points]: Computing exacts for 47 points
0.792 * * * * [points]: Setting MPFR precision to 64
0.797 * * * * [points]: Setting MPFR precision to 320
0.803 * * * * [points]: Filtering points with unrepresentable outputs
0.803 * * * * [points]: Sampling 42 additional inputs, on iter 11 have 214 / 256
0.804 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
0.810 * * * * [points]: Setting MPFR precision to 64
0.812 * * * * [points]: Setting MPFR precision to 320
0.814 * * * * [points]: Computing exacts for 42 points
0.821 * * * * [points]: Setting MPFR precision to 64
0.826 * * * * [points]: Setting MPFR precision to 320
0.829 * * * * [points]: Filtering points with unrepresentable outputs
0.829 * * * * [points]: Sampling 33 additional inputs, on iter 12 have 223 / 256
0.830 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.834 * * * * [points]: Setting MPFR precision to 64
0.836 * * * * [points]: Setting MPFR precision to 320
0.837 * * * * [points]: Computing exacts for 33 points
0.842 * * * * [points]: Setting MPFR precision to 64
0.844 * * * * [points]: Setting MPFR precision to 320
0.847 * * * * [points]: Filtering points with unrepresentable outputs
0.847 * * * * [points]: Sampling 26 additional inputs, on iter 13 have 230 / 256
0.847 * * * * [points]: Computing exacts for 26 points
0.869 * * * * [points]: Setting MPFR precision to 64
0.875 * * * * [points]: Setting MPFR precision to 320
0.879 * * * * [points]: Filtering points with unrepresentable outputs
0.879 * * * * [points]: Sampling 24 additional inputs, on iter 14 have 232 / 256
0.879 * * * * [points]: Computing exacts for 24 points
0.888 * * * * [points]: Setting MPFR precision to 64
0.891 * * * * [points]: Setting MPFR precision to 320
0.894 * * * * [points]: Filtering points with unrepresentable outputs
0.894 * * * * [points]: Sampling 20 additional inputs, on iter 15 have 236 / 256
0.894 * * * * [points]: Computing exacts for 20 points
0.903 * * * * [points]: Setting MPFR precision to 64
0.906 * * * * [points]: Setting MPFR precision to 320
0.908 * * * * [points]: Filtering points with unrepresentable outputs
0.908 * * * * [points]: Sampling 18 additional inputs, on iter 16 have 238 / 256
0.908 * * * * [points]: Computing exacts for 18 points
0.917 * * * * [points]: Setting MPFR precision to 64
0.919 * * * * [points]: Setting MPFR precision to 320
0.922 * * * * [points]: Filtering points with unrepresentable outputs
0.922 * * * * [points]: Sampling 14 additional inputs, on iter 17 have 242 / 256
0.922 * * * * [points]: Computing exacts for 14 points
0.930 * * * * [points]: Setting MPFR precision to 64
0.932 * * * * [points]: Setting MPFR precision to 320
0.934 * * * * [points]: Filtering points with unrepresentable outputs
0.934 * * * * [points]: Sampling 12 additional inputs, on iter 18 have 244 / 256
0.934 * * * * [points]: Computing exacts for 12 points
0.939 * * * * [points]: Setting MPFR precision to 64
0.940 * * * * [points]: Setting MPFR precision to 320
0.941 * * * * [points]: Filtering points with unrepresentable outputs
0.941 * * * * [points]: Sampling 9 additional inputs, on iter 19 have 247 / 256
0.941 * * * * [points]: Computing exacts for 9 points
0.946 * * * * [points]: Setting MPFR precision to 64
0.947 * * * * [points]: Setting MPFR precision to 320
0.947 * * * * [points]: Filtering points with unrepresentable outputs
0.947 * * * * [points]: Sampling 9 additional inputs, on iter 20 have 247 / 256
0.947 * * * * [points]: Computing exacts for 9 points
0.953 * * * * [points]: Setting MPFR precision to 64
0.953 * * * * [points]: Setting MPFR precision to 320
0.954 * * * * [points]: Filtering points with unrepresentable outputs
0.954 * * * * [points]: Sampling 9 additional inputs, on iter 21 have 247 / 256
0.954 * * * * [points]: Computing exacts for 9 points
0.958 * * * * [points]: Setting MPFR precision to 64
0.960 * * * * [points]: Setting MPFR precision to 320
0.961 * * * * [points]: Filtering points with unrepresentable outputs
0.961 * * * * [points]: Sampling 6 additional inputs, on iter 22 have 250 / 256
0.961 * * * * [points]: Computing exacts for 6 points
0.967 * * * * [points]: Setting MPFR precision to 64
0.968 * * * * [points]: Setting MPFR precision to 320
0.969 * * * * [points]: Filtering points with unrepresentable outputs
0.969 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 252 / 256
0.969 * * * * [points]: Computing exacts for 4 points
0.973 * * * * [points]: Setting MPFR precision to 64
0.973 * * * * [points]: Setting MPFR precision to 320
0.974 * * * * [points]: Filtering points with unrepresentable outputs
0.974 * * * * [points]: Sampling 4 additional inputs, on iter 24 have 252 / 256
0.974 * * * * [points]: Computing exacts for 4 points
0.987 * * * * [points]: Setting MPFR precision to 64
0.988 * * * * [points]: Setting MPFR precision to 320
0.988 * * * * [points]: Filtering points with unrepresentable outputs
0.988 * * * * [points]: Sampling 4 additional inputs, on iter 25 have 253 / 256
0.988 * * * * [points]: Computing exacts for 4 points
0.994 * * * * [points]: Setting MPFR precision to 64
0.994 * * * * [points]: Setting MPFR precision to 320
0.995 * * * * [points]: Filtering points with unrepresentable outputs
0.995 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 254 / 256
0.995 * * * * [points]: Computing exacts for 4 points
0.999 * * * * [points]: Setting MPFR precision to 64
0.999 * * * * [points]: Setting MPFR precision to 320
1.000 * * * * [points]: Filtering points with unrepresentable outputs
1.000 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 254 / 256
1.000 * * * * [points]: Computing exacts for 4 points
1.004 * * * * [points]: Setting MPFR precision to 64
1.005 * * * * [points]: Setting MPFR precision to 320
1.005 * * * * [points]: Filtering points with unrepresentable outputs
1.005 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 254 / 256
1.005 * * * * [points]: Computing exacts for 4 points
1.009 * * * * [points]: Setting MPFR precision to 64
1.010 * * * * [points]: Setting MPFR precision to 320
1.010 * * * * [points]: Filtering points with unrepresentable outputs
1.010 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 254 / 256
1.010 * * * * [points]: Computing exacts for 4 points
1.014 * * * * [points]: Setting MPFR precision to 64
1.015 * * * * [points]: Setting MPFR precision to 320
1.015 * * * * [points]: Filtering points with unrepresentable outputs
1.015 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 254 / 256
1.015 * * * * [points]: Computing exacts for 4 points
1.021 * * * * [points]: Setting MPFR precision to 64
1.021 * * * * [points]: Setting MPFR precision to 320
1.022 * * * * [points]: Filtering points with unrepresentable outputs
1.022 * * * * [points]: Sampled 256 points with exact outputs
1.022 * * * [progress]: [2/2] Setting up program.
1.040 * [progress]: [Phase 2 of 3] Improving.
1.040 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
1.040 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
1.040 * * [simplify]: iters left: 6 (19 enodes)
1.050 * * [simplify]: iters left: 5 (76 enodes)
1.093 * * [simplify]: iters left: 4 (344 enodes)
1.327 * * [simplify]: Extracting #0: cost 1 inf + 0
1.327 * * [simplify]: Extracting #1: cost 75 inf + 0
1.328 * * [simplify]: Extracting #2: cost 474 inf + 1
1.331 * * [simplify]: Extracting #3: cost 742 inf + 26817
1.339 * * [simplify]: Extracting #4: cost 684 inf + 140740
1.353 * * [simplify]: Extracting #5: cost 611 inf + 190357
1.364 * * [simplify]: Extracting #6: cost 583 inf + 205484
1.385 * * [simplify]: Extracting #7: cost 359 inf + 460450
1.433 * * [simplify]: Extracting #8: cost 52 inf + 927410
1.528 * * [simplify]: Extracting #9: cost 0 inf + 1029213
1.595 * * [simplify]: Extracting #10: cost 0 inf + 1027693
1.658 * [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.658 * [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.713 * * [progress]: iteration 1 / 4
1.713 * * * [progress]: picking best candidate
1.757 * * * * [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.758 * * * [progress]: localizing error
2.066 * * * [progress]: generating rewritten candidates
2.066 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.076 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.086 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.090 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.106 * * * [progress]: generating series expansions
2.106 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.106 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.106 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.106 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.106 * * * [progress]: simplifying candidates
2.106 * * * * [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.107 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
2.107 * * [simplify]: iters left: 3 (8 enodes)
2.110 * * [simplify]: iters left: 2 (20 enodes)
2.115 * * [simplify]: iters left: 1 (26 enodes)
2.122 * * [simplify]: Extracting #0: cost 1 inf + 0
2.122 * * [simplify]: Extracting #1: cost 7 inf + 0
2.122 * * [simplify]: Extracting #2: cost 7 inf + 2
2.122 * * [simplify]: Extracting #3: cost 6 inf + 45
2.122 * * [simplify]: Extracting #4: cost 4 inf + 47
2.122 * * [simplify]: Extracting #5: cost 1 inf + 1136
2.122 * * [simplify]: Extracting #6: cost 0 inf + 1499
2.123 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
2.123 * [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.123 * * * * [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.123 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
2.123 * * [simplify]: iters left: 3 (6 enodes)
2.125 * * [simplify]: iters left: 2 (22 enodes)
2.131 * * [simplify]: iters left: 1 (42 enodes)
2.143 * * [simplify]: Extracting #0: cost 1 inf + 0
2.143 * * [simplify]: Extracting #1: cost 12 inf + 0
2.143 * * [simplify]: Extracting #2: cost 16 inf + 1
2.143 * * [simplify]: Extracting #3: cost 9 inf + 1412
2.144 * * [simplify]: Extracting #4: cost 0 inf + 4393
2.144 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
2.144 * [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.145 * * * * [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.145 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.145 * * [simplify]: iters left: 4 (11 enodes)
2.150 * * [simplify]: iters left: 3 (34 enodes)
2.160 * * [simplify]: iters left: 2 (62 enodes)
2.178 * * [simplify]: iters left: 1 (116 enodes)
2.210 * * [simplify]: Extracting #0: cost 1 inf + 0
2.211 * * [simplify]: Extracting #1: cost 18 inf + 0
2.212 * * [simplify]: Extracting #2: cost 32 inf + 1
2.212 * * [simplify]: Extracting #3: cost 28 inf + 688
2.212 * * [simplify]: Extracting #4: cost 20 inf + 2471
2.213 * * [simplify]: Extracting #5: cost 11 inf + 5213
2.215 * * [simplify]: Extracting #6: cost 0 inf + 16616
2.217 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
2.217 * [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.217 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.217 * * [simplify]: iters left: 5 (13 enodes)
2.224 * * [simplify]: iters left: 4 (36 enodes)
2.234 * * [simplify]: iters left: 3 (69 enodes)
2.253 * * [simplify]: iters left: 2 (108 enodes)
2.277 * * [simplify]: iters left: 1 (142 enodes)
2.303 * * [simplify]: Extracting #0: cost 1 inf + 0
2.303 * * [simplify]: Extracting #1: cost 3 inf + 0
2.303 * * [simplify]: Extracting #2: cost 25 inf + 0
2.304 * * [simplify]: Extracting #3: cost 26 inf + 2
2.304 * * [simplify]: Extracting #4: cost 20 inf + 1217
2.305 * * [simplify]: Extracting #5: cost 5 inf + 6972
2.306 * * [simplify]: Extracting #6: cost 0 inf + 9668
2.307 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
2.308 * [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.308 * * * * [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.308 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
2.308 * * [simplify]: iters left: 4 (11 enodes)
2.312 * * [simplify]: iters left: 3 (33 enodes)
2.323 * * [simplify]: iters left: 2 (87 enodes)
2.366 * * [simplify]: iters left: 1 (455 enodes)
2.864 * * [simplify]: Extracting #0: cost 1 inf + 0
2.864 * * [simplify]: Extracting #1: cost 38 inf + 0
2.865 * * [simplify]: Extracting #2: cost 349 inf + 2
2.868 * * [simplify]: Extracting #3: cost 1015 inf + 2069
2.874 * * [simplify]: Extracting #4: cost 974 inf + 36877
2.900 * * [simplify]: Extracting #5: cost 686 inf + 251010
2.989 * * [simplify]: Extracting #6: cost 123 inf + 839954
3.068 * * [simplify]: Extracting #7: cost 0 inf + 991791
3.139 * * [simplify]: Extracting #8: cost 0 inf + 989631
3.209 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))
3.210 * [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.210 * * * * [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.210 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.210 * * [simplify]: iters left: 4 (11 enodes)
3.213 * * [simplify]: iters left: 3 (34 enodes)
3.219 * * [simplify]: iters left: 2 (62 enodes)
3.230 * * [simplify]: iters left: 1 (116 enodes)
3.249 * * [simplify]: Extracting #0: cost 1 inf + 0
3.249 * * [simplify]: Extracting #1: cost 18 inf + 0
3.249 * * [simplify]: Extracting #2: cost 32 inf + 1
3.250 * * [simplify]: Extracting #3: cost 28 inf + 688
3.250 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.250 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.251 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.253 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.253 * [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.253 * * * * [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.253 * [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.253 * * [simplify]: iters left: 5 (12 enodes)
3.256 * * [simplify]: iters left: 4 (32 enodes)
3.263 * * [simplify]: iters left: 3 (90 enodes)
3.292 * * [simplify]: iters left: 2 (378 enodes)
3.527 * * [simplify]: Extracting #0: cost 1 inf + 0
3.527 * * [simplify]: Extracting #1: cost 90 inf + 0
3.529 * * [simplify]: Extracting #2: cost 388 inf + 0
3.531 * * [simplify]: Extracting #3: cost 380 inf + 3950
3.536 * * [simplify]: Extracting #4: cost 272 inf + 84531
3.556 * * [simplify]: Extracting #5: cost 20 inf + 357988
3.587 * * [simplify]: Extracting #6: cost 0 inf + 384165
3.621 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
3.621 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))))
3.622 * * * * [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))))))>
3.622 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
3.622 * * [simplify]: iters left: 5 (9 enodes)
3.626 * * [simplify]: iters left: 4 (35 enodes)
3.639 * * [simplify]: iters left: 3 (128 enodes)
3.727 * * [simplify]: Extracting #0: cost 1 inf + 0
3.727 * * [simplify]: Extracting #1: cost 39 inf + 0
3.728 * * [simplify]: Extracting #2: cost 167 inf + 1
3.729 * * [simplify]: Extracting #3: cost 185 inf + 9642
3.739 * * [simplify]: Extracting #4: cost 54 inf + 131260
3.754 * * [simplify]: Extracting #5: cost 0 inf + 183768
3.770 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
3.770 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
3.770 * * * * [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)))))>
3.771 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
3.771 * * [simplify]: iters left: 5 (15 enodes)
3.779 * * [simplify]: iters left: 4 (44 enodes)
3.799 * * [simplify]: iters left: 3 (112 enodes)
3.833 * * [simplify]: iters left: 2 (473 enodes)
4.160 * * [simplify]: Extracting #0: cost 1 inf + 0
4.160 * * [simplify]: Extracting #1: cost 35 inf + 0
4.161 * * [simplify]: Extracting #2: cost 286 inf + 1
4.163 * * [simplify]: Extracting #3: cost 529 inf + 4158
4.166 * * [simplify]: Extracting #4: cost 531 inf + 7620
4.173 * * [simplify]: Extracting #5: cost 474 inf + 34154
4.199 * * [simplify]: Extracting #6: cost 203 inf + 247830
4.255 * * [simplify]: Extracting #7: cost 17 inf + 434257
4.324 * * [simplify]: Extracting #8: cost 0 inf + 455708
4.391 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
4.391 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
4.392 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
4.392 * * [simplify]: iters left: 6 (17 enodes)
4.399 * * [simplify]: iters left: 5 (52 enodes)
4.418 * * [simplify]: iters left: 4 (154 enodes)
4.495 * * [simplify]: Extracting #0: cost 1 inf + 0
4.495 * * [simplify]: Extracting #1: cost 27 inf + 0
4.496 * * [simplify]: Extracting #2: cost 137 inf + 0
4.497 * * [simplify]: Extracting #3: cost 277 inf + 366
4.499 * * [simplify]: Extracting #4: cost 285 inf + 5479
4.502 * * [simplify]: Extracting #5: cost 253 inf + 13586
4.507 * * [simplify]: Extracting #6: cost 206 inf + 39659
4.525 * * [simplify]: Extracting #7: cost 38 inf + 215233
4.549 * * [simplify]: Extracting #8: cost 0 inf + 248609
4.577 * * [simplify]: Extracting #9: cost 0 inf + 244529
4.603 * * [simplify]: Extracting #10: cost 0 inf + 244169
4.628 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
4.628 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
4.628 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.628 * [simplify]: Simplifying (*.p16 i i)
4.628 * * [simplify]: iters left: 1 (2 enodes)
4.629 * * [simplify]: Extracting #0: cost 1 inf + 0
4.629 * * [simplify]: Extracting #1: cost 2 inf + 0
4.629 * * [simplify]: Extracting #2: cost 1 inf + 1
4.629 * * [simplify]: Extracting #3: cost 0 inf + 322
4.629 * [simplify]: Simplified to (*.p16 i i)
4.629 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.630 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.630 * [simplify]: Simplifying (*.p16 i i)
4.630 * * [simplify]: iters left: 1 (2 enodes)
4.631 * * [simplify]: Extracting #0: cost 1 inf + 0
4.631 * * [simplify]: Extracting #1: cost 2 inf + 0
4.631 * * [simplify]: Extracting #2: cost 1 inf + 1
4.631 * * [simplify]: Extracting #3: cost 0 inf + 322
4.631 * [simplify]: Simplified to (*.p16 i i)
4.631 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.631 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.631 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
4.631 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0))))>
4.631 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.632 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
4.632 * * [simplify]: iters left: 6 (19 enodes)
4.637 * * [simplify]: iters left: 5 (76 enodes)
4.657 * * [simplify]: iters left: 4 (344 enodes)
4.920 * * [simplify]: Extracting #0: cost 1 inf + 0
4.920 * * [simplify]: Extracting #1: cost 75 inf + 0
4.921 * * [simplify]: Extracting #2: cost 474 inf + 1
4.925 * * [simplify]: Extracting #3: cost 742 inf + 26817
4.933 * * [simplify]: Extracting #4: cost 684 inf + 140740
4.943 * * [simplify]: Extracting #5: cost 611 inf + 190357
4.958 * * [simplify]: Extracting #6: cost 583 inf + 205484
4.984 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.057 * * [simplify]: Extracting #8: cost 52 inf + 927410
5.142 * * [simplify]: Extracting #9: cost 0 inf + 1029213
5.216 * * [simplify]: Extracting #10: cost 0 inf + 1027693
5.275 * [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.275 * [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.275 * * * * [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.275 * [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.275 * * [simplify]: iters left: 6 (19 enodes)
5.280 * * [simplify]: iters left: 5 (76 enodes)
5.301 * * [simplify]: iters left: 4 (344 enodes)
5.483 * * [simplify]: Extracting #0: cost 1 inf + 0
5.484 * * [simplify]: Extracting #1: cost 75 inf + 0
5.485 * * [simplify]: Extracting #2: cost 474 inf + 1
5.488 * * [simplify]: Extracting #3: cost 742 inf + 26817
5.495 * * [simplify]: Extracting #4: cost 684 inf + 140740
5.510 * * [simplify]: Extracting #5: cost 611 inf + 190357
5.521 * * [simplify]: Extracting #6: cost 583 inf + 205484
5.544 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.590 * * [simplify]: Extracting #8: cost 52 inf + 927410
5.647 * * [simplify]: Extracting #9: cost 0 inf + 1029213
5.737 * * [simplify]: Extracting #10: cost 0 inf + 1027693
5.806 * [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.806 * [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.806 * * * * [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))))>
5.806 * [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.806 * * [simplify]: iters left: 6 (19 enodes)
5.811 * * [simplify]: iters left: 5 (76 enodes)
5.831 * * [simplify]: iters left: 4 (344 enodes)
6.337 * * [simplify]: Extracting #0: cost 1 inf + 0
6.337 * * [simplify]: Extracting #1: cost 75 inf + 0
6.338 * * [simplify]: Extracting #2: cost 474 inf + 1
6.341 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.348 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.359 * * [simplify]: Extracting #5: cost 611 inf + 190357
6.370 * * [simplify]: Extracting #6: cost 583 inf + 205484
6.392 * * [simplify]: Extracting #7: cost 359 inf + 460450
6.441 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.498 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.590 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.700 * [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.700 * [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.700 * * * * [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))))>
6.700 * [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.701 * * [simplify]: iters left: 6 (19 enodes)
6.711 * * [simplify]: iters left: 5 (76 enodes)
6.751 * * [simplify]: iters left: 4 (344 enodes)
7.046 * * [simplify]: Extracting #0: cost 1 inf + 0
7.046 * * [simplify]: Extracting #1: cost 75 inf + 0
7.047 * * [simplify]: Extracting #2: cost 474 inf + 1
7.050 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.057 * * [simplify]: Extracting #4: cost 684 inf + 140740
7.068 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.082 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.112 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.172 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.252 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.322 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.388 * [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.388 * [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.388 * * * [progress]: adding candidates to table
8.000 * * [progress]: iteration 2 / 4
8.000 * * * [progress]: picking best candidate
8.154 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.155 * * * [progress]: localizing error
8.502 * * * [progress]: generating rewritten candidates
8.502 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
8.508 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
8.520 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
8.559 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
8.581 * * * [progress]: generating series expansions
8.581 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
8.581 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
8.581 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
8.581 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
8.581 * * * [progress]: simplifying candidates
8.581 * * * * [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)))))>
8.581 * * * * [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)))))>
8.581 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
8.581 * * [simplify]: iters left: 3 (6 enodes)
8.583 * * [simplify]: iters left: 2 (22 enodes)
8.586 * * [simplify]: iters left: 1 (42 enodes)
8.593 * * [simplify]: Extracting #0: cost 1 inf + 0
8.593 * * [simplify]: Extracting #1: cost 12 inf + 0
8.593 * * [simplify]: Extracting #2: cost 16 inf + 1
8.594 * * [simplify]: Extracting #3: cost 9 inf + 1412
8.594 * * [simplify]: Extracting #4: cost 0 inf + 4393
8.594 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
8.594 * [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)))))
8.594 * * * * [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)))))>
8.595 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
8.595 * * [simplify]: iters left: 4 (11 enodes)
8.598 * * [simplify]: iters left: 3 (27 enodes)
8.603 * * [simplify]: iters left: 2 (47 enodes)
8.611 * * [simplify]: iters left: 1 (76 enodes)
8.628 * * [simplify]: Extracting #0: cost 1 inf + 0
8.628 * * [simplify]: Extracting #1: cost 16 inf + 0
8.628 * * [simplify]: Extracting #2: cost 17 inf + 2
8.628 * * [simplify]: Extracting #3: cost 13 inf + 89
8.629 * * [simplify]: Extracting #4: cost 9 inf + 298
8.629 * * [simplify]: Extracting #5: cost 1 inf + 2963
8.630 * * [simplify]: Extracting #6: cost 0 inf + 3367
8.631 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
8.632 * [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)))))
8.632 * * * * [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))))))>
8.632 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
8.632 * * [simplify]: iters left: 4 (8 enodes)
8.636 * * [simplify]: iters left: 3 (26 enodes)
8.645 * * [simplify]: iters left: 2 (53 enodes)
8.664 * * [simplify]: iters left: 1 (91 enodes)
8.691 * * [simplify]: Extracting #0: cost 1 inf + 0
8.692 * * [simplify]: Extracting #1: cost 24 inf + 0
8.692 * * [simplify]: Extracting #2: cost 31 inf + 0
8.692 * * [simplify]: Extracting #3: cost 26 inf + 366
8.693 * * [simplify]: Extracting #4: cost 9 inf + 8250
8.695 * * [simplify]: Extracting #5: cost 0 inf + 15077
8.696 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
8.696 * [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))))))
8.697 * * * * [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)))))>
8.697 * [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)))
8.697 * * [simplify]: iters left: 5 (15 enodes)
8.704 * * [simplify]: iters left: 4 (44 enodes)
8.723 * * [simplify]: iters left: 3 (112 enodes)
8.758 * * [simplify]: iters left: 2 (473 enodes)
9.189 * * [simplify]: Extracting #0: cost 1 inf + 0
9.189 * * [simplify]: Extracting #1: cost 35 inf + 0
9.190 * * [simplify]: Extracting #2: cost 286 inf + 1
9.193 * * [simplify]: Extracting #3: cost 529 inf + 4158
9.196 * * [simplify]: Extracting #4: cost 531 inf + 7620
9.200 * * [simplify]: Extracting #5: cost 474 inf + 34154
9.216 * * [simplify]: Extracting #6: cost 203 inf + 247830
9.272 * * [simplify]: Extracting #7: cost 17 inf + 434257
9.341 * * [simplify]: Extracting #8: cost 0 inf + 455708
9.415 * [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))))
9.415 * [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)))))
9.415 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
9.415 * * [simplify]: iters left: 6 (17 enodes)
9.422 * * [simplify]: iters left: 5 (52 enodes)
9.441 * * [simplify]: iters left: 4 (154 enodes)
9.531 * * [simplify]: Extracting #0: cost 1 inf + 0
9.531 * * [simplify]: Extracting #1: cost 27 inf + 0
9.532 * * [simplify]: Extracting #2: cost 137 inf + 0
9.533 * * [simplify]: Extracting #3: cost 277 inf + 366
9.534 * * [simplify]: Extracting #4: cost 285 inf + 5479
9.535 * * [simplify]: Extracting #5: cost 253 inf + 13586
9.538 * * [simplify]: Extracting #6: cost 206 inf + 39659
9.549 * * [simplify]: Extracting #7: cost 38 inf + 215233
9.570 * * [simplify]: Extracting #8: cost 0 inf + 248609
9.595 * * [simplify]: Extracting #9: cost 0 inf + 244529
9.613 * * [simplify]: Extracting #10: cost 0 inf + 244169
9.640 * [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)))))
9.640 * [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)))))))
9.640 * * * * [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)))))>
9.640 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
9.640 * * [simplify]: iters left: 5 (15 enodes)
9.644 * * [simplify]: iters left: 4 (44 enodes)
9.652 * * [simplify]: iters left: 3 (112 enodes)
9.692 * * [simplify]: iters left: 2 (473 enodes)
10.168 * * [simplify]: Extracting #0: cost 1 inf + 0
10.168 * * [simplify]: Extracting #1: cost 35 inf + 0
10.169 * * [simplify]: Extracting #2: cost 286 inf + 1
10.179 * * [simplify]: Extracting #3: cost 529 inf + 4158
10.186 * * [simplify]: Extracting #4: cost 531 inf + 7620
10.195 * * [simplify]: Extracting #5: cost 474 inf + 34154
10.225 * * [simplify]: Extracting #6: cost 203 inf + 247830
10.298 * * [simplify]: Extracting #7: cost 17 inf + 434257
10.378 * * [simplify]: Extracting #8: cost 0 inf + 455708
10.427 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
10.427 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.427 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.427 * * [simplify]: iters left: 6 (17 enodes)
10.432 * * [simplify]: iters left: 5 (52 enodes)
10.445 * * [simplify]: iters left: 4 (154 enodes)
10.543 * * [simplify]: Extracting #0: cost 1 inf + 0
10.543 * * [simplify]: Extracting #1: cost 27 inf + 0
10.543 * * [simplify]: Extracting #2: cost 137 inf + 0
10.545 * * [simplify]: Extracting #3: cost 277 inf + 366
10.547 * * [simplify]: Extracting #4: cost 285 inf + 5479
10.550 * * [simplify]: Extracting #5: cost 253 inf + 13586
10.556 * * [simplify]: Extracting #6: cost 206 inf + 39659
10.582 * * [simplify]: Extracting #7: cost 38 inf + 215233
10.613 * * [simplify]: Extracting #8: cost 0 inf + 248609
10.632 * * [simplify]: Extracting #9: cost 0 inf + 244529
10.649 * * [simplify]: Extracting #10: cost 0 inf + 244169
10.681 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
10.681 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
10.681 * * * * [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)))))>
10.681 * [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.682 * * [simplify]: iters left: 5 (15 enodes)
10.689 * * [simplify]: iters left: 4 (44 enodes)
10.707 * * [simplify]: iters left: 3 (112 enodes)
10.760 * * [simplify]: iters left: 2 (473 enodes)
11.103 * * [simplify]: Extracting #0: cost 1 inf + 0
11.103 * * [simplify]: Extracting #1: cost 35 inf + 0
11.104 * * [simplify]: Extracting #2: cost 286 inf + 1
11.106 * * [simplify]: Extracting #3: cost 529 inf + 4158
11.110 * * [simplify]: Extracting #4: cost 531 inf + 7620
11.119 * * [simplify]: Extracting #5: cost 474 inf + 34154
11.150 * * [simplify]: Extracting #6: cost 203 inf + 247830
11.226 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.305 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.348 * [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.348 * [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.348 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.348 * * [simplify]: iters left: 6 (17 enodes)
11.353 * * [simplify]: iters left: 5 (52 enodes)
11.364 * * [simplify]: iters left: 4 (154 enodes)
11.417 * * [simplify]: Extracting #0: cost 1 inf + 0
11.417 * * [simplify]: Extracting #1: cost 27 inf + 0
11.417 * * [simplify]: Extracting #2: cost 137 inf + 0
11.418 * * [simplify]: Extracting #3: cost 277 inf + 366
11.420 * * [simplify]: Extracting #4: cost 285 inf + 5479
11.421 * * [simplify]: Extracting #5: cost 253 inf + 13586
11.425 * * [simplify]: Extracting #6: cost 206 inf + 39659
11.436 * * [simplify]: Extracting #7: cost 38 inf + 215233
11.452 * * [simplify]: Extracting #8: cost 0 inf + 248609
11.471 * * [simplify]: Extracting #9: cost 0 inf + 244529
11.487 * * [simplify]: Extracting #10: cost 0 inf + 244169
11.502 * [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.503 * [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.503 * * * * [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)))))>
11.503 * [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.503 * * [simplify]: iters left: 5 (15 enodes)
11.507 * * [simplify]: iters left: 4 (44 enodes)
11.516 * * [simplify]: iters left: 3 (112 enodes)
11.567 * * [simplify]: iters left: 2 (473 enodes)
12.032 * * [simplify]: Extracting #0: cost 1 inf + 0
12.032 * * [simplify]: Extracting #1: cost 35 inf + 0
12.033 * * [simplify]: Extracting #2: cost 286 inf + 1
12.042 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.048 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.056 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.077 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.114 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.155 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.196 * [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.196 * [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.196 * [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.197 * * [simplify]: iters left: 6 (17 enodes)
12.201 * * [simplify]: iters left: 5 (52 enodes)
12.214 * * [simplify]: iters left: 4 (154 enodes)
12.266 * * [simplify]: Extracting #0: cost 1 inf + 0
12.266 * * [simplify]: Extracting #1: cost 27 inf + 0
12.267 * * [simplify]: Extracting #2: cost 137 inf + 0
12.268 * * [simplify]: Extracting #3: cost 277 inf + 366
12.270 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.273 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.278 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.301 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.319 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.335 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.351 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.375 * [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.375 * [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.375 * * * [progress]: adding candidates to table
12.603 * * [progress]: iteration 3 / 4
12.603 * * * [progress]: picking best candidate
12.815 * * * * [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)))))>
12.815 * * * [progress]: localizing error
13.291 * * * [progress]: generating rewritten candidates
13.291 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
13.305 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
13.337 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
13.443 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
13.469 * * * [progress]: generating series expansions
13.469 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
13.469 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
13.469 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
13.469 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
13.469 * * * [progress]: simplifying candidates
13.469 * * * * [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)))))>
13.469 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
13.469 * * [simplify]: iters left: 4 (9 enodes)
13.472 * * [simplify]: iters left: 3 (21 enodes)
13.475 * * [simplify]: iters left: 2 (27 enodes)
13.479 * * [simplify]: iters left: 1 (28 enodes)
13.483 * * [simplify]: Extracting #0: cost 1 inf + 0
13.483 * * [simplify]: Extracting #1: cost 3 inf + 0
13.483 * * [simplify]: Extracting #2: cost 8 inf + 1
13.483 * * [simplify]: Extracting #3: cost 6 inf + 45
13.483 * * [simplify]: Extracting #4: cost 7 inf + 45
13.483 * * [simplify]: Extracting #5: cost 1 inf + 1499
13.483 * * [simplify]: Extracting #6: cost 0 inf + 2343
13.483 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
13.483 * [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)))))
13.483 * * * * [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)))))>
13.484 * * * * [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)))))>
13.484 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
13.484 * * [simplify]: iters left: 4 (11 enodes)
13.487 * * [simplify]: iters left: 3 (27 enodes)
13.495 * * [simplify]: iters left: 2 (47 enodes)
13.513 * * [simplify]: iters left: 1 (76 enodes)
13.537 * * [simplify]: Extracting #0: cost 1 inf + 0
13.537 * * [simplify]: Extracting #1: cost 16 inf + 0
13.537 * * [simplify]: Extracting #2: cost 17 inf + 2
13.538 * * [simplify]: Extracting #3: cost 13 inf + 89
13.538 * * [simplify]: Extracting #4: cost 9 inf + 298
13.539 * * [simplify]: Extracting #5: cost 1 inf + 2963
13.540 * * [simplify]: Extracting #6: cost 0 inf + 3367
13.541 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
13.541 * [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)))))
13.541 * * * * [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))))))>
13.542 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
13.542 * * [simplify]: iters left: 4 (8 enodes)
13.545 * * [simplify]: iters left: 3 (26 enodes)
13.554 * * [simplify]: iters left: 2 (53 enodes)
13.572 * * [simplify]: iters left: 1 (91 enodes)
13.597 * * [simplify]: Extracting #0: cost 1 inf + 0
13.598 * * [simplify]: Extracting #1: cost 24 inf + 0
13.598 * * [simplify]: Extracting #2: cost 31 inf + 0
13.598 * * [simplify]: Extracting #3: cost 26 inf + 366
13.599 * * [simplify]: Extracting #4: cost 9 inf + 8250
13.601 * * [simplify]: Extracting #5: cost 0 inf + 15077
13.602 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
13.602 * [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))))))
13.603 * * * * [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)))))>
13.603 * * * * [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)))))>
13.603 * * * * [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)))))>
13.603 * * * * [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)))))>
13.603 * * * [progress]: adding candidates to table
14.119 * * [progress]: iteration 4 / 4
14.119 * * * [progress]: picking best candidate
14.468 * * * * [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)))))>
14.468 * * * [progress]: localizing error
14.931 * * * [progress]: generating rewritten candidates
14.931 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
14.945 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
14.974 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
15.000 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
15.002 * * * [progress]: generating series expansions
15.002 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
15.002 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
15.002 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
15.002 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
15.002 * * * [progress]: simplifying candidates
15.002 * * * * [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)))))>
15.003 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
15.003 * * [simplify]: iters left: 4 (11 enodes)
15.006 * * [simplify]: iters left: 3 (27 enodes)
15.011 * * [simplify]: iters left: 2 (47 enodes)
15.019 * * [simplify]: iters left: 1 (76 enodes)
15.033 * * [simplify]: Extracting #0: cost 1 inf + 0
15.033 * * [simplify]: Extracting #1: cost 16 inf + 0
15.034 * * [simplify]: Extracting #2: cost 17 inf + 2
15.034 * * [simplify]: Extracting #3: cost 13 inf + 89
15.034 * * [simplify]: Extracting #4: cost 9 inf + 298
15.035 * * [simplify]: Extracting #5: cost 1 inf + 2963
15.036 * * [simplify]: Extracting #6: cost 0 inf + 3367
15.037 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
15.037 * [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)))))
15.038 * * * * [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))))))>
15.038 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
15.038 * * [simplify]: iters left: 4 (8 enodes)
15.041 * * [simplify]: iters left: 3 (26 enodes)
15.051 * * [simplify]: iters left: 2 (53 enodes)
15.069 * * [simplify]: iters left: 1 (91 enodes)
15.083 * * [simplify]: Extracting #0: cost 1 inf + 0
15.083 * * [simplify]: Extracting #1: cost 24 inf + 0
15.083 * * [simplify]: Extracting #2: cost 31 inf + 0
15.083 * * [simplify]: Extracting #3: cost 26 inf + 366
15.084 * * [simplify]: Extracting #4: cost 9 inf + 8250
15.085 * * [simplify]: Extracting #5: cost 0 inf + 15077
15.085 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
15.085 * [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))))))
15.086 * * * * [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)))))>
15.086 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
15.086 * * [simplify]: iters left: 4 (10 enodes)
15.088 * * [simplify]: iters left: 3 (25 enodes)
15.092 * * [simplify]: iters left: 2 (37 enodes)
15.098 * * [simplify]: iters left: 1 (40 enodes)
15.104 * * [simplify]: Extracting #0: cost 1 inf + 0
15.104 * * [simplify]: Extracting #1: cost 3 inf + 0
15.104 * * [simplify]: Extracting #2: cost 12 inf + 0
15.104 * * [simplify]: Extracting #3: cost 9 inf + 45
15.104 * * [simplify]: Extracting #4: cost 7 inf + 212
15.104 * * [simplify]: Extracting #5: cost 6 inf + 213
15.105 * * [simplify]: Extracting #6: cost 0 inf + 2590
15.105 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
15.105 * [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)))))
15.105 * * * * [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)))))>
15.105 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) i)
15.105 * * [simplify]: iters left: 2 (5 enodes)
15.106 * * [simplify]: iters left: 1 (15 enodes)
15.108 * * [simplify]: Extracting #0: cost 1 inf + 0
15.108 * * [simplify]: Extracting #1: cost 8 inf + 0
15.108 * * [simplify]: Extracting #2: cost 5 inf + 3
15.109 * * [simplify]: Extracting #3: cost 0 inf + 254
15.109 * [simplify]: Simplified to (+.p16 beta (+.p16 alpha i))
15.109 * [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)))))
15.109 * * * * [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)))))>
15.109 * * * * [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)))))>
15.109 * * * * [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)))))>
15.109 * * * * [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)))))>
15.109 * * * [progress]: adding candidates to table
15.383 * [progress]: [Phase 3 of 3] Extracting.
15.383 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 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 (+.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 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 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 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 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 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 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))))>)
15.391 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
15.391 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 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 (+.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 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 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 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 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 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 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))))>)
15.820 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 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 (+.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 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 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 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 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 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 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))))>)
16.319 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 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 (+.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 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 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 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 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 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 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))))>)
16.800 * * * [regime]: Found split indices: #<option (#s(si 11 256))>
16.801 * [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))))
16.801 * * [simplify]: iters left: 6 (22 enodes)
16.804 * * [simplify]: Extracting #0: cost 1 inf + 0
16.804 * * [simplify]: Extracting #1: cost 3 inf + 0
16.804 * * [simplify]: Extracting #2: cost 7 inf + 0
16.804 * * [simplify]: Extracting #3: cost 11 inf + 1
16.804 * * [simplify]: Extracting #4: cost 17 inf + 1
16.804 * * [simplify]: Extracting #5: cost 18 inf + 3
16.804 * * [simplify]: Extracting #6: cost 14 inf + 452
16.805 * * [simplify]: Extracting #7: cost 11 inf + 857
16.805 * * [simplify]: Extracting #8: cost 8 inf + 2346
16.806 * * [simplify]: Extracting #9: cost 2 inf + 9054
16.806 * * [simplify]: Extracting #10: cost 1 inf + 10739
16.807 * * [simplify]: Extracting #11: cost 0 inf + 14384
16.808 * [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))))
16.808 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
16.870 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
16.879 * * * * [points]: Setting MPFR precision to 64
16.881 * * * * [points]: Setting MPFR precision to 320
16.884 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
16.892 * * * * [points]: Setting MPFR precision to 64
16.897 * * * * [points]: Setting MPFR precision to 320
16.901 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
16.911 * * * * [points]: Setting MPFR precision to 64
16.922 * * * * [points]: Setting MPFR precision to 320
16.930 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
16.938 * * * * [points]: Setting MPFR precision to 64
16.955 * * * * [points]: Setting MPFR precision to 320
16.993 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
17.002 * * * * [points]: Setting MPFR precision to 64
17.036 * * * * [points]: Setting MPFR precision to 320
17.072 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
17.081 * * * * [points]: Setting MPFR precision to 64
17.149 * * * * [points]: Setting MPFR precision to 320
17.273 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
17.282 * * * * [points]: Setting MPFR precision to 64
17.423 * * * * [points]: Setting MPFR precision to 320
17.619 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
17.629 * * * * [points]: Setting MPFR precision to 64
17.858 * * * * [points]: Setting MPFR precision to 320
18.233 * * * * [points]: Computing exacts for 8000 points
18.238 * * * * [points]: Setting MPFR precision to 64
19.504 * * * * [points]: Setting MPFR precision to 320
20.346 * * * * [points]: Filtering points with unrepresentable outputs
20.349 * * * * [points]: Sampling 6851 additional inputs, on iter 1 have 1149 / 8000
20.379 * * * * [points]: Computing exacts on every 428 of 6851 points to ramp up precision
20.383 * * * * [points]: Setting MPFR precision to 64
20.384 * * * * [points]: Setting MPFR precision to 320
20.386 * * * * [points]: Computing exacts on every 214 of 6851 points to ramp up precision
20.390 * * * * [points]: Setting MPFR precision to 64
20.392 * * * * [points]: Setting MPFR precision to 320
20.395 * * * * [points]: Computing exacts on every 107 of 6851 points to ramp up precision
20.420 * * * * [points]: Setting MPFR precision to 64
20.426 * * * * [points]: Setting MPFR precision to 320
20.433 * * * * [points]: Computing exacts on every 53 of 6851 points to ramp up precision
20.437 * * * * [points]: Setting MPFR precision to 64
20.447 * * * * [points]: Setting MPFR precision to 320
20.457 * * * * [points]: Computing exacts on every 26 of 6851 points to ramp up precision
20.462 * * * * [points]: Setting MPFR precision to 64
20.480 * * * * [points]: Setting MPFR precision to 320
20.499 * * * * [points]: Computing exacts on every 13 of 6851 points to ramp up precision
20.504 * * * * [points]: Setting MPFR precision to 64
20.568 * * * * [points]: Setting MPFR precision to 320
20.604 * * * * [points]: Computing exacts on every 6 of 6851 points to ramp up precision
20.609 * * * * [points]: Setting MPFR precision to 64
20.716 * * * * [points]: Setting MPFR precision to 320
20.790 * * * * [points]: Computing exacts on every 3 of 6851 points to ramp up precision
20.795 * * * * [points]: Setting MPFR precision to 64
21.128 * * * * [points]: Setting MPFR precision to 320
21.550 * * * * [points]: Computing exacts for 6851 points
21.555 * * * * [points]: Setting MPFR precision to 64
22.281 * * * * [points]: Setting MPFR precision to 320
22.958 * * * * [points]: Filtering points with unrepresentable outputs
22.962 * * * * [points]: Sampling 5850 additional inputs, on iter 2 have 2150 / 8000
22.986 * * * * [points]: Computing exacts on every 365 of 5850 points to ramp up precision
23.014 * * * * [points]: Setting MPFR precision to 64
23.016 * * * * [points]: Setting MPFR precision to 320
23.017 * * * * [points]: Computing exacts on every 182 of 5850 points to ramp up precision
23.023 * * * * [points]: Setting MPFR precision to 64
23.025 * * * * [points]: Setting MPFR precision to 320
23.028 * * * * [points]: Computing exacts on every 91 of 5850 points to ramp up precision
23.032 * * * * [points]: Setting MPFR precision to 64
23.037 * * * * [points]: Setting MPFR precision to 320
23.042 * * * * [points]: Computing exacts on every 45 of 5850 points to ramp up precision
23.047 * * * * [points]: Setting MPFR precision to 64
23.056 * * * * [points]: Setting MPFR precision to 320
23.066 * * * * [points]: Computing exacts on every 22 of 5850 points to ramp up precision
23.071 * * * * [points]: Setting MPFR precision to 64
23.091 * * * * [points]: Setting MPFR precision to 320
23.133 * * * * [points]: Computing exacts on every 11 of 5850 points to ramp up precision
23.138 * * * * [points]: Setting MPFR precision to 64
23.178 * * * * [points]: Setting MPFR precision to 320
23.216 * * * * [points]: Computing exacts on every 5 of 5850 points to ramp up precision
23.220 * * * * [points]: Setting MPFR precision to 64
23.324 * * * * [points]: Setting MPFR precision to 320
23.430 * * * * [points]: Computing exacts on every 2 of 5850 points to ramp up precision
23.435 * * * * [points]: Setting MPFR precision to 64
23.613 * * * * [points]: Setting MPFR precision to 320
24.071 * * * * [points]: Computing exacts for 5850 points
24.075 * * * * [points]: Setting MPFR precision to 64
24.644 * * * * [points]: Setting MPFR precision to 320
25.228 * * * * [points]: Filtering points with unrepresentable outputs
25.231 * * * * [points]: Sampling 5034 additional inputs, on iter 3 have 2966 / 8000
25.279 * * * * [points]: Computing exacts on every 314 of 5034 points to ramp up precision
25.284 * * * * [points]: Setting MPFR precision to 64
25.285 * * * * [points]: Setting MPFR precision to 320
25.287 * * * * [points]: Computing exacts on every 157 of 5034 points to ramp up precision
25.291 * * * * [points]: Setting MPFR precision to 64
25.294 * * * * [points]: Setting MPFR precision to 320
25.296 * * * * [points]: Computing exacts on every 78 of 5034 points to ramp up precision
25.301 * * * * [points]: Setting MPFR precision to 64
25.305 * * * * [points]: Setting MPFR precision to 320
25.310 * * * * [points]: Computing exacts on every 39 of 5034 points to ramp up precision
25.314 * * * * [points]: Setting MPFR precision to 64
25.324 * * * * [points]: Setting MPFR precision to 320
25.333 * * * * [points]: Computing exacts on every 19 of 5034 points to ramp up precision
25.338 * * * * [points]: Setting MPFR precision to 64
25.357 * * * * [points]: Setting MPFR precision to 320
25.404 * * * * [points]: Computing exacts on every 9 of 5034 points to ramp up precision
25.409 * * * * [points]: Setting MPFR precision to 64
25.447 * * * * [points]: Setting MPFR precision to 320
25.485 * * * * [points]: Computing exacts on every 4 of 5034 points to ramp up precision
25.489 * * * * [points]: Setting MPFR precision to 64
25.597 * * * * [points]: Setting MPFR precision to 320
25.708 * * * * [points]: Computing exacts on every 2 of 5034 points to ramp up precision
25.713 * * * * [points]: Setting MPFR precision to 64
25.951 * * * * [points]: Setting MPFR precision to 320
26.191 * * * * [points]: Computing exacts for 5034 points
26.200 * * * * [points]: Setting MPFR precision to 64
27.319 * * * * [points]: Setting MPFR precision to 320
28.243 * * * * [points]: Filtering points with unrepresentable outputs
28.248 * * * * [points]: Sampling 4340 additional inputs, on iter 4 have 3660 / 8000
28.281 * * * * [points]: Computing exacts on every 271 of 4340 points to ramp up precision
28.290 * * * * [points]: Setting MPFR precision to 64
28.293 * * * * [points]: Setting MPFR precision to 320
28.295 * * * * [points]: Computing exacts on every 135 of 4340 points to ramp up precision
28.304 * * * * [points]: Setting MPFR precision to 64
28.309 * * * * [points]: Setting MPFR precision to 320
28.313 * * * * [points]: Computing exacts on every 67 of 4340 points to ramp up precision
28.323 * * * * [points]: Setting MPFR precision to 64
28.367 * * * * [points]: Setting MPFR precision to 320
28.378 * * * * [points]: Computing exacts on every 33 of 4340 points to ramp up precision
28.387 * * * * [points]: Setting MPFR precision to 64
28.405 * * * * [points]: Setting MPFR precision to 320
28.422 * * * * [points]: Computing exacts on every 16 of 4340 points to ramp up precision
28.432 * * * * [points]: Setting MPFR precision to 64
28.466 * * * * [points]: Setting MPFR precision to 320
28.500 * * * * [points]: Computing exacts on every 8 of 4340 points to ramp up precision
28.509 * * * * [points]: Setting MPFR precision to 64
28.622 * * * * [points]: Setting MPFR precision to 320
28.688 * * * * [points]: Computing exacts on every 4 of 4340 points to ramp up precision
28.698 * * * * [points]: Setting MPFR precision to 64
28.856 * * * * [points]: Setting MPFR precision to 320
28.959 * * * * [points]: Computing exacts on every 2 of 4340 points to ramp up precision
28.967 * * * * [points]: Setting MPFR precision to 64
29.203 * * * * [points]: Setting MPFR precision to 320
29.459 * * * * [points]: Computing exacts for 4340 points
29.467 * * * * [points]: Setting MPFR precision to 64
30.185 * * * * [points]: Setting MPFR precision to 320
31.206 * * * * [points]: Filtering points with unrepresentable outputs
31.210 * * * * [points]: Sampling 3745 additional inputs, on iter 5 have 4255 / 8000
31.229 * * * * [points]: Computing exacts on every 234 of 3745 points to ramp up precision
31.234 * * * * [points]: Setting MPFR precision to 64
31.236 * * * * [points]: Setting MPFR precision to 320
31.237 * * * * [points]: Computing exacts on every 117 of 3745 points to ramp up precision
31.242 * * * * [points]: Setting MPFR precision to 64
31.281 * * * * [points]: Setting MPFR precision to 320
31.285 * * * * [points]: Computing exacts on every 58 of 3745 points to ramp up precision
31.296 * * * * [points]: Setting MPFR precision to 64
31.305 * * * * [points]: Setting MPFR precision to 320
31.314 * * * * [points]: Computing exacts on every 29 of 3745 points to ramp up precision
31.323 * * * * [points]: Setting MPFR precision to 64
31.340 * * * * [points]: Setting MPFR precision to 320
31.357 * * * * [points]: Computing exacts on every 14 of 3745 points to ramp up precision
31.366 * * * * [points]: Setting MPFR precision to 64
31.398 * * * * [points]: Setting MPFR precision to 320
31.434 * * * * [points]: Computing exacts on every 7 of 3745 points to ramp up precision
31.442 * * * * [points]: Setting MPFR precision to 64
31.522 * * * * [points]: Setting MPFR precision to 320
31.567 * * * * [points]: Computing exacts on every 3 of 3745 points to ramp up precision
31.574 * * * * [points]: Setting MPFR precision to 64
31.696 * * * * [points]: Setting MPFR precision to 320
31.813 * * * * [points]: Computing exacts for 3745 points
31.818 * * * * [points]: Setting MPFR precision to 64
32.362 * * * * [points]: Setting MPFR precision to 320
32.709 * * * * [points]: Filtering points with unrepresentable outputs
32.711 * * * * [points]: Sampling 3214 additional inputs, on iter 6 have 4786 / 8000
32.753 * * * * [points]: Computing exacts on every 200 of 3214 points to ramp up precision
32.759 * * * * [points]: Setting MPFR precision to 64
32.760 * * * * [points]: Setting MPFR precision to 320
32.761 * * * * [points]: Computing exacts on every 100 of 3214 points to ramp up precision
32.765 * * * * [points]: Setting MPFR precision to 64
32.768 * * * * [points]: Setting MPFR precision to 320
32.771 * * * * [points]: Computing exacts on every 50 of 3214 points to ramp up precision
32.775 * * * * [points]: Setting MPFR precision to 64
32.780 * * * * [points]: Setting MPFR precision to 320
32.785 * * * * [points]: Computing exacts on every 25 of 3214 points to ramp up precision
32.789 * * * * [points]: Setting MPFR precision to 64
32.798 * * * * [points]: Setting MPFR precision to 320
32.808 * * * * [points]: Computing exacts on every 12 of 3214 points to ramp up precision
32.813 * * * * [points]: Setting MPFR precision to 64
32.832 * * * * [points]: Setting MPFR precision to 320
32.875 * * * * [points]: Computing exacts on every 6 of 3214 points to ramp up precision
32.881 * * * * [points]: Setting MPFR precision to 64
32.915 * * * * [points]: Setting MPFR precision to 320
32.949 * * * * [points]: Computing exacts on every 3 of 3214 points to ramp up precision
32.954 * * * * [points]: Setting MPFR precision to 64
33.045 * * * * [points]: Setting MPFR precision to 320
33.104 * * * * [points]: Computing exacts for 3214 points
33.109 * * * * [points]: Setting MPFR precision to 64
33.978 * * * * [points]: Setting MPFR precision to 320
34.315 * * * * [points]: Filtering points with unrepresentable outputs
34.318 * * * * [points]: Sampling 2748 additional inputs, on iter 7 have 5252 / 8000
34.339 * * * * [points]: Computing exacts on every 171 of 2748 points to ramp up precision
34.347 * * * * [points]: Setting MPFR precision to 64
34.350 * * * * [points]: Setting MPFR precision to 320
34.352 * * * * [points]: Computing exacts on every 85 of 2748 points to ramp up precision
34.360 * * * * [points]: Setting MPFR precision to 64
34.365 * * * * [points]: Setting MPFR precision to 320
34.369 * * * * [points]: Computing exacts on every 42 of 2748 points to ramp up precision
34.379 * * * * [points]: Setting MPFR precision to 64
34.388 * * * * [points]: Setting MPFR precision to 320
34.396 * * * * [points]: Computing exacts on every 21 of 2748 points to ramp up precision
34.404 * * * * [points]: Setting MPFR precision to 64
34.419 * * * * [points]: Setting MPFR precision to 320
34.475 * * * * [points]: Computing exacts on every 10 of 2748 points to ramp up precision
34.487 * * * * [points]: Setting MPFR precision to 64
34.522 * * * * [points]: Setting MPFR precision to 320
34.557 * * * * [points]: Computing exacts on every 5 of 2748 points to ramp up precision
34.565 * * * * [points]: Setting MPFR precision to 64
34.627 * * * * [points]: Setting MPFR precision to 320
34.742 * * * * [points]: Computing exacts on every 2 of 2748 points to ramp up precision
34.751 * * * * [points]: Setting MPFR precision to 64
34.878 * * * * [points]: Setting MPFR precision to 320
35.059 * * * * [points]: Computing exacts for 2748 points
35.068 * * * * [points]: Setting MPFR precision to 64
35.534 * * * * [points]: Setting MPFR precision to 320
35.918 * * * * [points]: Filtering points with unrepresentable outputs
35.919 * * * * [points]: Sampling 2357 additional inputs, on iter 8 have 5643 / 8000
35.929 * * * * [points]: Computing exacts on every 147 of 2357 points to ramp up precision
35.934 * * * * [points]: Setting MPFR precision to 64
35.936 * * * * [points]: Setting MPFR precision to 320
35.937 * * * * [points]: Computing exacts on every 73 of 2357 points to ramp up precision
35.942 * * * * [points]: Setting MPFR precision to 64
35.944 * * * * [points]: Setting MPFR precision to 320
35.946 * * * * [points]: Computing exacts on every 36 of 2357 points to ramp up precision
35.951 * * * * [points]: Setting MPFR precision to 64
35.959 * * * * [points]: Setting MPFR precision to 320
35.967 * * * * [points]: Computing exacts on every 18 of 2357 points to ramp up precision
35.975 * * * * [points]: Setting MPFR precision to 64
35.990 * * * * [points]: Setting MPFR precision to 320
36.005 * * * * [points]: Computing exacts on every 9 of 2357 points to ramp up precision
36.014 * * * * [points]: Setting MPFR precision to 64
36.086 * * * * [points]: Setting MPFR precision to 320
36.119 * * * * [points]: Computing exacts on every 4 of 2357 points to ramp up precision
36.128 * * * * [points]: Setting MPFR precision to 64
36.194 * * * * [points]: Setting MPFR precision to 320
36.256 * * * * [points]: Computing exacts on every 2 of 2357 points to ramp up precision
36.289 * * * * [points]: Setting MPFR precision to 64
36.349 * * * * [points]: Setting MPFR precision to 320
36.439 * * * * [points]: Computing exacts for 2357 points
36.444 * * * * [points]: Setting MPFR precision to 64
36.708 * * * * [points]: Setting MPFR precision to 320
37.390 * * * * [points]: Filtering points with unrepresentable outputs
37.392 * * * * [points]: Sampling 2020 additional inputs, on iter 9 have 5980 / 8000
37.400 * * * * [points]: Computing exacts on every 126 of 2020 points to ramp up precision
37.405 * * * * [points]: Setting MPFR precision to 64
37.406 * * * * [points]: Setting MPFR precision to 320
37.407 * * * * [points]: Computing exacts on every 63 of 2020 points to ramp up precision
37.412 * * * * [points]: Setting MPFR precision to 64
37.414 * * * * [points]: Setting MPFR precision to 320
37.416 * * * * [points]: Computing exacts on every 31 of 2020 points to ramp up precision
37.421 * * * * [points]: Setting MPFR precision to 64
37.425 * * * * [points]: Setting MPFR precision to 320
37.430 * * * * [points]: Computing exacts on every 15 of 2020 points to ramp up precision
37.435 * * * * [points]: Setting MPFR precision to 64
37.444 * * * * [points]: Setting MPFR precision to 320
37.474 * * * * [points]: Computing exacts on every 7 of 2020 points to ramp up precision
37.479 * * * * [points]: Setting MPFR precision to 64
37.500 * * * * [points]: Setting MPFR precision to 320
37.518 * * * * [points]: Computing exacts on every 3 of 2020 points to ramp up precision
37.523 * * * * [points]: Setting MPFR precision to 64
37.560 * * * * [points]: Setting MPFR precision to 320
37.659 * * * * [points]: Computing exacts for 2020 points
37.664 * * * * [points]: Setting MPFR precision to 64
37.884 * * * * [points]: Setting MPFR precision to 320
38.117 * * * * [points]: Filtering points with unrepresentable outputs
38.118 * * * * [points]: Sampling 1743 additional inputs, on iter 10 have 6257 / 8000
38.125 * * * * [points]: Computing exacts on every 108 of 1743 points to ramp up precision
38.158 * * * * [points]: Setting MPFR precision to 64
38.159 * * * * [points]: Setting MPFR precision to 320
38.160 * * * * [points]: Computing exacts on every 54 of 1743 points to ramp up precision
38.167 * * * * [points]: Setting MPFR precision to 64
38.169 * * * * [points]: Setting MPFR precision to 320
38.171 * * * * [points]: Computing exacts on every 27 of 1743 points to ramp up precision
38.176 * * * * [points]: Setting MPFR precision to 64
38.181 * * * * [points]: Setting MPFR precision to 320
38.185 * * * * [points]: Computing exacts on every 13 of 1743 points to ramp up precision
38.192 * * * * [points]: Setting MPFR precision to 64
38.209 * * * * [points]: Setting MPFR precision to 320
38.227 * * * * [points]: Computing exacts on every 6 of 1743 points to ramp up precision
38.234 * * * * [points]: Setting MPFR precision to 64
38.253 * * * * [points]: Setting MPFR precision to 320
38.307 * * * * [points]: Computing exacts on every 3 of 1743 points to ramp up precision
38.314 * * * * [points]: Setting MPFR precision to 64
38.348 * * * * [points]: Setting MPFR precision to 320
38.380 * * * * [points]: Computing exacts for 1743 points
38.385 * * * * [points]: Setting MPFR precision to 64
38.540 * * * * [points]: Setting MPFR precision to 320
38.733 * * * * [points]: Filtering points with unrepresentable outputs
38.734 * * * * [points]: Sampling 1479 additional inputs, on iter 11 have 6521 / 8000
38.742 * * * * [points]: Computing exacts on every 92 of 1479 points to ramp up precision
38.746 * * * * [points]: Setting MPFR precision to 64
38.748 * * * * [points]: Setting MPFR precision to 320
38.749 * * * * [points]: Computing exacts on every 46 of 1479 points to ramp up precision
38.753 * * * * [points]: Setting MPFR precision to 64
38.756 * * * * [points]: Setting MPFR precision to 320
38.758 * * * * [points]: Computing exacts on every 23 of 1479 points to ramp up precision
38.763 * * * * [points]: Setting MPFR precision to 64
38.768 * * * * [points]: Setting MPFR precision to 320
38.773 * * * * [points]: Computing exacts on every 11 of 1479 points to ramp up precision
38.778 * * * * [points]: Setting MPFR precision to 64
38.788 * * * * [points]: Setting MPFR precision to 320
38.803 * * * * [points]: Computing exacts on every 5 of 1479 points to ramp up precision
38.812 * * * * [points]: Setting MPFR precision to 64
38.833 * * * * [points]: Setting MPFR precision to 320
38.882 * * * * [points]: Computing exacts on every 2 of 1479 points to ramp up precision
38.886 * * * * [points]: Setting MPFR precision to 64
38.923 * * * * [points]: Setting MPFR precision to 320
38.959 * * * * [points]: Computing exacts for 1479 points
38.963 * * * * [points]: Setting MPFR precision to 64
39.103 * * * * [points]: Setting MPFR precision to 320
39.323 * * * * [points]: Filtering points with unrepresentable outputs
39.325 * * * * [points]: Sampling 1272 additional inputs, on iter 12 have 6728 / 8000
39.335 * * * * [points]: Computing exacts on every 79 of 1272 points to ramp up precision
39.376 * * * * [points]: Setting MPFR precision to 64
39.378 * * * * [points]: Setting MPFR precision to 320
39.379 * * * * [points]: Computing exacts on every 39 of 1272 points to ramp up precision
39.383 * * * * [points]: Setting MPFR precision to 64
39.388 * * * * [points]: Setting MPFR precision to 320
39.390 * * * * [points]: Computing exacts on every 19 of 1272 points to ramp up precision
39.394 * * * * [points]: Setting MPFR precision to 64
39.399 * * * * [points]: Setting MPFR precision to 320
39.404 * * * * [points]: Computing exacts on every 9 of 1272 points to ramp up precision
39.408 * * * * [points]: Setting MPFR precision to 64
39.418 * * * * [points]: Setting MPFR precision to 320
39.428 * * * * [points]: Computing exacts on every 4 of 1272 points to ramp up precision
39.432 * * * * [points]: Setting MPFR precision to 64
39.451 * * * * [points]: Setting MPFR precision to 320
39.470 * * * * [points]: Computing exacts on every 2 of 1272 points to ramp up precision
39.498 * * * * [points]: Setting MPFR precision to 64
39.542 * * * * [points]: Setting MPFR precision to 320
39.599 * * * * [points]: Computing exacts for 1272 points
39.609 * * * * [points]: Setting MPFR precision to 64
40.249 * * * * [points]: Setting MPFR precision to 320
40.417 * * * * [points]: Filtering points with unrepresentable outputs
40.418 * * * * [points]: Sampling 1104 additional inputs, on iter 13 have 6896 / 8000
40.422 * * * * [points]: Computing exacts on every 69 of 1104 points to ramp up precision
40.427 * * * * [points]: Setting MPFR precision to 64
40.428 * * * * [points]: Setting MPFR precision to 320
40.430 * * * * [points]: Computing exacts on every 34 of 1104 points to ramp up precision
40.434 * * * * [points]: Setting MPFR precision to 64
40.437 * * * * [points]: Setting MPFR precision to 320
40.439 * * * * [points]: Computing exacts on every 17 of 1104 points to ramp up precision
40.444 * * * * [points]: Setting MPFR precision to 64
40.449 * * * * [points]: Setting MPFR precision to 320
40.454 * * * * [points]: Computing exacts on every 8 of 1104 points to ramp up precision
40.458 * * * * [points]: Setting MPFR precision to 64
40.467 * * * * [points]: Setting MPFR precision to 320
40.501 * * * * [points]: Computing exacts on every 4 of 1104 points to ramp up precision
40.506 * * * * [points]: Setting MPFR precision to 64
40.524 * * * * [points]: Setting MPFR precision to 320
40.541 * * * * [points]: Computing exacts on every 2 of 1104 points to ramp up precision
40.550 * * * * [points]: Setting MPFR precision to 64
40.599 * * * * [points]: Setting MPFR precision to 320
40.646 * * * * [points]: Computing exacts for 1104 points
40.677 * * * * [points]: Setting MPFR precision to 64
40.758 * * * * [points]: Setting MPFR precision to 320
40.873 * * * * [points]: Filtering points with unrepresentable outputs
40.873 * * * * [points]: Sampling 940 additional inputs, on iter 14 have 7060 / 8000
40.877 * * * * [points]: Computing exacts on every 58 of 940 points to ramp up precision
40.882 * * * * [points]: Setting MPFR precision to 64
40.883 * * * * [points]: Setting MPFR precision to 320
40.884 * * * * [points]: Computing exacts on every 29 of 940 points to ramp up precision
40.889 * * * * [points]: Setting MPFR precision to 64
40.891 * * * * [points]: Setting MPFR precision to 320
40.894 * * * * [points]: Computing exacts on every 14 of 940 points to ramp up precision
40.898 * * * * [points]: Setting MPFR precision to 64
40.903 * * * * [points]: Setting MPFR precision to 320
40.908 * * * * [points]: Computing exacts on every 7 of 940 points to ramp up precision
40.914 * * * * [points]: Setting MPFR precision to 64
40.957 * * * * [points]: Setting MPFR precision to 320
40.967 * * * * [points]: Computing exacts on every 3 of 940 points to ramp up precision
40.972 * * * * [points]: Setting MPFR precision to 64
40.997 * * * * [points]: Setting MPFR precision to 320
41.025 * * * * [points]: Computing exacts for 940 points
41.030 * * * * [points]: Setting MPFR precision to 64
41.169 * * * * [points]: Setting MPFR precision to 320
41.258 * * * * [points]: Filtering points with unrepresentable outputs
41.259 * * * * [points]: Sampling 786 additional inputs, on iter 15 have 7214 / 8000
41.264 * * * * [points]: Computing exacts on every 49 of 786 points to ramp up precision
41.269 * * * * [points]: Setting MPFR precision to 64
41.270 * * * * [points]: Setting MPFR precision to 320
41.271 * * * * [points]: Computing exacts on every 24 of 786 points to ramp up precision
41.304 * * * * [points]: Setting MPFR precision to 64
41.308 * * * * [points]: Setting MPFR precision to 320
41.312 * * * * [points]: Computing exacts on every 12 of 786 points to ramp up precision
41.318 * * * * [points]: Setting MPFR precision to 64
41.322 * * * * [points]: Setting MPFR precision to 320
41.327 * * * * [points]: Computing exacts on every 6 of 786 points to ramp up precision
41.331 * * * * [points]: Setting MPFR precision to 64
41.339 * * * * [points]: Setting MPFR precision to 320
41.347 * * * * [points]: Computing exacts on every 3 of 786 points to ramp up precision
41.352 * * * * [points]: Setting MPFR precision to 64
41.366 * * * * [points]: Setting MPFR precision to 320
41.380 * * * * [points]: Computing exacts for 786 points
41.385 * * * * [points]: Setting MPFR precision to 64
41.501 * * * * [points]: Setting MPFR precision to 320
41.563 * * * * [points]: Filtering points with unrepresentable outputs
41.563 * * * * [points]: Sampling 665 additional inputs, on iter 16 have 7335 / 8000
41.566 * * * * [points]: Computing exacts on every 41 of 665 points to ramp up precision
41.571 * * * * [points]: Setting MPFR precision to 64
41.602 * * * * [points]: Setting MPFR precision to 320
41.603 * * * * [points]: Computing exacts on every 20 of 665 points to ramp up precision
41.608 * * * * [points]: Setting MPFR precision to 64
41.610 * * * * [points]: Setting MPFR precision to 320
41.614 * * * * [points]: Computing exacts on every 10 of 665 points to ramp up precision
41.619 * * * * [points]: Setting MPFR precision to 64
41.623 * * * * [points]: Setting MPFR precision to 320
41.627 * * * * [points]: Computing exacts on every 5 of 665 points to ramp up precision
41.633 * * * * [points]: Setting MPFR precision to 64
41.647 * * * * [points]: Setting MPFR precision to 320
41.662 * * * * [points]: Computing exacts on every 2 of 665 points to ramp up precision
41.667 * * * * [points]: Setting MPFR precision to 64
41.683 * * * * [points]: Setting MPFR precision to 320
41.698 * * * * [points]: Computing exacts for 665 points
41.703 * * * * [points]: Setting MPFR precision to 64
41.792 * * * * [points]: Setting MPFR precision to 320
41.852 * * * * [points]: Filtering points with unrepresentable outputs
41.852 * * * * [points]: Sampling 565 additional inputs, on iter 17 have 7435 / 8000
41.855 * * * * [points]: Computing exacts on every 35 of 565 points to ramp up precision
41.859 * * * * [points]: Setting MPFR precision to 64
41.861 * * * * [points]: Setting MPFR precision to 320
41.862 * * * * [points]: Computing exacts on every 17 of 565 points to ramp up precision
41.897 * * * * [points]: Setting MPFR precision to 64
41.900 * * * * [points]: Setting MPFR precision to 320
41.902 * * * * [points]: Computing exacts on every 8 of 565 points to ramp up precision
41.908 * * * * [points]: Setting MPFR precision to 64
41.913 * * * * [points]: Setting MPFR precision to 320
41.918 * * * * [points]: Computing exacts on every 4 of 565 points to ramp up precision
41.923 * * * * [points]: Setting MPFR precision to 64
41.931 * * * * [points]: Setting MPFR precision to 320
41.939 * * * * [points]: Computing exacts on every 2 of 565 points to ramp up precision
41.944 * * * * [points]: Setting MPFR precision to 64
41.965 * * * * [points]: Setting MPFR precision to 320
41.988 * * * * [points]: Computing exacts for 565 points
41.996 * * * * [points]: Setting MPFR precision to 64
42.073 * * * * [points]: Setting MPFR precision to 320
42.114 * * * * [points]: Filtering points with unrepresentable outputs
42.114 * * * * [points]: Sampling 489 additional inputs, on iter 18 have 7511 / 8000
42.117 * * * * [points]: Computing exacts on every 30 of 489 points to ramp up precision
42.125 * * * * [points]: Setting MPFR precision to 64
42.127 * * * * [points]: Setting MPFR precision to 320
42.128 * * * * [points]: Computing exacts on every 15 of 489 points to ramp up precision
42.133 * * * * [points]: Setting MPFR precision to 64
42.135 * * * * [points]: Setting MPFR precision to 320
42.137 * * * * [points]: Computing exacts on every 7 of 489 points to ramp up precision
42.142 * * * * [points]: Setting MPFR precision to 64
42.146 * * * * [points]: Setting MPFR precision to 320
42.151 * * * * [points]: Computing exacts on every 3 of 489 points to ramp up precision
42.187 * * * * [points]: Setting MPFR precision to 64
42.206 * * * * [points]: Setting MPFR precision to 320
42.221 * * * * [points]: Computing exacts for 489 points
42.226 * * * * [points]: Setting MPFR precision to 64
42.269 * * * * [points]: Setting MPFR precision to 320
42.305 * * * * [points]: Filtering points with unrepresentable outputs
42.306 * * * * [points]: Sampling 408 additional inputs, on iter 19 have 7592 / 8000
42.308 * * * * [points]: Computing exacts on every 25 of 408 points to ramp up precision
42.341 * * * * [points]: Setting MPFR precision to 64
42.344 * * * * [points]: Setting MPFR precision to 320
42.346 * * * * [points]: Computing exacts on every 12 of 408 points to ramp up precision
42.357 * * * * [points]: Setting MPFR precision to 64
42.362 * * * * [points]: Setting MPFR precision to 320
42.366 * * * * [points]: Computing exacts on every 6 of 408 points to ramp up precision
42.375 * * * * [points]: Setting MPFR precision to 64
42.381 * * * * [points]: Setting MPFR precision to 320
42.385 * * * * [points]: Computing exacts on every 3 of 408 points to ramp up precision
42.390 * * * * [points]: Setting MPFR precision to 64
42.397 * * * * [points]: Setting MPFR precision to 320
42.405 * * * * [points]: Computing exacts for 408 points
42.411 * * * * [points]: Setting MPFR precision to 64
42.451 * * * * [points]: Setting MPFR precision to 320
42.504 * * * * [points]: Filtering points with unrepresentable outputs
42.505 * * * * [points]: Sampling 362 additional inputs, on iter 20 have 7638 / 8000
42.506 * * * * [points]: Computing exacts on every 22 of 362 points to ramp up precision
42.511 * * * * [points]: Setting MPFR precision to 64
42.513 * * * * [points]: Setting MPFR precision to 320
42.515 * * * * [points]: Computing exacts on every 11 of 362 points to ramp up precision
42.524 * * * * [points]: Setting MPFR precision to 64
42.529 * * * * [points]: Setting MPFR precision to 320
42.533 * * * * [points]: Computing exacts on every 5 of 362 points to ramp up precision
42.540 * * * * [points]: Setting MPFR precision to 64
42.545 * * * * [points]: Setting MPFR precision to 320
42.549 * * * * [points]: Computing exacts on every 2 of 362 points to ramp up precision
42.554 * * * * [points]: Setting MPFR precision to 64
42.563 * * * * [points]: Setting MPFR precision to 320
42.571 * * * * [points]: Computing exacts for 362 points
42.576 * * * * [points]: Setting MPFR precision to 64
42.634 * * * * [points]: Setting MPFR precision to 320
42.665 * * * * [points]: Filtering points with unrepresentable outputs
42.665 * * * * [points]: Sampling 304 additional inputs, on iter 21 have 7696 / 8000
42.667 * * * * [points]: Computing exacts on every 19 of 304 points to ramp up precision
42.675 * * * * [points]: Setting MPFR precision to 64
42.677 * * * * [points]: Setting MPFR precision to 320
42.679 * * * * [points]: Computing exacts on every 9 of 304 points to ramp up precision
42.687 * * * * [points]: Setting MPFR precision to 64
42.690 * * * * [points]: Setting MPFR precision to 320
42.692 * * * * [points]: Computing exacts on every 4 of 304 points to ramp up precision
42.697 * * * * [points]: Setting MPFR precision to 64
42.701 * * * * [points]: Setting MPFR precision to 320
42.707 * * * * [points]: Computing exacts on every 2 of 304 points to ramp up precision
42.714 * * * * [points]: Setting MPFR precision to 64
42.727 * * * * [points]: Setting MPFR precision to 320
42.740 * * * * [points]: Computing exacts for 304 points
42.748 * * * * [points]: Setting MPFR precision to 64
43.118 * * * * [points]: Setting MPFR precision to 320
43.143 * * * * [points]: Filtering points with unrepresentable outputs
43.143 * * * * [points]: Sampling 259 additional inputs, on iter 22 have 7741 / 8000
43.144 * * * * [points]: Computing exacts on every 16 of 259 points to ramp up precision
43.149 * * * * [points]: Setting MPFR precision to 64
43.150 * * * * [points]: Setting MPFR precision to 320
43.152 * * * * [points]: Computing exacts on every 8 of 259 points to ramp up precision
43.160 * * * * [points]: Setting MPFR precision to 64
43.163 * * * * [points]: Setting MPFR precision to 320
43.167 * * * * [points]: Computing exacts on every 4 of 259 points to ramp up precision
43.175 * * * * [points]: Setting MPFR precision to 64
43.182 * * * * [points]: Setting MPFR precision to 320
43.189 * * * * [points]: Computing exacts on every 2 of 259 points to ramp up precision
43.198 * * * * [points]: Setting MPFR precision to 64
43.208 * * * * [points]: Setting MPFR precision to 320
43.219 * * * * [points]: Computing exacts for 259 points
43.254 * * * * [points]: Setting MPFR precision to 64
43.292 * * * * [points]: Setting MPFR precision to 320
43.324 * * * * [points]: Filtering points with unrepresentable outputs
43.324 * * * * [points]: Sampling 213 additional inputs, on iter 23 have 7787 / 8000
43.326 * * * * [points]: Computing exacts on every 13 of 213 points to ramp up precision
43.334 * * * * [points]: Setting MPFR precision to 64
43.336 * * * * [points]: Setting MPFR precision to 320
43.338 * * * * [points]: Computing exacts on every 6 of 213 points to ramp up precision
43.346 * * * * [points]: Setting MPFR precision to 64
43.350 * * * * [points]: Setting MPFR precision to 320
43.354 * * * * [points]: Computing exacts on every 3 of 213 points to ramp up precision
43.363 * * * * [points]: Setting MPFR precision to 64
43.370 * * * * [points]: Setting MPFR precision to 320
43.377 * * * * [points]: Computing exacts for 213 points
43.386 * * * * [points]: Setting MPFR precision to 64
43.414 * * * * [points]: Setting MPFR precision to 320
43.474 * * * * [points]: Filtering points with unrepresentable outputs
43.474 * * * * [points]: Sampling 189 additional inputs, on iter 24 have 7811 / 8000
43.476 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision
43.485 * * * * [points]: Setting MPFR precision to 64
43.487 * * * * [points]: Setting MPFR precision to 320
43.489 * * * * [points]: Computing exacts on every 5 of 189 points to ramp up precision
43.499 * * * * [points]: Setting MPFR precision to 64
43.504 * * * * [points]: Setting MPFR precision to 320
43.508 * * * * [points]: Computing exacts on every 2 of 189 points to ramp up precision
43.517 * * * * [points]: Setting MPFR precision to 64
43.527 * * * * [points]: Setting MPFR precision to 320
43.536 * * * * [points]: Computing exacts for 189 points
43.544 * * * * [points]: Setting MPFR precision to 64
43.571 * * * * [points]: Setting MPFR precision to 320
43.597 * * * * [points]: Filtering points with unrepresentable outputs
43.598 * * * * [points]: Sampling 155 additional inputs, on iter 25 have 7845 / 8000
43.599 * * * * [points]: Computing exacts on every 9 of 155 points to ramp up precision
43.608 * * * * [points]: Setting MPFR precision to 64
43.610 * * * * [points]: Setting MPFR precision to 320
43.613 * * * * [points]: Computing exacts on every 4 of 155 points to ramp up precision
43.622 * * * * [points]: Setting MPFR precision to 64
43.656 * * * * [points]: Setting MPFR precision to 320
43.660 * * * * [points]: Computing exacts on every 2 of 155 points to ramp up precision
43.672 * * * * [points]: Setting MPFR precision to 64
43.679 * * * * [points]: Setting MPFR precision to 320
43.687 * * * * [points]: Computing exacts for 155 points
43.695 * * * * [points]: Setting MPFR precision to 64
43.717 * * * * [points]: Setting MPFR precision to 320
43.740 * * * * [points]: Filtering points with unrepresentable outputs
43.740 * * * * [points]: Sampling 136 additional inputs, on iter 26 have 7864 / 8000
43.741 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
43.750 * * * * [points]: Setting MPFR precision to 64
43.752 * * * * [points]: Setting MPFR precision to 320
43.755 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
43.764 * * * * [points]: Setting MPFR precision to 64
43.768 * * * * [points]: Setting MPFR precision to 320
43.772 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
43.783 * * * * [points]: Setting MPFR precision to 64
43.789 * * * * [points]: Setting MPFR precision to 320
43.796 * * * * [points]: Computing exacts for 136 points
43.804 * * * * [points]: Setting MPFR precision to 64
43.823 * * * * [points]: Setting MPFR precision to 320
43.858 * * * * [points]: Filtering points with unrepresentable outputs
43.858 * * * * [points]: Sampling 113 additional inputs, on iter 27 have 7887 / 8000
43.858 * * * * [points]: Computing exacts on every 7 of 113 points to ramp up precision
43.866 * * * * [points]: Setting MPFR precision to 64
43.868 * * * * [points]: Setting MPFR precision to 320
43.870 * * * * [points]: Computing exacts on every 3 of 113 points to ramp up precision
43.879 * * * * [points]: Setting MPFR precision to 64
43.881 * * * * [points]: Setting MPFR precision to 320
43.884 * * * * [points]: Computing exacts for 113 points
43.888 * * * * [points]: Setting MPFR precision to 64
43.896 * * * * [points]: Setting MPFR precision to 320
43.905 * * * * [points]: Filtering points with unrepresentable outputs
43.905 * * * * [points]: Sampling 97 additional inputs, on iter 28 have 7903 / 8000
43.906 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
43.913 * * * * [points]: Setting MPFR precision to 64
43.915 * * * * [points]: Setting MPFR precision to 320
43.917 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
43.925 * * * * [points]: Setting MPFR precision to 64
43.927 * * * * [points]: Setting MPFR precision to 320
43.929 * * * * [points]: Computing exacts for 97 points
43.933 * * * * [points]: Setting MPFR precision to 64
43.941 * * * * [points]: Setting MPFR precision to 320
43.948 * * * * [points]: Filtering points with unrepresentable outputs
43.948 * * * * [points]: Sampling 88 additional inputs, on iter 29 have 7912 / 8000
43.949 * * * * [points]: Computing exacts on every 5 of 88 points to ramp up precision
43.953 * * * * [points]: Setting MPFR precision to 64
43.955 * * * * [points]: Setting MPFR precision to 320
43.956 * * * * [points]: Computing exacts on every 2 of 88 points to ramp up precision
43.991 * * * * [points]: Setting MPFR precision to 64
43.994 * * * * [points]: Setting MPFR precision to 320
43.996 * * * * [points]: Computing exacts for 88 points
44.002 * * * * [points]: Setting MPFR precision to 64
44.008 * * * * [points]: Setting MPFR precision to 320
44.018 * * * * [points]: Filtering points with unrepresentable outputs
44.019 * * * * [points]: Sampling 75 additional inputs, on iter 30 have 7925 / 8000
44.019 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
44.028 * * * * [points]: Setting MPFR precision to 64
44.030 * * * * [points]: Setting MPFR precision to 320
44.032 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
44.042 * * * * [points]: Setting MPFR precision to 64
44.045 * * * * [points]: Setting MPFR precision to 320
44.049 * * * * [points]: Computing exacts for 75 points
44.057 * * * * [points]: Setting MPFR precision to 64
44.068 * * * * [points]: Setting MPFR precision to 320
44.078 * * * * [points]: Filtering points with unrepresentable outputs
44.078 * * * * [points]: Sampling 69 additional inputs, on iter 31 have 7931 / 8000
44.079 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
44.088 * * * * [points]: Setting MPFR precision to 64
44.090 * * * * [points]: Setting MPFR precision to 320
44.092 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
44.101 * * * * [points]: Setting MPFR precision to 64
44.104 * * * * [points]: Setting MPFR precision to 320
44.107 * * * * [points]: Computing exacts for 69 points
44.112 * * * * [points]: Setting MPFR precision to 64
44.117 * * * * [points]: Setting MPFR precision to 320
44.138 * * * * [points]: Filtering points with unrepresentable outputs
44.138 * * * * [points]: Sampling 62 additional inputs, on iter 32 have 7938 / 8000
44.140 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
44.144 * * * * [points]: Setting MPFR precision to 64
44.146 * * * * [points]: Setting MPFR precision to 320
44.147 * * * * [points]: Computing exacts for 62 points
44.152 * * * * [points]: Setting MPFR precision to 64
44.156 * * * * [points]: Setting MPFR precision to 320
44.161 * * * * [points]: Filtering points with unrepresentable outputs
44.161 * * * * [points]: Sampling 54 additional inputs, on iter 33 have 7946 / 8000
44.161 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
44.166 * * * * [points]: Setting MPFR precision to 64
44.167 * * * * [points]: Setting MPFR precision to 320
44.168 * * * * [points]: Computing exacts for 54 points
44.173 * * * * [points]: Setting MPFR precision to 64
44.177 * * * * [points]: Setting MPFR precision to 320
44.183 * * * * [points]: Filtering points with unrepresentable outputs
44.183 * * * * [points]: Sampling 47 additional inputs, on iter 34 have 7953 / 8000
44.183 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
44.193 * * * * [points]: Setting MPFR precision to 64
44.196 * * * * [points]: Setting MPFR precision to 320
44.198 * * * * [points]: Computing exacts for 47 points
44.208 * * * * [points]: Setting MPFR precision to 64
44.211 * * * * [points]: Setting MPFR precision to 320
44.215 * * * * [points]: Filtering points with unrepresentable outputs
44.215 * * * * [points]: Sampling 43 additional inputs, on iter 35 have 7957 / 8000
44.215 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
44.220 * * * * [points]: Setting MPFR precision to 64
44.221 * * * * [points]: Setting MPFR precision to 320
44.222 * * * * [points]: Computing exacts for 43 points
44.226 * * * * [points]: Setting MPFR precision to 64
44.229 * * * * [points]: Setting MPFR precision to 320
44.233 * * * * [points]: Filtering points with unrepresentable outputs
44.233 * * * * [points]: Sampling 42 additional inputs, on iter 36 have 7958 / 8000
44.233 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
44.253 * * * * [points]: Setting MPFR precision to 64
44.255 * * * * [points]: Setting MPFR precision to 320
44.256 * * * * [points]: Computing exacts for 42 points
44.260 * * * * [points]: Setting MPFR precision to 64
44.264 * * * * [points]: Setting MPFR precision to 320
44.267 * * * * [points]: Filtering points with unrepresentable outputs
44.267 * * * * [points]: Sampling 40 additional inputs, on iter 37 have 7960 / 8000
44.267 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
44.276 * * * * [points]: Setting MPFR precision to 64
44.278 * * * * [points]: Setting MPFR precision to 320
44.280 * * * * [points]: Computing exacts for 40 points
44.289 * * * * [points]: Setting MPFR precision to 64
44.295 * * * * [points]: Setting MPFR precision to 320
44.298 * * * * [points]: Filtering points with unrepresentable outputs
44.298 * * * * [points]: Sampling 35 additional inputs, on iter 38 have 7965 / 8000
44.298 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
44.303 * * * * [points]: Setting MPFR precision to 64
44.304 * * * * [points]: Setting MPFR precision to 320
44.305 * * * * [points]: Computing exacts for 35 points
44.309 * * * * [points]: Setting MPFR precision to 64
44.312 * * * * [points]: Setting MPFR precision to 320
44.315 * * * * [points]: Filtering points with unrepresentable outputs
44.315 * * * * [points]: Sampling 27 additional inputs, on iter 39 have 7973 / 8000
44.315 * * * * [points]: Computing exacts for 27 points
44.319 * * * * [points]: Setting MPFR precision to 64
44.322 * * * * [points]: Setting MPFR precision to 320
44.324 * * * * [points]: Filtering points with unrepresentable outputs
44.324 * * * * [points]: Sampling 23 additional inputs, on iter 40 have 7977 / 8000
44.324 * * * * [points]: Computing exacts for 23 points
44.328 * * * * [points]: Setting MPFR precision to 64
44.330 * * * * [points]: Setting MPFR precision to 320
44.332 * * * * [points]: Filtering points with unrepresentable outputs
44.332 * * * * [points]: Sampling 20 additional inputs, on iter 41 have 7980 / 8000
44.332 * * * * [points]: Computing exacts for 20 points
44.336 * * * * [points]: Setting MPFR precision to 64
44.338 * * * * [points]: Setting MPFR precision to 320
44.339 * * * * [points]: Filtering points with unrepresentable outputs
44.340 * * * * [points]: Sampling 15 additional inputs, on iter 42 have 7985 / 8000
44.340 * * * * [points]: Computing exacts for 15 points
44.372 * * * * [points]: Setting MPFR precision to 64
44.375 * * * * [points]: Setting MPFR precision to 320
44.380 * * * * [points]: Filtering points with unrepresentable outputs
44.380 * * * * [points]: Sampling 13 additional inputs, on iter 43 have 7987 / 8000
44.380 * * * * [points]: Computing exacts for 13 points
44.389 * * * * [points]: Setting MPFR precision to 64
44.391 * * * * [points]: Setting MPFR precision to 320
44.393 * * * * [points]: Filtering points with unrepresentable outputs
44.393 * * * * [points]: Sampling 11 additional inputs, on iter 44 have 7989 / 8000
44.393 * * * * [points]: Computing exacts for 11 points
44.402 * * * * [points]: Setting MPFR precision to 64
44.404 * * * * [points]: Setting MPFR precision to 320
44.406 * * * * [points]: Filtering points with unrepresentable outputs
44.406 * * * * [points]: Sampling 11 additional inputs, on iter 45 have 7989 / 8000
44.406 * * * * [points]: Computing exacts for 11 points
44.415 * * * * [points]: Setting MPFR precision to 64
44.416 * * * * [points]: Setting MPFR precision to 320
44.418 * * * * [points]: Filtering points with unrepresentable outputs
44.418 * * * * [points]: Sampling 9 additional inputs, on iter 46 have 7991 / 8000
44.418 * * * * [points]: Computing exacts for 9 points
44.425 * * * * [points]: Setting MPFR precision to 64
44.426 * * * * [points]: Setting MPFR precision to 320
44.426 * * * * [points]: Filtering points with unrepresentable outputs
44.427 * * * * [points]: Sampling 8 additional inputs, on iter 47 have 7992 / 8000
44.427 * * * * [points]: Computing exacts for 8 points
44.431 * * * * [points]: Setting MPFR precision to 64
44.432 * * * * [points]: Setting MPFR precision to 320
44.432 * * * * [points]: Filtering points with unrepresentable outputs
44.433 * * * * [points]: Sampling 6 additional inputs, on iter 48 have 7994 / 8000
44.433 * * * * [points]: Computing exacts for 6 points
44.437 * * * * [points]: Setting MPFR precision to 64
44.437 * * * * [points]: Setting MPFR precision to 320
44.438 * * * * [points]: Filtering points with unrepresentable outputs
44.438 * * * * [points]: Sampling 6 additional inputs, on iter 49 have 7994 / 8000
44.438 * * * * [points]: Computing exacts for 6 points
44.442 * * * * [points]: Setting MPFR precision to 64
44.443 * * * * [points]: Setting MPFR precision to 320
44.443 * * * * [points]: Filtering points with unrepresentable outputs
44.444 * * * * [points]: Sampling 5 additional inputs, on iter 50 have 7995 / 8000
44.444 * * * * [points]: Computing exacts for 5 points
44.448 * * * * [points]: Setting MPFR precision to 64
44.448 * * * * [points]: Setting MPFR precision to 320
44.449 * * * * [points]: Filtering points with unrepresentable outputs
44.449 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7996 / 8000
44.449 * * * * [points]: Computing exacts for 4 points
44.453 * * * * [points]: Setting MPFR precision to 64
44.453 * * * * [points]: Setting MPFR precision to 320
44.454 * * * * [points]: Filtering points with unrepresentable outputs
44.454 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7996 / 8000
44.454 * * * * [points]: Computing exacts for 4 points
44.458 * * * * [points]: Setting MPFR precision to 64
44.459 * * * * [points]: Setting MPFR precision to 320
44.459 * * * * [points]: Filtering points with unrepresentable outputs
44.459 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7996 / 8000
44.459 * * * * [points]: Computing exacts for 4 points
44.464 * * * * [points]: Setting MPFR precision to 64
44.464 * * * * [points]: Setting MPFR precision to 320
44.464 * * * * [points]: Filtering points with unrepresentable outputs
44.465 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7997 / 8000
44.465 * * * * [points]: Computing exacts for 4 points
44.479 * * * * [points]: Setting MPFR precision to 64
44.480 * * * * [points]: Setting MPFR precision to 320
44.480 * * * * [points]: Filtering points with unrepresentable outputs
44.480 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7997 / 8000
44.480 * * * * [points]: Computing exacts for 4 points
44.484 * * * * [points]: Setting MPFR precision to 64
44.485 * * * * [points]: Setting MPFR precision to 320
44.485 * * * * [points]: Filtering points with unrepresentable outputs
44.485 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7997 / 8000
44.485 * * * * [points]: Computing exacts for 4 points
44.490 * * * * [points]: Setting MPFR precision to 64
44.490 * * * * [points]: Setting MPFR precision to 320
44.491 * * * * [points]: Filtering points with unrepresentable outputs
44.491 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7997 / 8000
44.491 * * * * [points]: Computing exacts for 4 points
44.495 * * * * [points]: Setting MPFR precision to 64
44.496 * * * * [points]: Setting MPFR precision to 320
44.496 * * * * [points]: Filtering points with unrepresentable outputs
44.496 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7998 / 8000
44.496 * * * * [points]: Computing exacts for 4 points
44.501 * * * * [points]: Setting MPFR precision to 64
44.501 * * * * [points]: Setting MPFR precision to 320
44.501 * * * * [points]: Filtering points with unrepresentable outputs
44.501 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7999 / 8000
44.502 * * * * [points]: Computing exacts for 4 points
44.506 * * * * [points]: Setting MPFR precision to 64
44.506 * * * * [points]: Setting MPFR precision to 320
44.507 * * * * [points]: Filtering points with unrepresentable outputs
44.507 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7999 / 8000
44.507 * * * * [points]: Computing exacts for 4 points
44.511 * * * * [points]: Setting MPFR precision to 64
44.512 * * * * [points]: Setting MPFR precision to 320
44.512 * * * * [points]: Filtering points with unrepresentable outputs
44.512 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7999 / 8000
44.512 * * * * [points]: Computing exacts for 4 points
44.516 * * * * [points]: Setting MPFR precision to 64
44.517 * * * * [points]: Setting MPFR precision to 320
44.517 * * * * [points]: Filtering points with unrepresentable outputs
44.517 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7999 / 8000
44.517 * * * * [points]: Computing exacts for 4 points
44.522 * * * * [points]: Setting MPFR precision to 64
44.522 * * * * [points]: Setting MPFR precision to 320
44.523 * * * * [points]: Filtering points with unrepresentable outputs
44.523 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7999 / 8000
44.523 * * * * [points]: Computing exacts for 4 points
44.527 * * * * [points]: Setting MPFR precision to 64
44.527 * * * * [points]: Setting MPFR precision to 320
44.528 * * * * [points]: Filtering points with unrepresentable outputs
44.528 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7999 / 8000
44.528 * * * * [points]: Computing exacts for 4 points
44.533 * * * * [points]: Setting MPFR precision to 64
44.534 * * * * [points]: Setting MPFR precision to 320
44.535 * * * * [points]: Filtering points with unrepresentable outputs
44.535 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7999 / 8000
44.535 * * * * [points]: Computing exacts for 4 points
44.544 * * * * [points]: Setting MPFR precision to 64
44.545 * * * * [points]: Setting MPFR precision to 320
44.546 * * * * [points]: Filtering points with unrepresentable outputs
44.546 * * * * [points]: Sampled 8000 points with exact outputs
54.218 * [regime-testing]: Baseline error score: 64.0
54.227 * [regime-testing]: Oracle error score: 64.0
54.240 * [regime-testing]: End program error score: 1.4803049188055348