0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.036 * * * * [points]: Setting MPFR precision to 320
0.042 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.049 * * * * [points]: Setting MPFR precision to 64
0.057 * * * * [points]: Setting MPFR precision to 320
0.064 * * * * [points]: Computing exacts for 256 points
0.073 * * * * [points]: Setting MPFR precision to 64
0.112 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Filtering points with unrepresentable outputs
0.131 * * * * [points]: Sampling 213 additional inputs, on iter 1 have 43 / 256
0.133 * * * * [points]: Computing exacts on every 13 of 213 points to ramp up precision
0.140 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.142 * * * * [points]: Computing exacts on every 6 of 213 points to ramp up precision
0.147 * * * * [points]: Setting MPFR precision to 64
0.149 * * * * [points]: Setting MPFR precision to 320
0.151 * * * * [points]: Computing exacts on every 3 of 213 points to ramp up precision
0.155 * * * * [points]: Setting MPFR precision to 64
0.159 * * * * [points]: Setting MPFR precision to 320
0.163 * * * * [points]: Computing exacts for 213 points
0.168 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.222 * * * * [points]: Filtering points with unrepresentable outputs
0.223 * * * * [points]: Sampling 182 additional inputs, on iter 2 have 74 / 256
0.223 * * * * [points]: Computing exacts on every 11 of 182 points to ramp up precision
0.230 * * * * [points]: Setting MPFR precision to 64
0.231 * * * * [points]: Setting MPFR precision to 320
0.232 * * * * [points]: Computing exacts on every 5 of 182 points to ramp up precision
0.237 * * * * [points]: Setting MPFR precision to 64
0.239 * * * * [points]: Setting MPFR precision to 320
0.242 * * * * [points]: Computing exacts on every 2 of 182 points to ramp up precision
0.246 * * * * [points]: Setting MPFR precision to 64
0.251 * * * * [points]: Setting MPFR precision to 320
0.255 * * * * [points]: Computing exacts for 182 points
0.260 * * * * [points]: Setting MPFR precision to 64
0.274 * * * * [points]: Setting MPFR precision to 320
0.296 * * * * [points]: Filtering points with unrepresentable outputs
0.296 * * * * [points]: Sampling 153 additional inputs, on iter 3 have 103 / 256
0.297 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
0.305 * * * * [points]: Setting MPFR precision to 64
0.307 * * * * [points]: Setting MPFR precision to 320
0.309 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
0.316 * * * * [points]: Setting MPFR precision to 64
0.320 * * * * [points]: Setting MPFR precision to 320
0.323 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
0.351 * * * * [points]: Setting MPFR precision to 64
0.356 * * * * [points]: Setting MPFR precision to 320
0.365 * * * * [points]: Computing exacts for 153 points
0.372 * * * * [points]: Setting MPFR precision to 64
0.389 * * * * [points]: Setting MPFR precision to 320
0.408 * * * * [points]: Filtering points with unrepresentable outputs
0.408 * * * * [points]: Sampling 140 additional inputs, on iter 4 have 116 / 256
0.409 * * * * [points]: Computing exacts on every 8 of 140 points to ramp up precision
0.416 * * * * [points]: Setting MPFR precision to 64
0.418 * * * * [points]: Setting MPFR precision to 320
0.420 * * * * [points]: Computing exacts on every 4 of 140 points to ramp up precision
0.427 * * * * [points]: Setting MPFR precision to 64
0.430 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Computing exacts on every 2 of 140 points to ramp up precision
0.439 * * * * [points]: Setting MPFR precision to 64
0.443 * * * * [points]: Setting MPFR precision to 320
0.446 * * * * [points]: Computing exacts for 140 points
0.451 * * * * [points]: Setting MPFR precision to 64
0.461 * * * * [points]: Setting MPFR precision to 320
0.489 * * * * [points]: Filtering points with unrepresentable outputs
0.489 * * * * [points]: Sampling 118 additional inputs, on iter 5 have 138 / 256
0.490 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.495 * * * * [points]: Setting MPFR precision to 64
0.498 * * * * [points]: Setting MPFR precision to 320
0.499 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.503 * * * * [points]: Setting MPFR precision to 64
0.506 * * * * [points]: Setting MPFR precision to 320
0.508 * * * * [points]: Computing exacts for 118 points
0.512 * * * * [points]: Setting MPFR precision to 64
0.521 * * * * [points]: Setting MPFR precision to 320
0.529 * * * * [points]: Filtering points with unrepresentable outputs
0.529 * * * * [points]: Sampling 103 additional inputs, on iter 6 have 153 / 256
0.530 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
0.534 * * * * [points]: Setting MPFR precision to 64
0.535 * * * * [points]: Setting MPFR precision to 320
0.536 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
0.541 * * * * [points]: Setting MPFR precision to 64
0.543 * * * * [points]: Setting MPFR precision to 320
0.545 * * * * [points]: Computing exacts for 103 points
0.549 * * * * [points]: Setting MPFR precision to 64
0.556 * * * * [points]: Setting MPFR precision to 320
0.564 * * * * [points]: Filtering points with unrepresentable outputs
0.564 * * * * [points]: Sampling 89 additional inputs, on iter 7 have 167 / 256
0.564 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.588 * * * * [points]: Setting MPFR precision to 64
0.589 * * * * [points]: Setting MPFR precision to 320
0.590 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.595 * * * * [points]: Setting MPFR precision to 64
0.598 * * * * [points]: Setting MPFR precision to 320
0.600 * * * * [points]: Computing exacts for 89 points
0.604 * * * * [points]: Setting MPFR precision to 64
0.611 * * * * [points]: Setting MPFR precision to 320
0.617 * * * * [points]: Filtering points with unrepresentable outputs
0.617 * * * * [points]: Sampling 82 additional inputs, on iter 8 have 174 / 256
0.618 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision
0.622 * * * * [points]: Setting MPFR precision to 64
0.623 * * * * [points]: Setting MPFR precision to 320
0.624 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision
0.629 * * * * [points]: Setting MPFR precision to 64
0.631 * * * * [points]: Setting MPFR precision to 320
0.633 * * * * [points]: Computing exacts for 82 points
0.637 * * * * [points]: Setting MPFR precision to 64
0.643 * * * * [points]: Setting MPFR precision to 320
0.649 * * * * [points]: Filtering points with unrepresentable outputs
0.649 * * * * [points]: Sampling 76 additional inputs, on iter 9 have 180 / 256
0.649 * * * * [points]: Computing exacts on every 4 of 76 points to ramp up precision
0.654 * * * * [points]: Setting MPFR precision to 64
0.655 * * * * [points]: Setting MPFR precision to 320
0.656 * * * * [points]: Computing exacts on every 2 of 76 points to ramp up precision
0.661 * * * * [points]: Setting MPFR precision to 64
0.663 * * * * [points]: Setting MPFR precision to 320
0.665 * * * * [points]: Computing exacts for 76 points
0.687 * * * * [points]: Setting MPFR precision to 64
0.693 * * * * [points]: Setting MPFR precision to 320
0.700 * * * * [points]: Filtering points with unrepresentable outputs
0.700 * * * * [points]: Sampling 60 additional inputs, on iter 10 have 196 / 256
0.700 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.705 * * * * [points]: Setting MPFR precision to 64
0.706 * * * * [points]: Setting MPFR precision to 320
0.707 * * * * [points]: Computing exacts for 60 points
0.713 * * * * [points]: Setting MPFR precision to 64
0.720 * * * * [points]: Setting MPFR precision to 320
0.724 * * * * [points]: Filtering points with unrepresentable outputs
0.724 * * * * [points]: Sampling 51 additional inputs, on iter 11 have 205 / 256
0.724 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
0.731 * * * * [points]: Setting MPFR precision to 64
0.732 * * * * [points]: Setting MPFR precision to 320
0.734 * * * * [points]: Computing exacts for 51 points
0.741 * * * * [points]: Setting MPFR precision to 64
0.745 * * * * [points]: Setting MPFR precision to 320
0.750 * * * * [points]: Filtering points with unrepresentable outputs
0.750 * * * * [points]: Sampling 45 additional inputs, on iter 12 have 211 / 256
0.750 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
0.758 * * * * [points]: Setting MPFR precision to 64
0.760 * * * * [points]: Setting MPFR precision to 320
0.762 * * * * [points]: Computing exacts for 45 points
0.770 * * * * [points]: Setting MPFR precision to 64
0.774 * * * * [points]: Setting MPFR precision to 320
0.778 * * * * [points]: Filtering points with unrepresentable outputs
0.778 * * * * [points]: Sampling 38 additional inputs, on iter 13 have 218 / 256
0.779 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.786 * * * * [points]: Setting MPFR precision to 64
1.091 * * * * [points]: Setting MPFR precision to 320
1.092 * * * * [points]: Computing exacts for 38 points
1.097 * * * * [points]: Setting MPFR precision to 64
1.100 * * * * [points]: Setting MPFR precision to 320
1.102 * * * * [points]: Filtering points with unrepresentable outputs
1.103 * * * * [points]: Sampling 32 additional inputs, on iter 14 have 224 / 256
1.103 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1.109 * * * * [points]: Setting MPFR precision to 64
1.111 * * * * [points]: Setting MPFR precision to 320
1.112 * * * * [points]: Computing exacts for 32 points
1.118 * * * * [points]: Setting MPFR precision to 64
1.122 * * * * [points]: Setting MPFR precision to 320
1.126 * * * * [points]: Filtering points with unrepresentable outputs
1.126 * * * * [points]: Sampling 27 additional inputs, on iter 15 have 229 / 256
1.127 * * * * [points]: Computing exacts for 27 points
1.135 * * * * [points]: Setting MPFR precision to 64
1.138 * * * * [points]: Setting MPFR precision to 320
1.142 * * * * [points]: Filtering points with unrepresentable outputs
1.142 * * * * [points]: Sampling 22 additional inputs, on iter 16 have 234 / 256
1.142 * * * * [points]: Computing exacts for 22 points
1.148 * * * * [points]: Setting MPFR precision to 64
1.150 * * * * [points]: Setting MPFR precision to 320
1.151 * * * * [points]: Filtering points with unrepresentable outputs
1.151 * * * * [points]: Sampling 21 additional inputs, on iter 17 have 235 / 256
1.151 * * * * [points]: Computing exacts for 21 points
1.156 * * * * [points]: Setting MPFR precision to 64
1.158 * * * * [points]: Setting MPFR precision to 320
1.159 * * * * [points]: Filtering points with unrepresentable outputs
1.159 * * * * [points]: Sampling 18 additional inputs, on iter 18 have 238 / 256
1.159 * * * * [points]: Computing exacts for 18 points
1.165 * * * * [points]: Setting MPFR precision to 64
1.167 * * * * [points]: Setting MPFR precision to 320
1.168 * * * * [points]: Filtering points with unrepresentable outputs
1.168 * * * * [points]: Sampling 15 additional inputs, on iter 19 have 241 / 256
1.168 * * * * [points]: Computing exacts for 15 points
1.173 * * * * [points]: Setting MPFR precision to 64
1.174 * * * * [points]: Setting MPFR precision to 320
1.175 * * * * [points]: Filtering points with unrepresentable outputs
1.175 * * * * [points]: Sampling 14 additional inputs, on iter 20 have 242 / 256
1.175 * * * * [points]: Computing exacts for 14 points
1.180 * * * * [points]: Setting MPFR precision to 64
1.192 * * * * [points]: Setting MPFR precision to 320
1.193 * * * * [points]: Filtering points with unrepresentable outputs
1.193 * * * * [points]: Sampling 11 additional inputs, on iter 21 have 245 / 256
1.193 * * * * [points]: Computing exacts for 11 points
1.197 * * * * [points]: Setting MPFR precision to 64
1.198 * * * * [points]: Setting MPFR precision to 320
1.199 * * * * [points]: Filtering points with unrepresentable outputs
1.199 * * * * [points]: Sampling 10 additional inputs, on iter 22 have 246 / 256
1.199 * * * * [points]: Computing exacts for 10 points
1.204 * * * * [points]: Setting MPFR precision to 64
1.205 * * * * [points]: Setting MPFR precision to 320
1.206 * * * * [points]: Filtering points with unrepresentable outputs
1.206 * * * * [points]: Sampling 9 additional inputs, on iter 23 have 247 / 256
1.206 * * * * [points]: Computing exacts for 9 points
1.210 * * * * [points]: Setting MPFR precision to 64
1.211 * * * * [points]: Setting MPFR precision to 320
1.212 * * * * [points]: Filtering points with unrepresentable outputs
1.212 * * * * [points]: Sampling 8 additional inputs, on iter 24 have 248 / 256
1.212 * * * * [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 7 additional inputs, on iter 25 have 249 / 256
1.218 * * * * [points]: Computing exacts for 7 points
1.222 * * * * [points]: Setting MPFR precision to 64
1.223 * * * * [points]: Setting MPFR precision to 320
1.224 * * * * [points]: Filtering points with unrepresentable outputs
1.224 * * * * [points]: Sampling 7 additional inputs, on iter 26 have 249 / 256
1.224 * * * * [points]: Computing exacts for 7 points
1.228 * * * * [points]: Setting MPFR precision to 64
1.229 * * * * [points]: Setting MPFR precision to 320
1.229 * * * * [points]: Filtering points with unrepresentable outputs
1.229 * * * * [points]: Sampling 6 additional inputs, on iter 27 have 250 / 256
1.230 * * * * [points]: Computing exacts for 6 points
1.234 * * * * [points]: Setting MPFR precision to 64
1.235 * * * * [points]: Setting MPFR precision to 320
1.235 * * * * [points]: Filtering points with unrepresentable outputs
1.235 * * * * [points]: Sampling 5 additional inputs, on iter 28 have 251 / 256
1.235 * * * * [points]: Computing exacts for 5 points
1.240 * * * * [points]: Setting MPFR precision to 64
1.240 * * * * [points]: Setting MPFR precision to 320
1.241 * * * * [points]: Filtering points with unrepresentable outputs
1.241 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
1.241 * * * * [points]: Computing exacts for 4 points
1.245 * * * * [points]: Setting MPFR precision to 64
1.246 * * * * [points]: Setting MPFR precision to 320
1.246 * * * * [points]: Filtering points with unrepresentable outputs
1.246 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
1.246 * * * * [points]: Computing exacts for 4 points
1.251 * * * * [points]: Setting MPFR precision to 64
1.252 * * * * [points]: Setting MPFR precision to 320
1.252 * * * * [points]: Filtering points with unrepresentable outputs
1.252 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.252 * * * * [points]: Computing exacts for 4 points
1.264 * * * * [points]: Setting MPFR precision to 64
1.265 * * * * [points]: Setting MPFR precision to 320
1.265 * * * * [points]: Filtering points with unrepresentable outputs
1.265 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.265 * * * * [points]: Computing exacts for 4 points
1.270 * * * * [points]: Setting MPFR precision to 64
1.270 * * * * [points]: Setting MPFR precision to 320
1.270 * * * * [points]: Filtering points with unrepresentable outputs
1.270 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.270 * * * * [points]: Computing exacts for 4 points
1.275 * * * * [points]: Setting MPFR precision to 64
1.276 * * * * [points]: Setting MPFR precision to 320
1.276 * * * * [points]: Filtering points with unrepresentable outputs
1.276 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.276 * * * * [points]: Computing exacts for 4 points
1.280 * * * * [points]: Setting MPFR precision to 64
1.281 * * * * [points]: Setting MPFR precision to 320
1.281 * * * * [points]: Filtering points with unrepresentable outputs
1.281 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
1.281 * * * * [points]: Computing exacts for 4 points
1.287 * * * * [points]: Setting MPFR precision to 64
1.287 * * * * [points]: Setting MPFR precision to 320
1.287 * * * * [points]: Filtering points with unrepresentable outputs
1.287 * * * * [points]: Sampled 256 points with exact outputs
1.288 * * * [progress]: [2/2] Setting up program.
1.303 * [progress]: [Phase 2 of 3] Improving.
1.303 * * * * [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.303 * [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.303 * * [simplify]: iters left: 6 (19 enodes)
1.308 * * [simplify]: iters left: 5 (76 enodes)
1.343 * * [simplify]: iters left: 4 (344 enodes)
1.562 * * [simplify]: Extracting #0: cost 1 inf + 0
1.562 * * [simplify]: Extracting #1: cost 75 inf + 0
1.564 * * [simplify]: Extracting #2: cost 474 inf + 1
1.567 * * [simplify]: Extracting #3: cost 742 inf + 26817
1.574 * * [simplify]: Extracting #4: cost 684 inf + 140740
1.589 * * [simplify]: Extracting #5: cost 611 inf + 190357
1.616 * * [simplify]: Extracting #6: cost 583 inf + 205484
1.655 * * [simplify]: Extracting #7: cost 359 inf + 460450
1.700 * * [simplify]: Extracting #8: cost 52 inf + 927410
1.765 * * [simplify]: Extracting #9: cost 0 inf + 1029213
1.844 * * [simplify]: Extracting #10: cost 0 inf + 1027693
1.927 * [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.927 * [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.959 * * [progress]: iteration 1 / 4
1.959 * * * [progress]: picking best candidate
1.992 * * * * [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.992 * * * [progress]: localizing error
2.337 * * * [progress]: generating rewritten candidates
2.337 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.344 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.351 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.354 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
2.361 * * * [progress]: generating series expansions
2.361 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.361 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.361 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.361 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
2.361 * * * [progress]: simplifying candidates
2.361 * * * * [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.362 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
2.362 * * [simplify]: iters left: 3 (8 enodes)
2.364 * * [simplify]: iters left: 2 (20 enodes)
2.367 * * [simplify]: iters left: 1 (26 enodes)
2.375 * * [simplify]: Extracting #0: cost 1 inf + 0
2.375 * * [simplify]: Extracting #1: cost 7 inf + 0
2.375 * * [simplify]: Extracting #2: cost 7 inf + 2
2.375 * * [simplify]: Extracting #3: cost 6 inf + 45
2.375 * * [simplify]: Extracting #4: cost 4 inf + 47
2.375 * * [simplify]: Extracting #5: cost 1 inf + 1136
2.376 * * [simplify]: Extracting #6: cost 0 inf + 1499
2.376 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))
2.376 * [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.376 * * * * [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.376 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
2.376 * * [simplify]: iters left: 3 (6 enodes)
2.378 * * [simplify]: iters left: 2 (22 enodes)
2.385 * * [simplify]: iters left: 1 (42 enodes)
2.399 * * [simplify]: Extracting #0: cost 1 inf + 0
2.399 * * [simplify]: Extracting #1: cost 12 inf + 0
2.399 * * [simplify]: Extracting #2: cost 16 inf + 1
2.400 * * [simplify]: Extracting #3: cost 9 inf + 1412
2.400 * * [simplify]: Extracting #4: cost 0 inf + 4393
2.401 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
2.401 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.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.401 * * * * [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.402 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.402 * * [simplify]: iters left: 4 (11 enodes)
2.406 * * [simplify]: iters left: 3 (34 enodes)
2.412 * * [simplify]: iters left: 2 (62 enodes)
2.422 * * [simplify]: iters left: 1 (116 enodes)
2.441 * * [simplify]: Extracting #0: cost 1 inf + 0
2.441 * * [simplify]: Extracting #1: cost 18 inf + 0
2.441 * * [simplify]: Extracting #2: cost 32 inf + 1
2.441 * * [simplify]: Extracting #3: cost 28 inf + 688
2.442 * * [simplify]: Extracting #4: cost 20 inf + 2471
2.442 * * [simplify]: Extracting #5: cost 11 inf + 5213
2.443 * * [simplify]: Extracting #6: cost 0 inf + 16616
2.444 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
2.444 * [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.445 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
2.445 * * [simplify]: iters left: 5 (13 enodes)
2.448 * * [simplify]: iters left: 4 (36 enodes)
2.455 * * [simplify]: iters left: 3 (69 enodes)
2.473 * * [simplify]: iters left: 2 (108 enodes)
2.495 * * [simplify]: iters left: 1 (142 enodes)
2.525 * * [simplify]: Extracting #0: cost 1 inf + 0
2.525 * * [simplify]: Extracting #1: cost 3 inf + 0
2.525 * * [simplify]: Extracting #2: cost 25 inf + 0
2.525 * * [simplify]: Extracting #3: cost 26 inf + 2
2.526 * * [simplify]: Extracting #4: cost 20 inf + 1217
2.526 * * [simplify]: Extracting #5: cost 5 inf + 6972
2.528 * * [simplify]: Extracting #6: cost 0 inf + 9668
2.529 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
2.529 * [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.530 * * * * [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.530 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
2.530 * * [simplify]: iters left: 4 (11 enodes)
2.535 * * [simplify]: iters left: 3 (33 enodes)
2.546 * * [simplify]: iters left: 2 (87 enodes)
2.589 * * [simplify]: iters left: 1 (455 enodes)
3.229 * * [simplify]: Extracting #0: cost 1 inf + 0
3.229 * * [simplify]: Extracting #1: cost 38 inf + 0
3.231 * * [simplify]: Extracting #2: cost 349 inf + 2
3.236 * * [simplify]: Extracting #3: cost 1015 inf + 2069
3.247 * * [simplify]: Extracting #4: cost 974 inf + 36877
3.276 * * [simplify]: Extracting #5: cost 686 inf + 251010
3.357 * * [simplify]: Extracting #6: cost 123 inf + 839954
3.441 * * [simplify]: Extracting #7: cost 0 inf + 991791
3.546 * * [simplify]: Extracting #8: cost 0 inf + 989631
3.672 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i))
3.672 * [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.673 * * * * [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.673 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.673 * * [simplify]: iters left: 4 (11 enodes)
3.678 * * [simplify]: iters left: 3 (34 enodes)
3.688 * * [simplify]: iters left: 2 (62 enodes)
3.708 * * [simplify]: iters left: 1 (116 enodes)
3.743 * * [simplify]: Extracting #0: cost 1 inf + 0
3.743 * * [simplify]: Extracting #1: cost 18 inf + 0
3.743 * * [simplify]: Extracting #2: cost 32 inf + 1
3.744 * * [simplify]: Extracting #3: cost 28 inf + 688
3.744 * * [simplify]: Extracting #4: cost 20 inf + 2471
3.745 * * [simplify]: Extracting #5: cost 11 inf + 5213
3.747 * * [simplify]: Extracting #6: cost 0 inf + 16616
3.749 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta))
3.749 * [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.750 * * * * [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.750 * [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.750 * * [simplify]: iters left: 5 (12 enodes)
3.755 * * [simplify]: iters left: 4 (32 enodes)
3.767 * * [simplify]: iters left: 3 (90 enodes)
3.823 * * [simplify]: iters left: 2 (378 enodes)
4.213 * * [simplify]: Extracting #0: cost 1 inf + 0
4.213 * * [simplify]: Extracting #1: cost 90 inf + 0
4.215 * * [simplify]: Extracting #2: cost 388 inf + 0
4.219 * * [simplify]: Extracting #3: cost 380 inf + 3950
4.229 * * [simplify]: Extracting #4: cost 272 inf + 84531
4.271 * * [simplify]: Extracting #5: cost 20 inf + 357988
4.327 * * [simplify]: Extracting #6: cost 0 inf + 384165
4.382 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
4.382 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))))
4.382 * * * * [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))))))>
4.383 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))
4.383 * * [simplify]: iters left: 5 (9 enodes)
4.387 * * [simplify]: iters left: 4 (35 enodes)
4.404 * * [simplify]: iters left: 3 (128 enodes)
4.504 * * [simplify]: Extracting #0: cost 1 inf + 0
4.504 * * [simplify]: Extracting #1: cost 39 inf + 0
4.505 * * [simplify]: Extracting #2: cost 167 inf + 1
4.507 * * [simplify]: Extracting #3: cost 185 inf + 9642
4.516 * * [simplify]: Extracting #4: cost 54 inf + 131260
4.532 * * [simplify]: Extracting #5: cost 0 inf + 183768
4.548 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))))
4.549 * [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.549 * * * * [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.549 * [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.549 * * [simplify]: iters left: 5 (15 enodes)
4.557 * * [simplify]: iters left: 4 (44 enodes)
4.578 * * [simplify]: iters left: 3 (112 enodes)
4.636 * * [simplify]: iters left: 2 (473 enodes)
5.146 * * [simplify]: Extracting #0: cost 1 inf + 0
5.147 * * [simplify]: Extracting #1: cost 35 inf + 0
5.148 * * [simplify]: Extracting #2: cost 286 inf + 1
5.152 * * [simplify]: Extracting #3: cost 529 inf + 4158
5.158 * * [simplify]: Extracting #4: cost 531 inf + 7620
5.166 * * [simplify]: Extracting #5: cost 474 inf + 34154
5.196 * * [simplify]: Extracting #6: cost 203 inf + 247830
5.271 * * [simplify]: Extracting #7: cost 17 inf + 434257
5.352 * * [simplify]: Extracting #8: cost 0 inf + 455708
5.433 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
5.433 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
5.434 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
5.434 * * [simplify]: iters left: 6 (17 enodes)
5.442 * * [simplify]: iters left: 5 (52 enodes)
5.464 * * [simplify]: iters left: 4 (154 enodes)
5.564 * * [simplify]: Extracting #0: cost 1 inf + 0
5.565 * * [simplify]: Extracting #1: cost 27 inf + 0
5.565 * * [simplify]: Extracting #2: cost 137 inf + 0
5.566 * * [simplify]: Extracting #3: cost 277 inf + 366
5.567 * * [simplify]: Extracting #4: cost 285 inf + 5479
5.568 * * [simplify]: Extracting #5: cost 253 inf + 13586
5.571 * * [simplify]: Extracting #6: cost 206 inf + 39659
5.582 * * [simplify]: Extracting #7: cost 38 inf + 215233
5.604 * * [simplify]: Extracting #8: cost 0 inf + 248609
5.623 * * [simplify]: Extracting #9: cost 0 inf + 244529
5.650 * * [simplify]: Extracting #10: cost 0 inf + 244169
5.682 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
5.683 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
5.683 * * * * [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))))>
5.683 * [simplify]: Simplifying (*.p16 i i)
5.683 * * [simplify]: iters left: 1 (2 enodes)
5.684 * * [simplify]: Extracting #0: cost 1 inf + 0
5.684 * * [simplify]: Extracting #1: cost 2 inf + 0
5.684 * * [simplify]: Extracting #2: cost 1 inf + 1
5.684 * * [simplify]: Extracting #3: cost 0 inf + 322
5.684 * [simplify]: Simplified to (*.p16 i i)
5.684 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
5.685 * * * * [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))))>
5.685 * [simplify]: Simplifying (*.p16 i i)
5.685 * * [simplify]: iters left: 1 (2 enodes)
5.686 * * [simplify]: Extracting #0: cost 1 inf + 0
5.686 * * [simplify]: Extracting #1: cost 2 inf + 0
5.686 * * [simplify]: Extracting #2: cost 1 inf + 1
5.686 * * [simplify]: Extracting #3: cost 0 inf + 322
5.686 * [simplify]: Simplified to (*.p16 i i)
5.686 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
5.686 * * * * [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))))>
5.686 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.687 * [simplify]: Simplifying (*.p16 i i)
5.687 * * [simplify]: iters left: 1 (2 enodes)
5.688 * * [simplify]: Extracting #0: cost 1 inf + 0
5.688 * * [simplify]: Extracting #1: cost 2 inf + 0
5.688 * * [simplify]: Extracting #2: cost 1 inf + 1
5.688 * * [simplify]: Extracting #3: cost 0 inf + 322
5.688 * [simplify]: Simplified to (*.p16 i i)
5.688 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
5.688 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.688 * [simplify]: Simplifying (*.p16 i i)
5.688 * * [simplify]: iters left: 1 (2 enodes)
5.689 * * [simplify]: Extracting #0: cost 1 inf + 0
5.689 * * [simplify]: Extracting #1: cost 2 inf + 0
5.689 * * [simplify]: Extracting #2: cost 1 inf + 1
5.689 * * [simplify]: Extracting #3: cost 0 inf + 322
5.690 * [simplify]: Simplified to (*.p16 i i)
5.690 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
5.690 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) i) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
5.690 * * * * [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))))>
5.690 * [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.690 * * [simplify]: iters left: 6 (19 enodes)
5.701 * * [simplify]: iters left: 5 (76 enodes)
5.741 * * [simplify]: iters left: 4 (344 enodes)
5.988 * * [simplify]: Extracting #0: cost 1 inf + 0
5.988 * * [simplify]: Extracting #1: cost 75 inf + 0
5.990 * * [simplify]: Extracting #2: cost 474 inf + 1
5.996 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.011 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.023 * * [simplify]: Extracting #5: cost 611 inf + 190357
6.039 * * [simplify]: Extracting #6: cost 583 inf + 205484
6.074 * * [simplify]: Extracting #7: cost 359 inf + 460450
6.167 * * [simplify]: Extracting #8: cost 52 inf + 927410
6.281 * * [simplify]: Extracting #9: cost 0 inf + 1029213
6.397 * * [simplify]: Extracting #10: cost 0 inf + 1027693
6.511 * [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.511 * [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.511 * * * * [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))))>
6.512 * [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.512 * * [simplify]: iters left: 6 (19 enodes)
6.521 * * [simplify]: iters left: 5 (76 enodes)
6.560 * * [simplify]: iters left: 4 (344 enodes)
6.864 * * [simplify]: Extracting #0: cost 1 inf + 0
6.864 * * [simplify]: Extracting #1: cost 75 inf + 0
6.866 * * [simplify]: Extracting #2: cost 474 inf + 1
6.872 * * [simplify]: Extracting #3: cost 742 inf + 26817
6.893 * * [simplify]: Extracting #4: cost 684 inf + 140740
6.915 * * [simplify]: Extracting #5: cost 611 inf + 190357
6.938 * * [simplify]: Extracting #6: cost 583 inf + 205484
6.984 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.077 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.189 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.266 * * [simplify]: Extracting #10: cost 0 inf + 1027693
7.333 * [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.333 * [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.333 * * * * [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))))>
7.333 * [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.333 * * [simplify]: iters left: 6 (19 enodes)
7.338 * * [simplify]: iters left: 5 (76 enodes)
7.364 * * [simplify]: iters left: 4 (344 enodes)
7.590 * * [simplify]: Extracting #0: cost 1 inf + 0
7.590 * * [simplify]: Extracting #1: cost 75 inf + 0
7.592 * * [simplify]: Extracting #2: cost 474 inf + 1
7.599 * * [simplify]: Extracting #3: cost 742 inf + 26817
7.614 * * [simplify]: Extracting #4: cost 684 inf + 140740
7.634 * * [simplify]: Extracting #5: cost 611 inf + 190357
7.656 * * [simplify]: Extracting #6: cost 583 inf + 205484
7.700 * * [simplify]: Extracting #7: cost 359 inf + 460450
7.797 * * [simplify]: Extracting #8: cost 52 inf + 927410
7.886 * * [simplify]: Extracting #9: cost 0 inf + 1029213
7.959 * * [simplify]: Extracting #10: cost 0 inf + 1027693
8.061 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
8.061 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
8.062 * * * * [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))))>
8.062 * [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)))
8.062 * * [simplify]: iters left: 6 (19 enodes)
8.072 * * [simplify]: iters left: 5 (76 enodes)
8.110 * * [simplify]: iters left: 4 (344 enodes)
8.429 * * [simplify]: Extracting #0: cost 1 inf + 0
8.429 * * [simplify]: Extracting #1: cost 75 inf + 0
8.430 * * [simplify]: Extracting #2: cost 474 inf + 1
8.433 * * [simplify]: Extracting #3: cost 742 inf + 26817
8.441 * * [simplify]: Extracting #4: cost 684 inf + 140740
8.462 * * [simplify]: Extracting #5: cost 611 inf + 190357
8.482 * * [simplify]: Extracting #6: cost 583 inf + 205484
8.511 * * [simplify]: Extracting #7: cost 359 inf + 460450
8.603 * * [simplify]: Extracting #8: cost 52 inf + 927410
8.718 * * [simplify]: Extracting #9: cost 0 inf + 1029213
8.832 * * [simplify]: Extracting #10: cost 0 inf + 1027693
8.947 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))
8.947 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))
8.947 * * * [progress]: adding candidates to table
9.791 * * [progress]: iteration 2 / 4
9.791 * * * [progress]: picking best candidate
10.029 * * * * [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)))))>
10.029 * * * [progress]: localizing error
10.357 * * * [progress]: generating rewritten candidates
10.357 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
10.364 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
10.383 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
10.405 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
10.443 * * * [progress]: generating series expansions
10.443 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.443 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
10.444 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
10.444 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
10.444 * * * [progress]: simplifying candidates
10.444 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.444 * * * * [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)))))>
10.444 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
10.444 * * [simplify]: iters left: 4 (11 enodes)
10.447 * * [simplify]: iters left: 3 (27 enodes)
10.452 * * [simplify]: iters left: 2 (47 enodes)
10.460 * * [simplify]: iters left: 1 (76 enodes)
10.472 * * [simplify]: Extracting #0: cost 1 inf + 0
10.472 * * [simplify]: Extracting #1: cost 16 inf + 0
10.472 * * [simplify]: Extracting #2: cost 17 inf + 2
10.472 * * [simplify]: Extracting #3: cost 13 inf + 89
10.472 * * [simplify]: Extracting #4: cost 9 inf + 298
10.473 * * [simplify]: Extracting #5: cost 1 inf + 2963
10.473 * * [simplify]: Extracting #6: cost 0 inf + 3367
10.474 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
10.474 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
10.474 * * * * [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))))))>
10.474 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
10.474 * * [simplify]: iters left: 4 (8 enodes)
10.476 * * [simplify]: iters left: 3 (26 enodes)
10.481 * * [simplify]: iters left: 2 (53 enodes)
10.489 * * [simplify]: iters left: 1 (91 enodes)
10.503 * * [simplify]: Extracting #0: cost 1 inf + 0
10.504 * * [simplify]: Extracting #1: cost 24 inf + 0
10.504 * * [simplify]: Extracting #2: cost 31 inf + 0
10.504 * * [simplify]: Extracting #3: cost 26 inf + 366
10.504 * * [simplify]: Extracting #4: cost 9 inf + 8250
10.505 * * [simplify]: Extracting #5: cost 0 inf + 15077
10.506 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
10.506 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
10.506 * * * * [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)))))>
10.506 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i))
10.506 * * [simplify]: iters left: 3 (6 enodes)
10.507 * * [simplify]: iters left: 2 (22 enodes)
10.513 * * [simplify]: iters left: 1 (42 enodes)
10.526 * * [simplify]: Extracting #0: cost 1 inf + 0
10.526 * * [simplify]: Extracting #1: cost 12 inf + 0
10.526 * * [simplify]: Extracting #2: cost 16 inf + 1
10.526 * * [simplify]: Extracting #3: cost 9 inf + 1412
10.526 * * [simplify]: Extracting #4: cost 0 inf + 4393
10.526 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta)))
10.527 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.527 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.527 * [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.527 * * [simplify]: iters left: 5 (15 enodes)
10.531 * * [simplify]: iters left: 4 (44 enodes)
10.540 * * [simplify]: iters left: 3 (112 enodes)
10.570 * * [simplify]: iters left: 2 (473 enodes)
10.946 * * [simplify]: Extracting #0: cost 1 inf + 0
10.946 * * [simplify]: Extracting #1: cost 35 inf + 0
10.947 * * [simplify]: Extracting #2: cost 286 inf + 1
10.951 * * [simplify]: Extracting #3: cost 529 inf + 4158
10.962 * * [simplify]: Extracting #4: cost 531 inf + 7620
10.971 * * [simplify]: Extracting #5: cost 474 inf + 34154
10.993 * * [simplify]: Extracting #6: cost 203 inf + 247830
11.046 * * [simplify]: Extracting #7: cost 17 inf + 434257
11.132 * * [simplify]: Extracting #8: cost 0 inf + 455708
11.215 * [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.215 * [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.215 * [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.216 * * [simplify]: iters left: 6 (17 enodes)
11.224 * * [simplify]: iters left: 5 (52 enodes)
11.246 * * [simplify]: iters left: 4 (154 enodes)
11.303 * * [simplify]: Extracting #0: cost 1 inf + 0
11.303 * * [simplify]: Extracting #1: cost 27 inf + 0
11.304 * * [simplify]: Extracting #2: cost 137 inf + 0
11.305 * * [simplify]: Extracting #3: cost 277 inf + 366
11.306 * * [simplify]: Extracting #4: cost 285 inf + 5479
11.308 * * [simplify]: Extracting #5: cost 253 inf + 13586
11.311 * * [simplify]: Extracting #6: cost 206 inf + 39659
11.336 * * [simplify]: Extracting #7: cost 38 inf + 215233
11.368 * * [simplify]: Extracting #8: cost 0 inf + 248609
11.400 * * [simplify]: Extracting #9: cost 0 inf + 244529
11.431 * * [simplify]: Extracting #10: cost 0 inf + 244169
11.448 * [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.449 * [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.449 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.449 * [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.449 * * [simplify]: iters left: 5 (15 enodes)
11.453 * * [simplify]: iters left: 4 (44 enodes)
11.463 * * [simplify]: iters left: 3 (112 enodes)
11.517 * * [simplify]: iters left: 2 (473 enodes)
11.994 * * [simplify]: Extracting #0: cost 1 inf + 0
11.995 * * [simplify]: Extracting #1: cost 35 inf + 0
11.996 * * [simplify]: Extracting #2: cost 286 inf + 1
12.000 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.005 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.013 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.041 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.102 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.143 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.208 * [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.208 * [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.208 * [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.209 * * [simplify]: iters left: 6 (17 enodes)
12.217 * * [simplify]: iters left: 5 (52 enodes)
12.239 * * [simplify]: iters left: 4 (154 enodes)
12.310 * * [simplify]: Extracting #0: cost 1 inf + 0
12.310 * * [simplify]: Extracting #1: cost 27 inf + 0
12.310 * * [simplify]: Extracting #2: cost 137 inf + 0
12.311 * * [simplify]: Extracting #3: cost 277 inf + 366
12.312 * * [simplify]: Extracting #4: cost 285 inf + 5479
12.315 * * [simplify]: Extracting #5: cost 253 inf + 13586
12.321 * * [simplify]: Extracting #6: cost 206 inf + 39659
12.344 * * [simplify]: Extracting #7: cost 38 inf + 215233
12.376 * * [simplify]: Extracting #8: cost 0 inf + 248609
12.413 * * [simplify]: Extracting #9: cost 0 inf + 244529
12.435 * * [simplify]: Extracting #10: cost 0 inf + 244169
12.451 * [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.451 * [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.452 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
12.452 * [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.452 * * [simplify]: iters left: 5 (15 enodes)
12.456 * * [simplify]: iters left: 4 (44 enodes)
12.464 * * [simplify]: iters left: 3 (112 enodes)
12.498 * * [simplify]: iters left: 2 (473 enodes)
12.771 * * [simplify]: Extracting #0: cost 1 inf + 0
12.771 * * [simplify]: Extracting #1: cost 35 inf + 0
12.771 * * [simplify]: Extracting #2: cost 286 inf + 1
12.774 * * [simplify]: Extracting #3: cost 529 inf + 4158
12.776 * * [simplify]: Extracting #4: cost 531 inf + 7620
12.781 * * [simplify]: Extracting #5: cost 474 inf + 34154
12.798 * * [simplify]: Extracting #6: cost 203 inf + 247830
12.835 * * [simplify]: Extracting #7: cost 17 inf + 434257
12.892 * * [simplify]: Extracting #8: cost 0 inf + 455708
12.975 * [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.975 * [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.975 * [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.976 * * [simplify]: iters left: 6 (17 enodes)
12.984 * * [simplify]: iters left: 5 (52 enodes)
13.007 * * [simplify]: iters left: 4 (154 enodes)
13.056 * * [simplify]: Extracting #0: cost 1 inf + 0
13.056 * * [simplify]: Extracting #1: cost 27 inf + 0
13.056 * * [simplify]: Extracting #2: cost 137 inf + 0
13.057 * * [simplify]: Extracting #3: cost 277 inf + 366
13.058 * * [simplify]: Extracting #4: cost 285 inf + 5479
13.062 * * [simplify]: Extracting #5: cost 253 inf + 13586
13.065 * * [simplify]: Extracting #6: cost 206 inf + 39659
13.076 * * [simplify]: Extracting #7: cost 38 inf + 215233
13.092 * * [simplify]: Extracting #8: cost 0 inf + 248609
13.108 * * [simplify]: Extracting #9: cost 0 inf + 244529
13.125 * * [simplify]: Extracting #10: cost 0 inf + 244169
13.143 * [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.143 * [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.143 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
13.143 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.144 * * [simplify]: iters left: 5 (15 enodes)
13.152 * * [simplify]: iters left: 4 (44 enodes)
13.169 * * [simplify]: iters left: 3 (112 enodes)
13.227 * * [simplify]: iters left: 2 (473 enodes)
13.530 * * [simplify]: Extracting #0: cost 1 inf + 0
13.530 * * [simplify]: Extracting #1: cost 35 inf + 0
13.531 * * [simplify]: Extracting #2: cost 286 inf + 1
13.535 * * [simplify]: Extracting #3: cost 529 inf + 4158
13.540 * * [simplify]: Extracting #4: cost 531 inf + 7620
13.549 * * [simplify]: Extracting #5: cost 474 inf + 34154
13.573 * * [simplify]: Extracting #6: cost 203 inf + 247830
13.615 * * [simplify]: Extracting #7: cost 17 inf + 434257
13.683 * * [simplify]: Extracting #8: cost 0 inf + 455708
13.768 * [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.768 * [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.769 * [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.769 * * [simplify]: iters left: 6 (17 enodes)
13.777 * * [simplify]: iters left: 5 (52 enodes)
13.799 * * [simplify]: iters left: 4 (154 enodes)
13.882 * * [simplify]: Extracting #0: cost 1 inf + 0
13.882 * * [simplify]: Extracting #1: cost 27 inf + 0
13.882 * * [simplify]: Extracting #2: cost 137 inf + 0
13.883 * * [simplify]: Extracting #3: cost 277 inf + 366
13.884 * * [simplify]: Extracting #4: cost 285 inf + 5479
13.886 * * [simplify]: Extracting #5: cost 253 inf + 13586
13.889 * * [simplify]: Extracting #6: cost 206 inf + 39659
13.911 * * [simplify]: Extracting #7: cost 38 inf + 215233
13.944 * * [simplify]: Extracting #8: cost 0 inf + 248609
13.979 * * [simplify]: Extracting #9: cost 0 inf + 244529
14.011 * * [simplify]: Extracting #10: cost 0 inf + 244169
14.042 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))
14.042 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0)))))))
14.043 * * * [progress]: adding candidates to table
14.406 * * [progress]: iteration 3 / 4
14.406 * * * [progress]: picking best candidate
14.714 * * * * [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.714 * * * [progress]: localizing error
15.286 * * * [progress]: generating rewritten candidates
15.286 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
15.299 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
15.316 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
15.341 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
15.408 * * * [progress]: generating series expansions
15.408 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
15.408 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
15.408 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
15.408 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
15.408 * * * [progress]: simplifying candidates
15.408 * * * * [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)))))>
15.409 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
15.409 * * [simplify]: iters left: 4 (11 enodes)
15.414 * * [simplify]: iters left: 3 (27 enodes)
15.418 * * [simplify]: iters left: 2 (47 enodes)
15.427 * * [simplify]: iters left: 1 (76 enodes)
15.439 * * [simplify]: Extracting #0: cost 1 inf + 0
15.439 * * [simplify]: Extracting #1: cost 16 inf + 0
15.439 * * [simplify]: Extracting #2: cost 17 inf + 2
15.439 * * [simplify]: Extracting #3: cost 13 inf + 89
15.439 * * [simplify]: Extracting #4: cost 9 inf + 298
15.440 * * [simplify]: Extracting #5: cost 1 inf + 2963
15.440 * * [simplify]: Extracting #6: cost 0 inf + 3367
15.441 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
15.441 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)))))
15.441 * * * * [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))))))>
15.441 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
15.441 * * [simplify]: iters left: 4 (8 enodes)
15.443 * * [simplify]: iters left: 3 (26 enodes)
15.447 * * [simplify]: iters left: 2 (53 enodes)
15.464 * * [simplify]: iters left: 1 (91 enodes)
15.491 * * [simplify]: Extracting #0: cost 1 inf + 0
15.491 * * [simplify]: Extracting #1: cost 24 inf + 0
15.491 * * [simplify]: Extracting #2: cost 31 inf + 0
15.492 * * [simplify]: Extracting #3: cost 26 inf + 366
15.492 * * [simplify]: Extracting #4: cost 9 inf + 8250
15.494 * * [simplify]: Extracting #5: cost 0 inf + 15077
15.496 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
15.496 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))
15.496 * * * * [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)))))>
15.496 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.496 * * [simplify]: iters left: 4 (9 enodes)
15.501 * * [simplify]: iters left: 3 (21 enodes)
15.506 * * [simplify]: iters left: 2 (27 enodes)
15.511 * * [simplify]: iters left: 1 (28 enodes)
15.514 * * [simplify]: Extracting #0: cost 1 inf + 0
15.515 * * [simplify]: Extracting #1: cost 3 inf + 0
15.515 * * [simplify]: Extracting #2: cost 8 inf + 1
15.515 * * [simplify]: Extracting #3: cost 6 inf + 45
15.515 * * [simplify]: Extracting #4: cost 7 inf + 45
15.515 * * [simplify]: Extracting #5: cost 1 inf + 1499
15.515 * * [simplify]: Extracting #6: cost 0 inf + 2343
15.515 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
15.515 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
15.515 * * * * [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)))))>
15.516 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
15.516 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
15.516 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
15.516 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
15.516 * * * [progress]: adding candidates to table
15.726 * * [progress]: iteration 4 / 4
15.726 * * * [progress]: picking best candidate
15.957 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
15.957 * * * [progress]: localizing error
16.364 * * * [progress]: generating rewritten candidates
16.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
16.377 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
16.493 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
16.505 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
16.543 * * * [progress]: generating series expansions
16.543 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
16.543 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
16.543 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
16.543 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
16.543 * * * [progress]: simplifying candidates
16.543 * * * * [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)))))>
16.543 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
16.544 * * [simplify]: iters left: 4 (11 enodes)
16.547 * * [simplify]: iters left: 3 (27 enodes)
16.551 * * [simplify]: iters left: 2 (47 enodes)
16.559 * * [simplify]: iters left: 1 (76 enodes)
16.571 * * [simplify]: Extracting #0: cost 1 inf + 0
16.571 * * [simplify]: Extracting #1: cost 16 inf + 0
16.572 * * [simplify]: Extracting #2: cost 17 inf + 2
16.572 * * [simplify]: Extracting #3: cost 13 inf + 89
16.572 * * [simplify]: Extracting #4: cost 9 inf + 298
16.572 * * [simplify]: Extracting #5: cost 1 inf + 2963
16.573 * * [simplify]: Extracting #6: cost 0 inf + 3367
16.573 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))
16.573 * [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)))))
16.574 * * * * [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))))))>
16.574 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))
16.574 * * [simplify]: iters left: 4 (8 enodes)
16.576 * * [simplify]: iters left: 3 (26 enodes)
16.580 * * [simplify]: iters left: 2 (53 enodes)
16.589 * * [simplify]: iters left: 1 (91 enodes)
16.601 * * [simplify]: Extracting #0: cost 1 inf + 0
16.601 * * [simplify]: Extracting #1: cost 24 inf + 0
16.601 * * [simplify]: Extracting #2: cost 31 inf + 0
16.602 * * [simplify]: Extracting #3: cost 26 inf + 366
16.602 * * [simplify]: Extracting #4: cost 9 inf + 8250
16.603 * * [simplify]: Extracting #5: cost 0 inf + 15077
16.604 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i))
16.604 * [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))))))
16.604 * * * * [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)))))>
16.604 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.604 * * [simplify]: iters left: 4 (9 enodes)
16.607 * * [simplify]: iters left: 3 (21 enodes)
16.610 * * [simplify]: iters left: 2 (27 enodes)
16.616 * * [simplify]: iters left: 1 (28 enodes)
16.624 * * [simplify]: Extracting #0: cost 1 inf + 0
16.624 * * [simplify]: Extracting #1: cost 3 inf + 0
16.624 * * [simplify]: Extracting #2: cost 8 inf + 1
16.624 * * [simplify]: Extracting #3: cost 6 inf + 45
16.625 * * [simplify]: Extracting #4: cost 7 inf + 45
16.625 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.625 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.626 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.626 * [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.626 * * * * [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)))))>
16.626 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.626 * * [simplify]: iters left: 4 (9 enodes)
16.631 * * [simplify]: iters left: 3 (21 enodes)
16.639 * * [simplify]: iters left: 2 (27 enodes)
16.644 * * [simplify]: iters left: 1 (28 enodes)
16.648 * * [simplify]: Extracting #0: cost 1 inf + 0
16.648 * * [simplify]: Extracting #1: cost 3 inf + 0
16.648 * * [simplify]: Extracting #2: cost 8 inf + 1
16.648 * * [simplify]: Extracting #3: cost 6 inf + 45
16.649 * * [simplify]: Extracting #4: cost 7 inf + 45
16.649 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.649 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.649 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.649 * [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.649 * * * * [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)))))>
16.649 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.650 * * [simplify]: iters left: 4 (9 enodes)
16.652 * * [simplify]: iters left: 3 (21 enodes)
16.655 * * [simplify]: iters left: 2 (27 enodes)
16.659 * * [simplify]: iters left: 1 (28 enodes)
16.664 * * [simplify]: Extracting #0: cost 1 inf + 0
16.664 * * [simplify]: Extracting #1: cost 3 inf + 0
16.664 * * [simplify]: Extracting #2: cost 8 inf + 1
16.664 * * [simplify]: Extracting #3: cost 6 inf + 45
16.664 * * [simplify]: Extracting #4: cost 7 inf + 45
16.664 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.664 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.664 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.664 * [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.665 * * * * [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)))))>
16.665 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
16.665 * * [simplify]: iters left: 4 (9 enodes)
16.667 * * [simplify]: iters left: 3 (21 enodes)
16.671 * * [simplify]: iters left: 2 (27 enodes)
16.677 * * [simplify]: iters left: 1 (28 enodes)
16.684 * * [simplify]: Extracting #0: cost 1 inf + 0
16.685 * * [simplify]: Extracting #1: cost 3 inf + 0
16.685 * * [simplify]: Extracting #2: cost 8 inf + 1
16.685 * * [simplify]: Extracting #3: cost 6 inf + 45
16.685 * * [simplify]: Extracting #4: cost 7 inf + 45
16.685 * * [simplify]: Extracting #5: cost 1 inf + 1499
16.685 * * [simplify]: Extracting #6: cost 0 inf + 2343
16.686 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2)))))
16.686 * [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.686 * * * [progress]: adding candidates to table
16.894 * [progress]: [Phase 3 of 3] Extracting.
16.894 * * [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 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.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 (/.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 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
16.909 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
16.909 * * * * [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 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.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 (/.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 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
17.350 * * * * [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 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.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 (/.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 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
18.001 * * * * [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 (+.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.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 (/.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 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>)
18.644 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
18.645 * [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))))
18.646 * * [simplify]: iters left: 6 (22 enodes)
18.650 * * [simplify]: Extracting #0: cost 1 inf + 0
18.650 * * [simplify]: Extracting #1: cost 3 inf + 0
18.650 * * [simplify]: Extracting #2: cost 7 inf + 0
18.650 * * [simplify]: Extracting #3: cost 13 inf + 0
18.650 * * [simplify]: Extracting #4: cost 17 inf + 1
18.650 * * [simplify]: Extracting #5: cost 19 inf + 2
18.651 * * [simplify]: Extracting #6: cost 15 inf + 369
18.651 * * [simplify]: Extracting #7: cost 11 inf + 857
18.651 * * [simplify]: Extracting #8: cost 6 inf + 3716
18.652 * * [simplify]: Extracting #9: cost 1 inf + 10499
18.653 * * [simplify]: Extracting #10: cost 0 inf + 14264
18.654 * [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))))
18.654 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
18.717 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
18.727 * * * * [points]: Setting MPFR precision to 64
18.729 * * * * [points]: Setting MPFR precision to 320
18.731 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
18.741 * * * * [points]: Setting MPFR precision to 64
18.746 * * * * [points]: Setting MPFR precision to 320
18.751 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
18.762 * * * * [points]: Setting MPFR precision to 64
18.772 * * * * [points]: Setting MPFR precision to 320
18.780 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
18.790 * * * * [points]: Setting MPFR precision to 64
18.808 * * * * [points]: Setting MPFR precision to 320
18.826 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
18.835 * * * * [points]: Setting MPFR precision to 64
18.906 * * * * [points]: Setting MPFR precision to 320
18.940 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
18.950 * * * * [points]: Setting MPFR precision to 64
19.019 * * * * [points]: Setting MPFR precision to 320
19.064 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
19.097 * * * * [points]: Setting MPFR precision to 64
19.176 * * * * [points]: Setting MPFR precision to 320
19.620 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.628 * * * * [points]: Setting MPFR precision to 64
19.855 * * * * [points]: Setting MPFR precision to 320
20.091 * * * * [points]: Computing exacts for 8000 points
20.096 * * * * [points]: Setting MPFR precision to 64
20.915 * * * * [points]: Setting MPFR precision to 320
21.835 * * * * [points]: Filtering points with unrepresentable outputs
21.844 * * * * [points]: Sampling 6862 additional inputs, on iter 1 have 1138 / 8000
21.899 * * * * [points]: Computing exacts on every 428 of 6862 points to ramp up precision
21.908 * * * * [points]: Setting MPFR precision to 64
21.911 * * * * [points]: Setting MPFR precision to 320
21.913 * * * * [points]: Computing exacts on every 214 of 6862 points to ramp up precision
21.923 * * * * [points]: Setting MPFR precision to 64
21.927 * * * * [points]: Setting MPFR precision to 320
21.932 * * * * [points]: Computing exacts on every 107 of 6862 points to ramp up precision
21.941 * * * * [points]: Setting MPFR precision to 64
22.378 * * * * [points]: Setting MPFR precision to 320
22.388 * * * * [points]: Computing exacts on every 53 of 6862 points to ramp up precision
22.397 * * * * [points]: Setting MPFR precision to 64
22.414 * * * * [points]: Setting MPFR precision to 320
22.431 * * * * [points]: Computing exacts on every 26 of 6862 points to ramp up precision
22.440 * * * * [points]: Setting MPFR precision to 64
22.474 * * * * [points]: Setting MPFR precision to 320
22.508 * * * * [points]: Computing exacts on every 13 of 6862 points to ramp up precision
22.517 * * * * [points]: Setting MPFR precision to 64
22.618 * * * * [points]: Setting MPFR precision to 320
22.683 * * * * [points]: Computing exacts on every 6 of 6862 points to ramp up precision
22.692 * * * * [points]: Setting MPFR precision to 64
22.873 * * * * [points]: Setting MPFR precision to 320
23.012 * * * * [points]: Computing exacts on every 3 of 6862 points to ramp up precision
23.022 * * * * [points]: Setting MPFR precision to 64
23.336 * * * * [points]: Setting MPFR precision to 320
23.578 * * * * [points]: Computing exacts for 6862 points
23.587 * * * * [points]: Setting MPFR precision to 64
24.395 * * * * [points]: Setting MPFR precision to 320
25.611 * * * * [points]: Filtering points with unrepresentable outputs
25.616 * * * * [points]: Sampling 5921 additional inputs, on iter 2 have 2079 / 8000
25.699 * * * * [points]: Computing exacts on every 370 of 5921 points to ramp up precision
25.709 * * * * [points]: Setting MPFR precision to 64
25.711 * * * * [points]: Setting MPFR precision to 320
25.712 * * * * [points]: Computing exacts on every 185 of 5921 points to ramp up precision
25.717 * * * * [points]: Setting MPFR precision to 64
25.719 * * * * [points]: Setting MPFR precision to 320
25.721 * * * * [points]: Computing exacts on every 92 of 5921 points to ramp up precision
25.726 * * * * [points]: Setting MPFR precision to 64
25.730 * * * * [points]: Setting MPFR precision to 320
25.735 * * * * [points]: Computing exacts on every 46 of 5921 points to ramp up precision
25.740 * * * * [points]: Setting MPFR precision to 64
25.749 * * * * [points]: Setting MPFR precision to 320
25.758 * * * * [points]: Computing exacts on every 23 of 5921 points to ramp up precision
25.763 * * * * [points]: Setting MPFR precision to 64
25.780 * * * * [points]: Setting MPFR precision to 320
25.819 * * * * [points]: Computing exacts on every 11 of 5921 points to ramp up precision
25.824 * * * * [points]: Setting MPFR precision to 64
25.859 * * * * [points]: Setting MPFR precision to 320
25.894 * * * * [points]: Computing exacts on every 5 of 5921 points to ramp up precision
25.899 * * * * [points]: Setting MPFR precision to 64
25.996 * * * * [points]: Setting MPFR precision to 320
26.138 * * * * [points]: Computing exacts on every 2 of 5921 points to ramp up precision
26.143 * * * * [points]: Setting MPFR precision to 64
26.310 * * * * [points]: Setting MPFR precision to 320
26.512 * * * * [points]: Computing exacts for 5921 points
26.551 * * * * [points]: Setting MPFR precision to 64
27.173 * * * * [points]: Setting MPFR precision to 320
28.051 * * * * [points]: Filtering points with unrepresentable outputs
28.053 * * * * [points]: Sampling 5105 additional inputs, on iter 3 have 2895 / 8000
28.074 * * * * [points]: Computing exacts on every 319 of 5105 points to ramp up precision
28.079 * * * * [points]: Setting MPFR precision to 64
28.080 * * * * [points]: Setting MPFR precision to 320
28.082 * * * * [points]: Computing exacts on every 159 of 5105 points to ramp up precision
28.086 * * * * [points]: Setting MPFR precision to 64
28.089 * * * * [points]: Setting MPFR precision to 320
28.091 * * * * [points]: Computing exacts on every 79 of 5105 points to ramp up precision
28.096 * * * * [points]: Setting MPFR precision to 64
28.104 * * * * [points]: Setting MPFR precision to 320
28.111 * * * * [points]: Computing exacts on every 39 of 5105 points to ramp up precision
28.120 * * * * [points]: Setting MPFR precision to 64
28.135 * * * * [points]: Setting MPFR precision to 320
28.144 * * * * [points]: Computing exacts on every 19 of 5105 points to ramp up precision
28.169 * * * * [points]: Setting MPFR precision to 64
28.205 * * * * [points]: Setting MPFR precision to 320
28.240 * * * * [points]: Computing exacts on every 9 of 5105 points to ramp up precision
28.245 * * * * [points]: Setting MPFR precision to 64
28.281 * * * * [points]: Setting MPFR precision to 320
28.377 * * * * [points]: Computing exacts on every 4 of 5105 points to ramp up precision
28.387 * * * * [points]: Setting MPFR precision to 64
28.496 * * * * [points]: Setting MPFR precision to 320
28.627 * * * * [points]: Computing exacts on every 2 of 5105 points to ramp up precision
28.632 * * * * [points]: Setting MPFR precision to 64
28.823 * * * * [points]: Setting MPFR precision to 320
29.041 * * * * [points]: Computing exacts for 5105 points
29.051 * * * * [points]: Setting MPFR precision to 64
29.843 * * * * [points]: Setting MPFR precision to 320
30.567 * * * * [points]: Filtering points with unrepresentable outputs
30.575 * * * * [points]: Sampling 4400 additional inputs, on iter 4 have 3600 / 8000
30.608 * * * * [points]: Computing exacts on every 275 of 4400 points to ramp up precision
30.618 * * * * [points]: Setting MPFR precision to 64
30.620 * * * * [points]: Setting MPFR precision to 320
30.623 * * * * [points]: Computing exacts on every 137 of 4400 points to ramp up precision
30.632 * * * * [points]: Setting MPFR precision to 64
30.638 * * * * [points]: Setting MPFR precision to 320
30.642 * * * * [points]: Computing exacts on every 68 of 4400 points to ramp up precision
30.652 * * * * [points]: Setting MPFR precision to 64
30.661 * * * * [points]: Setting MPFR precision to 320
30.670 * * * * [points]: Computing exacts on every 34 of 4400 points to ramp up precision
30.680 * * * * [points]: Setting MPFR precision to 64
30.697 * * * * [points]: Setting MPFR precision to 320
30.715 * * * * [points]: Computing exacts on every 17 of 4400 points to ramp up precision
30.725 * * * * [points]: Setting MPFR precision to 64
30.795 * * * * [points]: Setting MPFR precision to 320
30.830 * * * * [points]: Computing exacts on every 8 of 4400 points to ramp up precision
30.839 * * * * [points]: Setting MPFR precision to 64
30.907 * * * * [points]: Setting MPFR precision to 320
30.950 * * * * [points]: Computing exacts on every 4 of 4400 points to ramp up precision
31.419 * * * * [points]: Setting MPFR precision to 64
31.548 * * * * [points]: Setting MPFR precision to 320
31.731 * * * * [points]: Computing exacts on every 2 of 4400 points to ramp up precision
31.741 * * * * [points]: Setting MPFR precision to 64
32.005 * * * * [points]: Setting MPFR precision to 320
32.261 * * * * [points]: Computing exacts for 4400 points
32.267 * * * * [points]: Setting MPFR precision to 64
32.866 * * * * [points]: Setting MPFR precision to 320
33.499 * * * * [points]: Filtering points with unrepresentable outputs
33.504 * * * * [points]: Sampling 3770 additional inputs, on iter 5 have 4230 / 8000
33.532 * * * * [points]: Computing exacts on every 235 of 3770 points to ramp up precision
33.542 * * * * [points]: Setting MPFR precision to 64
33.544 * * * * [points]: Setting MPFR precision to 320
33.546 * * * * [points]: Computing exacts on every 117 of 3770 points to ramp up precision
33.556 * * * * [points]: Setting MPFR precision to 64
33.561 * * * * [points]: Setting MPFR precision to 320
33.565 * * * * [points]: Computing exacts on every 58 of 3770 points to ramp up precision
33.574 * * * * [points]: Setting MPFR precision to 64
33.584 * * * * [points]: Setting MPFR precision to 320
33.593 * * * * [points]: Computing exacts on every 29 of 3770 points to ramp up precision
33.603 * * * * [points]: Setting MPFR precision to 64
33.654 * * * * [points]: Setting MPFR precision to 320
33.672 * * * * [points]: Computing exacts on every 14 of 3770 points to ramp up precision
33.681 * * * * [points]: Setting MPFR precision to 64
33.709 * * * * [points]: Setting MPFR precision to 320
33.728 * * * * [points]: Computing exacts on every 7 of 3770 points to ramp up precision
33.732 * * * * [points]: Setting MPFR precision to 64
33.767 * * * * [points]: Setting MPFR precision to 320
33.830 * * * * [points]: Computing exacts on every 3 of 3770 points to ramp up precision
33.835 * * * * [points]: Setting MPFR precision to 64
33.903 * * * * [points]: Setting MPFR precision to 320
34.005 * * * * [points]: Computing exacts for 3770 points
34.010 * * * * [points]: Setting MPFR precision to 64
34.691 * * * * [points]: Setting MPFR precision to 320
35.124 * * * * [points]: Filtering points with unrepresentable outputs
35.127 * * * * [points]: Sampling 3253 additional inputs, on iter 6 have 4747 / 8000
35.152 * * * * [points]: Computing exacts on every 203 of 3253 points to ramp up precision
35.161 * * * * [points]: Setting MPFR precision to 64
35.163 * * * * [points]: Setting MPFR precision to 320
35.164 * * * * [points]: Computing exacts on every 101 of 3253 points to ramp up precision
35.197 * * * * [points]: Setting MPFR precision to 64
35.204 * * * * [points]: Setting MPFR precision to 320
35.209 * * * * [points]: Computing exacts on every 50 of 3253 points to ramp up precision
35.218 * * * * [points]: Setting MPFR precision to 64
35.227 * * * * [points]: Setting MPFR precision to 320
35.236 * * * * [points]: Computing exacts on every 25 of 3253 points to ramp up precision
35.246 * * * * [points]: Setting MPFR precision to 64
35.256 * * * * [points]: Setting MPFR precision to 320
35.265 * * * * [points]: Computing exacts on every 12 of 3253 points to ramp up precision
35.270 * * * * [points]: Setting MPFR precision to 64
35.288 * * * * [points]: Setting MPFR precision to 320
35.318 * * * * [points]: Computing exacts on every 6 of 3253 points to ramp up precision
35.363 * * * * [points]: Setting MPFR precision to 64
35.430 * * * * [points]: Setting MPFR precision to 320
35.494 * * * * [points]: Computing exacts on every 3 of 3253 points to ramp up precision
35.504 * * * * [points]: Setting MPFR precision to 64
35.663 * * * * [points]: Setting MPFR precision to 320
35.773 * * * * [points]: Computing exacts for 3253 points
35.780 * * * * [points]: Setting MPFR precision to 64
36.296 * * * * [points]: Setting MPFR precision to 320
36.872 * * * * [points]: Filtering points with unrepresentable outputs
36.876 * * * * [points]: Sampling 2769 additional inputs, on iter 7 have 5231 / 8000
36.897 * * * * [points]: Computing exacts on every 173 of 2769 points to ramp up precision
36.907 * * * * [points]: Setting MPFR precision to 64
36.910 * * * * [points]: Setting MPFR precision to 320
36.912 * * * * [points]: Computing exacts on every 86 of 2769 points to ramp up precision
36.921 * * * * [points]: Setting MPFR precision to 64
36.926 * * * * [points]: Setting MPFR precision to 320
36.930 * * * * [points]: Computing exacts on every 43 of 2769 points to ramp up precision
36.940 * * * * [points]: Setting MPFR precision to 64
36.945 * * * * [points]: Setting MPFR precision to 320
36.950 * * * * [points]: Computing exacts on every 21 of 2769 points to ramp up precision
36.954 * * * * [points]: Setting MPFR precision to 64
36.964 * * * * [points]: Setting MPFR precision to 320
37.012 * * * * [points]: Computing exacts on every 10 of 2769 points to ramp up precision
37.024 * * * * [points]: Setting MPFR precision to 64
37.059 * * * * [points]: Setting MPFR precision to 320
37.095 * * * * [points]: Computing exacts on every 5 of 2769 points to ramp up precision
37.104 * * * * [points]: Setting MPFR precision to 64
37.170 * * * * [points]: Setting MPFR precision to 320
37.252 * * * * [points]: Computing exacts on every 2 of 2769 points to ramp up precision
37.257 * * * * [points]: Setting MPFR precision to 64
37.338 * * * * [points]: Setting MPFR precision to 320
37.499 * * * * [points]: Computing exacts for 2769 points
37.509 * * * * [points]: Setting MPFR precision to 64
38.206 * * * * [points]: Setting MPFR precision to 320
38.596 * * * * [points]: Filtering points with unrepresentable outputs
38.598 * * * * [points]: Sampling 2357 additional inputs, on iter 8 have 5643 / 8000
38.616 * * * * [points]: Computing exacts on every 147 of 2357 points to ramp up precision
38.625 * * * * [points]: Setting MPFR precision to 64
38.627 * * * * [points]: Setting MPFR precision to 320
38.628 * * * * [points]: Computing exacts on every 73 of 2357 points to ramp up precision
38.632 * * * * [points]: Setting MPFR precision to 64
38.635 * * * * [points]: Setting MPFR precision to 320
38.637 * * * * [points]: Computing exacts on every 36 of 2357 points to ramp up precision
38.641 * * * * [points]: Setting MPFR precision to 64
38.646 * * * * [points]: Setting MPFR precision to 320
38.650 * * * * [points]: Computing exacts on every 18 of 2357 points to ramp up precision
38.655 * * * * [points]: Setting MPFR precision to 64
38.665 * * * * [points]: Setting MPFR precision to 320
38.674 * * * * [points]: Computing exacts on every 9 of 2357 points to ramp up precision
38.701 * * * * [points]: Setting MPFR precision to 64
38.720 * * * * [points]: Setting MPFR precision to 320
38.737 * * * * [points]: Computing exacts on every 4 of 2357 points to ramp up precision
38.741 * * * * [points]: Setting MPFR precision to 64
38.776 * * * * [points]: Setting MPFR precision to 320
38.839 * * * * [points]: Computing exacts on every 2 of 2357 points to ramp up precision
38.846 * * * * [points]: Setting MPFR precision to 64
38.910 * * * * [points]: Setting MPFR precision to 320
39.039 * * * * [points]: Computing exacts for 2357 points
39.044 * * * * [points]: Setting MPFR precision to 64
39.243 * * * * [points]: Setting MPFR precision to 320
39.561 * * * * [points]: Filtering points with unrepresentable outputs
39.563 * * * * [points]: Sampling 2022 additional inputs, on iter 9 have 5978 / 8000
39.571 * * * * [points]: Computing exacts on every 126 of 2022 points to ramp up precision
39.576 * * * * [points]: Setting MPFR precision to 64
39.577 * * * * [points]: Setting MPFR precision to 320
39.578 * * * * [points]: Computing exacts on every 63 of 2022 points to ramp up precision
39.583 * * * * [points]: Setting MPFR precision to 64
39.586 * * * * [points]: Setting MPFR precision to 320
39.588 * * * * [points]: Computing exacts on every 31 of 2022 points to ramp up precision
39.597 * * * * [points]: Setting MPFR precision to 64
39.606 * * * * [points]: Setting MPFR precision to 320
39.615 * * * * [points]: Computing exacts on every 15 of 2022 points to ramp up precision
39.624 * * * * [points]: Setting MPFR precision to 64
39.664 * * * * [points]: Setting MPFR precision to 320
39.684 * * * * [points]: Computing exacts on every 7 of 2022 points to ramp up precision
39.694 * * * * [points]: Setting MPFR precision to 64
39.729 * * * * [points]: Setting MPFR precision to 320
39.765 * * * * [points]: Computing exacts on every 3 of 2022 points to ramp up precision
39.776 * * * * [points]: Setting MPFR precision to 64
39.828 * * * * [points]: Setting MPFR precision to 320
39.911 * * * * [points]: Computing exacts for 2022 points
39.916 * * * * [points]: Setting MPFR precision to 64
40.117 * * * * [points]: Setting MPFR precision to 320
40.363 * * * * [points]: Filtering points with unrepresentable outputs
40.365 * * * * [points]: Sampling 1746 additional inputs, on iter 10 have 6254 / 8000
40.376 * * * * [points]: Computing exacts on every 109 of 1746 points to ramp up precision
40.385 * * * * [points]: Setting MPFR precision to 64
40.387 * * * * [points]: Setting MPFR precision to 320
40.389 * * * * [points]: Computing exacts on every 54 of 1746 points to ramp up precision
40.397 * * * * [points]: Setting MPFR precision to 64
40.401 * * * * [points]: Setting MPFR precision to 320
40.405 * * * * [points]: Computing exacts on every 27 of 1746 points to ramp up precision
40.414 * * * * [points]: Setting MPFR precision to 64
40.422 * * * * [points]: Setting MPFR precision to 320
40.430 * * * * [points]: Computing exacts on every 13 of 1746 points to ramp up precision
40.436 * * * * [points]: Setting MPFR precision to 64
40.444 * * * * [points]: Setting MPFR precision to 320
40.453 * * * * [points]: Computing exacts on every 6 of 1746 points to ramp up precision
40.458 * * * * [points]: Setting MPFR precision to 64
40.512 * * * * [points]: Setting MPFR precision to 320
40.535 * * * * [points]: Computing exacts on every 3 of 1746 points to ramp up precision
40.540 * * * * [points]: Setting MPFR precision to 64
40.574 * * * * [points]: Setting MPFR precision to 320
40.622 * * * * [points]: Computing exacts for 1746 points
40.632 * * * * [points]: Setting MPFR precision to 64
41.223 * * * * [points]: Setting MPFR precision to 320
41.472 * * * * [points]: Filtering points with unrepresentable outputs
41.474 * * * * [points]: Sampling 1510 additional inputs, on iter 11 have 6490 / 8000
41.486 * * * * [points]: Computing exacts on every 94 of 1510 points to ramp up precision
41.496 * * * * [points]: Setting MPFR precision to 64
41.499 * * * * [points]: Setting MPFR precision to 320
41.501 * * * * [points]: Computing exacts on every 47 of 1510 points to ramp up precision
41.512 * * * * [points]: Setting MPFR precision to 64
41.517 * * * * [points]: Setting MPFR precision to 320
41.521 * * * * [points]: Computing exacts on every 23 of 1510 points to ramp up precision
41.531 * * * * [points]: Setting MPFR precision to 64
41.537 * * * * [points]: Setting MPFR precision to 320
41.541 * * * * [points]: Computing exacts on every 11 of 1510 points to ramp up precision
41.546 * * * * [points]: Setting MPFR precision to 64
41.555 * * * * [points]: Setting MPFR precision to 320
41.603 * * * * [points]: Computing exacts on every 5 of 1510 points to ramp up precision
41.609 * * * * [points]: Setting MPFR precision to 64
41.628 * * * * [points]: Setting MPFR precision to 320
41.662 * * * * [points]: Computing exacts on every 2 of 1510 points to ramp up precision
41.672 * * * * [points]: Setting MPFR precision to 64
41.741 * * * * [points]: Setting MPFR precision to 320
41.855 * * * * [points]: Computing exacts for 1510 points
41.865 * * * * [points]: Setting MPFR precision to 64
42.081 * * * * [points]: Setting MPFR precision to 320
42.302 * * * * [points]: Filtering points with unrepresentable outputs
42.304 * * * * [points]: Sampling 1303 additional inputs, on iter 12 have 6697 / 8000
42.310 * * * * [points]: Computing exacts on every 81 of 1303 points to ramp up precision
42.316 * * * * [points]: Setting MPFR precision to 64
42.318 * * * * [points]: Setting MPFR precision to 320
42.319 * * * * [points]: Computing exacts on every 40 of 1303 points to ramp up precision
42.324 * * * * [points]: Setting MPFR precision to 64
42.326 * * * * [points]: Setting MPFR precision to 320
42.328 * * * * [points]: Computing exacts on every 20 of 1303 points to ramp up precision
42.334 * * * * [points]: Setting MPFR precision to 64
42.340 * * * * [points]: Setting MPFR precision to 320
42.344 * * * * [points]: Computing exacts on every 10 of 1303 points to ramp up precision
42.349 * * * * [points]: Setting MPFR precision to 64
42.357 * * * * [points]: Setting MPFR precision to 320
42.366 * * * * [points]: Computing exacts on every 5 of 1303 points to ramp up precision
42.407 * * * * [points]: Setting MPFR precision to 64
42.433 * * * * [points]: Setting MPFR precision to 320
42.449 * * * * [points]: Computing exacts on every 2 of 1303 points to ramp up precision
42.453 * * * * [points]: Setting MPFR precision to 64
42.488 * * * * [points]: Setting MPFR precision to 320
42.547 * * * * [points]: Computing exacts for 1303 points
42.586 * * * * [points]: Setting MPFR precision to 64
42.717 * * * * [points]: Setting MPFR precision to 320
42.895 * * * * [points]: Filtering points with unrepresentable outputs
42.896 * * * * [points]: Sampling 1137 additional inputs, on iter 13 have 6863 / 8000
42.905 * * * * [points]: Computing exacts on every 71 of 1137 points to ramp up precision
42.915 * * * * [points]: Setting MPFR precision to 64
42.918 * * * * [points]: Setting MPFR precision to 320
42.920 * * * * [points]: Computing exacts on every 35 of 1137 points to ramp up precision
42.969 * * * * [points]: Setting MPFR precision to 64
42.972 * * * * [points]: Setting MPFR precision to 320
42.974 * * * * [points]: Computing exacts on every 17 of 1137 points to ramp up precision
42.981 * * * * [points]: Setting MPFR precision to 64
42.986 * * * * [points]: Setting MPFR precision to 320
42.990 * * * * [points]: Computing exacts on every 8 of 1137 points to ramp up precision
42.995 * * * * [points]: Setting MPFR precision to 64
43.007 * * * * [points]: Setting MPFR precision to 320
43.022 * * * * [points]: Computing exacts on every 4 of 1137 points to ramp up precision
43.031 * * * * [points]: Setting MPFR precision to 64
43.057 * * * * [points]: Setting MPFR precision to 320
43.081 * * * * [points]: Computing exacts on every 2 of 1137 points to ramp up precision
43.086 * * * * [points]: Setting MPFR precision to 64
43.139 * * * * [points]: Setting MPFR precision to 320
43.166 * * * * [points]: Computing exacts for 1137 points
43.171 * * * * [points]: Setting MPFR precision to 64
43.290 * * * * [points]: Setting MPFR precision to 320
43.412 * * * * [points]: Filtering points with unrepresentable outputs
43.413 * * * * [points]: Sampling 956 additional inputs, on iter 14 have 7044 / 8000
43.418 * * * * [points]: Computing exacts on every 59 of 956 points to ramp up precision
43.425 * * * * [points]: Setting MPFR precision to 64
43.427 * * * * [points]: Setting MPFR precision to 320
43.428 * * * * [points]: Computing exacts on every 29 of 956 points to ramp up precision
43.432 * * * * [points]: Setting MPFR precision to 64
43.435 * * * * [points]: Setting MPFR precision to 320
43.437 * * * * [points]: Computing exacts on every 14 of 956 points to ramp up precision
43.442 * * * * [points]: Setting MPFR precision to 64
43.446 * * * * [points]: Setting MPFR precision to 320
43.451 * * * * [points]: Computing exacts on every 7 of 956 points to ramp up precision
43.458 * * * * [points]: Setting MPFR precision to 64
43.474 * * * * [points]: Setting MPFR precision to 320
43.490 * * * * [points]: Computing exacts on every 3 of 956 points to ramp up precision
43.500 * * * * [points]: Setting MPFR precision to 64
43.532 * * * * [points]: Setting MPFR precision to 320
43.584 * * * * [points]: Computing exacts for 956 points
43.589 * * * * [points]: Setting MPFR precision to 64
43.661 * * * * [points]: Setting MPFR precision to 320
43.771 * * * * [points]: Filtering points with unrepresentable outputs
43.772 * * * * [points]: Sampling 842 additional inputs, on iter 15 have 7158 / 8000
43.775 * * * * [points]: Computing exacts on every 52 of 842 points to ramp up precision
43.783 * * * * [points]: Setting MPFR precision to 64
43.785 * * * * [points]: Setting MPFR precision to 320
43.786 * * * * [points]: Computing exacts on every 26 of 842 points to ramp up precision
43.791 * * * * [points]: Setting MPFR precision to 64
43.793 * * * * [points]: Setting MPFR precision to 320
43.796 * * * * [points]: Computing exacts on every 13 of 842 points to ramp up precision
43.801 * * * * [points]: Setting MPFR precision to 64
43.808 * * * * [points]: Setting MPFR precision to 320
43.816 * * * * [points]: Computing exacts on every 6 of 842 points to ramp up precision
43.825 * * * * [points]: Setting MPFR precision to 64
43.873 * * * * [points]: Setting MPFR precision to 320
43.883 * * * * [points]: Computing exacts on every 3 of 842 points to ramp up precision
43.888 * * * * [points]: Setting MPFR precision to 64
43.902 * * * * [points]: Setting MPFR precision to 320
43.917 * * * * [points]: Computing exacts for 842 points
43.922 * * * * [points]: Setting MPFR precision to 64
44.011 * * * * [points]: Setting MPFR precision to 320
44.073 * * * * [points]: Filtering points with unrepresentable outputs
44.073 * * * * [points]: Sampling 720 additional inputs, on iter 16 have 7280 / 8000
44.076 * * * * [points]: Computing exacts on every 45 of 720 points to ramp up precision
44.081 * * * * [points]: Setting MPFR precision to 64
44.082 * * * * [points]: Setting MPFR precision to 320
44.083 * * * * [points]: Computing exacts on every 22 of 720 points to ramp up precision
44.091 * * * * [points]: Setting MPFR precision to 64
44.095 * * * * [points]: Setting MPFR precision to 320
44.099 * * * * [points]: Computing exacts on every 11 of 720 points to ramp up precision
44.452 * * * * [points]: Setting MPFR precision to 64
44.457 * * * * [points]: Setting MPFR precision to 320
44.462 * * * * [points]: Computing exacts on every 5 of 720 points to ramp up precision
44.467 * * * * [points]: Setting MPFR precision to 64
44.482 * * * * [points]: Setting MPFR precision to 320
44.491 * * * * [points]: Computing exacts on every 2 of 720 points to ramp up precision
44.496 * * * * [points]: Setting MPFR precision to 64
44.513 * * * * [points]: Setting MPFR precision to 320
44.531 * * * * [points]: Computing exacts for 720 points
44.535 * * * * [points]: Setting MPFR precision to 64
44.672 * * * * [points]: Setting MPFR precision to 320
44.772 * * * * [points]: Filtering points with unrepresentable outputs
44.773 * * * * [points]: Sampling 625 additional inputs, on iter 17 have 7375 / 8000
44.778 * * * * [points]: Computing exacts on every 39 of 625 points to ramp up precision
44.786 * * * * [points]: Setting MPFR precision to 64
44.787 * * * * [points]: Setting MPFR precision to 320
44.789 * * * * [points]: Computing exacts on every 19 of 625 points to ramp up precision
44.793 * * * * [points]: Setting MPFR precision to 64
44.826 * * * * [points]: Setting MPFR precision to 320
44.828 * * * * [points]: Computing exacts on every 9 of 625 points to ramp up precision
44.833 * * * * [points]: Setting MPFR precision to 64
44.839 * * * * [points]: Setting MPFR precision to 320
44.845 * * * * [points]: Computing exacts on every 4 of 625 points to ramp up precision
44.849 * * * * [points]: Setting MPFR precision to 64
44.859 * * * * [points]: Setting MPFR precision to 320
44.868 * * * * [points]: Computing exacts on every 2 of 625 points to ramp up precision
44.872 * * * * [points]: Setting MPFR precision to 64
44.887 * * * * [points]: Setting MPFR precision to 320
44.902 * * * * [points]: Computing exacts for 625 points
44.906 * * * * [points]: Setting MPFR precision to 64
44.976 * * * * [points]: Setting MPFR precision to 320
45.054 * * * * [points]: Filtering points with unrepresentable outputs
45.054 * * * * [points]: Sampling 539 additional inputs, on iter 18 have 7461 / 8000
45.056 * * * * [points]: Computing exacts on every 33 of 539 points to ramp up precision
45.061 * * * * [points]: Setting MPFR precision to 64
45.062 * * * * [points]: Setting MPFR precision to 320
45.063 * * * * [points]: Computing exacts on every 16 of 539 points to ramp up precision
45.068 * * * * [points]: Setting MPFR precision to 64
45.070 * * * * [points]: Setting MPFR precision to 320
45.073 * * * * [points]: Computing exacts on every 8 of 539 points to ramp up precision
45.103 * * * * [points]: Setting MPFR precision to 64
45.108 * * * * [points]: Setting MPFR precision to 320
45.114 * * * * [points]: Computing exacts on every 4 of 539 points to ramp up precision
45.119 * * * * [points]: Setting MPFR precision to 64
45.126 * * * * [points]: Setting MPFR precision to 320
45.134 * * * * [points]: Computing exacts on every 2 of 539 points to ramp up precision
45.139 * * * * [points]: Setting MPFR precision to 64
45.151 * * * * [points]: Setting MPFR precision to 320
45.164 * * * * [points]: Computing exacts for 539 points
45.169 * * * * [points]: Setting MPFR precision to 64
45.232 * * * * [points]: Setting MPFR precision to 320
45.271 * * * * [points]: Filtering points with unrepresentable outputs
45.271 * * * * [points]: Sampling 463 additional inputs, on iter 19 have 7537 / 8000
45.273 * * * * [points]: Computing exacts on every 28 of 463 points to ramp up precision
45.278 * * * * [points]: Setting MPFR precision to 64
45.279 * * * * [points]: Setting MPFR precision to 320
45.280 * * * * [points]: Computing exacts on every 14 of 463 points to ramp up precision
45.285 * * * * [points]: Setting MPFR precision to 64
45.287 * * * * [points]: Setting MPFR precision to 320
45.290 * * * * [points]: Computing exacts on every 7 of 463 points to ramp up precision
45.294 * * * * [points]: Setting MPFR precision to 64
45.298 * * * * [points]: Setting MPFR precision to 320
45.303 * * * * [points]: Computing exacts on every 3 of 463 points to ramp up precision
45.307 * * * * [points]: Setting MPFR precision to 64
45.351 * * * * [points]: Setting MPFR precision to 320
45.370 * * * * [points]: Computing exacts for 463 points
45.379 * * * * [points]: Setting MPFR precision to 64
45.441 * * * * [points]: Setting MPFR precision to 320
45.505 * * * * [points]: Filtering points with unrepresentable outputs
45.506 * * * * [points]: Sampling 393 additional inputs, on iter 20 have 7607 / 8000
45.509 * * * * [points]: Computing exacts on every 24 of 393 points to ramp up precision
45.518 * * * * [points]: Setting MPFR precision to 64
45.521 * * * * [points]: Setting MPFR precision to 320
45.523 * * * * [points]: Computing exacts on every 12 of 393 points to ramp up precision
45.573 * * * * [points]: Setting MPFR precision to 64
45.575 * * * * [points]: Setting MPFR precision to 320
45.577 * * * * [points]: Computing exacts on every 6 of 393 points to ramp up precision
45.584 * * * * [points]: Setting MPFR precision to 64
45.588 * * * * [points]: Setting MPFR precision to 320
45.592 * * * * [points]: Computing exacts on every 3 of 393 points to ramp up precision
45.597 * * * * [points]: Setting MPFR precision to 64
45.605 * * * * [points]: Setting MPFR precision to 320
45.612 * * * * [points]: Computing exacts for 393 points
45.616 * * * * [points]: Setting MPFR precision to 64
45.644 * * * * [points]: Setting MPFR precision to 320
45.711 * * * * [points]: Filtering points with unrepresentable outputs
45.711 * * * * [points]: Sampling 333 additional inputs, on iter 21 have 7667 / 8000
45.712 * * * * [points]: Computing exacts on every 20 of 333 points to ramp up precision
45.717 * * * * [points]: Setting MPFR precision to 64
45.720 * * * * [points]: Setting MPFR precision to 320
45.721 * * * * [points]: Computing exacts on every 10 of 333 points to ramp up precision
45.726 * * * * [points]: Setting MPFR precision to 64
45.728 * * * * [points]: Setting MPFR precision to 320
45.730 * * * * [points]: Computing exacts on every 5 of 333 points to ramp up precision
45.735 * * * * [points]: Setting MPFR precision to 64
45.739 * * * * [points]: Setting MPFR precision to 320
45.743 * * * * [points]: Computing exacts on every 2 of 333 points to ramp up precision
45.748 * * * * [points]: Setting MPFR precision to 64
45.756 * * * * [points]: Setting MPFR precision to 320
45.764 * * * * [points]: Computing exacts for 333 points
45.769 * * * * [points]: Setting MPFR precision to 64
45.804 * * * * [points]: Setting MPFR precision to 320
45.893 * * * * [points]: Filtering points with unrepresentable outputs
45.894 * * * * [points]: Sampling 288 additional inputs, on iter 22 have 7712 / 8000
45.896 * * * * [points]: Computing exacts on every 18 of 288 points to ramp up precision
45.906 * * * * [points]: Setting MPFR precision to 64
45.908 * * * * [points]: Setting MPFR precision to 320
45.910 * * * * [points]: Computing exacts on every 9 of 288 points to ramp up precision
45.920 * * * * [points]: Setting MPFR precision to 64
45.924 * * * * [points]: Setting MPFR precision to 320
45.927 * * * * [points]: Computing exacts on every 4 of 288 points to ramp up precision
45.937 * * * * [points]: Setting MPFR precision to 64
45.945 * * * * [points]: Setting MPFR precision to 320
45.953 * * * * [points]: Computing exacts on every 2 of 288 points to ramp up precision
45.962 * * * * [points]: Setting MPFR precision to 64
45.976 * * * * [points]: Setting MPFR precision to 320
45.988 * * * * [points]: Computing exacts for 288 points
45.993 * * * * [points]: Setting MPFR precision to 64
46.050 * * * * [points]: Setting MPFR precision to 320
46.094 * * * * [points]: Filtering points with unrepresentable outputs
46.094 * * * * [points]: Sampling 256 additional inputs, on iter 23 have 7744 / 8000
46.096 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
46.106 * * * * [points]: Setting MPFR precision to 64
46.109 * * * * [points]: Setting MPFR precision to 320
46.111 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
46.120 * * * * [points]: Setting MPFR precision to 64
46.124 * * * * [points]: Setting MPFR precision to 320
46.128 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
46.138 * * * * [points]: Setting MPFR precision to 64
46.145 * * * * [points]: Setting MPFR precision to 320
46.153 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
46.164 * * * * [points]: Setting MPFR precision to 64
46.176 * * * * [points]: Setting MPFR precision to 320
46.188 * * * * [points]: Computing exacts for 256 points
46.198 * * * * [points]: Setting MPFR precision to 64
46.269 * * * * [points]: Setting MPFR precision to 320
46.307 * * * * [points]: Filtering points with unrepresentable outputs
46.308 * * * * [points]: Sampling 224 additional inputs, on iter 24 have 7776 / 8000
46.310 * * * * [points]: Computing exacts on every 14 of 224 points to ramp up precision
46.321 * * * * [points]: Setting MPFR precision to 64
46.323 * * * * [points]: Setting MPFR precision to 320
46.326 * * * * [points]: Computing exacts on every 7 of 224 points to ramp up precision
46.335 * * * * [points]: Setting MPFR precision to 64
46.339 * * * * [points]: Setting MPFR precision to 320
46.343 * * * * [points]: Computing exacts on every 3 of 224 points to ramp up precision
46.353 * * * * [points]: Setting MPFR precision to 64
46.361 * * * * [points]: Setting MPFR precision to 320
46.369 * * * * [points]: Computing exacts for 224 points
46.378 * * * * [points]: Setting MPFR precision to 64
46.410 * * * * [points]: Setting MPFR precision to 320
46.482 * * * * [points]: Filtering points with unrepresentable outputs
46.482 * * * * [points]: Sampling 191 additional inputs, on iter 25 have 7809 / 8000
46.484 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision
46.496 * * * * [points]: Setting MPFR precision to 64
46.499 * * * * [points]: Setting MPFR precision to 320
46.501 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision
46.511 * * * * [points]: Setting MPFR precision to 64
46.516 * * * * [points]: Setting MPFR precision to 320
46.520 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision
46.531 * * * * [points]: Setting MPFR precision to 64
46.541 * * * * [points]: Setting MPFR precision to 320
46.550 * * * * [points]: Computing exacts for 191 points
46.559 * * * * [points]: Setting MPFR precision to 64
46.586 * * * * [points]: Setting MPFR precision to 320
46.615 * * * * [points]: Filtering points with unrepresentable outputs
46.615 * * * * [points]: Sampling 164 additional inputs, on iter 26 have 7836 / 8000
46.616 * * * * [points]: Computing exacts on every 10 of 164 points to ramp up precision
46.626 * * * * [points]: Setting MPFR precision to 64
46.628 * * * * [points]: Setting MPFR precision to 320
46.630 * * * * [points]: Computing exacts on every 5 of 164 points to ramp up precision
46.639 * * * * [points]: Setting MPFR precision to 64
46.644 * * * * [points]: Setting MPFR precision to 320
46.648 * * * * [points]: Computing exacts on every 2 of 164 points to ramp up precision
46.689 * * * * [points]: Setting MPFR precision to 64
46.700 * * * * [points]: Setting MPFR precision to 320
46.708 * * * * [points]: Computing exacts for 164 points
46.717 * * * * [points]: Setting MPFR precision to 64
46.742 * * * * [points]: Setting MPFR precision to 320
46.766 * * * * [points]: Filtering points with unrepresentable outputs
46.766 * * * * [points]: Sampling 141 additional inputs, on iter 27 have 7859 / 8000
46.768 * * * * [points]: Computing exacts on every 8 of 141 points to ramp up precision
46.777 * * * * [points]: Setting MPFR precision to 64
46.780 * * * * [points]: Setting MPFR precision to 320
46.782 * * * * [points]: Computing exacts on every 4 of 141 points to ramp up precision
46.791 * * * * [points]: Setting MPFR precision to 64
46.795 * * * * [points]: Setting MPFR precision to 320
46.800 * * * * [points]: Computing exacts on every 2 of 141 points to ramp up precision
46.809 * * * * [points]: Setting MPFR precision to 64
46.816 * * * * [points]: Setting MPFR precision to 320
46.823 * * * * [points]: Computing exacts for 141 points
46.833 * * * * [points]: Setting MPFR precision to 64
46.853 * * * * [points]: Setting MPFR precision to 320
46.913 * * * * [points]: Filtering points with unrepresentable outputs
46.916 * * * * [points]: Sampling 114 additional inputs, on iter 28 have 7886 / 8000
46.917 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
46.927 * * * * [points]: Setting MPFR precision to 64
46.929 * * * * [points]: Setting MPFR precision to 320
46.931 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
46.940 * * * * [points]: Setting MPFR precision to 64
46.945 * * * * [points]: Setting MPFR precision to 320
46.949 * * * * [points]: Computing exacts for 114 points
46.958 * * * * [points]: Setting MPFR precision to 64
46.974 * * * * [points]: Setting MPFR precision to 320
46.991 * * * * [points]: Filtering points with unrepresentable outputs
46.991 * * * * [points]: Sampling 95 additional inputs, on iter 29 have 7905 / 8000
46.992 * * * * [points]: Computing exacts on every 5 of 95 points to ramp up precision
47.001 * * * * [points]: Setting MPFR precision to 64
47.003 * * * * [points]: Setting MPFR precision to 320
47.006 * * * * [points]: Computing exacts on every 2 of 95 points to ramp up precision
47.016 * * * * [points]: Setting MPFR precision to 64
47.021 * * * * [points]: Setting MPFR precision to 320
47.026 * * * * [points]: Computing exacts for 95 points
47.036 * * * * [points]: Setting MPFR precision to 64
47.049 * * * * [points]: Setting MPFR precision to 320
47.063 * * * * [points]: Filtering points with unrepresentable outputs
47.063 * * * * [points]: Sampling 80 additional inputs, on iter 30 have 7920 / 8000
47.064 * * * * [points]: Computing exacts on every 5 of 80 points to ramp up precision
47.107 * * * * [points]: Setting MPFR precision to 64
47.109 * * * * [points]: Setting MPFR precision to 320
47.111 * * * * [points]: Computing exacts on every 2 of 80 points to ramp up precision
47.122 * * * * [points]: Setting MPFR precision to 64
47.126 * * * * [points]: Setting MPFR precision to 320
47.130 * * * * [points]: Computing exacts for 80 points
47.139 * * * * [points]: Setting MPFR precision to 64
47.151 * * * * [points]: Setting MPFR precision to 320
47.162 * * * * [points]: Filtering points with unrepresentable outputs
47.162 * * * * [points]: Sampling 66 additional inputs, on iter 31 have 7934 / 8000
47.163 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
47.173 * * * * [points]: Setting MPFR precision to 64
47.175 * * * * [points]: Setting MPFR precision to 320
47.177 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
47.186 * * * * [points]: Setting MPFR precision to 64
47.190 * * * * [points]: Setting MPFR precision to 320
47.193 * * * * [points]: Computing exacts for 66 points
47.202 * * * * [points]: Setting MPFR precision to 64
47.212 * * * * [points]: Setting MPFR precision to 320
47.222 * * * * [points]: Filtering points with unrepresentable outputs
47.222 * * * * [points]: Sampling 62 additional inputs, on iter 32 have 7938 / 8000
47.222 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
47.232 * * * * [points]: Setting MPFR precision to 64
47.234 * * * * [points]: Setting MPFR precision to 320
47.236 * * * * [points]: Computing exacts for 62 points
47.246 * * * * [points]: Setting MPFR precision to 64
47.255 * * * * [points]: Setting MPFR precision to 320
47.264 * * * * [points]: Filtering points with unrepresentable outputs
47.264 * * * * [points]: Sampling 53 additional inputs, on iter 33 have 7947 / 8000
47.264 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
47.306 * * * * [points]: Setting MPFR precision to 64
47.311 * * * * [points]: Setting MPFR precision to 320
47.314 * * * * [points]: Computing exacts for 53 points
47.323 * * * * [points]: Setting MPFR precision to 64
47.331 * * * * [points]: Setting MPFR precision to 320
47.338 * * * * [points]: Filtering points with unrepresentable outputs
47.338 * * * * [points]: Sampling 49 additional inputs, on iter 34 have 7951 / 8000
47.339 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
47.348 * * * * [points]: Setting MPFR precision to 64
47.350 * * * * [points]: Setting MPFR precision to 320
47.352 * * * * [points]: Computing exacts for 49 points
47.362 * * * * [points]: Setting MPFR precision to 64
47.369 * * * * [points]: Setting MPFR precision to 320
47.376 * * * * [points]: Filtering points with unrepresentable outputs
47.376 * * * * [points]: Sampling 46 additional inputs, on iter 35 have 7954 / 8000
47.377 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
47.386 * * * * [points]: Setting MPFR precision to 64
47.388 * * * * [points]: Setting MPFR precision to 320
47.390 * * * * [points]: Computing exacts for 46 points
47.400 * * * * [points]: Setting MPFR precision to 64
47.406 * * * * [points]: Setting MPFR precision to 320
47.413 * * * * [points]: Filtering points with unrepresentable outputs
47.413 * * * * [points]: Sampling 42 additional inputs, on iter 36 have 7958 / 8000
47.413 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
47.423 * * * * [points]: Setting MPFR precision to 64
47.425 * * * * [points]: Setting MPFR precision to 320
47.426 * * * * [points]: Computing exacts for 42 points
47.431 * * * * [points]: Setting MPFR precision to 64
47.435 * * * * [points]: Setting MPFR precision to 320
47.438 * * * * [points]: Filtering points with unrepresentable outputs
47.438 * * * * [points]: Sampling 36 additional inputs, on iter 37 have 7964 / 8000
47.438 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
47.463 * * * * [points]: Setting MPFR precision to 64
47.465 * * * * [points]: Setting MPFR precision to 320
47.466 * * * * [points]: Computing exacts for 36 points
47.470 * * * * [points]: Setting MPFR precision to 64
47.473 * * * * [points]: Setting MPFR precision to 320
47.476 * * * * [points]: Filtering points with unrepresentable outputs
47.476 * * * * [points]: Sampling 30 additional inputs, on iter 38 have 7970 / 8000
47.476 * * * * [points]: Computing exacts for 30 points
47.480 * * * * [points]: Setting MPFR precision to 64
47.483 * * * * [points]: Setting MPFR precision to 320
47.485 * * * * [points]: Filtering points with unrepresentable outputs
47.485 * * * * [points]: Sampling 25 additional inputs, on iter 39 have 7975 / 8000
47.485 * * * * [points]: Computing exacts for 25 points
47.491 * * * * [points]: Setting MPFR precision to 64
47.495 * * * * [points]: Setting MPFR precision to 320
47.499 * * * * [points]: Filtering points with unrepresentable outputs
47.499 * * * * [points]: Sampling 22 additional inputs, on iter 40 have 7978 / 8000
47.499 * * * * [points]: Computing exacts for 22 points
47.509 * * * * [points]: Setting MPFR precision to 64
47.512 * * * * [points]: Setting MPFR precision to 320
47.515 * * * * [points]: Filtering points with unrepresentable outputs
47.516 * * * * [points]: Sampling 18 additional inputs, on iter 41 have 7982 / 8000
47.516 * * * * [points]: Computing exacts for 18 points
47.526 * * * * [points]: Setting MPFR precision to 64
47.529 * * * * [points]: Setting MPFR precision to 320
47.531 * * * * [points]: Filtering points with unrepresentable outputs
47.531 * * * * [points]: Sampling 16 additional inputs, on iter 42 have 7984 / 8000
47.531 * * * * [points]: Computing exacts for 16 points
47.539 * * * * [points]: Setting MPFR precision to 64
47.540 * * * * [points]: Setting MPFR precision to 320
47.542 * * * * [points]: Filtering points with unrepresentable outputs
47.542 * * * * [points]: Sampling 12 additional inputs, on iter 43 have 7988 / 8000
47.542 * * * * [points]: Computing exacts for 12 points
47.547 * * * * [points]: Setting MPFR precision to 64
47.548 * * * * [points]: Setting MPFR precision to 320
47.549 * * * * [points]: Filtering points with unrepresentable outputs
47.549 * * * * [points]: Sampling 7 additional inputs, on iter 44 have 7993 / 8000
47.549 * * * * [points]: Computing exacts for 7 points
47.554 * * * * [points]: Setting MPFR precision to 64
47.554 * * * * [points]: Setting MPFR precision to 320
47.555 * * * * [points]: Filtering points with unrepresentable outputs
47.555 * * * * [points]: Sampling 5 additional inputs, on iter 45 have 7995 / 8000
47.555 * * * * [points]: Computing exacts for 5 points
47.578 * * * * [points]: Setting MPFR precision to 64
47.579 * * * * [points]: Setting MPFR precision to 320
47.580 * * * * [points]: Filtering points with unrepresentable outputs
47.580 * * * * [points]: Sampling 5 additional inputs, on iter 46 have 7995 / 8000
47.580 * * * * [points]: Computing exacts for 5 points
47.592 * * * * [points]: Setting MPFR precision to 64
47.594 * * * * [points]: Setting MPFR precision to 320
47.594 * * * * [points]: Filtering points with unrepresentable outputs
47.594 * * * * [points]: Sampling 5 additional inputs, on iter 47 have 7995 / 8000
47.595 * * * * [points]: Computing exacts for 5 points
47.604 * * * * [points]: Setting MPFR precision to 64
47.605 * * * * [points]: Setting MPFR precision to 320
47.605 * * * * [points]: Filtering points with unrepresentable outputs
47.606 * * * * [points]: Sampling 5 additional inputs, on iter 48 have 7995 / 8000
47.606 * * * * [points]: Computing exacts for 5 points
47.615 * * * * [points]: Setting MPFR precision to 64
47.616 * * * * [points]: Setting MPFR precision to 320
47.617 * * * * [points]: Filtering points with unrepresentable outputs
47.617 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 7996 / 8000
47.617 * * * * [points]: Computing exacts for 4 points
47.623 * * * * [points]: Setting MPFR precision to 64
47.624 * * * * [points]: Setting MPFR precision to 320
47.624 * * * * [points]: Filtering points with unrepresentable outputs
47.624 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7997 / 8000
47.624 * * * * [points]: Computing exacts for 4 points
47.629 * * * * [points]: Setting MPFR precision to 64
47.629 * * * * [points]: Setting MPFR precision to 320
47.630 * * * * [points]: Filtering points with unrepresentable outputs
47.630 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7998 / 8000
47.630 * * * * [points]: Computing exacts for 4 points
47.634 * * * * [points]: Setting MPFR precision to 64
47.635 * * * * [points]: Setting MPFR precision to 320
47.635 * * * * [points]: Filtering points with unrepresentable outputs
47.635 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7999 / 8000
47.635 * * * * [points]: Computing exacts for 4 points
47.640 * * * * [points]: Setting MPFR precision to 64
47.640 * * * * [points]: Setting MPFR precision to 320
47.641 * * * * [points]: Filtering points with unrepresentable outputs
47.641 * * * * [points]: Sampled 8001 points with exact outputs
58.812 * [regime-testing]: Baseline error score: 64.0
58.819 * [regime-testing]: Oracle error score: 64.0
58.832 * [regime-testing]: End program error score: 1.4585774222998602