0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.028 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 64
0.041 * * * * [points]: Setting MPFR precision to 320
0.048 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.056 * * * * [points]: Setting MPFR precision to 64
0.068 * * * * [points]: Setting MPFR precision to 320
0.092 * * * * [points]: Computing exacts for 256 points
0.099 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.153 * * * * [points]: Filtering points with unrepresentable outputs
0.156 * * * * [points]: Sampling 224 additional inputs, on iter 1 have 32 / 256
0.157 * * * * [points]: Computing exacts on every 14 of 224 points to ramp up precision
0.161 * * * * [points]: Setting MPFR precision to 64
0.163 * * * * [points]: Setting MPFR precision to 320
0.164 * * * * [points]: Computing exacts on every 7 of 224 points to ramp up precision
0.169 * * * * [points]: Setting MPFR precision to 64
0.171 * * * * [points]: Setting MPFR precision to 320
0.173 * * * * [points]: Computing exacts on every 3 of 224 points to ramp up precision
0.177 * * * * [points]: Setting MPFR precision to 64
0.182 * * * * [points]: Setting MPFR precision to 320
0.186 * * * * [points]: Computing exacts for 224 points
0.190 * * * * [points]: Setting MPFR precision to 64
0.229 * * * * [points]: Setting MPFR precision to 320
0.247 * * * * [points]: Filtering points with unrepresentable outputs
0.249 * * * * [points]: Sampling 196 additional inputs, on iter 2 have 60 / 256
0.250 * * * * [points]: Computing exacts on every 12 of 196 points to ramp up precision
0.255 * * * * [points]: Setting MPFR precision to 64
0.256 * * * * [points]: Setting MPFR precision to 320
0.257 * * * * [points]: Computing exacts on every 6 of 196 points to ramp up precision
0.261 * * * * [points]: Setting MPFR precision to 64
0.264 * * * * [points]: Setting MPFR precision to 320
0.266 * * * * [points]: Computing exacts on every 3 of 196 points to ramp up precision
0.270 * * * * [points]: Setting MPFR precision to 64
0.274 * * * * [points]: Setting MPFR precision to 320
0.278 * * * * [points]: Computing exacts for 196 points
0.282 * * * * [points]: Setting MPFR precision to 64
0.296 * * * * [points]: Setting MPFR precision to 320
0.311 * * * * [points]: Filtering points with unrepresentable outputs
0.313 * * * * [points]: Sampling 159 additional inputs, on iter 3 have 97 / 256
0.314 * * * * [points]: Computing exacts on every 9 of 159 points to ramp up precision
0.343 * * * * [points]: Setting MPFR precision to 64
0.344 * * * * [points]: Setting MPFR precision to 320
0.345 * * * * [points]: Computing exacts on every 4 of 159 points to ramp up precision
0.350 * * * * [points]: Setting MPFR precision to 64
0.353 * * * * [points]: Setting MPFR precision to 320
0.355 * * * * [points]: Computing exacts on every 2 of 159 points to ramp up precision
0.360 * * * * [points]: Setting MPFR precision to 64
0.364 * * * * [points]: Setting MPFR precision to 320
0.369 * * * * [points]: Computing exacts for 159 points
0.374 * * * * [points]: Setting MPFR precision to 64
0.385 * * * * [points]: Setting MPFR precision to 320
0.396 * * * * [points]: Filtering points with unrepresentable outputs
0.398 * * * * [points]: Sampling 138 additional inputs, on iter 4 have 118 / 256
0.398 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
0.403 * * * * [points]: Setting MPFR precision to 64
0.404 * * * * [points]: Setting MPFR precision to 320
0.406 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
0.410 * * * * [points]: Setting MPFR precision to 64
0.412 * * * * [points]: Setting MPFR precision to 320
0.414 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
0.418 * * * * [points]: Setting MPFR precision to 64
0.422 * * * * [points]: Setting MPFR precision to 320
0.425 * * * * [points]: Computing exacts for 138 points
0.768 * * * * [points]: Setting MPFR precision to 64
0.784 * * * * [points]: Setting MPFR precision to 320
0.801 * * * * [points]: Filtering points with unrepresentable outputs
0.804 * * * * [points]: Sampling 112 additional inputs, on iter 5 have 144 / 256
0.805 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
0.812 * * * * [points]: Setting MPFR precision to 64
0.814 * * * * [points]: Setting MPFR precision to 320
0.816 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
0.823 * * * * [points]: Setting MPFR precision to 64
0.827 * * * * [points]: Setting MPFR precision to 320
0.831 * * * * [points]: Computing exacts for 112 points
0.838 * * * * [points]: Setting MPFR precision to 64
0.852 * * * * [points]: Setting MPFR precision to 320
0.866 * * * * [points]: Filtering points with unrepresentable outputs
0.866 * * * * [points]: Sampling 100 additional inputs, on iter 6 have 156 / 256
0.867 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
0.871 * * * * [points]: Setting MPFR precision to 64
0.872 * * * * [points]: Setting MPFR precision to 320
0.874 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
0.879 * * * * [points]: Setting MPFR precision to 64
0.883 * * * * [points]: Setting MPFR precision to 320
0.886 * * * * [points]: Computing exacts for 100 points
0.893 * * * * [points]: Setting MPFR precision to 64
0.922 * * * * [points]: Setting MPFR precision to 320
0.929 * * * * [points]: Filtering points with unrepresentable outputs
0.930 * * * * [points]: Sampling 86 additional inputs, on iter 7 have 170 / 256
0.931 * * * * [points]: Computing exacts on every 5 of 86 points to ramp up precision
0.935 * * * * [points]: Setting MPFR precision to 64
0.937 * * * * [points]: Setting MPFR precision to 320
0.938 * * * * [points]: Computing exacts on every 2 of 86 points to ramp up precision
0.942 * * * * [points]: Setting MPFR precision to 64
0.944 * * * * [points]: Setting MPFR precision to 320
0.946 * * * * [points]: Computing exacts for 86 points
0.951 * * * * [points]: Setting MPFR precision to 64
0.957 * * * * [points]: Setting MPFR precision to 320
0.965 * * * * [points]: Filtering points with unrepresentable outputs
0.966 * * * * [points]: Sampling 77 additional inputs, on iter 8 have 179 / 256
0.966 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
0.971 * * * * [points]: Setting MPFR precision to 64
0.972 * * * * [points]: Setting MPFR precision to 320
0.973 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
0.978 * * * * [points]: Setting MPFR precision to 64
0.979 * * * * [points]: Setting MPFR precision to 320
0.982 * * * * [points]: Computing exacts for 77 points
0.986 * * * * [points]: Setting MPFR precision to 64
0.992 * * * * [points]: Setting MPFR precision to 320
0.998 * * * * [points]: Filtering points with unrepresentable outputs
0.999 * * * * [points]: Sampling 67 additional inputs, on iter 9 have 189 / 256
0.999 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
1.003 * * * * [points]: Setting MPFR precision to 64
1.004 * * * * [points]: Setting MPFR precision to 320
1.005 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
1.026 * * * * [points]: Setting MPFR precision to 64
1.028 * * * * [points]: Setting MPFR precision to 320
1.029 * * * * [points]: Computing exacts for 67 points
1.034 * * * * [points]: Setting MPFR precision to 64
1.039 * * * * [points]: Setting MPFR precision to 320
1.044 * * * * [points]: Filtering points with unrepresentable outputs
1.045 * * * * [points]: Sampling 58 additional inputs, on iter 10 have 198 / 256
1.045 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
1.050 * * * * [points]: Setting MPFR precision to 64
1.051 * * * * [points]: Setting MPFR precision to 320
1.052 * * * * [points]: Computing exacts for 58 points
1.057 * * * * [points]: Setting MPFR precision to 64
1.061 * * * * [points]: Setting MPFR precision to 320
1.065 * * * * [points]: Filtering points with unrepresentable outputs
1.066 * * * * [points]: Sampling 45 additional inputs, on iter 11 have 211 / 256
1.066 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
1.073 * * * * [points]: Setting MPFR precision to 64
1.074 * * * * [points]: Setting MPFR precision to 320
1.076 * * * * [points]: Computing exacts for 45 points
1.080 * * * * [points]: Setting MPFR precision to 64
1.083 * * * * [points]: Setting MPFR precision to 320
1.086 * * * * [points]: Filtering points with unrepresentable outputs
1.087 * * * * [points]: Sampling 40 additional inputs, on iter 12 have 216 / 256
1.087 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
1.091 * * * * [points]: Setting MPFR precision to 64
1.092 * * * * [points]: Setting MPFR precision to 320
1.094 * * * * [points]: Computing exacts for 40 points
1.098 * * * * [points]: Setting MPFR precision to 64
1.101 * * * * [points]: Setting MPFR precision to 320
1.104 * * * * [points]: Filtering points with unrepresentable outputs
1.104 * * * * [points]: Sampling 36 additional inputs, on iter 13 have 220 / 256
1.104 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
1.125 * * * * [points]: Setting MPFR precision to 64
1.126 * * * * [points]: Setting MPFR precision to 320
1.127 * * * * [points]: Computing exacts for 36 points
1.132 * * * * [points]: Setting MPFR precision to 64
1.134 * * * * [points]: Setting MPFR precision to 320
1.137 * * * * [points]: Filtering points with unrepresentable outputs
1.138 * * * * [points]: Sampling 30 additional inputs, on iter 14 have 226 / 256
1.138 * * * * [points]: Computing exacts for 30 points
1.142 * * * * [points]: Setting MPFR precision to 64
1.145 * * * * [points]: Setting MPFR precision to 320
1.147 * * * * [points]: Filtering points with unrepresentable outputs
1.147 * * * * [points]: Sampling 23 additional inputs, on iter 15 have 233 / 256
1.148 * * * * [points]: Computing exacts for 23 points
1.153 * * * * [points]: Setting MPFR precision to 64
1.155 * * * * [points]: Setting MPFR precision to 320
1.156 * * * * [points]: Filtering points with unrepresentable outputs
1.156 * * * * [points]: Sampling 22 additional inputs, on iter 16 have 234 / 256
1.157 * * * * [points]: Computing exacts for 22 points
1.161 * * * * [points]: Setting MPFR precision to 64
1.162 * * * * [points]: Setting MPFR precision to 320
1.164 * * * * [points]: Filtering points with unrepresentable outputs
1.164 * * * * [points]: Sampling 18 additional inputs, on iter 17 have 238 / 256
1.165 * * * * [points]: Computing exacts for 18 points
1.169 * * * * [points]: Setting MPFR precision to 64
1.170 * * * * [points]: Setting MPFR precision to 320
1.171 * * * * [points]: Filtering points with unrepresentable outputs
1.172 * * * * [points]: Sampling 17 additional inputs, on iter 18 have 239 / 256
1.172 * * * * [points]: Computing exacts for 17 points
1.176 * * * * [points]: Setting MPFR precision to 64
1.177 * * * * [points]: Setting MPFR precision to 320
1.179 * * * * [points]: Filtering points with unrepresentable outputs
1.179 * * * * [points]: Sampling 14 additional inputs, on iter 19 have 242 / 256
1.179 * * * * [points]: Computing exacts for 14 points
1.183 * * * * [points]: Setting MPFR precision to 64
1.185 * * * * [points]: Setting MPFR precision to 320
1.186 * * * * [points]: Filtering points with unrepresentable outputs
1.186 * * * * [points]: Sampling 13 additional inputs, on iter 20 have 243 / 256
1.186 * * * * [points]: Computing exacts for 13 points
1.190 * * * * [points]: Setting MPFR precision to 64
1.191 * * * * [points]: Setting MPFR precision to 320
1.192 * * * * [points]: Filtering points with unrepresentable outputs
1.192 * * * * [points]: Sampling 10 additional inputs, on iter 21 have 246 / 256
1.192 * * * * [points]: Computing exacts for 10 points
1.197 * * * * [points]: Setting MPFR precision to 64
1.198 * * * * [points]: Setting MPFR precision to 320
1.198 * * * * [points]: Filtering points with unrepresentable outputs
1.199 * * * * [points]: Sampling 8 additional inputs, on iter 22 have 248 / 256
1.199 * * * * [points]: Computing exacts for 8 points
1.216 * * * * [points]: Setting MPFR precision to 64
1.217 * * * * [points]: Setting MPFR precision to 320
1.218 * * * * [points]: Filtering points with unrepresentable outputs
1.218 * * * * [points]: Sampling 5 additional inputs, on iter 23 have 251 / 256
1.218 * * * * [points]: Computing exacts for 5 points
1.222 * * * * [points]: Setting MPFR precision to 64
1.223 * * * * [points]: Setting MPFR precision to 320
1.223 * * * * [points]: Filtering points with unrepresentable outputs
1.223 * * * * [points]: Sampling 5 additional inputs, on iter 24 have 251 / 256
1.223 * * * * [points]: Computing exacts for 5 points
1.228 * * * * [points]: Setting MPFR precision to 64
1.228 * * * * [points]: Setting MPFR precision to 320
1.229 * * * * [points]: Filtering points with unrepresentable outputs
1.229 * * * * [points]: Sampling 5 additional inputs, on iter 25 have 251 / 256
1.229 * * * * [points]: Computing exacts for 5 points
1.233 * * * * [points]: Setting MPFR precision to 64
1.233 * * * * [points]: Setting MPFR precision to 320
1.234 * * * * [points]: Filtering points with unrepresentable outputs
1.234 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 252 / 256
1.234 * * * * [points]: Computing exacts for 4 points
1.238 * * * * [points]: Setting MPFR precision to 64
1.239 * * * * [points]: Setting MPFR precision to 320
1.239 * * * * [points]: Filtering points with unrepresentable outputs
1.239 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 252 / 256
1.239 * * * * [points]: Computing exacts for 4 points
1.243 * * * * [points]: Setting MPFR precision to 64
1.243 * * * * [points]: Setting MPFR precision to 320
1.244 * * * * [points]: Filtering points with unrepresentable outputs
1.244 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 253 / 256
1.244 * * * * [points]: Computing exacts for 4 points
1.248 * * * * [points]: Setting MPFR precision to 64
1.249 * * * * [points]: Setting MPFR precision to 320
1.249 * * * * [points]: Filtering points with unrepresentable outputs
1.249 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 254 / 256
1.249 * * * * [points]: Computing exacts for 4 points
1.254 * * * * [points]: Setting MPFR precision to 64
1.254 * * * * [points]: Setting MPFR precision to 320
1.254 * * * * [points]: Filtering points with unrepresentable outputs
1.254 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 254 / 256
1.255 * * * * [points]: Computing exacts for 4 points
1.259 * * * * [points]: Setting MPFR precision to 64
1.259 * * * * [points]: Setting MPFR precision to 320
1.259 * * * * [points]: Filtering points with unrepresentable outputs
1.259 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 254 / 256
1.259 * * * * [points]: Computing exacts for 4 points
1.263 * * * * [points]: Setting MPFR precision to 64
1.264 * * * * [points]: Setting MPFR precision to 320
1.264 * * * * [points]: Filtering points with unrepresentable outputs
1.264 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
1.264 * * * * [points]: Computing exacts for 4 points
1.268 * * * * [points]: Setting MPFR precision to 64
1.269 * * * * [points]: Setting MPFR precision to 320
1.269 * * * * [points]: Filtering points with unrepresentable outputs
1.269 * * * * [points]: Sampled 256 points with exact outputs
1.269 * * * [progress]: [2/2] Setting up program.
1.300 * [progress]: [Phase 2 of 3] Improving.
1.300 * * * * [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.300 * [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.300 * * [simplify]: iters left: 6 (19 enodes)
1.306 * * [simplify]: iters left: 5 (76 enodes)
1.326 * * [simplify]: iters left: 4 (344 enodes)
1.508 * * [simplify]: Extracting #0: cost 1 inf + 0
1.508 * * [simplify]: Extracting #1: cost 75 inf + 0
1.509 * * [simplify]: Extracting #2: cost 474 inf + 1
1.513 * * [simplify]: Extracting #3: cost 742 inf + 26817
1.521 * * [simplify]: Extracting #4: cost 684 inf + 140740
1.532 * * [simplify]: Extracting #5: cost 611 inf + 190357
1.543 * * [simplify]: Extracting #6: cost 583 inf + 205484
1.564 * * [simplify]: Extracting #7: cost 359 inf + 460450
1.615 * * [simplify]: Extracting #8: cost 52 inf + 927410
1.676 * * [simplify]: Extracting #9: cost 0 inf + 1029213
1.747 * * [simplify]: Extracting #10: cost 0 inf + 1027693
1.806 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
1.806 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
1.868 * * [progress]: iteration 1 / 4
1.868 * * * [progress]: picking best candidate
1.936 * * * * [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.936 * * * [progress]: localizing error
2.397 * * * [progress]: generating rewritten candidates
2.397 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.403 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.410 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.413 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.426 * * * [progress]: generating series expansions
2.426 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.426 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.426 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.426 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.426 * * * [progress]: simplifying candidates
2.426 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.426 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
2.426 * * [simplify]: iters left: 3 (8 enodes)
2.428 * * [simplify]: iters left: 2 (20 enodes)
2.431 * * [simplify]: iters left: 1 (26 enodes)
2.435 * * [simplify]: Extracting #0: cost 1 inf + 0
2.435 * * [simplify]: Extracting #1: cost 7 inf + 0
2.435 * * [simplify]: Extracting #2: cost 7 inf + 2
2.435 * * [simplify]: Extracting #3: cost 6 inf + 45
2.435 * * [simplify]: Extracting #4: cost 4 inf + 47
2.435 * * [simplify]: Extracting #5: cost 1 inf + 1136
2.436 * * [simplify]: Extracting #6: cost 0 inf + 1499
2.436 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
2.436 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.436 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.436 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
2.436 * * [simplify]: iters left: 3 (6 enodes)
2.437 * * [simplify]: iters left: 2 (22 enodes)
2.441 * * [simplify]: iters left: 1 (42 enodes)
2.451 * * [simplify]: Extracting #0: cost 1 inf + 0
2.451 * * [simplify]: Extracting #1: cost 12 inf + 0
2.451 * * [simplify]: Extracting #2: cost 16 inf + 1
2.451 * * [simplify]: Extracting #3: cost 9 inf + 1412
2.452 * * [simplify]: Extracting #4: cost 0 inf + 4393
2.452 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
2.452 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.452 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.452 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.453 * * [simplify]: iters left: 4 (11 enodes)
2.456 * * [simplify]: iters left: 3 (34 enodes)
2.462 * * [simplify]: iters left: 2 (62 enodes)
2.473 * * [simplify]: iters left: 1 (116 enodes)
2.493 * * [simplify]: Extracting #0: cost 1 inf + 0
2.493 * * [simplify]: Extracting #1: cost 18 inf + 0
2.493 * * [simplify]: Extracting #2: cost 32 inf + 1
2.493 * * [simplify]: Extracting #3: cost 28 inf + 688
2.493 * * [simplify]: Extracting #4: cost 20 inf + 2471
2.494 * * [simplify]: Extracting #5: cost 11 inf + 5213
2.496 * * [simplify]: Extracting #6: cost 0 inf + 16616
2.499 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
2.499 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.500 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.500 * * [simplify]: iters left: 5 (13 enodes)
2.506 * * [simplify]: iters left: 4 (36 enodes)
2.517 * * [simplify]: iters left: 3 (69 enodes)
2.537 * * [simplify]: iters left: 2 (108 enodes)
2.553 * * [simplify]: iters left: 1 (142 enodes)
2.583 * * [simplify]: Extracting #0: cost 1 inf + 0
2.583 * * [simplify]: Extracting #1: cost 3 inf + 0
2.583 * * [simplify]: Extracting #2: cost 25 inf + 0
2.583 * * [simplify]: Extracting #3: cost 26 inf + 2
2.584 * * [simplify]: Extracting #4: cost 20 inf + 1217
2.584 * * [simplify]: Extracting #5: cost 5 inf + 6972
2.586 * * [simplify]: Extracting #6: cost 0 inf + 9668
2.587 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
2.587 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
2.587 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
2.588 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
2.588 * * [simplify]: iters left: 4 (11 enodes)
2.593 * * [simplify]: iters left: 3 (33 enodes)
2.604 * * [simplify]: iters left: 2 (87 enodes)
2.651 * * [simplify]: iters left: 1 (455 enodes)
3.118 * * [simplify]: Extracting #0: cost 1 inf + 0
3.118 * * [simplify]: Extracting #1: cost 38 inf + 0
3.127 * * [simplify]: Extracting #2: cost 349 inf + 2
3.134 * * [simplify]: Extracting #3: cost 1015 inf + 2069
3.144 * * [simplify]: Extracting #4: cost 974 inf + 36877
3.171 * * [simplify]: Extracting #5: cost 686 inf + 251010
3.246 * * [simplify]: Extracting #6: cost 123 inf + 839954
3.346 * * [simplify]: Extracting #7: cost 0 inf + 991791
3.416 * * [simplify]: Extracting #8: cost 0 inf + 989631
3.486 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))
3.486 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))))
3.486 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
3.486 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.486 * * [simplify]: iters left: 4 (11 enodes)
3.490 * * [simplify]: iters left: 3 (34 enodes)
3.496 * * [simplify]: iters left: 2 (62 enodes)
3.507 * * [simplify]: iters left: 1 (116 enodes)
3.528 * * [simplify]: Extracting #0: cost 1 inf + 0
3.528 * * [simplify]: Extracting #1: cost 18 inf + 0
3.528 * * [simplify]: Extracting #2: cost 32 inf + 1
3.528 * * [simplify]: Extracting #3: cost 28 inf + 688
3.528 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.529 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.530 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.532 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.532 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
3.532 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
3.533 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))
3.533 * * [simplify]: iters left: 5 (12 enodes)
3.536 * * [simplify]: iters left: 4 (32 enodes)
3.543 * * [simplify]: iters left: 3 (90 enodes)
3.587 * * [simplify]: iters left: 2 (378 enodes)
3.879 * * [simplify]: Extracting #0: cost 1 inf + 0
3.879 * * [simplify]: Extracting #1: cost 90 inf + 0
3.880 * * [simplify]: Extracting #2: cost 388 inf + 0
3.882 * * [simplify]: Extracting #3: cost 380 inf + 3950
3.888 * * [simplify]: Extracting #4: cost 272 inf + 84531
3.908 * * [simplify]: Extracting #5: cost 20 inf + 357988
3.937 * * [simplify]: Extracting #6: cost 0 inf + 384165
3.964 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
3.965 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))))
3.965 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
3.965 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
3.965 * * [simplify]: iters left: 5 (9 enodes)
3.967 * * [simplify]: iters left: 4 (35 enodes)
3.975 * * [simplify]: iters left: 3 (128 enodes)
4.023 * * [simplify]: Extracting #0: cost 1 inf + 0
4.023 * * [simplify]: Extracting #1: cost 39 inf + 0
4.023 * * [simplify]: Extracting #2: cost 167 inf + 1
4.024 * * [simplify]: Extracting #3: cost 185 inf + 9642
4.029 * * [simplify]: Extracting #4: cost 54 inf + 131260
4.037 * * [simplify]: Extracting #5: cost 0 inf + 183768
4.045 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
4.045 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
4.045 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
4.045 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
4.045 * * [simplify]: iters left: 5 (15 enodes)
4.049 * * [simplify]: iters left: 4 (44 enodes)
4.058 * * [simplify]: iters left: 3 (112 enodes)
4.089 * * [simplify]: iters left: 2 (473 enodes)
4.369 * * [simplify]: Extracting #0: cost 1 inf + 0
4.369 * * [simplify]: Extracting #1: cost 35 inf + 0
4.370 * * [simplify]: Extracting #2: cost 286 inf + 1
4.372 * * [simplify]: Extracting #3: cost 529 inf + 4158
4.375 * * [simplify]: Extracting #4: cost 531 inf + 7620
4.380 * * [simplify]: Extracting #5: cost 474 inf + 34154
4.396 * * [simplify]: Extracting #6: cost 203 inf + 247830
4.437 * * [simplify]: Extracting #7: cost 17 inf + 434257
4.495 * * [simplify]: Extracting #8: cost 0 inf + 455708
4.550 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
4.550 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
4.550 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
4.550 * * [simplify]: iters left: 6 (17 enodes)
4.555 * * [simplify]: iters left: 5 (52 enodes)
4.565 * * [simplify]: iters left: 4 (154 enodes)
4.618 * * [simplify]: Extracting #0: cost 1 inf + 0
4.618 * * [simplify]: Extracting #1: cost 27 inf + 0
4.619 * * [simplify]: Extracting #2: cost 137 inf + 0
4.619 * * [simplify]: Extracting #3: cost 277 inf + 366
4.621 * * [simplify]: Extracting #4: cost 285 inf + 5479
4.622 * * [simplify]: Extracting #5: cost 253 inf + 13586
4.625 * * [simplify]: Extracting #6: cost 206 inf + 39659
4.636 * * [simplify]: Extracting #7: cost 38 inf + 215233
4.652 * * [simplify]: Extracting #8: cost 0 inf + 248609
4.668 * * [simplify]: Extracting #9: cost 0 inf + 244529
4.686 * * [simplify]: Extracting #10: cost 0 inf + 244169
4.701 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
4.701 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
4.702 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.702 * [simplify]: Simplifying (*.p16 i i)
4.702 * * [simplify]: iters left: 1 (2 enodes)
4.702 * * [simplify]: Extracting #0: cost 1 inf + 0
4.702 * * [simplify]: Extracting #1: cost 2 inf + 0
4.702 * * [simplify]: Extracting #2: cost 1 inf + 1
4.702 * * [simplify]: Extracting #3: cost 0 inf + 322
4.702 * [simplify]: Simplified to (*.p16 i i)
4.702 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.702 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.703 * [simplify]: Simplifying (*.p16 i i)
4.703 * * [simplify]: iters left: 1 (2 enodes)
4.703 * * [simplify]: Extracting #0: cost 1 inf + 0
4.703 * * [simplify]: Extracting #1: cost 2 inf + 0
4.703 * * [simplify]: Extracting #2: cost 1 inf + 1
4.703 * * [simplify]: Extracting #3: cost 0 inf + 322
4.703 * [simplify]: Simplified to (*.p16 i i)
4.703 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.704 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.704 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.704 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))
4.704 * * [simplify]: iters left: 4 (9 enodes)
4.706 * * [simplify]: iters left: 3 (24 enodes)
4.710 * * [simplify]: iters left: 2 (49 enodes)
4.720 * * [simplify]: iters left: 1 (143 enodes)
4.789 * * [simplify]: Extracting #0: cost 1 inf + 0
4.789 * * [simplify]: Extracting #1: cost 22 inf + 0
4.790 * * [simplify]: Extracting #2: cost 47 inf + 1
4.790 * * [simplify]: Extracting #3: cost 41 inf + 1654
4.792 * * [simplify]: Extracting #4: cost 15 inf + 14850
4.795 * * [simplify]: Extracting #5: cost 0 inf + 23265
4.799 * * [simplify]: Extracting #6: cost 0 inf + 22945
4.802 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))
4.802 * [simplify]: Simplified (2 2 1 2) to (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha beta)) (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))
4.802 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
4.803 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
4.803 * * [simplify]: iters left: 4 (9 enodes)
4.807 * * [simplify]: iters left: 3 (29 enodes)
4.812 * * [simplify]: iters left: 2 (81 enodes)
4.843 * * [simplify]: iters left: 1 (197 enodes)
4.916 * * [simplify]: Extracting #0: cost 1 inf + 0
4.916 * * [simplify]: Extracting #1: cost 23 inf + 0
4.916 * * [simplify]: Extracting #2: cost 60 inf + 1
4.917 * * [simplify]: Extracting #3: cost 53 inf + 690
4.918 * * [simplify]: Extracting #4: cost 24 inf + 17061
4.920 * * [simplify]: Extracting #5: cost 0 inf + 36858
4.922 * [simplify]: Simplified to (*.p16 (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))) (*.p16 i (real->posit16 2)))
4.923 * [simplify]: Simplified (2 2 1 2) to (λ (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 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))) (*.p16 i (real->posit16 2)))) (real->posit16 1.0))))
4.923 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.923 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.923 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
4.923 * * [simplify]: iters left: 6 (19 enodes)
4.928 * * [simplify]: iters left: 5 (76 enodes)
4.950 * * [simplify]: iters left: 4 (344 enodes)
5.152 * * [simplify]: Extracting #0: cost 1 inf + 0
5.152 * * [simplify]: Extracting #1: cost 75 inf + 0
5.153 * * [simplify]: Extracting #2: cost 474 inf + 1
5.159 * * [simplify]: Extracting #3: cost 742 inf + 26817
5.178 * * [simplify]: Extracting #4: cost 684 inf + 140740
5.193 * * [simplify]: Extracting #5: cost 611 inf + 190357
5.204 * * [simplify]: Extracting #6: cost 583 inf + 205484
5.225 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.291 * * [simplify]: Extracting #8: cost 52 inf + 927410
5.402 * * [simplify]: Extracting #9: cost 0 inf + 1029213
5.465 * * [simplify]: Extracting #10: cost 0 inf + 1027693
5.524 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
5.524 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
5.524 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.524 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
5.524 * * [simplify]: iters left: 6 (19 enodes)
5.530 * * [simplify]: iters left: 5 (76 enodes)
5.549 * * [simplify]: iters left: 4 (344 enodes)
5.802 * * [simplify]: Extracting #0: cost 1 inf + 0
5.802 * * [simplify]: Extracting #1: cost 75 inf + 0
5.804 * * [simplify]: Extracting #2: cost 474 inf + 1
5.810 * * [simplify]: Extracting #3: cost 742 inf + 26817
5.824 * * [simplify]: Extracting #4: cost 684 inf + 140740
5.843 * * [simplify]: Extracting #5: cost 611 inf + 190357
5.864 * * [simplify]: Extracting #6: cost 583 inf + 205484
5.906 * * [simplify]: Extracting #7: cost 359 inf + 460450
5.998 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.097 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.165 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.276 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
6.277 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
6.277 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.277 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
6.278 * * [simplify]: iters left: 6 (19 enodes)
6.288 * * [simplify]: iters left: 5 (76 enodes)
6.328 * * [simplify]: iters left: 4 (344 enodes)
6.664 * * [simplify]: Extracting #0: cost 1 inf + 0
6.664 * * [simplify]: Extracting #1: cost 75 inf + 0
6.666 * * [simplify]: Extracting #2: cost 474 inf + 1
6.673 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.687 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.708 * * [simplify]: Extracting #5: cost 611 inf + 190357
6.739 * * [simplify]: Extracting #6: cost 583 inf + 205484
6.781 * * [simplify]: Extracting #7: cost 359 inf + 460450
6.833 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.894 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.957 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.014 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
7.014 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
7.014 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
7.014 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
7.014 * * [simplify]: iters left: 6 (19 enodes)
7.019 * * [simplify]: iters left: 5 (76 enodes)
7.041 * * [simplify]: iters left: 4 (344 enodes)
7.210 * * [simplify]: Extracting #0: cost 1 inf + 0
7.210 * * [simplify]: Extracting #1: cost 75 inf + 0
7.212 * * [simplify]: Extracting #2: cost 474 inf + 1
7.218 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.233 * * [simplify]: Extracting #4: cost 684 inf + 140740
7.260 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.283 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.321 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.370 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.453 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.511 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.570 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
7.570 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
7.570 * * * [progress]: adding candidates to table
8.535 * * [progress]: iteration 2 / 4
8.535 * * * [progress]: picking best candidate
8.848 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.848 * * * [progress]: localizing error
9.474 * * * [progress]: generating rewritten candidates
9.474 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
9.487 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
9.494 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.534 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
9.581 * * * [progress]: generating series expansions
9.581 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
9.581 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
9.581 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.581 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
9.581 * * * [progress]: simplifying candidates
9.581 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.581 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.582 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
9.582 * * [simplify]: iters left: 4 (11 enodes)
9.585 * * [simplify]: iters left: 3 (27 enodes)
9.592 * * [simplify]: iters left: 2 (47 enodes)
9.601 * * [simplify]: iters left: 1 (76 enodes)
9.614 * * [simplify]: Extracting #0: cost 1 inf + 0
9.614 * * [simplify]: Extracting #1: cost 16 inf + 0
9.614 * * [simplify]: Extracting #2: cost 17 inf + 2
9.614 * * [simplify]: Extracting #3: cost 13 inf + 89
9.614 * * [simplify]: Extracting #4: cost 9 inf + 298
9.615 * * [simplify]: Extracting #5: cost 1 inf + 2963
9.615 * * [simplify]: Extracting #6: cost 0 inf + 3367
9.616 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
9.616 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
9.616 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
9.616 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
9.616 * * [simplify]: iters left: 4 (8 enodes)
9.618 * * [simplify]: iters left: 3 (26 enodes)
9.624 * * [simplify]: iters left: 2 (53 enodes)
9.641 * * [simplify]: iters left: 1 (91 enodes)
9.656 * * [simplify]: Extracting #0: cost 1 inf + 0
9.657 * * [simplify]: Extracting #1: cost 24 inf + 0
9.657 * * [simplify]: Extracting #2: cost 31 inf + 0
9.657 * * [simplify]: Extracting #3: cost 26 inf + 366
9.657 * * [simplify]: Extracting #4: cost 9 inf + 8250
9.658 * * [simplify]: Extracting #5: cost 0 inf + 15077
9.659 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
9.659 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
9.659 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.659 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
9.659 * * [simplify]: iters left: 3 (6 enodes)
9.660 * * [simplify]: iters left: 2 (22 enodes)
9.664 * * [simplify]: iters left: 1 (42 enodes)
9.670 * * [simplify]: Extracting #0: cost 1 inf + 0
9.670 * * [simplify]: Extracting #1: cost 12 inf + 0
9.670 * * [simplify]: Extracting #2: cost 16 inf + 1
9.671 * * [simplify]: Extracting #3: cost 9 inf + 1412
9.671 * * [simplify]: Extracting #4: cost 0 inf + 4393
9.671 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
9.671 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
9.671 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
9.672 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
9.672 * * [simplify]: iters left: 5 (15 enodes)
9.675 * * [simplify]: iters left: 4 (44 enodes)
9.684 * * [simplify]: iters left: 3 (112 enodes)
9.723 * * [simplify]: iters left: 2 (473 enodes)
10.123 * * [simplify]: Extracting #0: cost 1 inf + 0
10.123 * * [simplify]: Extracting #1: cost 35 inf + 0
10.124 * * [simplify]: Extracting #2: cost 286 inf + 1
10.129 * * [simplify]: Extracting #3: cost 529 inf + 4158
10.135 * * [simplify]: Extracting #4: cost 531 inf + 7620
10.141 * * [simplify]: Extracting #5: cost 474 inf + 34154
10.157 * * [simplify]: Extracting #6: cost 203 inf + 247830
10.208 * * [simplify]: Extracting #7: cost 17 inf + 434257
10.254 * * [simplify]: Extracting #8: cost 0 inf + 455708
10.334 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
10.334 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.334 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.335 * * [simplify]: iters left: 6 (17 enodes)
10.343 * * [simplify]: iters left: 5 (52 enodes)
10.364 * * [simplify]: iters left: 4 (154 enodes)
10.466 * * [simplify]: Extracting #0: cost 1 inf + 0
10.466 * * [simplify]: Extracting #1: cost 27 inf + 0
10.466 * * [simplify]: Extracting #2: cost 137 inf + 0
10.468 * * [simplify]: Extracting #3: cost 277 inf + 366
10.470 * * [simplify]: Extracting #4: cost 285 inf + 5479
10.473 * * [simplify]: Extracting #5: cost 253 inf + 13586
10.479 * * [simplify]: Extracting #6: cost 206 inf + 39659
10.501 * * [simplify]: Extracting #7: cost 38 inf + 215233
10.532 * * [simplify]: Extracting #8: cost 0 inf + 248609
10.562 * * [simplify]: Extracting #9: cost 0 inf + 244529
10.597 * * [simplify]: Extracting #10: cost 0 inf + 244169
10.614 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
10.614 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
10.615 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.615 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.615 * * [simplify]: iters left: 5 (15 enodes)
10.619 * * [simplify]: iters left: 4 (44 enodes)
10.626 * * [simplify]: iters left: 3 (112 enodes)
10.657 * * [simplify]: iters left: 2 (473 enodes)
10.988 * * [simplify]: Extracting #0: cost 1 inf + 0
10.989 * * [simplify]: Extracting #1: cost 35 inf + 0
10.990 * * [simplify]: Extracting #2: cost 286 inf + 1
11.000 * * [simplify]: Extracting #3: cost 529 inf + 4158
11.006 * * [simplify]: Extracting #4: cost 531 inf + 7620
11.016 * * [simplify]: Extracting #5: cost 474 inf + 34154
11.048 * * [simplify]: Extracting #6: cost 203 inf + 247830
11.108 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.152 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.191 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
11.191 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.191 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.191 * * [simplify]: iters left: 6 (17 enodes)
11.198 * * [simplify]: iters left: 5 (52 enodes)
11.223 * * [simplify]: iters left: 4 (154 enodes)
11.322 * * [simplify]: Extracting #0: cost 1 inf + 0
11.322 * * [simplify]: Extracting #1: cost 27 inf + 0
11.322 * * [simplify]: Extracting #2: cost 137 inf + 0
11.324 * * [simplify]: Extracting #3: cost 277 inf + 366
11.326 * * [simplify]: Extracting #4: cost 285 inf + 5479
11.329 * * [simplify]: Extracting #5: cost 253 inf + 13586
11.332 * * [simplify]: Extracting #6: cost 206 inf + 39659
11.346 * * [simplify]: Extracting #7: cost 38 inf + 215233
11.362 * * [simplify]: Extracting #8: cost 0 inf + 248609
11.378 * * [simplify]: Extracting #9: cost 0 inf + 244529
11.394 * * [simplify]: Extracting #10: cost 0 inf + 244169
11.410 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
11.410 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
11.410 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.410 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.410 * * [simplify]: iters left: 5 (15 enodes)
11.414 * * [simplify]: iters left: 4 (44 enodes)
11.424 * * [simplify]: iters left: 3 (112 enodes)
11.480 * * [simplify]: iters left: 2 (473 enodes)
12.005 * * [simplify]: Extracting #0: cost 1 inf + 0
12.005 * * [simplify]: Extracting #1: cost 35 inf + 0
12.006 * * [simplify]: Extracting #2: cost 286 inf + 1
12.011 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.018 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.026 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.058 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.135 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.212 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.291 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
12.291 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
12.292 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.292 * * [simplify]: iters left: 6 (17 enodes)
12.301 * * [simplify]: iters left: 5 (52 enodes)
12.323 * * [simplify]: iters left: 4 (154 enodes)
12.424 * * [simplify]: Extracting #0: cost 1 inf + 0
12.424 * * [simplify]: Extracting #1: cost 27 inf + 0
12.424 * * [simplify]: Extracting #2: cost 137 inf + 0
12.426 * * [simplify]: Extracting #3: cost 277 inf + 366
12.428 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.430 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.436 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.459 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.489 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.524 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.555 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.587 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
12.587 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
12.587 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
12.587 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.588 * * [simplify]: iters left: 5 (15 enodes)
12.595 * * [simplify]: iters left: 4 (44 enodes)
12.611 * * [simplify]: iters left: 3 (112 enodes)
12.671 * * [simplify]: iters left: 2 (473 enodes)
13.198 * * [simplify]: Extracting #0: cost 1 inf + 0
13.198 * * [simplify]: Extracting #1: cost 35 inf + 0
13.199 * * [simplify]: Extracting #2: cost 286 inf + 1
13.203 * * [simplify]: Extracting #3: cost 529 inf + 4158
13.209 * * [simplify]: Extracting #4: cost 531 inf + 7620
13.217 * * [simplify]: Extracting #5: cost 474 inf + 34154
13.249 * * [simplify]: Extracting #6: cost 203 inf + 247830
13.321 * * [simplify]: Extracting #7: cost 17 inf + 434257
13.402 * * [simplify]: Extracting #8: cost 0 inf + 455708
13.480 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
13.480 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
13.480 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.481 * * [simplify]: iters left: 6 (17 enodes)
13.490 * * [simplify]: iters left: 5 (52 enodes)
13.512 * * [simplify]: iters left: 4 (154 enodes)
13.587 * * [simplify]: Extracting #0: cost 1 inf + 0
13.588 * * [simplify]: Extracting #1: cost 27 inf + 0
13.588 * * [simplify]: Extracting #2: cost 137 inf + 0
13.589 * * [simplify]: Extracting #3: cost 277 inf + 366
13.592 * * [simplify]: Extracting #4: cost 285 inf + 5479
13.595 * * [simplify]: Extracting #5: cost 253 inf + 13586
13.600 * * [simplify]: Extracting #6: cost 206 inf + 39659
13.616 * * [simplify]: Extracting #7: cost 38 inf + 215233
13.631 * * [simplify]: Extracting #8: cost 0 inf + 248609
13.658 * * [simplify]: Extracting #9: cost 0 inf + 244529
13.680 * * [simplify]: Extracting #10: cost 0 inf + 244169
13.697 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
13.697 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
13.697 * * * [progress]: adding candidates to table
14.301 * * [progress]: iteration 3 / 4
14.301 * * * [progress]: picking best candidate
14.956 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
14.956 * * * [progress]: localizing error
15.955 * * * [progress]: generating rewritten candidates
15.955 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
15.970 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
16.002 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
16.047 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
16.151 * * * [progress]: generating series expansions
16.151 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
16.151 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
16.151 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
16.151 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
16.151 * * * [progress]: simplifying candidates
16.151 * * * * [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)))))>
16.152 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
16.152 * * [simplify]: iters left: 4 (11 enodes)
16.157 * * [simplify]: iters left: 3 (27 enodes)
16.166 * * [simplify]: iters left: 2 (47 enodes)
16.183 * * [simplify]: iters left: 1 (76 enodes)
16.210 * * [simplify]: Extracting #0: cost 1 inf + 0
16.211 * * [simplify]: Extracting #1: cost 16 inf + 0
16.211 * * [simplify]: Extracting #2: cost 17 inf + 2
16.211 * * [simplify]: Extracting #3: cost 13 inf + 89
16.211 * * [simplify]: Extracting #4: cost 9 inf + 298
16.212 * * [simplify]: Extracting #5: cost 1 inf + 2963
16.213 * * [simplify]: Extracting #6: cost 0 inf + 3367
16.214 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
16.214 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
16.215 * * * * [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))))))>
16.215 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
16.215 * * [simplify]: iters left: 4 (8 enodes)
16.218 * * [simplify]: iters left: 3 (26 enodes)
16.227 * * [simplify]: iters left: 2 (53 enodes)
16.245 * * [simplify]: iters left: 1 (91 enodes)
16.271 * * [simplify]: Extracting #0: cost 1 inf + 0
16.271 * * [simplify]: Extracting #1: cost 24 inf + 0
16.271 * * [simplify]: Extracting #2: cost 31 inf + 0
16.272 * * [simplify]: Extracting #3: cost 26 inf + 366
16.272 * * [simplify]: Extracting #4: cost 9 inf + 8250
16.274 * * [simplify]: Extracting #5: cost 0 inf + 15077
16.276 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
16.276 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
16.276 * * * * [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)))))>
16.277 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.277 * * [simplify]: iters left: 4 (9 enodes)
16.281 * * [simplify]: iters left: 3 (21 enodes)
16.287 * * [simplify]: iters left: 2 (27 enodes)
16.295 * * [simplify]: iters left: 1 (28 enodes)
16.303 * * [simplify]: Extracting #0: cost 1 inf + 0
16.303 * * [simplify]: Extracting #1: cost 3 inf + 0
16.303 * * [simplify]: Extracting #2: cost 8 inf + 1
16.303 * * [simplify]: Extracting #3: cost 6 inf + 45
16.303 * * [simplify]: Extracting #4: cost 7 inf + 45
16.303 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.304 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.304 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.304 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
16.304 * * * * [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)))))>
16.304 * * * * [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)))))>
16.305 * * * * [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)))))>
16.305 * * * * [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)))))>
16.305 * * * * [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)))))>
16.305 * * * [progress]: adding candidates to table
16.941 * * [progress]: iteration 4 / 4
16.941 * * * [progress]: picking best candidate
18.147 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
18.147 * * * [progress]: localizing error
19.056 * * * [progress]: generating rewritten candidates
19.056 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
19.068 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
19.158 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
19.172 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
19.215 * * * [progress]: generating series expansions
19.216 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
19.216 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
19.216 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
19.216 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
19.216 * * * [progress]: simplifying candidates
19.216 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.216 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
19.216 * * [simplify]: iters left: 4 (11 enodes)
19.222 * * [simplify]: iters left: 3 (27 enodes)
19.232 * * [simplify]: iters left: 2 (47 enodes)
19.249 * * [simplify]: iters left: 1 (76 enodes)
19.272 * * [simplify]: Extracting #0: cost 1 inf + 0
19.272 * * [simplify]: Extracting #1: cost 16 inf + 0
19.273 * * [simplify]: Extracting #2: cost 17 inf + 2
19.273 * * [simplify]: Extracting #3: cost 13 inf + 89
19.273 * * [simplify]: Extracting #4: cost 9 inf + 298
19.274 * * [simplify]: Extracting #5: cost 1 inf + 2963
19.275 * * [simplify]: Extracting #6: cost 0 inf + 3367
19.277 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
19.277 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
19.277 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
19.277 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
19.277 * * [simplify]: iters left: 4 (8 enodes)
19.279 * * [simplify]: iters left: 3 (26 enodes)
19.283 * * [simplify]: iters left: 2 (53 enodes)
19.292 * * [simplify]: iters left: 1 (91 enodes)
19.306 * * [simplify]: Extracting #0: cost 1 inf + 0
19.306 * * [simplify]: Extracting #1: cost 24 inf + 0
19.306 * * [simplify]: Extracting #2: cost 31 inf + 0
19.306 * * [simplify]: Extracting #3: cost 26 inf + 366
19.307 * * [simplify]: Extracting #4: cost 9 inf + 8250
19.309 * * [simplify]: Extracting #5: cost 0 inf + 15077
19.310 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
19.311 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
19.311 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.311 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.311 * * [simplify]: iters left: 4 (9 enodes)
19.317 * * [simplify]: iters left: 3 (21 enodes)
19.323 * * [simplify]: iters left: 2 (27 enodes)
19.332 * * [simplify]: iters left: 1 (28 enodes)
19.341 * * [simplify]: Extracting #0: cost 1 inf + 0
19.341 * * [simplify]: Extracting #1: cost 3 inf + 0
19.341 * * [simplify]: Extracting #2: cost 8 inf + 1
19.341 * * [simplify]: Extracting #3: cost 6 inf + 45
19.341 * * [simplify]: Extracting #4: cost 7 inf + 45
19.342 * * [simplify]: Extracting #5: cost 1 inf + 1499
19.342 * * [simplify]: Extracting #6: cost 0 inf + 2343
19.342 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
19.342 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.343 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.343 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.343 * * [simplify]: iters left: 4 (9 enodes)
19.347 * * [simplify]: iters left: 3 (21 enodes)
19.353 * * [simplify]: iters left: 2 (27 enodes)
19.361 * * [simplify]: iters left: 1 (28 enodes)
19.369 * * [simplify]: Extracting #0: cost 1 inf + 0
19.369 * * [simplify]: Extracting #1: cost 3 inf + 0
19.369 * * [simplify]: Extracting #2: cost 8 inf + 1
19.369 * * [simplify]: Extracting #3: cost 6 inf + 45
19.369 * * [simplify]: Extracting #4: cost 7 inf + 45
19.369 * * [simplify]: Extracting #5: cost 1 inf + 1499
19.370 * * [simplify]: Extracting #6: cost 0 inf + 2343
19.370 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
19.370 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.370 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.371 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.371 * * [simplify]: iters left: 4 (9 enodes)
19.375 * * [simplify]: iters left: 3 (21 enodes)
19.381 * * [simplify]: iters left: 2 (27 enodes)
19.389 * * [simplify]: iters left: 1 (28 enodes)
19.396 * * [simplify]: Extracting #0: cost 1 inf + 0
19.397 * * [simplify]: Extracting #1: cost 3 inf + 0
19.397 * * [simplify]: Extracting #2: cost 8 inf + 1
19.397 * * [simplify]: Extracting #3: cost 6 inf + 45
19.397 * * [simplify]: Extracting #4: cost 7 inf + 45
19.397 * * [simplify]: Extracting #5: cost 1 inf + 1499
19.397 * * [simplify]: Extracting #6: cost 0 inf + 2343
19.398 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
19.398 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.398 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
19.398 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.399 * * [simplify]: iters left: 4 (9 enodes)
19.403 * * [simplify]: iters left: 3 (21 enodes)
19.409 * * [simplify]: iters left: 2 (27 enodes)
19.417 * * [simplify]: iters left: 1 (28 enodes)
19.425 * * [simplify]: Extracting #0: cost 1 inf + 0
19.425 * * [simplify]: Extracting #1: cost 3 inf + 0
19.425 * * [simplify]: Extracting #2: cost 8 inf + 1
19.425 * * [simplify]: Extracting #3: cost 6 inf + 45
19.425 * * [simplify]: Extracting #4: cost 7 inf + 45
19.426 * * [simplify]: Extracting #5: cost 1 inf + 1499
19.426 * * [simplify]: Extracting #6: cost 0 inf + 2343
19.426 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
19.427 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
19.427 * * * [progress]: adding candidates to table
19.832 * [progress]: [Phase 3 of 3] Extracting.
19.832 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.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 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
19.853 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
19.853 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.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 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
21.109 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.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 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
22.365 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.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 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
23.516 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
23.516 * [simplify]: Simplifying (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
23.516 * * [simplify]: iters left: 6 (22 enodes)
23.519 * * [simplify]: Extracting #0: cost 1 inf + 0
23.519 * * [simplify]: Extracting #1: cost 3 inf + 0
23.519 * * [simplify]: Extracting #2: cost 7 inf + 0
23.519 * * [simplify]: Extracting #3: cost 13 inf + 0
23.519 * * [simplify]: Extracting #4: cost 17 inf + 1
23.519 * * [simplify]: Extracting #5: cost 19 inf + 2
23.519 * * [simplify]: Extracting #6: cost 15 inf + 369
23.519 * * [simplify]: Extracting #7: cost 11 inf + 857
23.520 * * [simplify]: Extracting #8: cost 6 inf + 3716
23.520 * * [simplify]: Extracting #9: cost 1 inf + 10499
23.520 * * [simplify]: Extracting #10: cost 0 inf + 14264
23.521 * [simplify]: Simplified to (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
23.521 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
23.556 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
23.561 * * * * [points]: Setting MPFR precision to 64
23.562 * * * * [points]: Setting MPFR precision to 320
23.563 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
23.567 * * * * [points]: Setting MPFR precision to 64
23.570 * * * * [points]: Setting MPFR precision to 320
23.572 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
23.577 * * * * [points]: Setting MPFR precision to 64
23.582 * * * * [points]: Setting MPFR precision to 320
23.586 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
23.603 * * * * [points]: Setting MPFR precision to 64
23.614 * * * * [points]: Setting MPFR precision to 320
23.624 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
23.629 * * * * [points]: Setting MPFR precision to 64
23.648 * * * * [points]: Setting MPFR precision to 320
23.667 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
23.672 * * * * [points]: Setting MPFR precision to 64
23.709 * * * * [points]: Setting MPFR precision to 320
23.780 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
23.786 * * * * [points]: Setting MPFR precision to 64
23.894 * * * * [points]: Setting MPFR precision to 320
23.976 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
23.981 * * * * [points]: Setting MPFR precision to 64
24.202 * * * * [points]: Setting MPFR precision to 320
24.397 * * * * [points]: Computing exacts for 8000 points
24.402 * * * * [points]: Setting MPFR precision to 64
25.938 * * * * [points]: Setting MPFR precision to 320
27.361 * * * * [points]: Filtering points with unrepresentable outputs
27.501 * * * * [points]: Sampling 6847 additional inputs, on iter 1 have 1153 / 8000
27.542 * * * * [points]: Computing exacts on every 427 of 6847 points to ramp up precision
27.547 * * * * [points]: Setting MPFR precision to 64
27.550 * * * * [points]: Setting MPFR precision to 320
27.551 * * * * [points]: Computing exacts on every 213 of 6847 points to ramp up precision
27.555 * * * * [points]: Setting MPFR precision to 64
27.558 * * * * [points]: Setting MPFR precision to 320
27.561 * * * * [points]: Computing exacts on every 106 of 6847 points to ramp up precision
27.565 * * * * [points]: Setting MPFR precision to 64
27.577 * * * * [points]: Setting MPFR precision to 320
27.586 * * * * [points]: Computing exacts on every 53 of 6847 points to ramp up precision
27.595 * * * * [points]: Setting MPFR precision to 64
27.613 * * * * [points]: Setting MPFR precision to 320
27.631 * * * * [points]: Computing exacts on every 26 of 6847 points to ramp up precision
27.640 * * * * [points]: Setting MPFR precision to 64
27.676 * * * * [points]: Setting MPFR precision to 320
27.746 * * * * [points]: Computing exacts on every 13 of 6847 points to ramp up precision
27.757 * * * * [points]: Setting MPFR precision to 64
27.825 * * * * [points]: Setting MPFR precision to 320
27.893 * * * * [points]: Computing exacts on every 6 of 6847 points to ramp up precision
27.901 * * * * [points]: Setting MPFR precision to 64
28.067 * * * * [points]: Setting MPFR precision to 320
28.244 * * * * [points]: Computing exacts on every 3 of 6847 points to ramp up precision
28.252 * * * * [points]: Setting MPFR precision to 64
28.536 * * * * [points]: Setting MPFR precision to 320
28.843 * * * * [points]: Computing exacts for 6847 points
28.852 * * * * [points]: Setting MPFR precision to 64
30.464 * * * * [points]: Setting MPFR precision to 320
31.566 * * * * [points]: Filtering points with unrepresentable outputs
31.668 * * * * [points]: Sampling 5877 additional inputs, on iter 2 have 2123 / 8000
31.717 * * * * [points]: Computing exacts on every 367 of 5877 points to ramp up precision
31.726 * * * * [points]: Setting MPFR precision to 64
31.728 * * * * [points]: Setting MPFR precision to 320
31.731 * * * * [points]: Computing exacts on every 183 of 5877 points to ramp up precision
31.739 * * * * [points]: Setting MPFR precision to 64
31.743 * * * * [points]: Setting MPFR precision to 320
31.748 * * * * [points]: Computing exacts on every 91 of 5877 points to ramp up precision
31.757 * * * * [points]: Setting MPFR precision to 64
31.766 * * * * [points]: Setting MPFR precision to 320
31.775 * * * * [points]: Computing exacts on every 45 of 5877 points to ramp up precision
31.784 * * * * [points]: Setting MPFR precision to 64
31.801 * * * * [points]: Setting MPFR precision to 320
31.821 * * * * [points]: Computing exacts on every 22 of 5877 points to ramp up precision
31.829 * * * * [points]: Setting MPFR precision to 64
31.887 * * * * [points]: Setting MPFR precision to 320
31.909 * * * * [points]: Computing exacts on every 11 of 5877 points to ramp up precision
31.913 * * * * [points]: Setting MPFR precision to 64
31.955 * * * * [points]: Setting MPFR precision to 320
32.015 * * * * [points]: Computing exacts on every 5 of 5877 points to ramp up precision
32.020 * * * * [points]: Setting MPFR precision to 64
32.130 * * * * [points]: Setting MPFR precision to 320
32.261 * * * * [points]: Computing exacts on every 2 of 5877 points to ramp up precision
32.265 * * * * [points]: Setting MPFR precision to 64
32.582 * * * * [points]: Setting MPFR precision to 320
33.371 * * * * [points]: Computing exacts for 5877 points
33.381 * * * * [points]: Setting MPFR precision to 64
34.285 * * * * [points]: Setting MPFR precision to 320
34.905 * * * * [points]: Filtering points with unrepresentable outputs
34.967 * * * * [points]: Sampling 5030 additional inputs, on iter 3 have 2970 / 8000
34.990 * * * * [points]: Computing exacts on every 314 of 5030 points to ramp up precision
35.016 * * * * [points]: Setting MPFR precision to 64
35.019 * * * * [points]: Setting MPFR precision to 320
35.020 * * * * [points]: Computing exacts on every 157 of 5030 points to ramp up precision
35.025 * * * * [points]: Setting MPFR precision to 64
35.028 * * * * [points]: Setting MPFR precision to 320
35.031 * * * * [points]: Computing exacts on every 78 of 5030 points to ramp up precision
35.035 * * * * [points]: Setting MPFR precision to 64
35.040 * * * * [points]: Setting MPFR precision to 320
35.045 * * * * [points]: Computing exacts on every 39 of 5030 points to ramp up precision
35.050 * * * * [points]: Setting MPFR precision to 64
35.060 * * * * [points]: Setting MPFR precision to 320
35.070 * * * * [points]: Computing exacts on every 19 of 5030 points to ramp up precision
35.074 * * * * [points]: Setting MPFR precision to 64
35.093 * * * * [points]: Setting MPFR precision to 320
35.135 * * * * [points]: Computing exacts on every 9 of 5030 points to ramp up precision
35.139 * * * * [points]: Setting MPFR precision to 64
35.179 * * * * [points]: Setting MPFR precision to 320
35.220 * * * * [points]: Computing exacts on every 4 of 5030 points to ramp up precision
35.225 * * * * [points]: Setting MPFR precision to 64
35.334 * * * * [points]: Setting MPFR precision to 320
35.449 * * * * [points]: Computing exacts on every 2 of 5030 points to ramp up precision
35.454 * * * * [points]: Setting MPFR precision to 64
35.640 * * * * [points]: Setting MPFR precision to 320
35.937 * * * * [points]: Computing exacts for 5030 points
35.946 * * * * [points]: Setting MPFR precision to 64
37.165 * * * * [points]: Setting MPFR precision to 320
37.983 * * * * [points]: Filtering points with unrepresentable outputs
38.109 * * * * [points]: Sampling 4328 additional inputs, on iter 4 have 3672 / 8000
38.139 * * * * [points]: Computing exacts on every 270 of 4328 points to ramp up precision
38.148 * * * * [points]: Setting MPFR precision to 64
38.150 * * * * [points]: Setting MPFR precision to 320
38.152 * * * * [points]: Computing exacts on every 135 of 4328 points to ramp up precision
38.157 * * * * [points]: Setting MPFR precision to 64
38.159 * * * * [points]: Setting MPFR precision to 320
38.162 * * * * [points]: Computing exacts on every 67 of 4328 points to ramp up precision
38.166 * * * * [points]: Setting MPFR precision to 64
38.171 * * * * [points]: Setting MPFR precision to 320
38.176 * * * * [points]: Computing exacts on every 33 of 4328 points to ramp up precision
38.181 * * * * [points]: Setting MPFR precision to 64
38.190 * * * * [points]: Setting MPFR precision to 320
38.200 * * * * [points]: Computing exacts on every 16 of 4328 points to ramp up precision
38.204 * * * * [points]: Setting MPFR precision to 64
38.224 * * * * [points]: Setting MPFR precision to 320
38.269 * * * * [points]: Computing exacts on every 8 of 4328 points to ramp up precision
38.273 * * * * [points]: Setting MPFR precision to 64
38.309 * * * * [points]: Setting MPFR precision to 320
38.350 * * * * [points]: Computing exacts on every 4 of 4328 points to ramp up precision
38.355 * * * * [points]: Setting MPFR precision to 64
38.448 * * * * [points]: Setting MPFR precision to 320
38.565 * * * * [points]: Computing exacts on every 2 of 4328 points to ramp up precision
38.573 * * * * [points]: Setting MPFR precision to 64
38.712 * * * * [points]: Setting MPFR precision to 320
38.878 * * * * [points]: Computing exacts for 4328 points
38.882 * * * * [points]: Setting MPFR precision to 64
39.586 * * * * [points]: Setting MPFR precision to 320
40.052 * * * * [points]: Filtering points with unrepresentable outputs
40.128 * * * * [points]: Sampling 3679 additional inputs, on iter 5 have 4321 / 8000
40.157 * * * * [points]: Computing exacts on every 229 of 3679 points to ramp up precision
40.166 * * * * [points]: Setting MPFR precision to 64
40.168 * * * * [points]: Setting MPFR precision to 320
40.170 * * * * [points]: Computing exacts on every 114 of 3679 points to ramp up precision
40.179 * * * * [points]: Setting MPFR precision to 64
40.183 * * * * [points]: Setting MPFR precision to 320
40.187 * * * * [points]: Computing exacts on every 57 of 3679 points to ramp up precision
40.195 * * * * [points]: Setting MPFR precision to 64
40.203 * * * * [points]: Setting MPFR precision to 320
40.231 * * * * [points]: Computing exacts on every 28 of 3679 points to ramp up precision
40.242 * * * * [points]: Setting MPFR precision to 64
40.259 * * * * [points]: Setting MPFR precision to 320
40.276 * * * * [points]: Computing exacts on every 14 of 3679 points to ramp up precision
40.285 * * * * [points]: Setting MPFR precision to 64
40.318 * * * * [points]: Setting MPFR precision to 320
40.350 * * * * [points]: Computing exacts on every 7 of 3679 points to ramp up precision
40.359 * * * * [points]: Setting MPFR precision to 64
40.453 * * * * [points]: Setting MPFR precision to 320
40.521 * * * * [points]: Computing exacts on every 3 of 3679 points to ramp up precision
40.531 * * * * [points]: Setting MPFR precision to 64
40.702 * * * * [points]: Setting MPFR precision to 320
40.836 * * * * [points]: Computing exacts for 3679 points
40.845 * * * * [points]: Setting MPFR precision to 64
41.479 * * * * [points]: Setting MPFR precision to 320
41.998 * * * * [points]: Filtering points with unrepresentable outputs
42.062 * * * * [points]: Sampling 3159 additional inputs, on iter 6 have 4841 / 8000
42.076 * * * * [points]: Computing exacts on every 197 of 3159 points to ramp up precision
42.080 * * * * [points]: Setting MPFR precision to 64
42.082 * * * * [points]: Setting MPFR precision to 320
42.083 * * * * [points]: Computing exacts on every 98 of 3159 points to ramp up precision
42.087 * * * * [points]: Setting MPFR precision to 64
42.090 * * * * [points]: Setting MPFR precision to 320
42.093 * * * * [points]: Computing exacts on every 49 of 3159 points to ramp up precision
42.097 * * * * [points]: Setting MPFR precision to 64
42.102 * * * * [points]: Setting MPFR precision to 320
42.107 * * * * [points]: Computing exacts on every 24 of 3159 points to ramp up precision
42.111 * * * * [points]: Setting MPFR precision to 64
42.121 * * * * [points]: Setting MPFR precision to 320
42.131 * * * * [points]: Computing exacts on every 12 of 3159 points to ramp up precision
42.136 * * * * [points]: Setting MPFR precision to 64
42.174 * * * * [points]: Setting MPFR precision to 320
42.195 * * * * [points]: Computing exacts on every 6 of 3159 points to ramp up precision
42.200 * * * * [points]: Setting MPFR precision to 64
42.234 * * * * [points]: Setting MPFR precision to 320
42.271 * * * * [points]: Computing exacts on every 3 of 3159 points to ramp up precision
42.275 * * * * [points]: Setting MPFR precision to 64
42.364 * * * * [points]: Setting MPFR precision to 320
42.426 * * * * [points]: Computing exacts for 3159 points
42.462 * * * * [points]: Setting MPFR precision to 64
43.219 * * * * [points]: Setting MPFR precision to 320
43.758 * * * * [points]: Filtering points with unrepresentable outputs
43.786 * * * * [points]: Sampling 2729 additional inputs, on iter 7 have 5271 / 8000
43.798 * * * * [points]: Computing exacts on every 170 of 2729 points to ramp up precision
43.802 * * * * [points]: Setting MPFR precision to 64
43.804 * * * * [points]: Setting MPFR precision to 320
43.805 * * * * [points]: Computing exacts on every 85 of 2729 points to ramp up precision
43.809 * * * * [points]: Setting MPFR precision to 64
43.812 * * * * [points]: Setting MPFR precision to 320
43.814 * * * * [points]: Computing exacts on every 42 of 2729 points to ramp up precision
43.819 * * * * [points]: Setting MPFR precision to 64
43.842 * * * * [points]: Setting MPFR precision to 320
43.847 * * * * [points]: Computing exacts on every 21 of 2729 points to ramp up precision
43.853 * * * * [points]: Setting MPFR precision to 64
43.862 * * * * [points]: Setting MPFR precision to 320
43.871 * * * * [points]: Computing exacts on every 10 of 2729 points to ramp up precision
43.876 * * * * [points]: Setting MPFR precision to 64
43.894 * * * * [points]: Setting MPFR precision to 320
43.913 * * * * [points]: Computing exacts on every 5 of 2729 points to ramp up precision
43.918 * * * * [points]: Setting MPFR precision to 64
43.976 * * * * [points]: Setting MPFR precision to 320
44.013 * * * * [points]: Computing exacts on every 2 of 2729 points to ramp up precision
44.017 * * * * [points]: Setting MPFR precision to 64
44.180 * * * * [points]: Setting MPFR precision to 320
44.310 * * * * [points]: Computing exacts for 2729 points
44.320 * * * * [points]: Setting MPFR precision to 64
44.681 * * * * [points]: Setting MPFR precision to 320
45.040 * * * * [points]: Filtering points with unrepresentable outputs
45.064 * * * * [points]: Sampling 2359 additional inputs, on iter 8 have 5641 / 8000
45.074 * * * * [points]: Computing exacts on every 147 of 2359 points to ramp up precision
45.079 * * * * [points]: Setting MPFR precision to 64
45.080 * * * * [points]: Setting MPFR precision to 320
45.081 * * * * [points]: Computing exacts on every 73 of 2359 points to ramp up precision
45.086 * * * * [points]: Setting MPFR precision to 64
45.088 * * * * [points]: Setting MPFR precision to 320
45.090 * * * * [points]: Computing exacts on every 36 of 2359 points to ramp up precision
45.121 * * * * [points]: Setting MPFR precision to 64
45.132 * * * * [points]: Setting MPFR precision to 320
45.141 * * * * [points]: Computing exacts on every 18 of 2359 points to ramp up precision
45.150 * * * * [points]: Setting MPFR precision to 64
45.168 * * * * [points]: Setting MPFR precision to 320
45.186 * * * * [points]: Computing exacts on every 9 of 2359 points to ramp up precision
45.195 * * * * [points]: Setting MPFR precision to 64
45.226 * * * * [points]: Setting MPFR precision to 320
45.254 * * * * [points]: Computing exacts on every 4 of 2359 points to ramp up precision
45.259 * * * * [points]: Setting MPFR precision to 64
45.320 * * * * [points]: Setting MPFR precision to 320
45.365 * * * * [points]: Computing exacts on every 2 of 2359 points to ramp up precision
45.369 * * * * [points]: Setting MPFR precision to 64
45.457 * * * * [points]: Setting MPFR precision to 320
45.520 * * * * [points]: Computing exacts for 2359 points
45.525 * * * * [points]: Setting MPFR precision to 64
45.768 * * * * [points]: Setting MPFR precision to 320
46.529 * * * * [points]: Filtering points with unrepresentable outputs
46.603 * * * * [points]: Sampling 2017 additional inputs, on iter 9 have 5983 / 8000
46.620 * * * * [points]: Computing exacts on every 126 of 2017 points to ramp up precision
46.629 * * * * [points]: Setting MPFR precision to 64
46.631 * * * * [points]: Setting MPFR precision to 320
46.633 * * * * [points]: Computing exacts on every 63 of 2017 points to ramp up precision
46.642 * * * * [points]: Setting MPFR precision to 64
46.646 * * * * [points]: Setting MPFR precision to 320
46.650 * * * * [points]: Computing exacts on every 31 of 2017 points to ramp up precision
46.658 * * * * [points]: Setting MPFR precision to 64
46.667 * * * * [points]: Setting MPFR precision to 320
46.675 * * * * [points]: Computing exacts on every 15 of 2017 points to ramp up precision
46.684 * * * * [points]: Setting MPFR precision to 64
46.699 * * * * [points]: Setting MPFR precision to 320
46.709 * * * * [points]: Computing exacts on every 7 of 2017 points to ramp up precision
46.713 * * * * [points]: Setting MPFR precision to 64
46.731 * * * * [points]: Setting MPFR precision to 320
46.771 * * * * [points]: Computing exacts on every 3 of 2017 points to ramp up precision
46.775 * * * * [points]: Setting MPFR precision to 64
46.813 * * * * [points]: Setting MPFR precision to 320
46.854 * * * * [points]: Computing exacts for 2017 points
46.862 * * * * [points]: Setting MPFR precision to 64
47.246 * * * * [points]: Setting MPFR precision to 320
47.586 * * * * [points]: Filtering points with unrepresentable outputs
47.607 * * * * [points]: Sampling 1740 additional inputs, on iter 10 have 6260 / 8000
47.615 * * * * [points]: Computing exacts on every 108 of 1740 points to ramp up precision
47.620 * * * * [points]: Setting MPFR precision to 64
47.621 * * * * [points]: Setting MPFR precision to 320
47.622 * * * * [points]: Computing exacts on every 54 of 1740 points to ramp up precision
47.655 * * * * [points]: Setting MPFR precision to 64
47.658 * * * * [points]: Setting MPFR precision to 320
47.662 * * * * [points]: Computing exacts on every 27 of 1740 points to ramp up precision
47.667 * * * * [points]: Setting MPFR precision to 64
47.672 * * * * [points]: Setting MPFR precision to 320
47.677 * * * * [points]: Computing exacts on every 13 of 1740 points to ramp up precision
47.683 * * * * [points]: Setting MPFR precision to 64
47.701 * * * * [points]: Setting MPFR precision to 320
47.711 * * * * [points]: Computing exacts on every 6 of 1740 points to ramp up precision
47.715 * * * * [points]: Setting MPFR precision to 64
47.735 * * * * [points]: Setting MPFR precision to 320
47.755 * * * * [points]: Computing exacts on every 3 of 1740 points to ramp up precision
47.759 * * * * [points]: Setting MPFR precision to 64
47.844 * * * * [points]: Setting MPFR precision to 320
47.909 * * * * [points]: Computing exacts for 1740 points
47.918 * * * * [points]: Setting MPFR precision to 64
48.179 * * * * [points]: Setting MPFR precision to 320
48.455 * * * * [points]: Filtering points with unrepresentable outputs
48.545 * * * * [points]: Sampling 1476 additional inputs, on iter 11 have 6524 / 8000
48.557 * * * * [points]: Computing exacts on every 92 of 1476 points to ramp up precision
48.566 * * * * [points]: Setting MPFR precision to 64
48.569 * * * * [points]: Setting MPFR precision to 320
48.571 * * * * [points]: Computing exacts on every 46 of 1476 points to ramp up precision
48.580 * * * * [points]: Setting MPFR precision to 64
48.584 * * * * [points]: Setting MPFR precision to 320
48.589 * * * * [points]: Computing exacts on every 23 of 1476 points to ramp up precision
48.598 * * * * [points]: Setting MPFR precision to 64
48.607 * * * * [points]: Setting MPFR precision to 320
48.615 * * * * [points]: Computing exacts on every 11 of 1476 points to ramp up precision
48.625 * * * * [points]: Setting MPFR precision to 64
48.642 * * * * [points]: Setting MPFR precision to 320
48.659 * * * * [points]: Computing exacts on every 5 of 1476 points to ramp up precision
48.668 * * * * [points]: Setting MPFR precision to 64
48.736 * * * * [points]: Setting MPFR precision to 320
48.775 * * * * [points]: Computing exacts on every 2 of 1476 points to ramp up precision
48.784 * * * * [points]: Setting MPFR precision to 64
48.837 * * * * [points]: Setting MPFR precision to 320
48.876 * * * * [points]: Computing exacts for 1476 points
48.881 * * * * [points]: Setting MPFR precision to 64
49.124 * * * * [points]: Setting MPFR precision to 320
49.441 * * * * [points]: Filtering points with unrepresentable outputs
49.472 * * * * [points]: Sampling 1278 additional inputs, on iter 12 have 6722 / 8000
49.482 * * * * [points]: Computing exacts on every 79 of 1278 points to ramp up precision
49.491 * * * * [points]: Setting MPFR precision to 64
49.494 * * * * [points]: Setting MPFR precision to 320
49.496 * * * * [points]: Computing exacts on every 39 of 1278 points to ramp up precision
49.505 * * * * [points]: Setting MPFR precision to 64
49.509 * * * * [points]: Setting MPFR precision to 320
49.514 * * * * [points]: Computing exacts on every 19 of 1278 points to ramp up precision
49.523 * * * * [points]: Setting MPFR precision to 64
49.532 * * * * [points]: Setting MPFR precision to 320
49.542 * * * * [points]: Computing exacts on every 9 of 1278 points to ramp up precision
49.550 * * * * [points]: Setting MPFR precision to 64
49.569 * * * * [points]: Setting MPFR precision to 320
49.588 * * * * [points]: Computing exacts on every 4 of 1278 points to ramp up precision
49.596 * * * * [points]: Setting MPFR precision to 64
49.634 * * * * [points]: Setting MPFR precision to 320
49.703 * * * * [points]: Computing exacts on every 2 of 1278 points to ramp up precision
49.711 * * * * [points]: Setting MPFR precision to 64
49.773 * * * * [points]: Setting MPFR precision to 320
49.836 * * * * [points]: Computing exacts for 1278 points
49.845 * * * * [points]: Setting MPFR precision to 64
50.073 * * * * [points]: Setting MPFR precision to 320
50.690 * * * * [points]: Filtering points with unrepresentable outputs
50.714 * * * * [points]: Sampling 1107 additional inputs, on iter 13 have 6893 / 8000
50.722 * * * * [points]: Computing exacts on every 69 of 1107 points to ramp up precision
50.731 * * * * [points]: Setting MPFR precision to 64
50.733 * * * * [points]: Setting MPFR precision to 320
50.735 * * * * [points]: Computing exacts on every 34 of 1107 points to ramp up precision
50.744 * * * * [points]: Setting MPFR precision to 64
50.749 * * * * [points]: Setting MPFR precision to 320
50.753 * * * * [points]: Computing exacts on every 17 of 1107 points to ramp up precision
50.801 * * * * [points]: Setting MPFR precision to 64
50.812 * * * * [points]: Setting MPFR precision to 320
50.821 * * * * [points]: Computing exacts on every 8 of 1107 points to ramp up precision
50.830 * * * * [points]: Setting MPFR precision to 64
50.848 * * * * [points]: Setting MPFR precision to 320
50.866 * * * * [points]: Computing exacts on every 4 of 1107 points to ramp up precision
50.874 * * * * [points]: Setting MPFR precision to 64
50.906 * * * * [points]: Setting MPFR precision to 320
50.938 * * * * [points]: Computing exacts on every 2 of 1107 points to ramp up precision
50.947 * * * * [points]: Setting MPFR precision to 64
51.039 * * * * [points]: Setting MPFR precision to 320
51.096 * * * * [points]: Computing exacts for 1107 points
51.105 * * * * [points]: Setting MPFR precision to 64
51.313 * * * * [points]: Setting MPFR precision to 320
51.477 * * * * [points]: Filtering points with unrepresentable outputs
51.499 * * * * [points]: Sampling 954 additional inputs, on iter 14 have 7046 / 8000
51.506 * * * * [points]: Computing exacts on every 59 of 954 points to ramp up precision
51.560 * * * * [points]: Setting MPFR precision to 64
51.563 * * * * [points]: Setting MPFR precision to 320
51.565 * * * * [points]: Computing exacts on every 29 of 954 points to ramp up precision
51.576 * * * * [points]: Setting MPFR precision to 64
51.581 * * * * [points]: Setting MPFR precision to 320
51.585 * * * * [points]: Computing exacts on every 14 of 954 points to ramp up precision
51.594 * * * * [points]: Setting MPFR precision to 64
51.602 * * * * [points]: Setting MPFR precision to 320
51.612 * * * * [points]: Computing exacts on every 7 of 954 points to ramp up precision
51.620 * * * * [points]: Setting MPFR precision to 64
51.637 * * * * [points]: Setting MPFR precision to 320
51.654 * * * * [points]: Computing exacts on every 3 of 954 points to ramp up precision
51.663 * * * * [points]: Setting MPFR precision to 64
51.697 * * * * [points]: Setting MPFR precision to 320
51.731 * * * * [points]: Computing exacts for 954 points
51.775 * * * * [points]: Setting MPFR precision to 64
51.914 * * * * [points]: Setting MPFR precision to 320
52.108 * * * * [points]: Filtering points with unrepresentable outputs
52.126 * * * * [points]: Sampling 832 additional inputs, on iter 15 have 7168 / 8000
52.133 * * * * [points]: Computing exacts on every 52 of 832 points to ramp up precision
52.142 * * * * [points]: Setting MPFR precision to 64
52.145 * * * * [points]: Setting MPFR precision to 320
52.147 * * * * [points]: Computing exacts on every 26 of 832 points to ramp up precision
52.156 * * * * [points]: Setting MPFR precision to 64
52.161 * * * * [points]: Setting MPFR precision to 320
52.165 * * * * [points]: Computing exacts on every 13 of 832 points to ramp up precision
52.174 * * * * [points]: Setting MPFR precision to 64
52.183 * * * * [points]: Setting MPFR precision to 320
52.191 * * * * [points]: Computing exacts on every 6 of 832 points to ramp up precision
52.200 * * * * [points]: Setting MPFR precision to 64
52.217 * * * * [points]: Setting MPFR precision to 320
52.267 * * * * [points]: Computing exacts on every 3 of 832 points to ramp up precision
52.279 * * * * [points]: Setting MPFR precision to 64
52.308 * * * * [points]: Setting MPFR precision to 320
52.341 * * * * [points]: Computing exacts for 832 points
52.349 * * * * [points]: Setting MPFR precision to 64
52.509 * * * * [points]: Setting MPFR precision to 320
52.628 * * * * [points]: Filtering points with unrepresentable outputs
52.639 * * * * [points]: Sampling 714 additional inputs, on iter 16 have 7286 / 8000
52.642 * * * * [points]: Computing exacts on every 44 of 714 points to ramp up precision
52.647 * * * * [points]: Setting MPFR precision to 64
52.649 * * * * [points]: Setting MPFR precision to 320
52.650 * * * * [points]: Computing exacts on every 22 of 714 points to ramp up precision
52.659 * * * * [points]: Setting MPFR precision to 64
52.663 * * * * [points]: Setting MPFR precision to 320
52.668 * * * * [points]: Computing exacts on every 11 of 714 points to ramp up precision
52.677 * * * * [points]: Setting MPFR precision to 64
52.685 * * * * [points]: Setting MPFR precision to 320
52.718 * * * * [points]: Computing exacts on every 5 of 714 points to ramp up precision
52.723 * * * * [points]: Setting MPFR precision to 64
52.741 * * * * [points]: Setting MPFR precision to 320
52.750 * * * * [points]: Computing exacts on every 2 of 714 points to ramp up precision
52.755 * * * * [points]: Setting MPFR precision to 64
52.776 * * * * [points]: Setting MPFR precision to 320
52.812 * * * * [points]: Computing exacts for 714 points
52.821 * * * * [points]: Setting MPFR precision to 64
52.965 * * * * [points]: Setting MPFR precision to 320
53.068 * * * * [points]: Filtering points with unrepresentable outputs
53.083 * * * * [points]: Sampling 602 additional inputs, on iter 17 have 7398 / 8000
53.087 * * * * [points]: Computing exacts on every 37 of 602 points to ramp up precision
53.096 * * * * [points]: Setting MPFR precision to 64
53.098 * * * * [points]: Setting MPFR precision to 320
53.101 * * * * [points]: Computing exacts on every 18 of 602 points to ramp up precision
53.109 * * * * [points]: Setting MPFR precision to 64
53.114 * * * * [points]: Setting MPFR precision to 320
53.162 * * * * [points]: Computing exacts on every 9 of 602 points to ramp up precision
53.170 * * * * [points]: Setting MPFR precision to 64
53.182 * * * * [points]: Setting MPFR precision to 320
53.191 * * * * [points]: Computing exacts on every 4 of 602 points to ramp up precision
53.199 * * * * [points]: Setting MPFR precision to 64
53.216 * * * * [points]: Setting MPFR precision to 320
53.234 * * * * [points]: Computing exacts on every 2 of 602 points to ramp up precision
53.242 * * * * [points]: Setting MPFR precision to 64
53.270 * * * * [points]: Setting MPFR precision to 320
53.299 * * * * [points]: Computing exacts for 602 points
53.308 * * * * [points]: Setting MPFR precision to 64
53.432 * * * * [points]: Setting MPFR precision to 320
53.521 * * * * [points]: Filtering points with unrepresentable outputs
53.534 * * * * [points]: Sampling 512 additional inputs, on iter 18 have 7488 / 8000
53.538 * * * * [points]: Computing exacts on every 32 of 512 points to ramp up precision
53.546 * * * * [points]: Setting MPFR precision to 64
53.549 * * * * [points]: Setting MPFR precision to 320
53.551 * * * * [points]: Computing exacts on every 16 of 512 points to ramp up precision
53.558 * * * * [points]: Setting MPFR precision to 64
53.561 * * * * [points]: Setting MPFR precision to 320
53.563 * * * * [points]: Computing exacts on every 8 of 512 points to ramp up precision
53.567 * * * * [points]: Setting MPFR precision to 64
53.594 * * * * [points]: Setting MPFR precision to 320
53.599 * * * * [points]: Computing exacts on every 4 of 512 points to ramp up precision
53.605 * * * * [points]: Setting MPFR precision to 64
53.613 * * * * [points]: Setting MPFR precision to 320
53.621 * * * * [points]: Computing exacts on every 2 of 512 points to ramp up precision
53.625 * * * * [points]: Setting MPFR precision to 64
53.638 * * * * [points]: Setting MPFR precision to 320
53.652 * * * * [points]: Computing exacts for 512 points
53.656 * * * * [points]: Setting MPFR precision to 64
53.734 * * * * [points]: Setting MPFR precision to 320
53.813 * * * * [points]: Filtering points with unrepresentable outputs
53.824 * * * * [points]: Sampling 430 additional inputs, on iter 19 have 7570 / 8000
53.827 * * * * [points]: Computing exacts on every 26 of 430 points to ramp up precision
53.836 * * * * [points]: Setting MPFR precision to 64
53.839 * * * * [points]: Setting MPFR precision to 320
53.841 * * * * [points]: Computing exacts on every 13 of 430 points to ramp up precision
53.849 * * * * [points]: Setting MPFR precision to 64
53.854 * * * * [points]: Setting MPFR precision to 320
53.858 * * * * [points]: Computing exacts on every 6 of 430 points to ramp up precision
53.867 * * * * [points]: Setting MPFR precision to 64
53.875 * * * * [points]: Setting MPFR precision to 320
53.884 * * * * [points]: Computing exacts on every 3 of 430 points to ramp up precision
53.893 * * * * [points]: Setting MPFR precision to 64
53.908 * * * * [points]: Setting MPFR precision to 320
53.961 * * * * [points]: Computing exacts for 430 points
53.972 * * * * [points]: Setting MPFR precision to 64
54.032 * * * * [points]: Setting MPFR precision to 320
54.096 * * * * [points]: Filtering points with unrepresentable outputs
54.104 * * * * [points]: Sampling 367 additional inputs, on iter 20 have 7633 / 8000
54.107 * * * * [points]: Computing exacts on every 22 of 367 points to ramp up precision
54.116 * * * * [points]: Setting MPFR precision to 64
54.119 * * * * [points]: Setting MPFR precision to 320
54.121 * * * * [points]: Computing exacts on every 11 of 367 points to ramp up precision
54.130 * * * * [points]: Setting MPFR precision to 64
54.134 * * * * [points]: Setting MPFR precision to 320
54.139 * * * * [points]: Computing exacts on every 5 of 367 points to ramp up precision
54.147 * * * * [points]: Setting MPFR precision to 64
54.192 * * * * [points]: Setting MPFR precision to 320
54.205 * * * * [points]: Computing exacts on every 2 of 367 points to ramp up precision
54.214 * * * * [points]: Setting MPFR precision to 64
54.232 * * * * [points]: Setting MPFR precision to 320
54.249 * * * * [points]: Computing exacts for 367 points
54.258 * * * * [points]: Setting MPFR precision to 64
54.309 * * * * [points]: Setting MPFR precision to 320
54.363 * * * * [points]: Filtering points with unrepresentable outputs
54.371 * * * * [points]: Sampling 316 additional inputs, on iter 21 have 7684 / 8000
54.373 * * * * [points]: Computing exacts on every 19 of 316 points to ramp up precision
54.381 * * * * [points]: Setting MPFR precision to 64
54.425 * * * * [points]: Setting MPFR precision to 320
54.427 * * * * [points]: Computing exacts on every 9 of 316 points to ramp up precision
54.439 * * * * [points]: Setting MPFR precision to 64
54.444 * * * * [points]: Setting MPFR precision to 320
54.448 * * * * [points]: Computing exacts on every 4 of 316 points to ramp up precision
54.457 * * * * [points]: Setting MPFR precision to 64
54.466 * * * * [points]: Setting MPFR precision to 320
54.475 * * * * [points]: Computing exacts on every 2 of 316 points to ramp up precision
54.484 * * * * [points]: Setting MPFR precision to 64
54.498 * * * * [points]: Setting MPFR precision to 320
54.506 * * * * [points]: Computing exacts for 316 points
54.511 * * * * [points]: Setting MPFR precision to 64
54.534 * * * * [points]: Setting MPFR precision to 320
54.853 * * * * [points]: Filtering points with unrepresentable outputs
54.856 * * * * [points]: Sampling 273 additional inputs, on iter 22 have 7727 / 8000
54.858 * * * * [points]: Computing exacts on every 17 of 273 points to ramp up precision
54.867 * * * * [points]: Setting MPFR precision to 64
54.869 * * * * [points]: Setting MPFR precision to 320
54.872 * * * * [points]: Computing exacts on every 8 of 273 points to ramp up precision
54.880 * * * * [points]: Setting MPFR precision to 64
54.885 * * * * [points]: Setting MPFR precision to 320
54.889 * * * * [points]: Computing exacts on every 4 of 273 points to ramp up precision
54.898 * * * * [points]: Setting MPFR precision to 64
54.905 * * * * [points]: Setting MPFR precision to 320
54.913 * * * * [points]: Computing exacts on every 2 of 273 points to ramp up precision
54.922 * * * * [points]: Setting MPFR precision to 64
54.935 * * * * [points]: Setting MPFR precision to 320
54.948 * * * * [points]: Computing exacts for 273 points
54.957 * * * * [points]: Setting MPFR precision to 64
54.996 * * * * [points]: Setting MPFR precision to 320
55.068 * * * * [points]: Filtering points with unrepresentable outputs
55.073 * * * * [points]: Sampling 243 additional inputs, on iter 23 have 7757 / 8000
55.075 * * * * [points]: Computing exacts on every 15 of 243 points to ramp up precision
55.083 * * * * [points]: Setting MPFR precision to 64
55.086 * * * * [points]: Setting MPFR precision to 320
55.088 * * * * [points]: Computing exacts on every 7 of 243 points to ramp up precision
55.097 * * * * [points]: Setting MPFR precision to 64
55.101 * * * * [points]: Setting MPFR precision to 320
55.106 * * * * [points]: Computing exacts on every 3 of 243 points to ramp up precision
55.115 * * * * [points]: Setting MPFR precision to 64
55.124 * * * * [points]: Setting MPFR precision to 320
55.133 * * * * [points]: Computing exacts for 243 points
55.142 * * * * [points]: Setting MPFR precision to 64
55.176 * * * * [points]: Setting MPFR precision to 320
55.211 * * * * [points]: Filtering points with unrepresentable outputs
55.216 * * * * [points]: Sampling 211 additional inputs, on iter 24 have 7789 / 8000
55.217 * * * * [points]: Computing exacts on every 13 of 211 points to ramp up precision
55.223 * * * * [points]: Setting MPFR precision to 64
55.225 * * * * [points]: Setting MPFR precision to 320
55.226 * * * * [points]: Computing exacts on every 6 of 211 points to ramp up precision
55.250 * * * * [points]: Setting MPFR precision to 64
55.255 * * * * [points]: Setting MPFR precision to 320
55.262 * * * * [points]: Computing exacts on every 3 of 211 points to ramp up precision
55.271 * * * * [points]: Setting MPFR precision to 64
55.278 * * * * [points]: Setting MPFR precision to 320
55.286 * * * * [points]: Computing exacts for 211 points
55.294 * * * * [points]: Setting MPFR precision to 64
55.323 * * * * [points]: Setting MPFR precision to 320
55.354 * * * * [points]: Filtering points with unrepresentable outputs
55.358 * * * * [points]: Sampling 179 additional inputs, on iter 25 have 7821 / 8000
55.360 * * * * [points]: Computing exacts on every 11 of 179 points to ramp up precision
55.368 * * * * [points]: Setting MPFR precision to 64
55.371 * * * * [points]: Setting MPFR precision to 320
55.373 * * * * [points]: Computing exacts on every 5 of 179 points to ramp up precision
55.381 * * * * [points]: Setting MPFR precision to 64
55.386 * * * * [points]: Setting MPFR precision to 320
55.390 * * * * [points]: Computing exacts on every 2 of 179 points to ramp up precision
55.398 * * * * [points]: Setting MPFR precision to 64
55.407 * * * * [points]: Setting MPFR precision to 320
55.416 * * * * [points]: Computing exacts for 179 points
55.454 * * * * [points]: Setting MPFR precision to 64
55.483 * * * * [points]: Setting MPFR precision to 320
55.509 * * * * [points]: Filtering points with unrepresentable outputs
55.512 * * * * [points]: Sampling 159 additional inputs, on iter 26 have 7841 / 8000
55.513 * * * * [points]: Computing exacts on every 9 of 159 points to ramp up precision
55.522 * * * * [points]: Setting MPFR precision to 64
55.524 * * * * [points]: Setting MPFR precision to 320
55.526 * * * * [points]: Computing exacts on every 4 of 159 points to ramp up precision
55.535 * * * * [points]: Setting MPFR precision to 64
55.539 * * * * [points]: Setting MPFR precision to 320
55.544 * * * * [points]: Computing exacts on every 2 of 159 points to ramp up precision
55.553 * * * * [points]: Setting MPFR precision to 64
55.559 * * * * [points]: Setting MPFR precision to 320
55.567 * * * * [points]: Computing exacts for 159 points
55.576 * * * * [points]: Setting MPFR precision to 64
55.598 * * * * [points]: Setting MPFR precision to 320
55.622 * * * * [points]: Filtering points with unrepresentable outputs
55.627 * * * * [points]: Sampling 127 additional inputs, on iter 27 have 7873 / 8000
55.628 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
55.668 * * * * [points]: Setting MPFR precision to 64
55.674 * * * * [points]: Setting MPFR precision to 320
55.676 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
55.685 * * * * [points]: Setting MPFR precision to 64
55.689 * * * * [points]: Setting MPFR precision to 320
55.694 * * * * [points]: Computing exacts for 127 points
55.703 * * * * [points]: Setting MPFR precision to 64
55.720 * * * * [points]: Setting MPFR precision to 320
55.739 * * * * [points]: Filtering points with unrepresentable outputs
55.743 * * * * [points]: Sampling 103 additional inputs, on iter 28 have 7897 / 8000
55.744 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
55.752 * * * * [points]: Setting MPFR precision to 64
55.754 * * * * [points]: Setting MPFR precision to 320
55.756 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
55.765 * * * * [points]: Setting MPFR precision to 64
55.768 * * * * [points]: Setting MPFR precision to 320
55.772 * * * * [points]: Computing exacts for 103 points
55.781 * * * * [points]: Setting MPFR precision to 64
55.796 * * * * [points]: Setting MPFR precision to 320
55.810 * * * * [points]: Filtering points with unrepresentable outputs
55.812 * * * * [points]: Sampling 86 additional inputs, on iter 29 have 7914 / 8000
55.813 * * * * [points]: Computing exacts on every 5 of 86 points to ramp up precision
55.821 * * * * [points]: Setting MPFR precision to 64
55.824 * * * * [points]: Setting MPFR precision to 320
55.826 * * * * [points]: Computing exacts on every 2 of 86 points to ramp up precision
55.856 * * * * [points]: Setting MPFR precision to 64
55.858 * * * * [points]: Setting MPFR precision to 320
55.861 * * * * [points]: Computing exacts for 86 points
55.866 * * * * [points]: Setting MPFR precision to 64
55.873 * * * * [points]: Setting MPFR precision to 320
55.882 * * * * [points]: Filtering points with unrepresentable outputs
55.884 * * * * [points]: Sampling 71 additional inputs, on iter 30 have 7929 / 8000
55.885 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
55.894 * * * * [points]: Setting MPFR precision to 64
55.896 * * * * [points]: Setting MPFR precision to 320
55.898 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
55.907 * * * * [points]: Setting MPFR precision to 64
55.910 * * * * [points]: Setting MPFR precision to 320
55.913 * * * * [points]: Computing exacts for 71 points
55.921 * * * * [points]: Setting MPFR precision to 64
55.931 * * * * [points]: Setting MPFR precision to 320
55.941 * * * * [points]: Filtering points with unrepresentable outputs
55.942 * * * * [points]: Sampling 65 additional inputs, on iter 31 have 7935 / 8000
55.942 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
55.951 * * * * [points]: Setting MPFR precision to 64
55.953 * * * * [points]: Setting MPFR precision to 320
55.955 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
55.964 * * * * [points]: Setting MPFR precision to 64
55.967 * * * * [points]: Setting MPFR precision to 320
55.970 * * * * [points]: Computing exacts for 65 points
55.979 * * * * [points]: Setting MPFR precision to 64
55.988 * * * * [points]: Setting MPFR precision to 320
56.023 * * * * [points]: Filtering points with unrepresentable outputs
56.024 * * * * [points]: Sampling 57 additional inputs, on iter 32 have 7943 / 8000
56.024 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
56.037 * * * * [points]: Setting MPFR precision to 64
56.039 * * * * [points]: Setting MPFR precision to 320
56.041 * * * * [points]: Computing exacts for 57 points
56.050 * * * * [points]: Setting MPFR precision to 64
56.058 * * * * [points]: Setting MPFR precision to 320
56.066 * * * * [points]: Filtering points with unrepresentable outputs
56.067 * * * * [points]: Sampling 54 additional inputs, on iter 33 have 7946 / 8000
56.067 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
56.076 * * * * [points]: Setting MPFR precision to 64
56.078 * * * * [points]: Setting MPFR precision to 320
56.080 * * * * [points]: Computing exacts for 54 points
56.089 * * * * [points]: Setting MPFR precision to 64
56.096 * * * * [points]: Setting MPFR precision to 320
56.104 * * * * [points]: Filtering points with unrepresentable outputs
56.105 * * * * [points]: Sampling 48 additional inputs, on iter 34 have 7952 / 8000
56.105 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
56.114 * * * * [points]: Setting MPFR precision to 64
56.116 * * * * [points]: Setting MPFR precision to 320
56.118 * * * * [points]: Computing exacts for 48 points
56.126 * * * * [points]: Setting MPFR precision to 64
56.133 * * * * [points]: Setting MPFR precision to 320
56.140 * * * * [points]: Filtering points with unrepresentable outputs
56.141 * * * * [points]: Sampling 43 additional inputs, on iter 35 have 7957 / 8000
56.141 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
56.150 * * * * [points]: Setting MPFR precision to 64
56.152 * * * * [points]: Setting MPFR precision to 320
56.154 * * * * [points]: Computing exacts for 43 points
56.162 * * * * [points]: Setting MPFR precision to 64
56.168 * * * * [points]: Setting MPFR precision to 320
56.174 * * * * [points]: Filtering points with unrepresentable outputs
56.175 * * * * [points]: Sampling 36 additional inputs, on iter 36 have 7964 / 8000
56.176 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
56.210 * * * * [points]: Setting MPFR precision to 64
56.212 * * * * [points]: Setting MPFR precision to 320
56.216 * * * * [points]: Computing exacts for 36 points
56.225 * * * * [points]: Setting MPFR precision to 64
56.230 * * * * [points]: Setting MPFR precision to 320
56.235 * * * * [points]: Filtering points with unrepresentable outputs
56.235 * * * * [points]: Sampling 34 additional inputs, on iter 37 have 7966 / 8000
56.236 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
56.244 * * * * [points]: Setting MPFR precision to 64
56.246 * * * * [points]: Setting MPFR precision to 320
56.247 * * * * [points]: Computing exacts for 34 points
56.256 * * * * [points]: Setting MPFR precision to 64
56.261 * * * * [points]: Setting MPFR precision to 320
56.266 * * * * [points]: Filtering points with unrepresentable outputs
56.267 * * * * [points]: Sampling 29 additional inputs, on iter 38 have 7971 / 8000
56.267 * * * * [points]: Computing exacts for 29 points
56.275 * * * * [points]: Setting MPFR precision to 64
56.280 * * * * [points]: Setting MPFR precision to 320
56.284 * * * * [points]: Filtering points with unrepresentable outputs
56.284 * * * * [points]: Sampling 27 additional inputs, on iter 39 have 7973 / 8000
56.284 * * * * [points]: Computing exacts for 27 points
56.293 * * * * [points]: Setting MPFR precision to 64
56.298 * * * * [points]: Setting MPFR precision to 320
56.302 * * * * [points]: Filtering points with unrepresentable outputs
56.302 * * * * [points]: Sampling 23 additional inputs, on iter 40 have 7977 / 8000
56.302 * * * * [points]: Computing exacts for 23 points
56.311 * * * * [points]: Setting MPFR precision to 64
56.315 * * * * [points]: Setting MPFR precision to 320
56.318 * * * * [points]: Filtering points with unrepresentable outputs
56.318 * * * * [points]: Sampling 20 additional inputs, on iter 41 have 7980 / 8000
56.319 * * * * [points]: Computing exacts for 20 points
56.327 * * * * [points]: Setting MPFR precision to 64
56.330 * * * * [points]: Setting MPFR precision to 320
56.333 * * * * [points]: Filtering points with unrepresentable outputs
56.334 * * * * [points]: Sampling 17 additional inputs, on iter 42 have 7983 / 8000
56.334 * * * * [points]: Computing exacts for 17 points
56.343 * * * * [points]: Setting MPFR precision to 64
56.346 * * * * [points]: Setting MPFR precision to 320
56.348 * * * * [points]: Filtering points with unrepresentable outputs
56.349 * * * * [points]: Sampling 14 additional inputs, on iter 43 have 7986 / 8000
56.349 * * * * [points]: Computing exacts for 14 points
56.376 * * * * [points]: Setting MPFR precision to 64
56.378 * * * * [points]: Setting MPFR precision to 320
56.380 * * * * [points]: Filtering points with unrepresentable outputs
56.380 * * * * [points]: Sampling 14 additional inputs, on iter 44 have 7986 / 8000
56.380 * * * * [points]: Computing exacts for 14 points
56.392 * * * * [points]: Setting MPFR precision to 64
56.395 * * * * [points]: Setting MPFR precision to 320
56.397 * * * * [points]: Filtering points with unrepresentable outputs
56.397 * * * * [points]: Sampling 13 additional inputs, on iter 45 have 7987 / 8000
56.397 * * * * [points]: Computing exacts for 13 points
56.406 * * * * [points]: Setting MPFR precision to 64
56.408 * * * * [points]: Setting MPFR precision to 320
56.409 * * * * [points]: Filtering points with unrepresentable outputs
56.410 * * * * [points]: Sampling 11 additional inputs, on iter 46 have 7989 / 8000
56.410 * * * * [points]: Computing exacts for 11 points
56.416 * * * * [points]: Setting MPFR precision to 64
56.417 * * * * [points]: Setting MPFR precision to 320
56.418 * * * * [points]: Filtering points with unrepresentable outputs
56.418 * * * * [points]: Sampling 11 additional inputs, on iter 47 have 7989 / 8000
56.418 * * * * [points]: Computing exacts for 11 points
56.422 * * * * [points]: Setting MPFR precision to 64
56.423 * * * * [points]: Setting MPFR precision to 320
56.424 * * * * [points]: Filtering points with unrepresentable outputs
56.424 * * * * [points]: Sampling 9 additional inputs, on iter 48 have 7991 / 8000
56.424 * * * * [points]: Computing exacts for 9 points
56.428 * * * * [points]: Setting MPFR precision to 64
56.429 * * * * [points]: Setting MPFR precision to 320
56.430 * * * * [points]: Filtering points with unrepresentable outputs
56.430 * * * * [points]: Sampling 7 additional inputs, on iter 49 have 7993 / 8000
56.430 * * * * [points]: Computing exacts for 7 points
56.435 * * * * [points]: Setting MPFR precision to 64
56.435 * * * * [points]: Setting MPFR precision to 320
56.436 * * * * [points]: Filtering points with unrepresentable outputs
56.436 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7996 / 8000
56.437 * * * * [points]: Computing exacts for 4 points
56.441 * * * * [points]: Setting MPFR precision to 64
56.442 * * * * [points]: Setting MPFR precision to 320
56.442 * * * * [points]: Filtering points with unrepresentable outputs
56.442 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7996 / 8000
56.442 * * * * [points]: Computing exacts for 4 points
56.446 * * * * [points]: Setting MPFR precision to 64
56.447 * * * * [points]: Setting MPFR precision to 320
56.447 * * * * [points]: Filtering points with unrepresentable outputs
56.447 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7997 / 8000
56.447 * * * * [points]: Computing exacts for 4 points
56.451 * * * * [points]: Setting MPFR precision to 64
56.452 * * * * [points]: Setting MPFR precision to 320
56.452 * * * * [points]: Filtering points with unrepresentable outputs
56.452 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7998 / 8000
56.452 * * * * [points]: Computing exacts for 4 points
56.457 * * * * [points]: Setting MPFR precision to 64
56.457 * * * * [points]: Setting MPFR precision to 320
56.457 * * * * [points]: Filtering points with unrepresentable outputs
56.458 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7998 / 8000
56.458 * * * * [points]: Computing exacts for 4 points
56.470 * * * * [points]: Setting MPFR precision to 64
56.470 * * * * [points]: Setting MPFR precision to 320
56.471 * * * * [points]: Filtering points with unrepresentable outputs
56.471 * * * * [points]: Sampled 8000 points with exact outputs
68.298 * [regime-testing]: Baseline error score: 64.0
68.302 * [regime-testing]: Oracle error score: 64.0
68.309 * [regime-testing]: End program error score: 1.4731127700187017