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.015 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.032 * * * * [points]: Setting MPFR precision to 320
0.036 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.040 * * * * [points]: Setting MPFR precision to 64
0.046 * * * * [points]: Setting MPFR precision to 320
0.052 * * * * [points]: Computing exacts for 256 points
0.057 * * * * [points]: Setting MPFR precision to 64
0.075 * * * * [points]: Setting MPFR precision to 320
0.094 * * * * [points]: Filtering points with unrepresentable outputs
0.094 * * * * [points]: Sampling 206 additional inputs, on iter 1 have 50 / 256
0.095 * * * * [points]: Computing exacts on every 12 of 206 points to ramp up precision
0.100 * * * * [points]: Setting MPFR precision to 64
0.102 * * * * [points]: Setting MPFR precision to 320
0.103 * * * * [points]: Computing exacts on every 6 of 206 points to ramp up precision
0.108 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Computing exacts on every 3 of 206 points to ramp up precision
0.143 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.151 * * * * [points]: Computing exacts for 206 points
0.158 * * * * [points]: Setting MPFR precision to 64
0.172 * * * * [points]: Setting MPFR precision to 320
0.187 * * * * [points]: Filtering points with unrepresentable outputs
0.187 * * * * [points]: Sampling 175 additional inputs, on iter 2 have 81 / 256
0.188 * * * * [points]: Computing exacts on every 10 of 175 points to ramp up precision
0.192 * * * * [points]: Setting MPFR precision to 64
0.194 * * * * [points]: Setting MPFR precision to 320
0.195 * * * * [points]: Computing exacts on every 5 of 175 points to ramp up precision
0.199 * * * * [points]: Setting MPFR precision to 64
0.201 * * * * [points]: Setting MPFR precision to 320
0.203 * * * * [points]: Computing exacts on every 2 of 175 points to ramp up precision
0.208 * * * * [points]: Setting MPFR precision to 64
0.213 * * * * [points]: Setting MPFR precision to 320
0.217 * * * * [points]: Computing exacts for 175 points
0.222 * * * * [points]: Setting MPFR precision to 64
0.257 * * * * [points]: Setting MPFR precision to 320
0.284 * * * * [points]: Filtering points with unrepresentable outputs
0.284 * * * * [points]: Sampling 147 additional inputs, on iter 3 have 109 / 256
0.286 * * * * [points]: Computing exacts on every 9 of 147 points to ramp up precision
0.296 * * * * [points]: Setting MPFR precision to 64
0.298 * * * * [points]: Setting MPFR precision to 320
0.300 * * * * [points]: Computing exacts on every 4 of 147 points to ramp up precision
0.309 * * * * [points]: Setting MPFR precision to 64
0.313 * * * * [points]: Setting MPFR precision to 320
0.317 * * * * [points]: Computing exacts on every 2 of 147 points to ramp up precision
0.326 * * * * [points]: Setting MPFR precision to 64
0.333 * * * * [points]: Setting MPFR precision to 320
0.340 * * * * [points]: Computing exacts for 147 points
0.349 * * * * [points]: Setting MPFR precision to 64
0.368 * * * * [points]: Setting MPFR precision to 320
0.384 * * * * [points]: Filtering points with unrepresentable outputs
0.384 * * * * [points]: Sampling 126 additional inputs, on iter 4 have 130 / 256
0.385 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.390 * * * * [points]: Setting MPFR precision to 64
0.391 * * * * [points]: Setting MPFR precision to 320
0.392 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.397 * * * * [points]: Setting MPFR precision to 64
0.400 * * * * [points]: Setting MPFR precision to 320
0.421 * * * * [points]: Computing exacts for 126 points
0.426 * * * * [points]: Setting MPFR precision to 64
0.437 * * * * [points]: Setting MPFR precision to 320
0.446 * * * * [points]: Filtering points with unrepresentable outputs
0.446 * * * * [points]: Sampling 103 additional inputs, on iter 5 have 153 / 256
0.447 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
0.452 * * * * [points]: Setting MPFR precision to 64
0.453 * * * * [points]: Setting MPFR precision to 320
0.455 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
0.460 * * * * [points]: Setting MPFR precision to 64
0.462 * * * * [points]: Setting MPFR precision to 320
0.464 * * * * [points]: Computing exacts for 103 points
0.473 * * * * [points]: Setting MPFR precision to 64
0.488 * * * * [points]: Setting MPFR precision to 320
0.497 * * * * [points]: Filtering points with unrepresentable outputs
0.497 * * * * [points]: Sampling 89 additional inputs, on iter 6 have 167 / 256
0.497 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.502 * * * * [points]: Setting MPFR precision to 64
0.503 * * * * [points]: Setting MPFR precision to 320
0.504 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.509 * * * * [points]: Setting MPFR precision to 64
0.511 * * * * [points]: Setting MPFR precision to 320
0.513 * * * * [points]: Computing exacts for 89 points
0.518 * * * * [points]: Setting MPFR precision to 64
0.547 * * * * [points]: Setting MPFR precision to 320
0.555 * * * * [points]: Filtering points with unrepresentable outputs
0.555 * * * * [points]: Sampling 87 additional inputs, on iter 7 have 169 / 256
0.556 * * * * [points]: Computing exacts on every 5 of 87 points to ramp up precision
0.560 * * * * [points]: Setting MPFR precision to 64
0.562 * * * * [points]: Setting MPFR precision to 320
0.563 * * * * [points]: Computing exacts on every 2 of 87 points to ramp up precision
0.567 * * * * [points]: Setting MPFR precision to 64
0.570 * * * * [points]: Setting MPFR precision to 320
0.572 * * * * [points]: Computing exacts for 87 points
0.577 * * * * [points]: Setting MPFR precision to 64
0.586 * * * * [points]: Setting MPFR precision to 320
0.598 * * * * [points]: Filtering points with unrepresentable outputs
0.598 * * * * [points]: Sampling 77 additional inputs, on iter 8 have 179 / 256
0.599 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
0.609 * * * * [points]: Setting MPFR precision to 64
0.611 * * * * [points]: Setting MPFR precision to 320
0.614 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
0.624 * * * * [points]: Setting MPFR precision to 64
0.628 * * * * [points]: Setting MPFR precision to 320
0.631 * * * * [points]: Computing exacts for 77 points
0.641 * * * * [points]: Setting MPFR precision to 64
0.652 * * * * [points]: Setting MPFR precision to 320
0.662 * * * * [points]: Filtering points with unrepresentable outputs
0.662 * * * * [points]: Sampling 66 additional inputs, on iter 9 have 190 / 256
0.663 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
0.673 * * * * [points]: Setting MPFR precision to 64
0.675 * * * * [points]: Setting MPFR precision to 320
0.678 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
0.714 * * * * [points]: Setting MPFR precision to 64
0.720 * * * * [points]: Setting MPFR precision to 320
0.723 * * * * [points]: Computing exacts for 66 points
0.733 * * * * [points]: Setting MPFR precision to 64
0.742 * * * * [points]: Setting MPFR precision to 320
0.751 * * * * [points]: Filtering points with unrepresentable outputs
0.752 * * * * [points]: Sampling 59 additional inputs, on iter 10 have 197 / 256
0.752 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.761 * * * * [points]: Setting MPFR precision to 64
0.764 * * * * [points]: Setting MPFR precision to 320
0.765 * * * * [points]: Computing exacts for 59 points
0.775 * * * * [points]: Setting MPFR precision to 64
0.782 * * * * [points]: Setting MPFR precision to 320
0.789 * * * * [points]: Filtering points with unrepresentable outputs
0.790 * * * * [points]: Sampling 53 additional inputs, on iter 11 have 203 / 256
0.790 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
0.800 * * * * [points]: Setting MPFR precision to 64
0.801 * * * * [points]: Setting MPFR precision to 320
0.803 * * * * [points]: Computing exacts for 53 points
0.813 * * * * [points]: Setting MPFR precision to 64
0.820 * * * * [points]: Setting MPFR precision to 320
0.824 * * * * [points]: Filtering points with unrepresentable outputs
0.824 * * * * [points]: Sampling 47 additional inputs, on iter 12 have 209 / 256
0.824 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.829 * * * * [points]: Setting MPFR precision to 64
0.830 * * * * [points]: Setting MPFR precision to 320
0.831 * * * * [points]: Computing exacts for 47 points
0.835 * * * * [points]: Setting MPFR precision to 64
0.839 * * * * [points]: Setting MPFR precision to 320
0.842 * * * * [points]: Filtering points with unrepresentable outputs
0.842 * * * * [points]: Sampling 40 additional inputs, on iter 13 have 216 / 256
0.842 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
0.868 * * * * [points]: Setting MPFR precision to 64
0.873 * * * * [points]: Setting MPFR precision to 320
0.875 * * * * [points]: Computing exacts for 40 points
0.886 * * * * [points]: Setting MPFR precision to 64
0.892 * * * * [points]: Setting MPFR precision to 320
0.897 * * * * [points]: Filtering points with unrepresentable outputs
0.897 * * * * [points]: Sampling 31 additional inputs, on iter 14 have 225 / 256
0.898 * * * * [points]: Computing exacts for 31 points
0.907 * * * * [points]: Setting MPFR precision to 64
0.911 * * * * [points]: Setting MPFR precision to 320
0.914 * * * * [points]: Filtering points with unrepresentable outputs
0.914 * * * * [points]: Sampling 24 additional inputs, on iter 15 have 232 / 256
0.914 * * * * [points]: Computing exacts for 24 points
0.919 * * * * [points]: Setting MPFR precision to 64
0.920 * * * * [points]: Setting MPFR precision to 320
0.922 * * * * [points]: Filtering points with unrepresentable outputs
0.922 * * * * [points]: Sampling 20 additional inputs, on iter 16 have 236 / 256
0.922 * * * * [points]: Computing exacts for 20 points
0.927 * * * * [points]: Setting MPFR precision to 64
0.929 * * * * [points]: Setting MPFR precision to 320
0.930 * * * * [points]: Filtering points with unrepresentable outputs
0.931 * * * * [points]: Sampling 20 additional inputs, on iter 17 have 236 / 256
0.931 * * * * [points]: Computing exacts for 20 points
0.936 * * * * [points]: Setting MPFR precision to 64
0.937 * * * * [points]: Setting MPFR precision to 320
0.939 * * * * [points]: Filtering points with unrepresentable outputs
0.939 * * * * [points]: Sampling 18 additional inputs, on iter 18 have 238 / 256
0.939 * * * * [points]: Computing exacts for 18 points
0.944 * * * * [points]: Setting MPFR precision to 64
0.945 * * * * [points]: Setting MPFR precision to 320
0.946 * * * * [points]: Filtering points with unrepresentable outputs
0.946 * * * * [points]: Sampling 15 additional inputs, on iter 19 have 241 / 256
0.946 * * * * [points]: Computing exacts for 15 points
0.954 * * * * [points]: Setting MPFR precision to 64
0.956 * * * * [points]: Setting MPFR precision to 320
0.958 * * * * [points]: Filtering points with unrepresentable outputs
0.958 * * * * [points]: Sampling 14 additional inputs, on iter 20 have 242 / 256
0.958 * * * * [points]: Computing exacts for 14 points
0.966 * * * * [points]: Setting MPFR precision to 64
0.968 * * * * [points]: Setting MPFR precision to 320
0.970 * * * * [points]: Filtering points with unrepresentable outputs
0.970 * * * * [points]: Sampling 13 additional inputs, on iter 21 have 243 / 256
0.970 * * * * [points]: Computing exacts for 13 points
0.997 * * * * [points]: Setting MPFR precision to 64
0.999 * * * * [points]: Setting MPFR precision to 320
1.003 * * * * [points]: Filtering points with unrepresentable outputs
1.003 * * * * [points]: Sampling 13 additional inputs, on iter 22 have 243 / 256
1.003 * * * * [points]: Computing exacts for 13 points
1.012 * * * * [points]: Setting MPFR precision to 64
1.014 * * * * [points]: Setting MPFR precision to 320
1.016 * * * * [points]: Filtering points with unrepresentable outputs
1.016 * * * * [points]: Sampling 10 additional inputs, on iter 23 have 246 / 256
1.016 * * * * [points]: Computing exacts for 10 points
1.024 * * * * [points]: Setting MPFR precision to 64
1.026 * * * * [points]: Setting MPFR precision to 320
1.027 * * * * [points]: Filtering points with unrepresentable outputs
1.027 * * * * [points]: Sampling 8 additional inputs, on iter 24 have 248 / 256
1.027 * * * * [points]: Computing exacts for 8 points
1.036 * * * * [points]: Setting MPFR precision to 64
1.037 * * * * [points]: Setting MPFR precision to 320
1.038 * * * * [points]: Filtering points with unrepresentable outputs
1.039 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 250 / 256
1.039 * * * * [points]: Computing exacts for 6 points
1.047 * * * * [points]: Setting MPFR precision to 64
1.048 * * * * [points]: Setting MPFR precision to 320
1.049 * * * * [points]: Filtering points with unrepresentable outputs
1.049 * * * * [points]: Sampling 5 additional inputs, on iter 26 have 251 / 256
1.049 * * * * [points]: Computing exacts for 5 points
1.057 * * * * [points]: Setting MPFR precision to 64
1.058 * * * * [points]: Setting MPFR precision to 320
1.059 * * * * [points]: Filtering points with unrepresentable outputs
1.059 * * * * [points]: Sampling 5 additional inputs, on iter 27 have 251 / 256
1.059 * * * * [points]: Computing exacts for 5 points
1.067 * * * * [points]: Setting MPFR precision to 64
1.068 * * * * [points]: Setting MPFR precision to 320
1.069 * * * * [points]: Filtering points with unrepresentable outputs
1.069 * * * * [points]: Sampling 5 additional inputs, on iter 28 have 251 / 256
1.069 * * * * [points]: Computing exacts for 5 points
1.077 * * * * [points]: Setting MPFR precision to 64
1.078 * * * * [points]: Setting MPFR precision to 320
1.079 * * * * [points]: Filtering points with unrepresentable outputs
1.079 * * * * [points]: Sampling 5 additional inputs, on iter 29 have 251 / 256
1.079 * * * * [points]: Computing exacts for 5 points
1.087 * * * * [points]: Setting MPFR precision to 64
1.088 * * * * [points]: Setting MPFR precision to 320
1.088 * * * * [points]: Filtering points with unrepresentable outputs
1.089 * * * * [points]: Sampling 5 additional inputs, on iter 30 have 251 / 256
1.089 * * * * [points]: Computing exacts for 5 points
1.097 * * * * [points]: Setting MPFR precision to 64
1.098 * * * * [points]: Setting MPFR precision to 320
1.099 * * * * [points]: Filtering points with unrepresentable outputs
1.099 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.099 * * * * [points]: Computing exacts for 4 points
1.107 * * * * [points]: Setting MPFR precision to 64
1.108 * * * * [points]: Setting MPFR precision to 320
1.109 * * * * [points]: Filtering points with unrepresentable outputs
1.109 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.109 * * * * [points]: Computing exacts for 4 points
1.129 * * * * [points]: Setting MPFR precision to 64
1.130 * * * * [points]: Setting MPFR precision to 320
1.130 * * * * [points]: Filtering points with unrepresentable outputs
1.130 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256
1.130 * * * * [points]: Computing exacts for 4 points
1.141 * * * * [points]: Setting MPFR precision to 64
1.142 * * * * [points]: Setting MPFR precision to 320
1.142 * * * * [points]: Filtering points with unrepresentable outputs
1.142 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.142 * * * * [points]: Computing exacts for 4 points
1.151 * * * * [points]: Setting MPFR precision to 64
1.152 * * * * [points]: Setting MPFR precision to 320
1.152 * * * * [points]: Filtering points with unrepresentable outputs
1.152 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
1.152 * * * * [points]: Computing exacts for 4 points
1.160 * * * * [points]: Setting MPFR precision to 64
1.161 * * * * [points]: Setting MPFR precision to 320
1.162 * * * * [points]: Filtering points with unrepresentable outputs
1.162 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 254 / 256
1.162 * * * * [points]: Computing exacts for 4 points
1.170 * * * * [points]: Setting MPFR precision to 64
1.171 * * * * [points]: Setting MPFR precision to 320
1.171 * * * * [points]: Filtering points with unrepresentable outputs
1.171 * * * * [points]: Sampled 257 points with exact outputs
1.172 * * * [progress]: [2/2] Setting up program.
1.198 * [progress]: [Phase 2 of 3] Improving.
1.198 * * * * [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.198 * [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.198 * * [simplify]: iteration 1: (19 enodes)
1.208 * * [simplify]: iteration 2: (76 enodes)
1.247 * * [simplify]: iteration 3: (344 enodes)
1.464 * * [simplify]: Extracting #0: cost 1 inf + 0
1.464 * * [simplify]: Extracting #1: cost 76 inf + 0
1.465 * * [simplify]: Extracting #2: cost 476 inf + 1
1.469 * * [simplify]: Extracting #3: cost 744 inf + 23847
1.480 * * [simplify]: Extracting #4: cost 692 inf + 133920
1.496 * * [simplify]: Extracting #5: cost 616 inf + 187628
1.507 * * [simplify]: Extracting #6: cost 579 inf + 209025
1.534 * * [simplify]: Extracting #7: cost 351 inf + 483855
1.607 * * [simplify]: Extracting #8: cost 57 inf + 913475
1.693 * * [simplify]: Extracting #9: cost 4 inf + 1018528
1.760 * * [simplify]: Extracting #10: cost 0 inf + 1031988
1.830 * [simplify]: Simplified to:
  (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
1.873 * * [progress]: iteration 1 / 4
1.873 * * * [progress]: picking best candidate
1.910 * * * * [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.910 * * * [progress]: localizing error
2.212 * * * [progress]: generating rewritten candidates
2.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.224 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.238 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.245 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.264 * * * [progress]: generating series expansions
2.264 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.264 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.264 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.264 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.264 * * * [progress]: simplifying candidates
2.265 * * * * [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.265 * * * * [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.265 * * * * [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.265 * * * * [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.265 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
2.265 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.265 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
2.265 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
2.265 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.265 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.266 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.266 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
2.266 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0))))>
2.266 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.266 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.266 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.266 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.267 * [simplify]: Simplifying:
  (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
  (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
  (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
  (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
  (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta)))
  (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i))
  (+.p16 beta (*.p16 (real->posit16 2) i))
  (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
  (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
  (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
  (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
2.268 * * [simplify]: iteration 1: (39 enodes)
2.282 * * [simplify]: iteration 2: (130 enodes)
2.332 * * [simplify]: iteration 3: (650 enodes)
3.352 * * [simplify]: Extracting #0: cost 13 inf + 0
3.354 * * [simplify]: Extracting #1: cost 388 inf + 0
3.372 * * [simplify]: Extracting #2: cost 1202 inf + 2
3.386 * * [simplify]: Extracting #3: cost 1864 inf + 2822
3.407 * * [simplify]: Extracting #4: cost 1789 inf + 91763
3.453 * * [simplify]: Extracting #5: cost 1499 inf + 433959
3.620 * * [simplify]: Extracting #6: cost 544 inf + 1755650
3.862 * * [simplify]: Extracting #7: cost 46 inf + 2604132
4.104 * * [simplify]: Extracting #8: cost 0 inf + 2692002
4.396 * * [simplify]: Extracting #9: cost 0 inf + 2691722
4.668 * [simplify]: Simplified to:
  (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))))
  (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))))
  (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (*.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (*.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))
  (*.p16 (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))))
  (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
  (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))
  (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
  (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i beta))
  (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i beta))
  (+.p16 (*.p16 (real->posit16 2) i) beta)
  (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (*.p16 i (+.p16 alpha (+.p16 beta i))))
  (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (*.p16 i (+.p16 alpha (+.p16 beta i))))
  (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (*.p16 i (+.p16 alpha (+.p16 beta i))))
  (*.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (*.p16 i (+.p16 alpha (+.p16 beta i))))
4.670 * * * [progress]: adding candidates to table
5.331 * * [progress]: iteration 2 / 4
5.331 * * * [progress]: picking best candidate
5.503 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
5.503 * * * [progress]: localizing error
5.959 * * * [progress]: generating rewritten candidates
5.959 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
5.966 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
5.979 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.009 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.056 * * * [progress]: generating series expansions
6.057 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
6.057 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.057 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.057 * * * [progress]: simplifying candidates
6.057 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.057 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.057 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
6.057 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.057 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.057 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.057 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.057 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.057 * [simplify]: Simplifying:
  (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
  (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
  (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
6.058 * * [simplify]: iteration 1: (27 enodes)
6.065 * * [simplify]: iteration 2: (92 enodes)
6.089 * * [simplify]: iteration 3: (412 enodes)
6.470 * * [simplify]: Extracting #0: cost 6 inf + 0
6.471 * * [simplify]: Extracting #1: cost 241 inf + 0
6.475 * * [simplify]: Extracting #2: cost 854 inf + 1
6.483 * * [simplify]: Extracting #3: cost 1166 inf + 2458
6.493 * * [simplify]: Extracting #4: cost 1160 inf + 12452
6.520 * * [simplify]: Extracting #5: cost 853 inf + 229639
6.613 * * [simplify]: Extracting #6: cost 150 inf + 982526
6.708 * * [simplify]: Extracting #7: cost 3 inf + 1196851
6.859 * * [simplify]: Extracting #8: cost 0 inf + 1190506
6.963 * * [simplify]: Extracting #9: cost 0 inf + 1188466
7.072 * * [simplify]: Extracting #10: cost 0 inf + 1188346
7.176 * [simplify]: Simplified to:
  (/.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha i)))
  (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
  (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))
  (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))
  (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
  (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
  (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
  (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
  (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
  (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
  (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
  (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
7.177 * * * [progress]: adding candidates to table
7.435 * * [progress]: iteration 3 / 4
7.435 * * * [progress]: picking best candidate
7.739 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
7.740 * * * [progress]: localizing error
8.177 * * * [progress]: generating rewritten candidates
8.177 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
8.184 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
8.200 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
8.238 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
8.309 * * * [progress]: generating series expansions
8.309 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
8.309 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
8.309 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
8.309 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
8.309 * * * [progress]: simplifying candidates
8.309 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.309 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
8.309 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.309 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.309 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.309 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.309 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.309 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.310 * [simplify]: Simplifying:
  (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
  (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
  (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))
  (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
  (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
  (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
  (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
8.310 * * [simplify]: iteration 1: (25 enodes)
8.316 * * [simplify]: iteration 2: (83 enodes)
8.336 * * [simplify]: iteration 3: (361 enodes)
8.651 * * [simplify]: Extracting #0: cost 5 inf + 0
8.651 * * [simplify]: Extracting #1: cost 112 inf + 0
8.653 * * [simplify]: Extracting #2: cost 485 inf + 0
8.656 * * [simplify]: Extracting #3: cost 741 inf + 7180
8.661 * * [simplify]: Extracting #4: cost 686 inf + 36178
8.674 * * [simplify]: Extracting #5: cost 526 inf + 186777
8.727 * * [simplify]: Extracting #6: cost 78 inf + 661222
8.807 * * [simplify]: Extracting #7: cost 0 inf + 759583
8.890 * * [simplify]: Extracting #8: cost 0 inf + 759023
8.974 * * [simplify]: Extracting #9: cost 0 inf + 758823
9.050 * [simplify]: Simplified to:
  (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))))
  (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) (-.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
  (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
  (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)))
  (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))
  (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))
  (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))
  (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))
9.052 * * * [progress]: adding candidates to table
9.304 * * [progress]: iteration 4 / 4
9.304 * * * [progress]: picking best candidate
9.616 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.616 * * * [progress]: localizing error
10.031 * * * [progress]: generating rewritten candidates
10.031 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
10.038 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
10.061 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
10.064 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
10.088 * * * [progress]: generating series expansions
10.088 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.088 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
10.088 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
10.088 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
10.088 * * * [progress]: simplifying candidates
10.088 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.088 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.088 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.088 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
10.088 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.088 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.088 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.089 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.089 * [simplify]: Simplifying:
  (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
  (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
  (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
  (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))
  (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))
  (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))
  (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))
10.089 * * [simplify]: iteration 1: (27 enodes)
10.096 * * [simplify]: iteration 2: (92 enodes)
10.143 * * [simplify]: iteration 3: (412 enodes)
10.610 * * [simplify]: Extracting #0: cost 5 inf + 0
10.611 * * [simplify]: Extracting #1: cost 154 inf + 0
10.612 * * [simplify]: Extracting #2: cost 697 inf + 1
10.617 * * [simplify]: Extracting #3: cost 1097 inf + 3504
10.629 * * [simplify]: Extracting #4: cost 1108 inf + 22201
10.649 * * [simplify]: Extracting #5: cost 898 inf + 205688
10.706 * * [simplify]: Extracting #6: cost 214 inf + 1005116
10.828 * * [simplify]: Extracting #7: cost 1 inf + 1155632
10.951 * * [simplify]: Extracting #8: cost 0 inf + 1113592
11.041 * * [simplify]: Extracting #9: cost 0 inf + 1112872
11.161 * * [simplify]: Extracting #10: cost 0 inf + 1112552
11.267 * [simplify]: Simplified to:
  (/.p16 i (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))))
  (/.p16 i (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)))
  (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha))) (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (-.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (real->posit16 1.0))))
  (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha))
  (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))
  (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))
  (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))
  (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))
11.268 * * * [progress]: adding candidates to table
11.519 * [progress]: [Phase 3 of 3] Extracting.
11.519 * * [regime]: Finding splitpoints for: (#<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 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))> #<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 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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 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 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.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))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>)
11.548 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
11.548 * * * * [regimes]: Trying to branch on beta from (#<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 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))> #<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 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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 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 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.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))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 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))))))>)
12.094 * * * * [regimes]: Trying to branch on alpha from (#<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 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))> #<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 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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 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 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.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))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 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))))))>)
12.578 * * * * [regimes]: Trying to branch on i from (#<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 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))> #<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 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 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 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 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 (*.p16 i (+.p16 alpha (+.p16 beta i))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.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))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 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.539 * * * [regime]: Found split indices: #<option (#s(si 14 256))>
13.539 * [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))))
13.539 * * [simplify]: iteration 1: (22 enodes)
13.542 * * [simplify]: Extracting #0: cost 1 inf + 0
13.542 * * [simplify]: Extracting #1: cost 3 inf + 0
13.542 * * [simplify]: Extracting #2: cost 7 inf + 0
13.542 * * [simplify]: Extracting #3: cost 11 inf + 1
13.542 * * [simplify]: Extracting #4: cost 17 inf + 1
13.542 * * [simplify]: Extracting #5: cost 18 inf + 3
13.542 * * [simplify]: Extracting #6: cost 14 inf + 452
13.543 * * [simplify]: Extracting #7: cost 11 inf + 857
13.543 * * [simplify]: Extracting #8: cost 8 inf + 2346
13.543 * * [simplify]: Extracting #9: cost 2 inf + 9054
13.544 * * [simplify]: Extracting #10: cost 1 inf + 10739
13.544 * * [simplify]: Extracting #11: cost 0 inf + 14384
13.545 * [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))))
13.545 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
13.592 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
13.597 * * * * [points]: Setting MPFR precision to 64
13.598 * * * * [points]: Setting MPFR precision to 320
13.599 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
13.604 * * * * [points]: Setting MPFR precision to 64
13.607 * * * * [points]: Setting MPFR precision to 320
13.609 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
13.623 * * * * [points]: Setting MPFR precision to 64
13.629 * * * * [points]: Setting MPFR precision to 320
13.634 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
13.639 * * * * [points]: Setting MPFR precision to 64
13.650 * * * * [points]: Setting MPFR precision to 320
13.660 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
13.664 * * * * [points]: Setting MPFR precision to 64
13.683 * * * * [points]: Setting MPFR precision to 320
13.701 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
13.706 * * * * [points]: Setting MPFR precision to 64
13.775 * * * * [points]: Setting MPFR precision to 320
13.810 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
13.815 * * * * [points]: Setting MPFR precision to 64
13.977 * * * * [points]: Setting MPFR precision to 320
14.095 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.100 * * * * [points]: Setting MPFR precision to 64
14.376 * * * * [points]: Setting MPFR precision to 320
14.635 * * * * [points]: Computing exacts for 8000 points
14.639 * * * * [points]: Setting MPFR precision to 64
15.852 * * * * [points]: Setting MPFR precision to 320
17.403 * * * * [points]: Filtering points with unrepresentable outputs
17.411 * * * * [points]: Sampling 6926 additional inputs, on iter 1 have 1074 / 8000
17.466 * * * * [points]: Computing exacts on every 432 of 6926 points to ramp up precision
17.475 * * * * [points]: Setting MPFR precision to 64
17.477 * * * * [points]: Setting MPFR precision to 320
17.479 * * * * [points]: Computing exacts on every 216 of 6926 points to ramp up precision
17.489 * * * * [points]: Setting MPFR precision to 64
17.493 * * * * [points]: Setting MPFR precision to 320
17.497 * * * * [points]: Computing exacts on every 108 of 6926 points to ramp up precision
17.504 * * * * [points]: Setting MPFR precision to 64
17.509 * * * * [points]: Setting MPFR precision to 320
17.514 * * * * [points]: Computing exacts on every 54 of 6926 points to ramp up precision
17.519 * * * * [points]: Setting MPFR precision to 64
17.528 * * * * [points]: Setting MPFR precision to 320
17.537 * * * * [points]: Computing exacts on every 27 of 6926 points to ramp up precision
17.542 * * * * [points]: Setting MPFR precision to 64
17.602 * * * * [points]: Setting MPFR precision to 320
17.635 * * * * [points]: Computing exacts on every 13 of 6926 points to ramp up precision
17.645 * * * * [points]: Setting MPFR precision to 64
17.714 * * * * [points]: Setting MPFR precision to 320
17.820 * * * * [points]: Computing exacts on every 6 of 6926 points to ramp up precision
17.833 * * * * [points]: Setting MPFR precision to 64
17.947 * * * * [points]: Setting MPFR precision to 320
18.087 * * * * [points]: Computing exacts on every 3 of 6926 points to ramp up precision
18.097 * * * * [points]: Setting MPFR precision to 64
18.366 * * * * [points]: Setting MPFR precision to 320
18.637 * * * * [points]: Computing exacts for 6926 points
18.643 * * * * [points]: Setting MPFR precision to 64
19.541 * * * * [points]: Setting MPFR precision to 320
21.082 * * * * [points]: Filtering points with unrepresentable outputs
21.085 * * * * [points]: Sampling 6003 additional inputs, on iter 2 have 1997 / 8000
21.124 * * * * [points]: Computing exacts on every 375 of 6003 points to ramp up precision
21.133 * * * * [points]: Setting MPFR precision to 64
21.134 * * * * [points]: Setting MPFR precision to 320
21.135 * * * * [points]: Computing exacts on every 187 of 6003 points to ramp up precision
21.141 * * * * [points]: Setting MPFR precision to 64
21.143 * * * * [points]: Setting MPFR precision to 320
21.145 * * * * [points]: Computing exacts on every 93 of 6003 points to ramp up precision
21.179 * * * * [points]: Setting MPFR precision to 64
21.186 * * * * [points]: Setting MPFR precision to 320
21.191 * * * * [points]: Computing exacts on every 46 of 6003 points to ramp up precision
21.196 * * * * [points]: Setting MPFR precision to 64
21.210 * * * * [points]: Setting MPFR precision to 320
21.226 * * * * [points]: Computing exacts on every 23 of 6003 points to ramp up precision
21.236 * * * * [points]: Setting MPFR precision to 64
21.262 * * * * [points]: Setting MPFR precision to 320
21.286 * * * * [points]: Computing exacts on every 11 of 6003 points to ramp up precision
21.295 * * * * [points]: Setting MPFR precision to 64
21.402 * * * * [points]: Setting MPFR precision to 320
21.447 * * * * [points]: Computing exacts on every 5 of 6003 points to ramp up precision
21.452 * * * * [points]: Setting MPFR precision to 64
21.591 * * * * [points]: Setting MPFR precision to 320
21.661 * * * * [points]: Computing exacts on every 2 of 6003 points to ramp up precision
21.705 * * * * [points]: Setting MPFR precision to 64
21.975 * * * * [points]: Setting MPFR precision to 320
22.220 * * * * [points]: Computing exacts for 6003 points
22.226 * * * * [points]: Setting MPFR precision to 64
23.013 * * * * [points]: Setting MPFR precision to 320
24.351 * * * * [points]: Filtering points with unrepresentable outputs
24.357 * * * * [points]: Sampling 5145 additional inputs, on iter 3 have 2855 / 8000
24.388 * * * * [points]: Computing exacts on every 321 of 5145 points to ramp up precision
24.393 * * * * [points]: Setting MPFR precision to 64
24.394 * * * * [points]: Setting MPFR precision to 320
24.396 * * * * [points]: Computing exacts on every 160 of 5145 points to ramp up precision
24.400 * * * * [points]: Setting MPFR precision to 64
24.403 * * * * [points]: Setting MPFR precision to 320
24.407 * * * * [points]: Computing exacts on every 80 of 5145 points to ramp up precision
24.416 * * * * [points]: Setting MPFR precision to 64
24.422 * * * * [points]: Setting MPFR precision to 320
24.427 * * * * [points]: Computing exacts on every 40 of 5145 points to ramp up precision
24.432 * * * * [points]: Setting MPFR precision to 64
24.442 * * * * [points]: Setting MPFR precision to 320
24.488 * * * * [points]: Computing exacts on every 20 of 5145 points to ramp up precision
24.500 * * * * [points]: Setting MPFR precision to 64
24.536 * * * * [points]: Setting MPFR precision to 320
24.568 * * * * [points]: Computing exacts on every 10 of 5145 points to ramp up precision
24.578 * * * * [points]: Setting MPFR precision to 64
24.637 * * * * [points]: Setting MPFR precision to 320
24.733 * * * * [points]: Computing exacts on every 5 of 5145 points to ramp up precision
24.738 * * * * [points]: Setting MPFR precision to 64
24.819 * * * * [points]: Setting MPFR precision to 320
24.996 * * * * [points]: Computing exacts on every 2 of 5145 points to ramp up precision
25.008 * * * * [points]: Setting MPFR precision to 64
25.237 * * * * [points]: Setting MPFR precision to 320
25.452 * * * * [points]: Computing exacts for 5145 points
25.457 * * * * [points]: Setting MPFR precision to 64
26.072 * * * * [points]: Setting MPFR precision to 320
27.268 * * * * [points]: Filtering points with unrepresentable outputs
27.273 * * * * [points]: Sampling 4434 additional inputs, on iter 4 have 3566 / 8000
27.304 * * * * [points]: Computing exacts on every 277 of 4434 points to ramp up precision
27.333 * * * * [points]: Setting MPFR precision to 64
27.336 * * * * [points]: Setting MPFR precision to 320
27.341 * * * * [points]: Computing exacts on every 138 of 4434 points to ramp up precision
27.351 * * * * [points]: Setting MPFR precision to 64
27.356 * * * * [points]: Setting MPFR precision to 320
27.360 * * * * [points]: Computing exacts on every 69 of 4434 points to ramp up precision
27.369 * * * * [points]: Setting MPFR precision to 64
27.378 * * * * [points]: Setting MPFR precision to 320
27.386 * * * * [points]: Computing exacts on every 34 of 4434 points to ramp up precision
27.396 * * * * [points]: Setting MPFR precision to 64
27.413 * * * * [points]: Setting MPFR precision to 320
27.431 * * * * [points]: Computing exacts on every 17 of 4434 points to ramp up precision
27.441 * * * * [points]: Setting MPFR precision to 64
27.469 * * * * [points]: Setting MPFR precision to 320
27.516 * * * * [points]: Computing exacts on every 8 of 4434 points to ramp up precision
27.530 * * * * [points]: Setting MPFR precision to 64
27.596 * * * * [points]: Setting MPFR precision to 320
27.666 * * * * [points]: Computing exacts on every 4 of 4434 points to ramp up precision
27.676 * * * * [points]: Setting MPFR precision to 64
27.841 * * * * [points]: Setting MPFR precision to 320
27.968 * * * * [points]: Computing exacts on every 2 of 4434 points to ramp up precision
27.981 * * * * [points]: Setting MPFR precision to 64
28.190 * * * * [points]: Setting MPFR precision to 320
28.450 * * * * [points]: Computing exacts for 4434 points
28.459 * * * * [points]: Setting MPFR precision to 64
29.133 * * * * [points]: Setting MPFR precision to 320
29.745 * * * * [points]: Filtering points with unrepresentable outputs
29.750 * * * * [points]: Sampling 3823 additional inputs, on iter 5 have 4177 / 8000
29.780 * * * * [points]: Computing exacts on every 238 of 3823 points to ramp up precision
29.790 * * * * [points]: Setting MPFR precision to 64
29.793 * * * * [points]: Setting MPFR precision to 320
29.795 * * * * [points]: Computing exacts on every 119 of 3823 points to ramp up precision
29.805 * * * * [points]: Setting MPFR precision to 64
29.810 * * * * [points]: Setting MPFR precision to 320
29.814 * * * * [points]: Computing exacts on every 59 of 3823 points to ramp up precision
29.825 * * * * [points]: Setting MPFR precision to 64
29.834 * * * * [points]: Setting MPFR precision to 320
29.843 * * * * [points]: Computing exacts on every 29 of 3823 points to ramp up precision
29.853 * * * * [points]: Setting MPFR precision to 64
29.872 * * * * [points]: Setting MPFR precision to 320
29.916 * * * * [points]: Computing exacts on every 14 of 3823 points to ramp up precision
29.921 * * * * [points]: Setting MPFR precision to 64
29.947 * * * * [points]: Setting MPFR precision to 320
29.983 * * * * [points]: Computing exacts on every 7 of 3823 points to ramp up precision
29.993 * * * * [points]: Setting MPFR precision to 64
30.062 * * * * [points]: Setting MPFR precision to 320
30.172 * * * * [points]: Computing exacts on every 3 of 3823 points to ramp up precision
30.181 * * * * [points]: Setting MPFR precision to 64
30.297 * * * * [points]: Setting MPFR precision to 320
30.457 * * * * [points]: Computing exacts for 3823 points
30.462 * * * * [points]: Setting MPFR precision to 64
31.478 * * * * [points]: Setting MPFR precision to 320
32.085 * * * * [points]: Filtering points with unrepresentable outputs
32.087 * * * * [points]: Sampling 3262 additional inputs, on iter 6 have 4738 / 8000
32.101 * * * * [points]: Computing exacts on every 203 of 3262 points to ramp up precision
32.108 * * * * [points]: Setting MPFR precision to 64
32.111 * * * * [points]: Setting MPFR precision to 320
32.113 * * * * [points]: Computing exacts on every 101 of 3262 points to ramp up precision
32.156 * * * * [points]: Setting MPFR precision to 64
32.159 * * * * [points]: Setting MPFR precision to 320
32.165 * * * * [points]: Computing exacts on every 50 of 3262 points to ramp up precision
32.176 * * * * [points]: Setting MPFR precision to 64
32.185 * * * * [points]: Setting MPFR precision to 320
32.193 * * * * [points]: Computing exacts on every 25 of 3262 points to ramp up precision
32.202 * * * * [points]: Setting MPFR precision to 64
32.218 * * * * [points]: Setting MPFR precision to 320
32.233 * * * * [points]: Computing exacts on every 12 of 3262 points to ramp up precision
32.241 * * * * [points]: Setting MPFR precision to 64
32.259 * * * * [points]: Setting MPFR precision to 320
32.281 * * * * [points]: Computing exacts on every 6 of 3262 points to ramp up precision
32.325 * * * * [points]: Setting MPFR precision to 64
32.393 * * * * [points]: Setting MPFR precision to 320
32.430 * * * * [points]: Computing exacts on every 3 of 3262 points to ramp up precision
32.435 * * * * [points]: Setting MPFR precision to 64
32.542 * * * * [points]: Setting MPFR precision to 320
32.601 * * * * [points]: Computing exacts for 3262 points
32.606 * * * * [points]: Setting MPFR precision to 64
33.030 * * * * [points]: Setting MPFR precision to 320
33.467 * * * * [points]: Filtering points with unrepresentable outputs
33.471 * * * * [points]: Sampling 2778 additional inputs, on iter 7 have 5222 / 8000
33.487 * * * * [points]: Computing exacts on every 173 of 2778 points to ramp up precision
33.493 * * * * [points]: Setting MPFR precision to 64
33.495 * * * * [points]: Setting MPFR precision to 320
33.496 * * * * [points]: Computing exacts on every 86 of 2778 points to ramp up precision
33.501 * * * * [points]: Setting MPFR precision to 64
33.503 * * * * [points]: Setting MPFR precision to 320
33.506 * * * * [points]: Computing exacts on every 43 of 2778 points to ramp up precision
33.513 * * * * [points]: Setting MPFR precision to 64
33.521 * * * * [points]: Setting MPFR precision to 320
33.530 * * * * [points]: Computing exacts on every 21 of 2778 points to ramp up precision
33.539 * * * * [points]: Setting MPFR precision to 64
33.556 * * * * [points]: Setting MPFR precision to 320
33.605 * * * * [points]: Computing exacts on every 10 of 2778 points to ramp up precision
33.617 * * * * [points]: Setting MPFR precision to 64
33.651 * * * * [points]: Setting MPFR precision to 320
33.685 * * * * [points]: Computing exacts on every 5 of 2778 points to ramp up precision
33.695 * * * * [points]: Setting MPFR precision to 64
33.755 * * * * [points]: Setting MPFR precision to 320
33.818 * * * * [points]: Computing exacts on every 2 of 2778 points to ramp up precision
33.823 * * * * [points]: Setting MPFR precision to 64
33.914 * * * * [points]: Setting MPFR precision to 320
34.500 * * * * [points]: Computing exacts for 2778 points
34.509 * * * * [points]: Setting MPFR precision to 64
34.977 * * * * [points]: Setting MPFR precision to 320
35.412 * * * * [points]: Filtering points with unrepresentable outputs
35.415 * * * * [points]: Sampling 2384 additional inputs, on iter 8 have 5616 / 8000
35.433 * * * * [points]: Computing exacts on every 149 of 2384 points to ramp up precision
35.442 * * * * [points]: Setting MPFR precision to 64
35.445 * * * * [points]: Setting MPFR precision to 320
35.447 * * * * [points]: Computing exacts on every 74 of 2384 points to ramp up precision
35.456 * * * * [points]: Setting MPFR precision to 64
35.460 * * * * [points]: Setting MPFR precision to 320
35.464 * * * * [points]: Computing exacts on every 37 of 2384 points to ramp up precision
35.469 * * * * [points]: Setting MPFR precision to 64
35.474 * * * * [points]: Setting MPFR precision to 320
35.478 * * * * [points]: Computing exacts on every 18 of 2384 points to ramp up precision
35.483 * * * * [points]: Setting MPFR precision to 64
35.492 * * * * [points]: Setting MPFR precision to 320
35.506 * * * * [points]: Computing exacts on every 9 of 2384 points to ramp up precision
35.545 * * * * [points]: Setting MPFR precision to 64
35.569 * * * * [points]: Setting MPFR precision to 320
35.594 * * * * [points]: Computing exacts on every 4 of 2384 points to ramp up precision
35.599 * * * * [points]: Setting MPFR precision to 64
35.650 * * * * [points]: Setting MPFR precision to 320
35.750 * * * * [points]: Computing exacts on every 2 of 2384 points to ramp up precision
35.763 * * * * [points]: Setting MPFR precision to 64
35.824 * * * * [points]: Setting MPFR precision to 320
35.936 * * * * [points]: Computing exacts for 2384 points
35.946 * * * * [points]: Setting MPFR precision to 64
36.162 * * * * [points]: Setting MPFR precision to 320
36.504 * * * * [points]: Filtering points with unrepresentable outputs
36.506 * * * * [points]: Sampling 2019 additional inputs, on iter 9 have 5981 / 8000
36.520 * * * * [points]: Computing exacts on every 126 of 2019 points to ramp up precision
36.529 * * * * [points]: Setting MPFR precision to 64
36.532 * * * * [points]: Setting MPFR precision to 320
36.534 * * * * [points]: Computing exacts on every 63 of 2019 points to ramp up precision
36.543 * * * * [points]: Setting MPFR precision to 64
36.547 * * * * [points]: Setting MPFR precision to 320
36.552 * * * * [points]: Computing exacts on every 31 of 2019 points to ramp up precision
36.561 * * * * [points]: Setting MPFR precision to 64
36.570 * * * * [points]: Setting MPFR precision to 320
36.578 * * * * [points]: Computing exacts on every 15 of 2019 points to ramp up precision
36.588 * * * * [points]: Setting MPFR precision to 64
36.651 * * * * [points]: Setting MPFR precision to 320
36.669 * * * * [points]: Computing exacts on every 7 of 2019 points to ramp up precision
36.678 * * * * [points]: Setting MPFR precision to 64
36.713 * * * * [points]: Setting MPFR precision to 320
36.747 * * * * [points]: Computing exacts on every 3 of 2019 points to ramp up precision
36.756 * * * * [points]: Setting MPFR precision to 64
36.808 * * * * [points]: Setting MPFR precision to 320
36.888 * * * * [points]: Computing exacts for 2019 points
36.893 * * * * [points]: Setting MPFR precision to 64
37.154 * * * * [points]: Setting MPFR precision to 320
37.511 * * * * [points]: Filtering points with unrepresentable outputs
37.513 * * * * [points]: Sampling 1758 additional inputs, on iter 10 have 6242 / 8000
37.529 * * * * [points]: Computing exacts on every 109 of 1758 points to ramp up precision
37.539 * * * * [points]: Setting MPFR precision to 64
37.541 * * * * [points]: Setting MPFR precision to 320
37.543 * * * * [points]: Computing exacts on every 54 of 1758 points to ramp up precision
37.553 * * * * [points]: Setting MPFR precision to 64
37.557 * * * * [points]: Setting MPFR precision to 320
37.561 * * * * [points]: Computing exacts on every 27 of 1758 points to ramp up precision
37.570 * * * * [points]: Setting MPFR precision to 64
37.579 * * * * [points]: Setting MPFR precision to 320
37.588 * * * * [points]: Computing exacts on every 13 of 1758 points to ramp up precision
37.598 * * * * [points]: Setting MPFR precision to 64
37.616 * * * * [points]: Setting MPFR precision to 320
37.635 * * * * [points]: Computing exacts on every 6 of 1758 points to ramp up precision
37.642 * * * * [points]: Setting MPFR precision to 64
38.117 * * * * [points]: Setting MPFR precision to 320
38.152 * * * * [points]: Computing exacts on every 3 of 1758 points to ramp up precision
38.162 * * * * [points]: Setting MPFR precision to 64
38.198 * * * * [points]: Setting MPFR precision to 320
38.258 * * * * [points]: Computing exacts for 1758 points
38.269 * * * * [points]: Setting MPFR precision to 64
38.618 * * * * [points]: Setting MPFR precision to 320
38.887 * * * * [points]: Filtering points with unrepresentable outputs
38.888 * * * * [points]: Sampling 1517 additional inputs, on iter 11 have 6483 / 8000
38.895 * * * * [points]: Computing exacts on every 94 of 1517 points to ramp up precision
38.900 * * * * [points]: Setting MPFR precision to 64
38.901 * * * * [points]: Setting MPFR precision to 320
38.902 * * * * [points]: Computing exacts on every 47 of 1517 points to ramp up precision
38.907 * * * * [points]: Setting MPFR precision to 64
38.909 * * * * [points]: Setting MPFR precision to 320
38.912 * * * * [points]: Computing exacts on every 23 of 1517 points to ramp up precision
38.917 * * * * [points]: Setting MPFR precision to 64
38.926 * * * * [points]: Setting MPFR precision to 320
38.935 * * * * [points]: Computing exacts on every 11 of 1517 points to ramp up precision
38.945 * * * * [points]: Setting MPFR precision to 64
38.964 * * * * [points]: Setting MPFR precision to 320
39.025 * * * * [points]: Computing exacts on every 5 of 1517 points to ramp up precision
39.038 * * * * [points]: Setting MPFR precision to 64
39.074 * * * * [points]: Setting MPFR precision to 320
39.111 * * * * [points]: Computing exacts on every 2 of 1517 points to ramp up precision
39.121 * * * * [points]: Setting MPFR precision to 64
39.193 * * * * [points]: Setting MPFR precision to 320
39.318 * * * * [points]: Computing exacts for 1517 points
39.328 * * * * [points]: Setting MPFR precision to 64
39.551 * * * * [points]: Setting MPFR precision to 320
39.703 * * * * [points]: Filtering points with unrepresentable outputs
39.703 * * * * [points]: Sampling 1287 additional inputs, on iter 12 have 6713 / 8000
39.709 * * * * [points]: Computing exacts on every 80 of 1287 points to ramp up precision
39.714 * * * * [points]: Setting MPFR precision to 64
39.717 * * * * [points]: Setting MPFR precision to 320
39.718 * * * * [points]: Computing exacts on every 40 of 1287 points to ramp up precision
39.723 * * * * [points]: Setting MPFR precision to 64
39.726 * * * * [points]: Setting MPFR precision to 320
39.728 * * * * [points]: Computing exacts on every 20 of 1287 points to ramp up precision
39.733 * * * * [points]: Setting MPFR precision to 64
39.738 * * * * [points]: Setting MPFR precision to 320
39.742 * * * * [points]: Computing exacts on every 10 of 1287 points to ramp up precision
39.747 * * * * [points]: Setting MPFR precision to 64
39.756 * * * * [points]: Setting MPFR precision to 320
39.765 * * * * [points]: Computing exacts on every 5 of 1287 points to ramp up precision
39.798 * * * * [points]: Setting MPFR precision to 64
39.816 * * * * [points]: Setting MPFR precision to 320
39.831 * * * * [points]: Computing exacts on every 2 of 1287 points to ramp up precision
39.837 * * * * [points]: Setting MPFR precision to 64
39.869 * * * * [points]: Setting MPFR precision to 320
39.901 * * * * [points]: Computing exacts for 1287 points
39.938 * * * * [points]: Setting MPFR precision to 64
40.034 * * * * [points]: Setting MPFR precision to 320
40.162 * * * * [points]: Filtering points with unrepresentable outputs
40.163 * * * * [points]: Sampling 1108 additional inputs, on iter 13 have 6892 / 8000
40.168 * * * * [points]: Computing exacts on every 69 of 1108 points to ramp up precision
40.173 * * * * [points]: Setting MPFR precision to 64
40.174 * * * * [points]: Setting MPFR precision to 320
40.175 * * * * [points]: Computing exacts on every 34 of 1108 points to ramp up precision
40.180 * * * * [points]: Setting MPFR precision to 64
40.183 * * * * [points]: Setting MPFR precision to 320
40.185 * * * * [points]: Computing exacts on every 17 of 1108 points to ramp up precision
40.221 * * * * [points]: Setting MPFR precision to 64
40.226 * * * * [points]: Setting MPFR precision to 320
40.232 * * * * [points]: Computing exacts on every 8 of 1108 points to ramp up precision
40.238 * * * * [points]: Setting MPFR precision to 64
40.247 * * * * [points]: Setting MPFR precision to 320
40.256 * * * * [points]: Computing exacts on every 4 of 1108 points to ramp up precision
40.261 * * * * [points]: Setting MPFR precision to 64
40.277 * * * * [points]: Setting MPFR precision to 320
40.293 * * * * [points]: Computing exacts on every 2 of 1108 points to ramp up precision
40.298 * * * * [points]: Setting MPFR precision to 64
40.354 * * * * [points]: Setting MPFR precision to 320
40.381 * * * * [points]: Computing exacts for 1108 points
40.386 * * * * [points]: Setting MPFR precision to 64
40.501 * * * * [points]: Setting MPFR precision to 320
40.585 * * * * [points]: Filtering points with unrepresentable outputs
40.585 * * * * [points]: Sampling 940 additional inputs, on iter 14 have 7060 / 8000
40.589 * * * * [points]: Computing exacts on every 58 of 940 points to ramp up precision
40.595 * * * * [points]: Setting MPFR precision to 64
40.596 * * * * [points]: Setting MPFR precision to 320
40.628 * * * * [points]: Computing exacts on every 29 of 940 points to ramp up precision
40.633 * * * * [points]: Setting MPFR precision to 64
40.636 * * * * [points]: Setting MPFR precision to 320
40.640 * * * * [points]: Computing exacts on every 14 of 940 points to ramp up precision
40.645 * * * * [points]: Setting MPFR precision to 64
40.650 * * * * [points]: Setting MPFR precision to 320
40.654 * * * * [points]: Computing exacts on every 7 of 940 points to ramp up precision
40.659 * * * * [points]: Setting MPFR precision to 64
40.668 * * * * [points]: Setting MPFR precision to 320
40.676 * * * * [points]: Computing exacts on every 3 of 940 points to ramp up precision
40.681 * * * * [points]: Setting MPFR precision to 64
40.699 * * * * [points]: Setting MPFR precision to 320
40.716 * * * * [points]: Computing exacts for 940 points
40.747 * * * * [points]: Setting MPFR precision to 64
40.817 * * * * [points]: Setting MPFR precision to 320
41.278 * * * * [points]: Filtering points with unrepresentable outputs
41.279 * * * * [points]: Sampling 817 additional inputs, on iter 15 have 7183 / 8000
41.283 * * * * [points]: Computing exacts on every 51 of 817 points to ramp up precision
41.288 * * * * [points]: Setting MPFR precision to 64
41.289 * * * * [points]: Setting MPFR precision to 320
41.290 * * * * [points]: Computing exacts on every 25 of 817 points to ramp up precision
41.295 * * * * [points]: Setting MPFR precision to 64
41.298 * * * * [points]: Setting MPFR precision to 320
41.300 * * * * [points]: Computing exacts on every 12 of 817 points to ramp up precision
41.305 * * * * [points]: Setting MPFR precision to 64
41.310 * * * * [points]: Setting MPFR precision to 320
41.316 * * * * [points]: Computing exacts on every 6 of 817 points to ramp up precision
41.321 * * * * [points]: Setting MPFR precision to 64
41.330 * * * * [points]: Setting MPFR precision to 320
41.347 * * * * [points]: Computing exacts on every 3 of 817 points to ramp up precision
41.356 * * * * [points]: Setting MPFR precision to 64
41.425 * * * * [points]: Setting MPFR precision to 320
41.456 * * * * [points]: Computing exacts for 817 points
41.466 * * * * [points]: Setting MPFR precision to 64
41.547 * * * * [points]: Setting MPFR precision to 320
41.691 * * * * [points]: Filtering points with unrepresentable outputs
41.692 * * * * [points]: Sampling 706 additional inputs, on iter 16 have 7294 / 8000
41.698 * * * * [points]: Computing exacts on every 44 of 706 points to ramp up precision
41.707 * * * * [points]: Setting MPFR precision to 64
41.710 * * * * [points]: Setting MPFR precision to 320
41.712 * * * * [points]: Computing exacts on every 22 of 706 points to ramp up precision
41.721 * * * * [points]: Setting MPFR precision to 64
41.725 * * * * [points]: Setting MPFR precision to 320
41.729 * * * * [points]: Computing exacts on every 11 of 706 points to ramp up precision
41.738 * * * * [points]: Setting MPFR precision to 64
41.742 * * * * [points]: Setting MPFR precision to 320
41.746 * * * * [points]: Computing exacts on every 5 of 706 points to ramp up precision
41.752 * * * * [points]: Setting MPFR precision to 64
41.760 * * * * [points]: Setting MPFR precision to 320
41.808 * * * * [points]: Computing exacts on every 2 of 706 points to ramp up precision
41.813 * * * * [points]: Setting MPFR precision to 64
41.832 * * * * [points]: Setting MPFR precision to 320
41.855 * * * * [points]: Computing exacts for 706 points
41.860 * * * * [points]: Setting MPFR precision to 64
41.917 * * * * [points]: Setting MPFR precision to 320
42.043 * * * * [points]: Filtering points with unrepresentable outputs
42.043 * * * * [points]: Sampling 613 additional inputs, on iter 17 have 7387 / 8000
42.048 * * * * [points]: Computing exacts on every 38 of 613 points to ramp up precision
42.058 * * * * [points]: Setting MPFR precision to 64
42.060 * * * * [points]: Setting MPFR precision to 320
42.063 * * * * [points]: Computing exacts on every 19 of 613 points to ramp up precision
42.072 * * * * [points]: Setting MPFR precision to 64
42.078 * * * * [points]: Setting MPFR precision to 320
42.083 * * * * [points]: Computing exacts on every 9 of 613 points to ramp up precision
42.092 * * * * [points]: Setting MPFR precision to 64
42.101 * * * * [points]: Setting MPFR precision to 320
42.109 * * * * [points]: Computing exacts on every 4 of 613 points to ramp up precision
42.119 * * * * [points]: Setting MPFR precision to 64
42.181 * * * * [points]: Setting MPFR precision to 320
42.203 * * * * [points]: Computing exacts on every 2 of 613 points to ramp up precision
42.213 * * * * [points]: Setting MPFR precision to 64
42.240 * * * * [points]: Setting MPFR precision to 320
42.268 * * * * [points]: Computing exacts for 613 points
42.277 * * * * [points]: Setting MPFR precision to 64
42.358 * * * * [points]: Setting MPFR precision to 320
42.488 * * * * [points]: Filtering points with unrepresentable outputs
42.489 * * * * [points]: Sampling 528 additional inputs, on iter 18 have 7472 / 8000
42.493 * * * * [points]: Computing exacts on every 33 of 528 points to ramp up precision
42.504 * * * * [points]: Setting MPFR precision to 64
42.506 * * * * [points]: Setting MPFR precision to 320
42.509 * * * * [points]: Computing exacts on every 16 of 528 points to ramp up precision
42.519 * * * * [points]: Setting MPFR precision to 64
42.523 * * * * [points]: Setting MPFR precision to 320
42.527 * * * * [points]: Computing exacts on every 8 of 528 points to ramp up precision
42.537 * * * * [points]: Setting MPFR precision to 64
42.544 * * * * [points]: Setting MPFR precision to 320
42.552 * * * * [points]: Computing exacts on every 4 of 528 points to ramp up precision
42.558 * * * * [points]: Setting MPFR precision to 64
42.566 * * * * [points]: Setting MPFR precision to 320
42.574 * * * * [points]: Computing exacts on every 2 of 528 points to ramp up precision
42.621 * * * * [points]: Setting MPFR precision to 64
42.650 * * * * [points]: Setting MPFR precision to 320
42.676 * * * * [points]: Computing exacts for 528 points
42.686 * * * * [points]: Setting MPFR precision to 64
42.763 * * * * [points]: Setting MPFR precision to 320
42.895 * * * * [points]: Filtering points with unrepresentable outputs
42.895 * * * * [points]: Sampling 450 additional inputs, on iter 19 have 7550 / 8000
42.899 * * * * [points]: Computing exacts on every 28 of 450 points to ramp up precision
42.909 * * * * [points]: Setting MPFR precision to 64
42.912 * * * * [points]: Setting MPFR precision to 320
42.914 * * * * [points]: Computing exacts on every 14 of 450 points to ramp up precision
42.924 * * * * [points]: Setting MPFR precision to 64
42.928 * * * * [points]: Setting MPFR precision to 320
42.932 * * * * [points]: Computing exacts on every 7 of 450 points to ramp up precision
42.942 * * * * [points]: Setting MPFR precision to 64
42.950 * * * * [points]: Setting MPFR precision to 320
42.958 * * * * [points]: Computing exacts on every 3 of 450 points to ramp up precision
42.968 * * * * [points]: Setting MPFR precision to 64
42.984 * * * * [points]: Setting MPFR precision to 320
43.001 * * * * [points]: Computing exacts for 450 points
43.011 * * * * [points]: Setting MPFR precision to 64
43.117 * * * * [points]: Setting MPFR precision to 320
43.181 * * * * [points]: Filtering points with unrepresentable outputs
43.181 * * * * [points]: Sampling 386 additional inputs, on iter 20 have 7614 / 8000
43.184 * * * * [points]: Computing exacts on every 24 of 386 points to ramp up precision
43.195 * * * * [points]: Setting MPFR precision to 64
43.197 * * * * [points]: Setting MPFR precision to 320
43.199 * * * * [points]: Computing exacts on every 12 of 386 points to ramp up precision
43.210 * * * * [points]: Setting MPFR precision to 64
43.214 * * * * [points]: Setting MPFR precision to 320
43.218 * * * * [points]: Computing exacts on every 6 of 386 points to ramp up precision
43.228 * * * * [points]: Setting MPFR precision to 64
43.236 * * * * [points]: Setting MPFR precision to 320
43.244 * * * * [points]: Computing exacts on every 3 of 386 points to ramp up precision
43.254 * * * * [points]: Setting MPFR precision to 64
43.267 * * * * [points]: Setting MPFR precision to 320
43.281 * * * * [points]: Computing exacts for 386 points
43.328 * * * * [points]: Setting MPFR precision to 64
43.386 * * * * [points]: Setting MPFR precision to 320
43.441 * * * * [points]: Filtering points with unrepresentable outputs
43.442 * * * * [points]: Sampling 342 additional inputs, on iter 21 have 7658 / 8000
43.446 * * * * [points]: Computing exacts on every 21 of 342 points to ramp up precision
43.455 * * * * [points]: Setting MPFR precision to 64
43.457 * * * * [points]: Setting MPFR precision to 320
43.459 * * * * [points]: Computing exacts on every 10 of 342 points to ramp up precision
43.469 * * * * [points]: Setting MPFR precision to 64
43.474 * * * * [points]: Setting MPFR precision to 320
43.478 * * * * [points]: Computing exacts on every 5 of 342 points to ramp up precision
43.487 * * * * [points]: Setting MPFR precision to 64
43.495 * * * * [points]: Setting MPFR precision to 320
43.503 * * * * [points]: Computing exacts on every 2 of 342 points to ramp up precision
43.542 * * * * [points]: Setting MPFR precision to 64
43.550 * * * * [points]: Setting MPFR precision to 320
43.565 * * * * [points]: Computing exacts for 342 points
43.570 * * * * [points]: Setting MPFR precision to 64
43.599 * * * * [points]: Setting MPFR precision to 320
43.634 * * * * [points]: Filtering points with unrepresentable outputs
43.634 * * * * [points]: Sampling 295 additional inputs, on iter 22 have 7705 / 8000
43.635 * * * * [points]: Computing exacts on every 18 of 295 points to ramp up precision
43.640 * * * * [points]: Setting MPFR precision to 64
43.642 * * * * [points]: Setting MPFR precision to 320
43.643 * * * * [points]: Computing exacts on every 9 of 295 points to ramp up precision
43.648 * * * * [points]: Setting MPFR precision to 64
43.650 * * * * [points]: Setting MPFR precision to 320
43.652 * * * * [points]: Computing exacts on every 4 of 295 points to ramp up precision
43.657 * * * * [points]: Setting MPFR precision to 64
43.698 * * * * [points]: Setting MPFR precision to 320
43.709 * * * * [points]: Computing exacts on every 2 of 295 points to ramp up precision
43.717 * * * * [points]: Setting MPFR precision to 64
43.729 * * * * [points]: Setting MPFR precision to 320
43.741 * * * * [points]: Computing exacts for 295 points
43.749 * * * * [points]: Setting MPFR precision to 64
43.784 * * * * [points]: Setting MPFR precision to 320
43.823 * * * * [points]: Filtering points with unrepresentable outputs
43.823 * * * * [points]: Sampling 259 additional inputs, on iter 23 have 7741 / 8000
43.825 * * * * [points]: Computing exacts on every 16 of 259 points to ramp up precision
43.835 * * * * [points]: Setting MPFR precision to 64
43.838 * * * * [points]: Setting MPFR precision to 320
43.840 * * * * [points]: Computing exacts on every 8 of 259 points to ramp up precision
43.849 * * * * [points]: Setting MPFR precision to 64
43.853 * * * * [points]: Setting MPFR precision to 320
43.857 * * * * [points]: Computing exacts on every 4 of 259 points to ramp up precision
43.901 * * * * [points]: Setting MPFR precision to 64
43.911 * * * * [points]: Setting MPFR precision to 320
43.918 * * * * [points]: Computing exacts on every 2 of 259 points to ramp up precision
43.928 * * * * [points]: Setting MPFR precision to 64
43.939 * * * * [points]: Setting MPFR precision to 320
43.951 * * * * [points]: Computing exacts for 259 points
43.960 * * * * [points]: Setting MPFR precision to 64
43.995 * * * * [points]: Setting MPFR precision to 320
44.017 * * * * [points]: Filtering points with unrepresentable outputs
44.017 * * * * [points]: Sampling 217 additional inputs, on iter 24 have 7783 / 8000
44.018 * * * * [points]: Computing exacts on every 13 of 217 points to ramp up precision
44.023 * * * * [points]: Setting MPFR precision to 64
44.024 * * * * [points]: Setting MPFR precision to 320
44.026 * * * * [points]: Computing exacts on every 6 of 217 points to ramp up precision
44.030 * * * * [points]: Setting MPFR precision to 64
44.033 * * * * [points]: Setting MPFR precision to 320
44.035 * * * * [points]: Computing exacts on every 3 of 217 points to ramp up precision
44.076 * * * * [points]: Setting MPFR precision to 64
44.089 * * * * [points]: Setting MPFR precision to 320
44.097 * * * * [points]: Computing exacts for 217 points
44.106 * * * * [points]: Setting MPFR precision to 64
44.135 * * * * [points]: Setting MPFR precision to 320
44.163 * * * * [points]: Filtering points with unrepresentable outputs
44.164 * * * * [points]: Sampling 192 additional inputs, on iter 25 have 7808 / 8000
44.165 * * * * [points]: Computing exacts on every 12 of 192 points to ramp up precision
44.174 * * * * [points]: Setting MPFR precision to 64
44.178 * * * * [points]: Setting MPFR precision to 320
44.180 * * * * [points]: Computing exacts on every 6 of 192 points to ramp up precision
44.189 * * * * [points]: Setting MPFR precision to 64
44.193 * * * * [points]: Setting MPFR precision to 320
44.196 * * * * [points]: Computing exacts on every 3 of 192 points to ramp up precision
44.207 * * * * [points]: Setting MPFR precision to 64
44.213 * * * * [points]: Setting MPFR precision to 320
44.220 * * * * [points]: Computing exacts for 192 points
44.229 * * * * [points]: Setting MPFR precision to 64
44.290 * * * * [points]: Setting MPFR precision to 320
44.316 * * * * [points]: Filtering points with unrepresentable outputs
44.317 * * * * [points]: Sampling 165 additional inputs, on iter 26 have 7835 / 8000
44.318 * * * * [points]: Computing exacts on every 10 of 165 points to ramp up precision
44.327 * * * * [points]: Setting MPFR precision to 64
44.328 * * * * [points]: Setting MPFR precision to 320
44.330 * * * * [points]: Computing exacts on every 5 of 165 points to ramp up precision
44.334 * * * * [points]: Setting MPFR precision to 64
44.336 * * * * [points]: Setting MPFR precision to 320
44.338 * * * * [points]: Computing exacts on every 2 of 165 points to ramp up precision
44.343 * * * * [points]: Setting MPFR precision to 64
44.347 * * * * [points]: Setting MPFR precision to 320
44.351 * * * * [points]: Computing exacts for 165 points
44.356 * * * * [points]: Setting MPFR precision to 64
44.368 * * * * [points]: Setting MPFR precision to 320
44.381 * * * * [points]: Filtering points with unrepresentable outputs
44.381 * * * * [points]: Sampling 144 additional inputs, on iter 27 have 7856 / 8000
44.382 * * * * [points]: Computing exacts on every 9 of 144 points to ramp up precision
44.391 * * * * [points]: Setting MPFR precision to 64
44.393 * * * * [points]: Setting MPFR precision to 320
44.395 * * * * [points]: Computing exacts on every 4 of 144 points to ramp up precision
44.440 * * * * [points]: Setting MPFR precision to 64
44.447 * * * * [points]: Setting MPFR precision to 320
44.451 * * * * [points]: Computing exacts on every 2 of 144 points to ramp up precision
44.461 * * * * [points]: Setting MPFR precision to 64
44.468 * * * * [points]: Setting MPFR precision to 320
44.475 * * * * [points]: Computing exacts for 144 points
44.484 * * * * [points]: Setting MPFR precision to 64
44.501 * * * * [points]: Setting MPFR precision to 320
44.511 * * * * [points]: Filtering points with unrepresentable outputs
44.511 * * * * [points]: Sampling 119 additional inputs, on iter 28 have 7881 / 8000
44.512 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
44.517 * * * * [points]: Setting MPFR precision to 64
44.518 * * * * [points]: Setting MPFR precision to 320
44.519 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
44.524 * * * * [points]: Setting MPFR precision to 64
44.529 * * * * [points]: Setting MPFR precision to 320
44.533 * * * * [points]: Computing exacts for 119 points
44.542 * * * * [points]: Setting MPFR precision to 64
44.559 * * * * [points]: Setting MPFR precision to 320
44.576 * * * * [points]: Filtering points with unrepresentable outputs
44.577 * * * * [points]: Sampling 99 additional inputs, on iter 29 have 7901 / 8000
44.577 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision
44.620 * * * * [points]: Setting MPFR precision to 64
44.622 * * * * [points]: Setting MPFR precision to 320
44.624 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision
44.637 * * * * [points]: Setting MPFR precision to 64
44.642 * * * * [points]: Setting MPFR precision to 320
44.645 * * * * [points]: Computing exacts for 99 points
44.655 * * * * [points]: Setting MPFR precision to 64
44.669 * * * * [points]: Setting MPFR precision to 320
44.683 * * * * [points]: Filtering points with unrepresentable outputs
44.683 * * * * [points]: Sampling 89 additional inputs, on iter 30 have 7911 / 8000
44.684 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
44.693 * * * * [points]: Setting MPFR precision to 64
44.695 * * * * [points]: Setting MPFR precision to 320
44.697 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
44.707 * * * * [points]: Setting MPFR precision to 64
44.711 * * * * [points]: Setting MPFR precision to 320
44.714 * * * * [points]: Computing exacts for 89 points
44.723 * * * * [points]: Setting MPFR precision to 64
44.737 * * * * [points]: Setting MPFR precision to 320
44.750 * * * * [points]: Filtering points with unrepresentable outputs
44.750 * * * * [points]: Sampling 74 additional inputs, on iter 31 have 7926 / 8000
44.750 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
44.760 * * * * [points]: Setting MPFR precision to 64
44.762 * * * * [points]: Setting MPFR precision to 320
44.765 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
44.774 * * * * [points]: Setting MPFR precision to 64
44.777 * * * * [points]: Setting MPFR precision to 320
44.781 * * * * [points]: Computing exacts for 74 points
44.819 * * * * [points]: Setting MPFR precision to 64
44.834 * * * * [points]: Setting MPFR precision to 320
44.844 * * * * [points]: Filtering points with unrepresentable outputs
44.844 * * * * [points]: Sampling 59 additional inputs, on iter 32 have 7941 / 8000
44.845 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
44.854 * * * * [points]: Setting MPFR precision to 64
44.856 * * * * [points]: Setting MPFR precision to 320
44.858 * * * * [points]: Computing exacts for 59 points
44.868 * * * * [points]: Setting MPFR precision to 64
44.876 * * * * [points]: Setting MPFR precision to 320
44.885 * * * * [points]: Filtering points with unrepresentable outputs
44.885 * * * * [points]: Sampling 48 additional inputs, on iter 33 have 7952 / 8000
44.886 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
44.895 * * * * [points]: Setting MPFR precision to 64
44.897 * * * * [points]: Setting MPFR precision to 320
44.899 * * * * [points]: Computing exacts for 48 points
44.908 * * * * [points]: Setting MPFR precision to 64
44.916 * * * * [points]: Setting MPFR precision to 320
44.923 * * * * [points]: Filtering points with unrepresentable outputs
44.923 * * * * [points]: Sampling 42 additional inputs, on iter 34 have 7958 / 8000
44.923 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
44.932 * * * * [points]: Setting MPFR precision to 64
44.935 * * * * [points]: Setting MPFR precision to 320
44.937 * * * * [points]: Computing exacts for 42 points
44.945 * * * * [points]: Setting MPFR precision to 64
44.951 * * * * [points]: Setting MPFR precision to 320
44.958 * * * * [points]: Filtering points with unrepresentable outputs
44.958 * * * * [points]: Sampling 32 additional inputs, on iter 35 have 7968 / 8000
44.958 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
44.968 * * * * [points]: Setting MPFR precision to 64
44.970 * * * * [points]: Setting MPFR precision to 320
44.971 * * * * [points]: Computing exacts for 32 points
45.010 * * * * [points]: Setting MPFR precision to 64
45.017 * * * * [points]: Setting MPFR precision to 320
45.022 * * * * [points]: Filtering points with unrepresentable outputs
45.022 * * * * [points]: Sampling 29 additional inputs, on iter 36 have 7971 / 8000
45.022 * * * * [points]: Computing exacts for 29 points
45.032 * * * * [points]: Setting MPFR precision to 64
45.036 * * * * [points]: Setting MPFR precision to 320
45.040 * * * * [points]: Filtering points with unrepresentable outputs
45.040 * * * * [points]: Sampling 26 additional inputs, on iter 37 have 7974 / 8000
45.041 * * * * [points]: Computing exacts for 26 points
45.051 * * * * [points]: Setting MPFR precision to 64
45.055 * * * * [points]: Setting MPFR precision to 320
45.059 * * * * [points]: Filtering points with unrepresentable outputs
45.059 * * * * [points]: Sampling 21 additional inputs, on iter 38 have 7979 / 8000
45.059 * * * * [points]: Computing exacts for 21 points
45.069 * * * * [points]: Setting MPFR precision to 64
45.072 * * * * [points]: Setting MPFR precision to 320
45.075 * * * * [points]: Filtering points with unrepresentable outputs
45.075 * * * * [points]: Sampling 18 additional inputs, on iter 39 have 7982 / 8000
45.075 * * * * [points]: Computing exacts for 18 points
45.084 * * * * [points]: Setting MPFR precision to 64
45.087 * * * * [points]: Setting MPFR precision to 320
45.090 * * * * [points]: Filtering points with unrepresentable outputs
45.090 * * * * [points]: Sampling 12 additional inputs, on iter 40 have 7988 / 8000
45.090 * * * * [points]: Computing exacts for 12 points
45.100 * * * * [points]: Setting MPFR precision to 64
45.102 * * * * [points]: Setting MPFR precision to 320
45.104 * * * * [points]: Filtering points with unrepresentable outputs
45.104 * * * * [points]: Sampling 10 additional inputs, on iter 41 have 7990 / 8000
45.104 * * * * [points]: Computing exacts for 10 points
45.113 * * * * [points]: Setting MPFR precision to 64
45.115 * * * * [points]: Setting MPFR precision to 320
45.117 * * * * [points]: Filtering points with unrepresentable outputs
45.117 * * * * [points]: Sampling 9 additional inputs, on iter 42 have 7991 / 8000
45.117 * * * * [points]: Computing exacts for 9 points
45.125 * * * * [points]: Setting MPFR precision to 64
45.126 * * * * [points]: Setting MPFR precision to 320
45.127 * * * * [points]: Filtering points with unrepresentable outputs
45.127 * * * * [points]: Sampling 5 additional inputs, on iter 43 have 7995 / 8000
45.127 * * * * [points]: Computing exacts for 5 points
45.131 * * * * [points]: Setting MPFR precision to 64
45.132 * * * * [points]: Setting MPFR precision to 320
45.132 * * * * [points]: Filtering points with unrepresentable outputs
45.132 * * * * [points]: Sampling 4 additional inputs, on iter 44 have 7997 / 8000
45.132 * * * * [points]: Computing exacts for 4 points
45.137 * * * * [points]: Setting MPFR precision to 64
45.137 * * * * [points]: Setting MPFR precision to 320
45.138 * * * * [points]: Filtering points with unrepresentable outputs
45.138 * * * * [points]: Sampling 4 additional inputs, on iter 45 have 7997 / 8000
45.138 * * * * [points]: Computing exacts for 4 points
45.502 * * * * [points]: Setting MPFR precision to 64
45.503 * * * * [points]: Setting MPFR precision to 320
45.503 * * * * [points]: Filtering points with unrepresentable outputs
45.503 * * * * [points]: Sampling 4 additional inputs, on iter 46 have 7997 / 8000
45.503 * * * * [points]: Computing exacts for 4 points
45.510 * * * * [points]: Setting MPFR precision to 64
45.510 * * * * [points]: Setting MPFR precision to 320
45.511 * * * * [points]: Filtering points with unrepresentable outputs
45.511 * * * * [points]: Sampling 4 additional inputs, on iter 47 have 7998 / 8000
45.511 * * * * [points]: Computing exacts for 4 points
45.520 * * * * [points]: Setting MPFR precision to 64
45.521 * * * * [points]: Setting MPFR precision to 320
45.522 * * * * [points]: Filtering points with unrepresentable outputs
45.522 * * * * [points]: Sampling 4 additional inputs, on iter 48 have 7999 / 8000
45.522 * * * * [points]: Computing exacts for 4 points
45.531 * * * * [points]: Setting MPFR precision to 64
45.531 * * * * [points]: Setting MPFR precision to 320
45.532 * * * * [points]: Filtering points with unrepresentable outputs
45.532 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 7999 / 8000
45.532 * * * * [points]: Computing exacts for 4 points
45.540 * * * * [points]: Setting MPFR precision to 64
45.541 * * * * [points]: Setting MPFR precision to 320
45.541 * * * * [points]: Filtering points with unrepresentable outputs
45.541 * * * * [points]: Sampled 8000 points with exact outputs
60.317 * [regime-testing]: Baseline error score: 1.4541888668238645
60.319 * [regime-testing]: Oracle error score: 0.5889732336230582
60.324 * [regime-testing]: End program error score: 1.4541888668238645