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.008 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.038 * * * * [points]: Setting MPFR precision to 64
0.045 * * * * [points]: Setting MPFR precision to 320
0.052 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.060 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Computing exacts for 256 points
0.109 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Filtering points with unrepresentable outputs
0.177 * * * * [points]: Sampling 221 additional inputs, on iter 1 have 35 / 256
0.179 * * * * [points]: Computing exacts on every 13 of 221 points to ramp up precision
0.188 * * * * [points]: Setting MPFR precision to 64
0.190 * * * * [points]: Setting MPFR precision to 320
0.192 * * * * [points]: Computing exacts on every 6 of 221 points to ramp up precision
0.200 * * * * [points]: Setting MPFR precision to 64
0.205 * * * * [points]: Setting MPFR precision to 320
0.209 * * * * [points]: Computing exacts on every 3 of 221 points to ramp up precision
0.217 * * * * [points]: Setting MPFR precision to 64
0.225 * * * * [points]: Setting MPFR precision to 320
0.232 * * * * [points]: Computing exacts for 221 points
0.241 * * * * [points]: Setting MPFR precision to 64
0.289 * * * * [points]: Setting MPFR precision to 320
0.314 * * * * [points]: Filtering points with unrepresentable outputs
0.314 * * * * [points]: Sampling 191 additional inputs, on iter 2 have 65 / 256
0.316 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision
0.324 * * * * [points]: Setting MPFR precision to 64
0.327 * * * * [points]: Setting MPFR precision to 320
0.329 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision
0.338 * * * * [points]: Setting MPFR precision to 64
0.343 * * * * [points]: Setting MPFR precision to 320
0.347 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision
0.352 * * * * [points]: Setting MPFR precision to 64
0.357 * * * * [points]: Setting MPFR precision to 320
0.362 * * * * [points]: Computing exacts for 191 points
0.366 * * * * [points]: Setting MPFR precision to 64
0.380 * * * * [points]: Setting MPFR precision to 320
0.394 * * * * [points]: Filtering points with unrepresentable outputs
0.395 * * * * [points]: Sampling 156 additional inputs, on iter 3 have 100 / 256
0.395 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision
0.400 * * * * [points]: Setting MPFR precision to 64
0.402 * * * * [points]: Setting MPFR precision to 320
0.403 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision
0.429 * * * * [points]: Setting MPFR precision to 64
0.431 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision
0.442 * * * * [points]: Setting MPFR precision to 64
0.449 * * * * [points]: Setting MPFR precision to 320
0.455 * * * * [points]: Computing exacts for 156 points
0.460 * * * * [points]: Setting MPFR precision to 64
0.472 * * * * [points]: Setting MPFR precision to 320
0.484 * * * * [points]: Filtering points with unrepresentable outputs
0.484 * * * * [points]: Sampling 136 additional inputs, on iter 4 have 120 / 256
0.485 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
0.490 * * * * [points]: Setting MPFR precision to 64
0.492 * * * * [points]: Setting MPFR precision to 320
0.494 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
0.502 * * * * [points]: Setting MPFR precision to 64
0.506 * * * * [points]: Setting MPFR precision to 320
0.508 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
0.516 * * * * [points]: Setting MPFR precision to 64
0.522 * * * * [points]: Setting MPFR precision to 320
0.528 * * * * [points]: Computing exacts for 136 points
0.537 * * * * [points]: Setting MPFR precision to 64
0.556 * * * * [points]: Setting MPFR precision to 320
0.956 * * * * [points]: Filtering points with unrepresentable outputs
0.957 * * * * [points]: Sampling 115 additional inputs, on iter 5 have 141 / 256
0.958 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
0.967 * * * * [points]: Setting MPFR precision to 64
0.969 * * * * [points]: Setting MPFR precision to 320
0.971 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
0.980 * * * * [points]: Setting MPFR precision to 64
0.984 * * * * [points]: Setting MPFR precision to 320
0.988 * * * * [points]: Computing exacts for 115 points
0.997 * * * * [points]: Setting MPFR precision to 64
1.007 * * * * [points]: Setting MPFR precision to 320
1.017 * * * * [points]: Filtering points with unrepresentable outputs
1.017 * * * * [points]: Sampling 97 additional inputs, on iter 6 have 159 / 256
1.018 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
1.024 * * * * [points]: Setting MPFR precision to 64
1.026 * * * * [points]: Setting MPFR precision to 320
1.028 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
1.039 * * * * [points]: Setting MPFR precision to 64
1.043 * * * * [points]: Setting MPFR precision to 320
1.046 * * * * [points]: Computing exacts for 97 points
1.050 * * * * [points]: Setting MPFR precision to 64
1.057 * * * * [points]: Setting MPFR precision to 320
1.065 * * * * [points]: Filtering points with unrepresentable outputs
1.065 * * * * [points]: Sampling 92 additional inputs, on iter 7 have 164 / 256
1.065 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
1.070 * * * * [points]: Setting MPFR precision to 64
1.071 * * * * [points]: Setting MPFR precision to 320
1.091 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
1.097 * * * * [points]: Setting MPFR precision to 64
1.099 * * * * [points]: Setting MPFR precision to 320
1.102 * * * * [points]: Computing exacts for 92 points
1.106 * * * * [points]: Setting MPFR precision to 64
1.114 * * * * [points]: Setting MPFR precision to 320
1.121 * * * * [points]: Filtering points with unrepresentable outputs
1.121 * * * * [points]: Sampling 81 additional inputs, on iter 8 have 175 / 256
1.121 * * * * [points]: Computing exacts on every 5 of 81 points to ramp up precision
1.126 * * * * [points]: Setting MPFR precision to 64
1.127 * * * * [points]: Setting MPFR precision to 320
1.128 * * * * [points]: Computing exacts on every 2 of 81 points to ramp up precision
1.133 * * * * [points]: Setting MPFR precision to 64
1.135 * * * * [points]: Setting MPFR precision to 320
1.137 * * * * [points]: Computing exacts for 81 points
1.142 * * * * [points]: Setting MPFR precision to 64
1.148 * * * * [points]: Setting MPFR precision to 320
1.154 * * * * [points]: Filtering points with unrepresentable outputs
1.154 * * * * [points]: Sampling 70 additional inputs, on iter 9 have 186 / 256
1.154 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
1.159 * * * * [points]: Setting MPFR precision to 64
1.160 * * * * [points]: Setting MPFR precision to 320
1.161 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
1.170 * * * * [points]: Setting MPFR precision to 64
1.173 * * * * [points]: Setting MPFR precision to 320
1.176 * * * * [points]: Computing exacts for 70 points
1.185 * * * * [points]: Setting MPFR precision to 64
1.217 * * * * [points]: Setting MPFR precision to 320
1.230 * * * * [points]: Filtering points with unrepresentable outputs
1.230 * * * * [points]: Sampling 60 additional inputs, on iter 10 have 196 / 256
1.230 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
1.239 * * * * [points]: Setting MPFR precision to 64
1.242 * * * * [points]: Setting MPFR precision to 320
1.243 * * * * [points]: Computing exacts for 60 points
1.251 * * * * [points]: Setting MPFR precision to 64
1.259 * * * * [points]: Setting MPFR precision to 320
1.266 * * * * [points]: Filtering points with unrepresentable outputs
1.267 * * * * [points]: Sampling 56 additional inputs, on iter 11 have 200 / 256
1.267 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
1.272 * * * * [points]: Setting MPFR precision to 64
1.274 * * * * [points]: Setting MPFR precision to 320
1.275 * * * * [points]: Computing exacts for 56 points
1.280 * * * * [points]: Setting MPFR precision to 64
1.284 * * * * [points]: Setting MPFR precision to 320
1.288 * * * * [points]: Filtering points with unrepresentable outputs
1.288 * * * * [points]: Sampling 48 additional inputs, on iter 12 have 208 / 256
1.289 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
1.293 * * * * [points]: Setting MPFR precision to 64
1.294 * * * * [points]: Setting MPFR precision to 320
1.295 * * * * [points]: Computing exacts for 48 points
1.300 * * * * [points]: Setting MPFR precision to 64
1.305 * * * * [points]: Setting MPFR precision to 320
1.311 * * * * [points]: Filtering points with unrepresentable outputs
1.311 * * * * [points]: Sampling 37 additional inputs, on iter 13 have 219 / 256
1.311 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1.316 * * * * [points]: Setting MPFR precision to 64
1.317 * * * * [points]: Setting MPFR precision to 320
1.318 * * * * [points]: Computing exacts for 37 points
1.323 * * * * [points]: Setting MPFR precision to 64
1.325 * * * * [points]: Setting MPFR precision to 320
1.328 * * * * [points]: Filtering points with unrepresentable outputs
1.328 * * * * [points]: Sampling 32 additional inputs, on iter 14 have 224 / 256
1.329 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1.349 * * * * [points]: Setting MPFR precision to 64
1.351 * * * * [points]: Setting MPFR precision to 320
1.351 * * * * [points]: Computing exacts for 32 points
1.356 * * * * [points]: Setting MPFR precision to 64
1.358 * * * * [points]: Setting MPFR precision to 320
1.361 * * * * [points]: Filtering points with unrepresentable outputs
1.361 * * * * [points]: Sampling 27 additional inputs, on iter 15 have 229 / 256
1.361 * * * * [points]: Computing exacts for 27 points
1.366 * * * * [points]: Setting MPFR precision to 64
1.368 * * * * [points]: Setting MPFR precision to 320
1.370 * * * * [points]: Filtering points with unrepresentable outputs
1.370 * * * * [points]: Sampling 25 additional inputs, on iter 16 have 231 / 256
1.371 * * * * [points]: Computing exacts for 25 points
1.375 * * * * [points]: Setting MPFR precision to 64
1.378 * * * * [points]: Setting MPFR precision to 320
1.380 * * * * [points]: Filtering points with unrepresentable outputs
1.380 * * * * [points]: Sampling 21 additional inputs, on iter 17 have 235 / 256
1.380 * * * * [points]: Computing exacts for 21 points
1.384 * * * * [points]: Setting MPFR precision to 64
1.386 * * * * [points]: Setting MPFR precision to 320
1.388 * * * * [points]: Filtering points with unrepresentable outputs
1.388 * * * * [points]: Sampling 19 additional inputs, on iter 18 have 237 / 256
1.388 * * * * [points]: Computing exacts for 19 points
1.393 * * * * [points]: Setting MPFR precision to 64
1.394 * * * * [points]: Setting MPFR precision to 320
1.396 * * * * [points]: Filtering points with unrepresentable outputs
1.397 * * * * [points]: Sampling 18 additional inputs, on iter 19 have 238 / 256
1.397 * * * * [points]: Computing exacts for 18 points
1.401 * * * * [points]: Setting MPFR precision to 64
1.403 * * * * [points]: Setting MPFR precision to 320
1.404 * * * * [points]: Filtering points with unrepresentable outputs
1.404 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 241 / 256
1.404 * * * * [points]: Computing exacts for 15 points
1.409 * * * * [points]: Setting MPFR precision to 64
1.410 * * * * [points]: Setting MPFR precision to 320
1.412 * * * * [points]: Filtering points with unrepresentable outputs
1.413 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.413 * * * * [points]: Computing exacts for 12 points
1.420 * * * * [points]: Setting MPFR precision to 64
1.422 * * * * [points]: Setting MPFR precision to 320
1.423 * * * * [points]: Filtering points with unrepresentable outputs
1.423 * * * * [points]: Sampling 12 additional inputs, on iter 22 have 244 / 256
1.424 * * * * [points]: Computing exacts for 12 points
1.432 * * * * [points]: Setting MPFR precision to 64
1.434 * * * * [points]: Setting MPFR precision to 320
1.436 * * * * [points]: Filtering points with unrepresentable outputs
1.436 * * * * [points]: Sampling 7 additional inputs, on iter 23 have 249 / 256
1.436 * * * * [points]: Computing exacts for 7 points
1.468 * * * * [points]: Setting MPFR precision to 64
1.469 * * * * [points]: Setting MPFR precision to 320
1.470 * * * * [points]: Filtering points with unrepresentable outputs
1.470 * * * * [points]: Sampling 6 additional inputs, on iter 24 have 250 / 256
1.470 * * * * [points]: Computing exacts for 6 points
1.482 * * * * [points]: Setting MPFR precision to 64
1.484 * * * * [points]: Setting MPFR precision to 320
1.485 * * * * [points]: Filtering points with unrepresentable outputs
1.485 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 250 / 256
1.485 * * * * [points]: Computing exacts for 6 points
1.493 * * * * [points]: Setting MPFR precision to 64
1.495 * * * * [points]: Setting MPFR precision to 320
1.496 * * * * [points]: Filtering points with unrepresentable outputs
1.496 * * * * [points]: Sampling 5 additional inputs, on iter 26 have 251 / 256
1.496 * * * * [points]: Computing exacts for 5 points
1.505 * * * * [points]: Setting MPFR precision to 64
1.506 * * * * [points]: Setting MPFR precision to 320
1.506 * * * * [points]: Filtering points with unrepresentable outputs
1.506 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 252 / 256
1.506 * * * * [points]: Computing exacts for 4 points
1.511 * * * * [points]: Setting MPFR precision to 64
1.512 * * * * [points]: Setting MPFR precision to 320
1.512 * * * * [points]: Filtering points with unrepresentable outputs
1.512 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 253 / 256
1.512 * * * * [points]: Computing exacts for 4 points
1.517 * * * * [points]: Setting MPFR precision to 64
1.517 * * * * [points]: Setting MPFR precision to 320
1.518 * * * * [points]: Filtering points with unrepresentable outputs
1.518 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
1.518 * * * * [points]: Computing exacts for 4 points
1.522 * * * * [points]: Setting MPFR precision to 64
1.523 * * * * [points]: Setting MPFR precision to 320
1.523 * * * * [points]: Filtering points with unrepresentable outputs
1.523 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
1.523 * * * * [points]: Computing exacts for 4 points
1.528 * * * * [points]: Setting MPFR precision to 64
1.529 * * * * [points]: Setting MPFR precision to 320
1.529 * * * * [points]: Filtering points with unrepresentable outputs
1.529 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.529 * * * * [points]: Computing exacts for 4 points
1.534 * * * * [points]: Setting MPFR precision to 64
1.534 * * * * [points]: Setting MPFR precision to 320
1.535 * * * * [points]: Filtering points with unrepresentable outputs
1.535 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.535 * * * * [points]: Computing exacts for 4 points
1.539 * * * * [points]: Setting MPFR precision to 64
1.540 * * * * [points]: Setting MPFR precision to 320
1.540 * * * * [points]: Filtering points with unrepresentable outputs
1.540 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.540 * * * * [points]: Computing exacts for 4 points
1.545 * * * * [points]: Setting MPFR precision to 64
1.546 * * * * [points]: Setting MPFR precision to 320
1.546 * * * * [points]: Filtering points with unrepresentable outputs
1.546 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.546 * * * * [points]: Computing exacts for 4 points
1.551 * * * * [points]: Setting MPFR precision to 64
1.551 * * * * [points]: Setting MPFR precision to 320
1.552 * * * * [points]: Filtering points with unrepresentable outputs
1.552 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
1.552 * * * * [points]: Computing exacts for 4 points
1.556 * * * * [points]: Setting MPFR precision to 64
1.568 * * * * [points]: Setting MPFR precision to 320
1.568 * * * * [points]: Filtering points with unrepresentable outputs
1.569 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 255 / 256
1.569 * * * * [points]: Computing exacts for 4 points
1.575 * * * * [points]: Setting MPFR precision to 64
1.576 * * * * [points]: Setting MPFR precision to 320
1.576 * * * * [points]: Filtering points with unrepresentable outputs
1.576 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 255 / 256
1.576 * * * * [points]: Computing exacts for 4 points
1.581 * * * * [points]: Setting MPFR precision to 64
1.581 * * * * [points]: Setting MPFR precision to 320
1.582 * * * * [points]: Filtering points with unrepresentable outputs
1.582 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 255 / 256
1.582 * * * * [points]: Computing exacts for 4 points
1.586 * * * * [points]: Setting MPFR precision to 64
1.587 * * * * [points]: Setting MPFR precision to 320
1.587 * * * * [points]: Filtering points with unrepresentable outputs
1.587 * * * * [points]: Sampled 256 points with exact outputs
1.587 * * * [progress]: [2/2] Setting up program.
1.605 * [progress]: [Phase 2 of 3] Improving.
1.605 * * * * [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.605 * [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.605 * * [simplify]: iteration 1: (19 enodes)
1.611 * * [simplify]: iteration 2: (76 enodes)
1.633 * * [simplify]: iteration 3: (344 enodes)
1.831 * * [simplify]: Extracting #0: cost 1 inf + 0
1.831 * * [simplify]: Extracting #1: cost 76 inf + 0
1.833 * * [simplify]: Extracting #2: cost 476 inf + 1
1.840 * * [simplify]: Extracting #3: cost 744 inf + 23847
1.855 * * [simplify]: Extracting #4: cost 692 inf + 133920
1.876 * * [simplify]: Extracting #5: cost 616 inf + 187628
1.898 * * [simplify]: Extracting #6: cost 579 inf + 209025
1.924 * * [simplify]: Extracting #7: cost 351 inf + 483855
1.998 * * [simplify]: Extracting #8: cost 57 inf + 913475
2.070 * * [simplify]: Extracting #9: cost 4 inf + 1018528
2.127 * * [simplify]: Extracting #10: cost 0 inf + 1031988
2.227 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)))))
2.274 * * [progress]: iteration 1 / 4
2.274 * * * [progress]: picking best candidate
2.312 * * * * [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))))>
2.312 * * * [progress]: localizing error
2.778 * * * [progress]: generating rewritten candidates
2.779 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.793 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.807 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
2.830 * * * [progress]: generating series expansions
2.830 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.831 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.831 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.831 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
2.831 * * * [progress]: simplifying candidates
2.831 * * * * [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.831 * * * * [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.831 * * * * [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.831 * * * * [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.831 * * * * [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))))))>
2.831 * * * * [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))))>
2.832 * * * * [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))))))>
2.832 * * * * [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)))))>
2.832 * * * * [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))))>
2.832 * * * * [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))))>
2.832 * * * * [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))))>
2.832 * * * * [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))))>
2.832 * * * * [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))))>
2.832 * * * * [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))))>
2.832 * * * * [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))))>
2.832 * * * * [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))))>
2.832 * * * * [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))))>
2.833 * * * * [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))))>
2.833 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))), (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))), (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))), (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))), (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))), (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)), (*.p16 i (+.p16 alpha beta)), (*.p16 i i), (*.p16 (+.p16 alpha beta) i), (*.p16 i i), (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))), (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))), (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))), (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
2.834 * * [simplify]: iteration 1: (39 enodes)
2.845 * * [simplify]: iteration 2: (129 enodes)
2.903 * * [simplify]: iteration 3: (649 enodes)
3.951 * * [simplify]: Extracting #0: cost 14 inf + 0
3.952 * * [simplify]: Extracting #1: cost 407 inf + 0
3.971 * * [simplify]: Extracting #2: cost 1282 inf + 322
3.986 * * [simplify]: Extracting #3: cost 1962 inf + 5068
4.008 * * [simplify]: Extracting #4: cost 1884 inf + 110621
4.041 * * [simplify]: Extracting #5: cost 1511 inf + 528665
4.180 * * [simplify]: Extracting #6: cost 467 inf + 2029662
4.428 * * [simplify]: Extracting #7: cost 10 inf + 2816620
4.692 * * [simplify]: Extracting #8: cost 0 inf + 2822430
4.981 * * [simplify]: Extracting #9: cost 0 inf + 2821750
5.172 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))), (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)), (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)), (/.p16 (*.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))), (/.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0))) (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i)))), (/.p16 (*.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha))) (real->posit16 1.0)))), (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))), (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 i (+.p16 beta i))) (*.p16 (-.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (real->posit16 1.0)) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha))), (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)), (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)), (*.p16 (+.p16 alpha beta) i), (*.p16 i i), (*.p16 (+.p16 alpha beta) i), (*.p16 i i), (/.p16 (*.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))), (/.p16 (*.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))), (/.p16 (*.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))), (/.p16 (*.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha))))
5.174 * * * [progress]: adding candidates to table
5.899 * * [progress]: iteration 2 / 4
5.913 * * * [progress]: picking best candidate
6.212 * * * * [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)))))>
6.212 * * * [progress]: localizing error
6.735 * * * [progress]: generating rewritten candidates
6.735 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
6.751 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.780 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.808 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.891 * * * [progress]: generating series expansions
6.892 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
6.892 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.892 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.892 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.892 * * * [progress]: simplifying candidates
6.892 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.892 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.892 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
6.892 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.892 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.892 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.892 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.893 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
6.893 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))), (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
6.894 * * [simplify]: iteration 1: (27 enodes)
6.907 * * [simplify]: iteration 2: (92 enodes)
6.935 * * [simplify]: iteration 3: (412 enodes)
7.316 * * [simplify]: Extracting #0: cost 6 inf + 0
7.317 * * [simplify]: Extracting #1: cost 241 inf + 0
7.319 * * [simplify]: Extracting #2: cost 854 inf + 1
7.326 * * [simplify]: Extracting #3: cost 1166 inf + 2458
7.337 * * [simplify]: Extracting #4: cost 1160 inf + 12452
7.372 * * [simplify]: Extracting #5: cost 853 inf + 229639
7.439 * * [simplify]: Extracting #6: cost 150 inf + 982526
7.553 * * [simplify]: Extracting #7: cost 3 inf + 1196851
7.692 * * [simplify]: Extracting #8: cost 0 inf + 1190506
7.820 * * [simplify]: Extracting #9: cost 0 inf + 1188466
7.938 * * [simplify]: Extracting #10: cost 0 inf + 1188346
8.044 * [simplify]: Simplified to (/.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha i))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))), (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
8.045 * * * [progress]: adding candidates to table
8.340 * * [progress]: iteration 3 / 4
8.340 * * * [progress]: picking best candidate
8.650 * * * * [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)))))>
8.650 * * * [progress]: localizing error
9.186 * * * [progress]: generating rewritten candidates
9.186 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
9.200 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
9.242 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.289 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
9.358 * * * [progress]: generating series expansions
9.358 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
9.358 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
9.358 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.358 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
9.359 * * * [progress]: simplifying candidates
9.359 * * * * [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)))))>
9.359 * * * * [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))))))>
9.359 * * * * [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)))))>
9.359 * * * * [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)))))>
9.359 * * * * [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)))))>
9.359 * * * * [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)))))>
9.359 * * * * [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)))))>
9.359 * * * * [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)))))>
9.360 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))), (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i)), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
9.360 * * [simplify]: iteration 1: (25 enodes)
9.373 * * [simplify]: iteration 2: (83 enodes)
9.411 * * [simplify]: iteration 3: (361 enodes)
9.742 * * [simplify]: Extracting #0: cost 5 inf + 0
9.742 * * [simplify]: Extracting #1: cost 112 inf + 0
9.745 * * [simplify]: Extracting #2: cost 485 inf + 0
9.751 * * [simplify]: Extracting #3: cost 741 inf + 7180
9.761 * * [simplify]: Extracting #4: cost 686 inf + 36178
9.786 * * [simplify]: Extracting #5: cost 526 inf + 186777
9.866 * * [simplify]: Extracting #6: cost 78 inf + 661222
9.922 * * [simplify]: Extracting #7: cost 0 inf + 759583
10.028 * * [simplify]: Extracting #8: cost 0 inf + 759023
10.140 * * [simplify]: Extracting #9: cost 0 inf + 758823
10.223 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))), (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) (-.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))), (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))
10.225 * * * [progress]: adding candidates to table
10.540 * * [progress]: iteration 4 / 4
10.540 * * * [progress]: picking best candidate
10.831 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.831 * * * [progress]: localizing error
11.290 * * * [progress]: generating rewritten candidates
11.290 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
11.305 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
11.327 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
11.330 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
11.370 * * * [progress]: generating series expansions
11.370 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
11.370 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
11.370 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
11.370 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
11.370 * * * [progress]: simplifying candidates
11.370 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.370 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.370 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.370 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
11.370 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.371 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.371 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.371 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.371 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))), (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))), (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))
11.372 * * [simplify]: iteration 1: (27 enodes)
11.379 * * [simplify]: iteration 2: (92 enodes)
11.405 * * [simplify]: iteration 3: (412 enodes)
11.748 * * [simplify]: Extracting #0: cost 5 inf + 0
11.748 * * [simplify]: Extracting #1: cost 154 inf + 0
11.750 * * [simplify]: Extracting #2: cost 697 inf + 1
11.754 * * [simplify]: Extracting #3: cost 1097 inf + 3504
11.759 * * [simplify]: Extracting #4: cost 1108 inf + 22201
11.772 * * [simplify]: Extracting #5: cost 898 inf + 205688
11.831 * * [simplify]: Extracting #6: cost 214 inf + 1005116
11.930 * * [simplify]: Extracting #7: cost 1 inf + 1155632
12.016 * * [simplify]: Extracting #8: cost 0 inf + 1113592
12.133 * * [simplify]: Extracting #9: cost 0 inf + 1112872
12.242 * * [simplify]: Extracting #10: cost 0 inf + 1112552
12.331 * [simplify]: Simplified to (/.p16 i (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))), (/.p16 i (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha))) (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (-.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (real->posit16 1.0)))), (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))
12.333 * * * [progress]: adding candidates to table
12.593 * [progress]: [Phase 3 of 3] Extracting.
12.593 * * [regime]: Finding splitpoints for: (#<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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.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 (*.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 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))))> #<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))))> #<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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))>)
12.604 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
12.604 * * * * [regimes]: Trying to branch on beta from (#<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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.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 (*.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 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))))> #<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))))> #<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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))>)
13.154 * * * * [regimes]: Trying to branch on alpha from (#<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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.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 (*.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 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))))> #<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))))> #<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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))>)
13.758 * * * * [regimes]: Trying to branch on i from (#<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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.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 (*.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 beta (+.p16 alpha i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)))))> #<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))))> #<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 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))))))>)
14.228 * * * [regime]: Found split indices: #<option (#s(si 13 256))>
14.229 * [simplify]: Simplifying (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
14.229 * * [simplify]: iteration 1: (22 enodes)
14.233 * * [simplify]: Extracting #0: cost 1 inf + 0
14.233 * * [simplify]: Extracting #1: cost 3 inf + 0
14.233 * * [simplify]: Extracting #2: cost 7 inf + 0
14.233 * * [simplify]: Extracting #3: cost 11 inf + 1
14.233 * * [simplify]: Extracting #4: cost 17 inf + 1
14.233 * * [simplify]: Extracting #5: cost 18 inf + 3
14.233 * * [simplify]: Extracting #6: cost 14 inf + 452
14.233 * * [simplify]: Extracting #7: cost 11 inf + 857
14.234 * * [simplify]: Extracting #8: cost 8 inf + 2346
14.234 * * [simplify]: Extracting #9: cost 2 inf + 9054
14.235 * * [simplify]: Extracting #10: cost 1 inf + 10739
14.236 * * [simplify]: Extracting #11: cost 0 inf + 14384
14.237 * [simplify]: Simplified to (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
14.237 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
14.301 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
14.310 * * * * [points]: Setting MPFR precision to 64
14.313 * * * * [points]: Setting MPFR precision to 320
14.315 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
14.324 * * * * [points]: Setting MPFR precision to 64
14.329 * * * * [points]: Setting MPFR precision to 320
14.333 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
14.342 * * * * [points]: Setting MPFR precision to 64
14.350 * * * * [points]: Setting MPFR precision to 320
14.359 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
14.368 * * * * [points]: Setting MPFR precision to 64
14.406 * * * * [points]: Setting MPFR precision to 320
14.425 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
14.434 * * * * [points]: Setting MPFR precision to 64
14.466 * * * * [points]: Setting MPFR precision to 320
14.498 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
14.506 * * * * [points]: Setting MPFR precision to 64
14.572 * * * * [points]: Setting MPFR precision to 320
14.690 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
14.700 * * * * [points]: Setting MPFR precision to 64
14.837 * * * * [points]: Setting MPFR precision to 320
14.992 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.997 * * * * [points]: Setting MPFR precision to 64
15.721 * * * * [points]: Setting MPFR precision to 320
16.026 * * * * [points]: Computing exacts for 8000 points
16.034 * * * * [points]: Setting MPFR precision to 64
17.288 * * * * [points]: Setting MPFR precision to 320
18.310 * * * * [points]: Filtering points with unrepresentable outputs
18.313 * * * * [points]: Sampling 6887 additional inputs, on iter 1 have 1113 / 8000
18.376 * * * * [points]: Computing exacts on every 430 of 6887 points to ramp up precision
18.384 * * * * [points]: Setting MPFR precision to 64
18.386 * * * * [points]: Setting MPFR precision to 320
18.388 * * * * [points]: Computing exacts on every 215 of 6887 points to ramp up precision
18.397 * * * * [points]: Setting MPFR precision to 64
18.401 * * * * [points]: Setting MPFR precision to 320
18.404 * * * * [points]: Computing exacts on every 107 of 6887 points to ramp up precision
18.409 * * * * [points]: Setting MPFR precision to 64
18.415 * * * * [points]: Setting MPFR precision to 320
18.420 * * * * [points]: Computing exacts on every 53 of 6887 points to ramp up precision
18.424 * * * * [points]: Setting MPFR precision to 64
18.434 * * * * [points]: Setting MPFR precision to 320
18.444 * * * * [points]: Computing exacts on every 26 of 6887 points to ramp up precision
18.452 * * * * [points]: Setting MPFR precision to 64
18.486 * * * * [points]: Setting MPFR precision to 320
19.028 * * * * [points]: Computing exacts on every 13 of 6887 points to ramp up precision
19.037 * * * * [points]: Setting MPFR precision to 64
19.107 * * * * [points]: Setting MPFR precision to 320
19.170 * * * * [points]: Computing exacts on every 6 of 6887 points to ramp up precision
19.175 * * * * [points]: Setting MPFR precision to 64
19.338 * * * * [points]: Setting MPFR precision to 320
19.521 * * * * [points]: Computing exacts on every 3 of 6887 points to ramp up precision
19.530 * * * * [points]: Setting MPFR precision to 64
19.784 * * * * [points]: Setting MPFR precision to 320
19.995 * * * * [points]: Computing exacts for 6887 points
20.003 * * * * [points]: Setting MPFR precision to 64
20.994 * * * * [points]: Setting MPFR precision to 320
22.178 * * * * [points]: Filtering points with unrepresentable outputs
22.181 * * * * [points]: Sampling 5895 additional inputs, on iter 2 have 2105 / 8000
22.208 * * * * [points]: Computing exacts on every 368 of 5895 points to ramp up precision
22.213 * * * * [points]: Setting MPFR precision to 64
22.215 * * * * [points]: Setting MPFR precision to 320
22.216 * * * * [points]: Computing exacts on every 184 of 5895 points to ramp up precision
22.221 * * * * [points]: Setting MPFR precision to 64
22.223 * * * * [points]: Setting MPFR precision to 320
22.226 * * * * [points]: Computing exacts on every 92 of 5895 points to ramp up precision
22.231 * * * * [points]: Setting MPFR precision to 64
22.236 * * * * [points]: Setting MPFR precision to 320
22.241 * * * * [points]: Computing exacts on every 46 of 5895 points to ramp up precision
22.246 * * * * [points]: Setting MPFR precision to 64
22.256 * * * * [points]: Setting MPFR precision to 320
22.286 * * * * [points]: Computing exacts on every 23 of 5895 points to ramp up precision
22.292 * * * * [points]: Setting MPFR precision to 64
22.311 * * * * [points]: Setting MPFR precision to 320
22.342 * * * * [points]: Computing exacts on every 11 of 5895 points to ramp up precision
22.352 * * * * [points]: Setting MPFR precision to 64
22.417 * * * * [points]: Setting MPFR precision to 320
22.487 * * * * [points]: Computing exacts on every 5 of 5895 points to ramp up precision
22.496 * * * * [points]: Setting MPFR precision to 64
22.595 * * * * [points]: Setting MPFR precision to 320
22.727 * * * * [points]: Computing exacts on every 2 of 5895 points to ramp up precision
22.732 * * * * [points]: Setting MPFR precision to 64
23.031 * * * * [points]: Setting MPFR precision to 320
23.422 * * * * [points]: Computing exacts for 5895 points
23.431 * * * * [points]: Setting MPFR precision to 64
24.478 * * * * [points]: Setting MPFR precision to 320
25.495 * * * * [points]: Filtering points with unrepresentable outputs
25.501 * * * * [points]: Sampling 5047 additional inputs, on iter 3 have 2953 / 8000
25.543 * * * * [points]: Computing exacts on every 315 of 5047 points to ramp up precision
25.552 * * * * [points]: Setting MPFR precision to 64
25.554 * * * * [points]: Setting MPFR precision to 320
25.557 * * * * [points]: Computing exacts on every 157 of 5047 points to ramp up precision
25.565 * * * * [points]: Setting MPFR precision to 64
25.570 * * * * [points]: Setting MPFR precision to 320
26.013 * * * * [points]: Computing exacts on every 78 of 5047 points to ramp up precision
26.025 * * * * [points]: Setting MPFR precision to 64
26.035 * * * * [points]: Setting MPFR precision to 320
26.044 * * * * [points]: Computing exacts on every 39 of 5047 points to ramp up precision
26.053 * * * * [points]: Setting MPFR precision to 64
26.071 * * * * [points]: Setting MPFR precision to 320
26.088 * * * * [points]: Computing exacts on every 19 of 5047 points to ramp up precision
26.098 * * * * [points]: Setting MPFR precision to 64
26.131 * * * * [points]: Setting MPFR precision to 320
26.165 * * * * [points]: Computing exacts on every 9 of 5047 points to ramp up precision
26.175 * * * * [points]: Setting MPFR precision to 64
26.263 * * * * [points]: Setting MPFR precision to 320
26.311 * * * * [points]: Computing exacts on every 4 of 5047 points to ramp up precision
26.320 * * * * [points]: Setting MPFR precision to 64
26.508 * * * * [points]: Setting MPFR precision to 320
26.645 * * * * [points]: Computing exacts on every 2 of 5047 points to ramp up precision
26.698 * * * * [points]: Setting MPFR precision to 64
26.985 * * * * [points]: Setting MPFR precision to 320
27.257 * * * * [points]: Computing exacts for 5047 points
27.267 * * * * [points]: Setting MPFR precision to 64
28.087 * * * * [points]: Setting MPFR precision to 320
28.886 * * * * [points]: Filtering points with unrepresentable outputs
28.891 * * * * [points]: Sampling 4299 additional inputs, on iter 4 have 3701 / 8000
28.920 * * * * [points]: Computing exacts on every 268 of 4299 points to ramp up precision
28.924 * * * * [points]: Setting MPFR precision to 64
28.926 * * * * [points]: Setting MPFR precision to 320
28.927 * * * * [points]: Computing exacts on every 134 of 4299 points to ramp up precision
28.931 * * * * [points]: Setting MPFR precision to 64
28.934 * * * * [points]: Setting MPFR precision to 320
28.936 * * * * [points]: Computing exacts on every 67 of 4299 points to ramp up precision
28.940 * * * * [points]: Setting MPFR precision to 64
28.945 * * * * [points]: Setting MPFR precision to 320
28.950 * * * * [points]: Computing exacts on every 33 of 4299 points to ramp up precision
28.955 * * * * [points]: Setting MPFR precision to 64
28.999 * * * * [points]: Setting MPFR precision to 320
29.020 * * * * [points]: Computing exacts on every 16 of 4299 points to ramp up precision
29.029 * * * * [points]: Setting MPFR precision to 64
29.063 * * * * [points]: Setting MPFR precision to 320
29.098 * * * * [points]: Computing exacts on every 8 of 4299 points to ramp up precision
29.107 * * * * [points]: Setting MPFR precision to 64
29.152 * * * * [points]: Setting MPFR precision to 320
29.270 * * * * [points]: Computing exacts on every 4 of 4299 points to ramp up precision
29.280 * * * * [points]: Setting MPFR precision to 64
29.404 * * * * [points]: Setting MPFR precision to 320
29.949 * * * * [points]: Computing exacts on every 2 of 4299 points to ramp up precision
29.954 * * * * [points]: Setting MPFR precision to 64
30.098 * * * * [points]: Setting MPFR precision to 320
30.283 * * * * [points]: Computing exacts for 4299 points
30.288 * * * * [points]: Setting MPFR precision to 64
30.917 * * * * [points]: Setting MPFR precision to 320
31.429 * * * * [points]: Filtering points with unrepresentable outputs
31.431 * * * * [points]: Sampling 3708 additional inputs, on iter 5 have 4292 / 8000
31.446 * * * * [points]: Computing exacts on every 231 of 3708 points to ramp up precision
31.451 * * * * [points]: Setting MPFR precision to 64
31.452 * * * * [points]: Setting MPFR precision to 320
31.453 * * * * [points]: Computing exacts on every 115 of 3708 points to ramp up precision
31.458 * * * * [points]: Setting MPFR precision to 64
31.460 * * * * [points]: Setting MPFR precision to 320
31.463 * * * * [points]: Computing exacts on every 57 of 3708 points to ramp up precision
31.467 * * * * [points]: Setting MPFR precision to 64
31.472 * * * * [points]: Setting MPFR precision to 320
31.477 * * * * [points]: Computing exacts on every 28 of 3708 points to ramp up precision
31.481 * * * * [points]: Setting MPFR precision to 64
31.491 * * * * [points]: Setting MPFR precision to 320
31.523 * * * * [points]: Computing exacts on every 14 of 3708 points to ramp up precision
31.528 * * * * [points]: Setting MPFR precision to 64
31.548 * * * * [points]: Setting MPFR precision to 320
31.566 * * * * [points]: Computing exacts on every 7 of 3708 points to ramp up precision
31.571 * * * * [points]: Setting MPFR precision to 64
31.606 * * * * [points]: Setting MPFR precision to 320
31.668 * * * * [points]: Computing exacts on every 3 of 3708 points to ramp up precision
31.674 * * * * [points]: Setting MPFR precision to 64
31.754 * * * * [points]: Setting MPFR precision to 320
31.880 * * * * [points]: Computing exacts for 3708 points
31.885 * * * * [points]: Setting MPFR precision to 64
32.235 * * * * [points]: Setting MPFR precision to 320
33.196 * * * * [points]: Filtering points with unrepresentable outputs
33.199 * * * * [points]: Sampling 3211 additional inputs, on iter 6 have 4789 / 8000
33.225 * * * * [points]: Computing exacts on every 200 of 3211 points to ramp up precision
33.234 * * * * [points]: Setting MPFR precision to 64
33.236 * * * * [points]: Setting MPFR precision to 320
33.239 * * * * [points]: Computing exacts on every 100 of 3211 points to ramp up precision
33.247 * * * * [points]: Setting MPFR precision to 64
33.251 * * * * [points]: Setting MPFR precision to 320
33.256 * * * * [points]: Computing exacts on every 50 of 3211 points to ramp up precision
33.264 * * * * [points]: Setting MPFR precision to 64
33.273 * * * * [points]: Setting MPFR precision to 320
33.281 * * * * [points]: Computing exacts on every 25 of 3211 points to ramp up precision
33.310 * * * * [points]: Setting MPFR precision to 64
33.329 * * * * [points]: Setting MPFR precision to 320
33.347 * * * * [points]: Computing exacts on every 12 of 3211 points to ramp up precision
33.358 * * * * [points]: Setting MPFR precision to 64
33.393 * * * * [points]: Setting MPFR precision to 320
33.427 * * * * [points]: Computing exacts on every 6 of 3211 points to ramp up precision
33.436 * * * * [points]: Setting MPFR precision to 64
33.544 * * * * [points]: Setting MPFR precision to 320
33.613 * * * * [points]: Computing exacts on every 3 of 3211 points to ramp up precision
33.622 * * * * [points]: Setting MPFR precision to 64
33.737 * * * * [points]: Setting MPFR precision to 320
33.864 * * * * [points]: Computing exacts for 3211 points
33.869 * * * * [points]: Setting MPFR precision to 64
34.221 * * * * [points]: Setting MPFR precision to 320
34.541 * * * * [points]: Filtering points with unrepresentable outputs
34.543 * * * * [points]: Sampling 2760 additional inputs, on iter 7 have 5240 / 8000
34.555 * * * * [points]: Computing exacts on every 172 of 2760 points to ramp up precision
34.590 * * * * [points]: Setting MPFR precision to 64
34.592 * * * * [points]: Setting MPFR precision to 320
34.593 * * * * [points]: Computing exacts on every 86 of 2760 points to ramp up precision
34.598 * * * * [points]: Setting MPFR precision to 64
34.602 * * * * [points]: Setting MPFR precision to 320
34.606 * * * * [points]: Computing exacts on every 43 of 2760 points to ramp up precision
34.611 * * * * [points]: Setting MPFR precision to 64
34.616 * * * * [points]: Setting MPFR precision to 320
34.621 * * * * [points]: Computing exacts on every 21 of 2760 points to ramp up precision
34.626 * * * * [points]: Setting MPFR precision to 64
34.635 * * * * [points]: Setting MPFR precision to 320
34.646 * * * * [points]: Computing exacts on every 10 of 2760 points to ramp up precision
34.650 * * * * [points]: Setting MPFR precision to 64
34.680 * * * * [points]: Setting MPFR precision to 320
34.717 * * * * [points]: Computing exacts on every 5 of 2760 points to ramp up precision
34.763 * * * * [points]: Setting MPFR precision to 64
34.829 * * * * [points]: Setting MPFR precision to 320
34.892 * * * * [points]: Computing exacts on every 2 of 2760 points to ramp up precision
34.901 * * * * [points]: Setting MPFR precision to 64
35.086 * * * * [points]: Setting MPFR precision to 320
35.213 * * * * [points]: Computing exacts for 2760 points
35.222 * * * * [points]: Setting MPFR precision to 64
35.717 * * * * [points]: Setting MPFR precision to 320
36.217 * * * * [points]: Filtering points with unrepresentable outputs
36.219 * * * * [points]: Sampling 2349 additional inputs, on iter 8 have 5651 / 8000
36.238 * * * * [points]: Computing exacts on every 146 of 2349 points to ramp up precision
36.247 * * * * [points]: Setting MPFR precision to 64
36.250 * * * * [points]: Setting MPFR precision to 320
36.252 * * * * [points]: Computing exacts on every 73 of 2349 points to ramp up precision
36.261 * * * * [points]: Setting MPFR precision to 64
36.266 * * * * [points]: Setting MPFR precision to 320
36.753 * * * * [points]: Computing exacts on every 36 of 2349 points to ramp up precision
36.766 * * * * [points]: Setting MPFR precision to 64
36.775 * * * * [points]: Setting MPFR precision to 320
36.784 * * * * [points]: Computing exacts on every 18 of 2349 points to ramp up precision
36.792 * * * * [points]: Setting MPFR precision to 64
36.801 * * * * [points]: Setting MPFR precision to 320
36.811 * * * * [points]: Computing exacts on every 9 of 2349 points to ramp up precision
36.815 * * * * [points]: Setting MPFR precision to 64
36.834 * * * * [points]: Setting MPFR precision to 320
36.852 * * * * [points]: Computing exacts on every 4 of 2349 points to ramp up precision
36.858 * * * * [points]: Setting MPFR precision to 64
36.925 * * * * [points]: Setting MPFR precision to 320
36.960 * * * * [points]: Computing exacts on every 2 of 2349 points to ramp up precision
36.965 * * * * [points]: Setting MPFR precision to 64
37.122 * * * * [points]: Setting MPFR precision to 320
37.230 * * * * [points]: Computing exacts for 2349 points
37.239 * * * * [points]: Setting MPFR precision to 64
37.556 * * * * [points]: Setting MPFR precision to 320
37.816 * * * * [points]: Filtering points with unrepresentable outputs
37.818 * * * * [points]: Sampling 2016 additional inputs, on iter 9 have 5984 / 8000
37.829 * * * * [points]: Computing exacts on every 126 of 2016 points to ramp up precision
37.834 * * * * [points]: Setting MPFR precision to 64
37.836 * * * * [points]: Setting MPFR precision to 320
37.837 * * * * [points]: Computing exacts on every 63 of 2016 points to ramp up precision
37.869 * * * * [points]: Setting MPFR precision to 64
37.872 * * * * [points]: Setting MPFR precision to 320
37.874 * * * * [points]: Computing exacts on every 31 of 2016 points to ramp up precision
37.881 * * * * [points]: Setting MPFR precision to 64
37.886 * * * * [points]: Setting MPFR precision to 320
37.891 * * * * [points]: Computing exacts on every 15 of 2016 points to ramp up precision
37.895 * * * * [points]: Setting MPFR precision to 64
37.905 * * * * [points]: Setting MPFR precision to 320
37.914 * * * * [points]: Computing exacts on every 7 of 2016 points to ramp up precision
37.919 * * * * [points]: Setting MPFR precision to 64
37.937 * * * * [points]: Setting MPFR precision to 320
37.966 * * * * [points]: Computing exacts on every 3 of 2016 points to ramp up precision
37.976 * * * * [points]: Setting MPFR precision to 64
38.059 * * * * [points]: Setting MPFR precision to 320
38.098 * * * * [points]: Computing exacts for 2016 points
38.102 * * * * [points]: Setting MPFR precision to 64
38.364 * * * * [points]: Setting MPFR precision to 320
38.631 * * * * [points]: Filtering points with unrepresentable outputs
38.632 * * * * [points]: Sampling 1741 additional inputs, on iter 10 have 6259 / 8000
38.640 * * * * [points]: Computing exacts on every 108 of 1741 points to ramp up precision
38.644 * * * * [points]: Setting MPFR precision to 64
38.646 * * * * [points]: Setting MPFR precision to 320
38.647 * * * * [points]: Computing exacts on every 54 of 1741 points to ramp up precision
38.652 * * * * [points]: Setting MPFR precision to 64
38.654 * * * * [points]: Setting MPFR precision to 320
38.656 * * * * [points]: Computing exacts on every 27 of 1741 points to ramp up precision
38.661 * * * * [points]: Setting MPFR precision to 64
38.666 * * * * [points]: Setting MPFR precision to 320
38.671 * * * * [points]: Computing exacts on every 13 of 1741 points to ramp up precision
38.675 * * * * [points]: Setting MPFR precision to 64
38.685 * * * * [points]: Setting MPFR precision to 320
38.718 * * * * [points]: Computing exacts on every 6 of 1741 points to ramp up precision
38.724 * * * * [points]: Setting MPFR precision to 64
38.745 * * * * [points]: Setting MPFR precision to 320
38.771 * * * * [points]: Computing exacts on every 3 of 1741 points to ramp up precision
38.778 * * * * [points]: Setting MPFR precision to 64
38.813 * * * * [points]: Setting MPFR precision to 320
38.878 * * * * [points]: Computing exacts for 1741 points
38.884 * * * * [points]: Setting MPFR precision to 64
39.138 * * * * [points]: Setting MPFR precision to 320
39.443 * * * * [points]: Filtering points with unrepresentable outputs
39.445 * * * * [points]: Sampling 1474 additional inputs, on iter 11 have 6526 / 8000
39.456 * * * * [points]: Computing exacts on every 92 of 1474 points to ramp up precision
39.466 * * * * [points]: Setting MPFR precision to 64
39.469 * * * * [points]: Setting MPFR precision to 320
39.471 * * * * [points]: Computing exacts on every 46 of 1474 points to ramp up precision
39.480 * * * * [points]: Setting MPFR precision to 64
39.485 * * * * [points]: Setting MPFR precision to 320
39.489 * * * * [points]: Computing exacts on every 23 of 1474 points to ramp up precision
39.497 * * * * [points]: Setting MPFR precision to 64
39.506 * * * * [points]: Setting MPFR precision to 320
39.516 * * * * [points]: Computing exacts on every 11 of 1474 points to ramp up precision
39.525 * * * * [points]: Setting MPFR precision to 64
40.009 * * * * [points]: Setting MPFR precision to 320
40.018 * * * * [points]: Computing exacts on every 5 of 1474 points to ramp up precision
40.023 * * * * [points]: Setting MPFR precision to 64
40.054 * * * * [points]: Setting MPFR precision to 320
40.075 * * * * [points]: Computing exacts on every 2 of 1474 points to ramp up precision
40.080 * * * * [points]: Setting MPFR precision to 64
40.128 * * * * [points]: Setting MPFR precision to 320
40.247 * * * * [points]: Computing exacts for 1474 points
40.256 * * * * [points]: Setting MPFR precision to 64
40.518 * * * * [points]: Setting MPFR precision to 320
40.784 * * * * [points]: Filtering points with unrepresentable outputs
40.786 * * * * [points]: Sampling 1281 additional inputs, on iter 12 have 6719 / 8000
40.796 * * * * [points]: Computing exacts on every 80 of 1281 points to ramp up precision
40.805 * * * * [points]: Setting MPFR precision to 64
40.808 * * * * [points]: Setting MPFR precision to 320
40.810 * * * * [points]: Computing exacts on every 40 of 1281 points to ramp up precision
40.819 * * * * [points]: Setting MPFR precision to 64
40.824 * * * * [points]: Setting MPFR precision to 320
40.828 * * * * [points]: Computing exacts on every 20 of 1281 points to ramp up precision
40.838 * * * * [points]: Setting MPFR precision to 64
40.847 * * * * [points]: Setting MPFR precision to 320
40.855 * * * * [points]: Computing exacts on every 10 of 1281 points to ramp up precision
40.864 * * * * [points]: Setting MPFR precision to 64
40.880 * * * * [points]: Setting MPFR precision to 320
40.897 * * * * [points]: Computing exacts on every 5 of 1281 points to ramp up precision
40.943 * * * * [points]: Setting MPFR precision to 64
40.977 * * * * [points]: Setting MPFR precision to 320
41.008 * * * * [points]: Computing exacts on every 2 of 1281 points to ramp up precision
41.017 * * * * [points]: Setting MPFR precision to 64
41.078 * * * * [points]: Setting MPFR precision to 320
41.140 * * * * [points]: Computing exacts for 1281 points
41.195 * * * * [points]: Setting MPFR precision to 64
41.383 * * * * [points]: Setting MPFR precision to 320
41.624 * * * * [points]: Filtering points with unrepresentable outputs
41.626 * * * * [points]: Sampling 1096 additional inputs, on iter 13 have 6904 / 8000
41.634 * * * * [points]: Computing exacts on every 68 of 1096 points to ramp up precision
41.644 * * * * [points]: Setting MPFR precision to 64
41.646 * * * * [points]: Setting MPFR precision to 320
41.649 * * * * [points]: Computing exacts on every 34 of 1096 points to ramp up precision
41.657 * * * * [points]: Setting MPFR precision to 64
41.662 * * * * [points]: Setting MPFR precision to 320
41.666 * * * * [points]: Computing exacts on every 17 of 1096 points to ramp up precision
41.721 * * * * [points]: Setting MPFR precision to 64
41.733 * * * * [points]: Setting MPFR precision to 320
41.742 * * * * [points]: Computing exacts on every 8 of 1096 points to ramp up precision
41.751 * * * * [points]: Setting MPFR precision to 64
41.768 * * * * [points]: Setting MPFR precision to 320
41.786 * * * * [points]: Computing exacts on every 4 of 1096 points to ramp up precision
41.795 * * * * [points]: Setting MPFR precision to 64
41.828 * * * * [points]: Setting MPFR precision to 320
41.861 * * * * [points]: Computing exacts on every 2 of 1096 points to ramp up precision
41.870 * * * * [points]: Setting MPFR precision to 64
41.967 * * * * [points]: Setting MPFR precision to 320
42.021 * * * * [points]: Computing exacts for 1096 points
42.030 * * * * [points]: Setting MPFR precision to 64
42.245 * * * * [points]: Setting MPFR precision to 320
42.404 * * * * [points]: Filtering points with unrepresentable outputs
42.405 * * * * [points]: Sampling 923 additional inputs, on iter 14 have 7077 / 8000
42.412 * * * * [points]: Computing exacts on every 57 of 923 points to ramp up precision
42.421 * * * * [points]: Setting MPFR precision to 64
42.423 * * * * [points]: Setting MPFR precision to 320
42.425 * * * * [points]: Computing exacts on every 28 of 923 points to ramp up precision
42.462 * * * * [points]: Setting MPFR precision to 64
42.465 * * * * [points]: Setting MPFR precision to 320
42.467 * * * * [points]: Computing exacts on every 14 of 923 points to ramp up precision
42.473 * * * * [points]: Setting MPFR precision to 64
42.478 * * * * [points]: Setting MPFR precision to 320
42.483 * * * * [points]: Computing exacts on every 7 of 923 points to ramp up precision
42.487 * * * * [points]: Setting MPFR precision to 64
42.496 * * * * [points]: Setting MPFR precision to 320
42.505 * * * * [points]: Computing exacts on every 3 of 923 points to ramp up precision
42.510 * * * * [points]: Setting MPFR precision to 64
42.527 * * * * [points]: Setting MPFR precision to 320
42.545 * * * * [points]: Computing exacts for 923 points
42.549 * * * * [points]: Setting MPFR precision to 64
42.694 * * * * [points]: Setting MPFR precision to 320
42.874 * * * * [points]: Filtering points with unrepresentable outputs
42.875 * * * * [points]: Sampling 791 additional inputs, on iter 15 have 7209 / 8000
42.881 * * * * [points]: Computing exacts on every 49 of 791 points to ramp up precision
42.889 * * * * [points]: Setting MPFR precision to 64
42.892 * * * * [points]: Setting MPFR precision to 320
42.894 * * * * [points]: Computing exacts on every 24 of 791 points to ramp up precision
42.902 * * * * [points]: Setting MPFR precision to 64
42.906 * * * * [points]: Setting MPFR precision to 320
42.911 * * * * [points]: Computing exacts on every 12 of 791 points to ramp up precision
42.919 * * * * [points]: Setting MPFR precision to 64
42.927 * * * * [points]: Setting MPFR precision to 320
42.935 * * * * [points]: Computing exacts on every 6 of 791 points to ramp up precision
42.943 * * * * [points]: Setting MPFR precision to 64
42.958 * * * * [points]: Setting MPFR precision to 320
42.973 * * * * [points]: Computing exacts on every 3 of 791 points to ramp up precision
42.981 * * * * [points]: Setting MPFR precision to 64
43.007 * * * * [points]: Setting MPFR precision to 320
43.068 * * * * [points]: Computing exacts for 791 points
43.076 * * * * [points]: Setting MPFR precision to 64
43.181 * * * * [points]: Setting MPFR precision to 320
43.330 * * * * [points]: Filtering points with unrepresentable outputs
43.331 * * * * [points]: Sampling 675 additional inputs, on iter 16 have 7325 / 8000
43.336 * * * * [points]: Computing exacts on every 42 of 675 points to ramp up precision
43.345 * * * * [points]: Setting MPFR precision to 64
43.347 * * * * [points]: Setting MPFR precision to 320
43.349 * * * * [points]: Computing exacts on every 21 of 675 points to ramp up precision
43.358 * * * * [points]: Setting MPFR precision to 64
43.362 * * * * [points]: Setting MPFR precision to 320
43.366 * * * * [points]: Computing exacts on every 10 of 675 points to ramp up precision
43.374 * * * * [points]: Setting MPFR precision to 64
43.383 * * * * [points]: Setting MPFR precision to 320
43.391 * * * * [points]: Computing exacts on every 5 of 675 points to ramp up precision
43.400 * * * * [points]: Setting MPFR precision to 64
43.415 * * * * [points]: Setting MPFR precision to 320
43.430 * * * * [points]: Computing exacts on every 2 of 675 points to ramp up precision
43.439 * * * * [points]: Setting MPFR precision to 64
43.496 * * * * [points]: Setting MPFR precision to 320
43.529 * * * * [points]: Computing exacts for 675 points
43.537 * * * * [points]: Setting MPFR precision to 64
43.623 * * * * [points]: Setting MPFR precision to 320
44.161 * * * * [points]: Filtering points with unrepresentable outputs
44.162 * * * * [points]: Sampling 578 additional inputs, on iter 17 have 7422 / 8000
44.166 * * * * [points]: Computing exacts on every 36 of 578 points to ramp up precision
44.175 * * * * [points]: Setting MPFR precision to 64
44.178 * * * * [points]: Setting MPFR precision to 320
44.180 * * * * [points]: Computing exacts on every 18 of 578 points to ramp up precision
44.188 * * * * [points]: Setting MPFR precision to 64
44.192 * * * * [points]: Setting MPFR precision to 320
44.196 * * * * [points]: Computing exacts on every 9 of 578 points to ramp up precision
44.205 * * * * [points]: Setting MPFR precision to 64
44.211 * * * * [points]: Setting MPFR precision to 320
44.215 * * * * [points]: Computing exacts on every 4 of 578 points to ramp up precision
44.220 * * * * [points]: Setting MPFR precision to 64
44.228 * * * * [points]: Setting MPFR precision to 320
44.237 * * * * [points]: Computing exacts on every 2 of 578 points to ramp up precision
44.241 * * * * [points]: Setting MPFR precision to 64
44.256 * * * * [points]: Setting MPFR precision to 320
44.295 * * * * [points]: Computing exacts for 578 points
44.299 * * * * [points]: Setting MPFR precision to 64
44.368 * * * * [points]: Setting MPFR precision to 320
44.426 * * * * [points]: Filtering points with unrepresentable outputs
44.426 * * * * [points]: Sampling 500 additional inputs, on iter 18 have 7500 / 8000
44.428 * * * * [points]: Computing exacts on every 31 of 500 points to ramp up precision
44.462 * * * * [points]: Setting MPFR precision to 64
44.464 * * * * [points]: Setting MPFR precision to 320
44.465 * * * * [points]: Computing exacts on every 15 of 500 points to ramp up precision
44.469 * * * * [points]: Setting MPFR precision to 64
44.474 * * * * [points]: Setting MPFR precision to 320
44.476 * * * * [points]: Computing exacts on every 7 of 500 points to ramp up precision
44.480 * * * * [points]: Setting MPFR precision to 64
44.485 * * * * [points]: Setting MPFR precision to 320
44.490 * * * * [points]: Computing exacts on every 3 of 500 points to ramp up precision
44.494 * * * * [points]: Setting MPFR precision to 64
44.504 * * * * [points]: Setting MPFR precision to 320
44.518 * * * * [points]: Computing exacts for 500 points
44.527 * * * * [points]: Setting MPFR precision to 64
44.594 * * * * [points]: Setting MPFR precision to 320
44.705 * * * * [points]: Filtering points with unrepresentable outputs
44.706 * * * * [points]: Sampling 432 additional inputs, on iter 19 have 7568 / 8000
44.709 * * * * [points]: Computing exacts on every 27 of 432 points to ramp up precision
44.718 * * * * [points]: Setting MPFR precision to 64
44.721 * * * * [points]: Setting MPFR precision to 320
44.723 * * * * [points]: Computing exacts on every 13 of 432 points to ramp up precision
44.732 * * * * [points]: Setting MPFR precision to 64
44.736 * * * * [points]: Setting MPFR precision to 320
44.741 * * * * [points]: Computing exacts on every 6 of 432 points to ramp up precision
44.750 * * * * [points]: Setting MPFR precision to 64
44.758 * * * * [points]: Setting MPFR precision to 320
44.766 * * * * [points]: Computing exacts on every 3 of 432 points to ramp up precision
44.774 * * * * [points]: Setting MPFR precision to 64
44.782 * * * * [points]: Setting MPFR precision to 320
44.791 * * * * [points]: Computing exacts for 432 points
44.798 * * * * [points]: Setting MPFR precision to 64
44.888 * * * * [points]: Setting MPFR precision to 320
44.945 * * * * [points]: Filtering points with unrepresentable outputs
44.946 * * * * [points]: Sampling 382 additional inputs, on iter 20 have 7618 / 8000
44.949 * * * * [points]: Computing exacts on every 23 of 382 points to ramp up precision
44.953 * * * * [points]: Setting MPFR precision to 64
44.955 * * * * [points]: Setting MPFR precision to 320
44.956 * * * * [points]: Computing exacts on every 11 of 382 points to ramp up precision
44.960 * * * * [points]: Setting MPFR precision to 64
44.963 * * * * [points]: Setting MPFR precision to 320
44.965 * * * * [points]: Computing exacts on every 5 of 382 points to ramp up precision
44.970 * * * * [points]: Setting MPFR precision to 64
44.975 * * * * [points]: Setting MPFR precision to 320
44.980 * * * * [points]: Computing exacts on every 2 of 382 points to ramp up precision
44.985 * * * * [points]: Setting MPFR precision to 64
45.018 * * * * [points]: Setting MPFR precision to 320
45.030 * * * * [points]: Computing exacts for 382 points
45.034 * * * * [points]: Setting MPFR precision to 64
45.082 * * * * [points]: Setting MPFR precision to 320
45.132 * * * * [points]: Filtering points with unrepresentable outputs
45.133 * * * * [points]: Sampling 334 additional inputs, on iter 21 have 7666 / 8000
45.135 * * * * [points]: Computing exacts on every 20 of 334 points to ramp up precision
45.144 * * * * [points]: Setting MPFR precision to 64
45.146 * * * * [points]: Setting MPFR precision to 320
45.148 * * * * [points]: Computing exacts on every 10 of 334 points to ramp up precision
45.156 * * * * [points]: Setting MPFR precision to 64
45.160 * * * * [points]: Setting MPFR precision to 320
45.165 * * * * [points]: Computing exacts on every 5 of 334 points to ramp up precision
45.215 * * * * [points]: Setting MPFR precision to 64
45.226 * * * * [points]: Setting MPFR precision to 320
45.234 * * * * [points]: Computing exacts on every 2 of 334 points to ramp up precision
45.243 * * * * [points]: Setting MPFR precision to 64
45.259 * * * * [points]: Setting MPFR precision to 320
45.275 * * * * [points]: Computing exacts for 334 points
45.284 * * * * [points]: Setting MPFR precision to 64
45.333 * * * * [points]: Setting MPFR precision to 320
45.381 * * * * [points]: Filtering points with unrepresentable outputs
45.381 * * * * [points]: Sampling 284 additional inputs, on iter 22 have 7716 / 8000
45.384 * * * * [points]: Computing exacts on every 17 of 284 points to ramp up precision
45.393 * * * * [points]: Setting MPFR precision to 64
45.395 * * * * [points]: Setting MPFR precision to 320
45.397 * * * * [points]: Computing exacts on every 8 of 284 points to ramp up precision
45.441 * * * * [points]: Setting MPFR precision to 64
45.445 * * * * [points]: Setting MPFR precision to 320
45.452 * * * * [points]: Computing exacts on every 4 of 284 points to ramp up precision
45.460 * * * * [points]: Setting MPFR precision to 64
45.467 * * * * [points]: Setting MPFR precision to 320
45.473 * * * * [points]: Computing exacts on every 2 of 284 points to ramp up precision
45.481 * * * * [points]: Setting MPFR precision to 64
45.494 * * * * [points]: Setting MPFR precision to 320
45.506 * * * * [points]: Computing exacts for 284 points
45.514 * * * * [points]: Setting MPFR precision to 64
45.551 * * * * [points]: Setting MPFR precision to 320
45.590 * * * * [points]: Filtering points with unrepresentable outputs
45.590 * * * * [points]: Sampling 243 additional inputs, on iter 23 have 7757 / 8000
45.592 * * * * [points]: Computing exacts on every 15 of 243 points to ramp up precision
45.601 * * * * [points]: Setting MPFR precision to 64
45.604 * * * * [points]: Setting MPFR precision to 320
45.606 * * * * [points]: Computing exacts on every 7 of 243 points to ramp up precision
45.648 * * * * [points]: Setting MPFR precision to 64
45.653 * * * * [points]: Setting MPFR precision to 320
45.660 * * * * [points]: Computing exacts on every 3 of 243 points to ramp up precision
45.670 * * * * [points]: Setting MPFR precision to 64
45.679 * * * * [points]: Setting MPFR precision to 320
45.688 * * * * [points]: Computing exacts for 243 points
45.696 * * * * [points]: Setting MPFR precision to 64
45.731 * * * * [points]: Setting MPFR precision to 320
45.761 * * * * [points]: Filtering points with unrepresentable outputs
45.762 * * * * [points]: Sampling 210 additional inputs, on iter 24 have 7790 / 8000
45.763 * * * * [points]: Computing exacts on every 13 of 210 points to ramp up precision
45.771 * * * * [points]: Setting MPFR precision to 64
45.773 * * * * [points]: Setting MPFR precision to 320
45.775 * * * * [points]: Computing exacts on every 6 of 210 points to ramp up precision
45.783 * * * * [points]: Setting MPFR precision to 64
45.787 * * * * [points]: Setting MPFR precision to 320
45.792 * * * * [points]: Computing exacts on every 3 of 210 points to ramp up precision
45.800 * * * * [points]: Setting MPFR precision to 64
45.807 * * * * [points]: Setting MPFR precision to 320
45.812 * * * * [points]: Computing exacts for 210 points
45.843 * * * * [points]: Setting MPFR precision to 64
45.878 * * * * [points]: Setting MPFR precision to 320
45.909 * * * * [points]: Filtering points with unrepresentable outputs
45.909 * * * * [points]: Sampling 183 additional inputs, on iter 25 have 7817 / 8000
45.910 * * * * [points]: Computing exacts on every 11 of 183 points to ramp up precision
45.921 * * * * [points]: Setting MPFR precision to 64
45.924 * * * * [points]: Setting MPFR precision to 320
45.926 * * * * [points]: Computing exacts on every 5 of 183 points to ramp up precision
45.935 * * * * [points]: Setting MPFR precision to 64
45.939 * * * * [points]: Setting MPFR precision to 320
45.944 * * * * [points]: Computing exacts on every 2 of 183 points to ramp up precision
45.952 * * * * [points]: Setting MPFR precision to 64
45.961 * * * * [points]: Setting MPFR precision to 320
45.971 * * * * [points]: Computing exacts for 183 points
45.980 * * * * [points]: Setting MPFR precision to 64
45.996 * * * * [points]: Setting MPFR precision to 320
46.041 * * * * [points]: Filtering points with unrepresentable outputs
46.041 * * * * [points]: Sampling 165 additional inputs, on iter 26 have 7835 / 8000
46.042 * * * * [points]: Computing exacts on every 10 of 165 points to ramp up precision
46.046 * * * * [points]: Setting MPFR precision to 64
46.049 * * * * [points]: Setting MPFR precision to 320
46.050 * * * * [points]: Computing exacts on every 5 of 165 points to ramp up precision
46.055 * * * * [points]: Setting MPFR precision to 64
46.057 * * * * [points]: Setting MPFR precision to 320
46.059 * * * * [points]: Computing exacts on every 2 of 165 points to ramp up precision
46.063 * * * * [points]: Setting MPFR precision to 64
46.067 * * * * [points]: Setting MPFR precision to 320
46.074 * * * * [points]: Computing exacts for 165 points
46.082 * * * * [points]: Setting MPFR precision to 64
46.103 * * * * [points]: Setting MPFR precision to 320
46.124 * * * * [points]: Filtering points with unrepresentable outputs
46.124 * * * * [points]: Sampling 138 additional inputs, on iter 27 have 7862 / 8000
46.125 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
46.133 * * * * [points]: Setting MPFR precision to 64
46.136 * * * * [points]: Setting MPFR precision to 320
46.138 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
46.147 * * * * [points]: Setting MPFR precision to 64
46.150 * * * * [points]: Setting MPFR precision to 320
46.154 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
46.162 * * * * [points]: Setting MPFR precision to 64
46.169 * * * * [points]: Setting MPFR precision to 320
46.201 * * * * [points]: Computing exacts for 138 points
46.212 * * * * [points]: Setting MPFR precision to 64
46.225 * * * * [points]: Setting MPFR precision to 320
46.236 * * * * [points]: Filtering points with unrepresentable outputs
46.236 * * * * [points]: Sampling 127 additional inputs, on iter 28 have 7873 / 8000
46.237 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
46.242 * * * * [points]: Setting MPFR precision to 64
46.243 * * * * [points]: Setting MPFR precision to 320
46.244 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
46.252 * * * * [points]: Setting MPFR precision to 64
46.256 * * * * [points]: Setting MPFR precision to 320
46.260 * * * * [points]: Computing exacts for 127 points
46.269 * * * * [points]: Setting MPFR precision to 64
46.285 * * * * [points]: Setting MPFR precision to 320
46.302 * * * * [points]: Filtering points with unrepresentable outputs
46.303 * * * * [points]: Sampling 110 additional inputs, on iter 29 have 7890 / 8000
46.303 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
46.312 * * * * [points]: Setting MPFR precision to 64
46.315 * * * * [points]: Setting MPFR precision to 320
46.317 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
46.326 * * * * [points]: Setting MPFR precision to 64
46.330 * * * * [points]: Setting MPFR precision to 320
46.334 * * * * [points]: Computing exacts for 110 points
46.342 * * * * [points]: Setting MPFR precision to 64
46.371 * * * * [points]: Setting MPFR precision to 320
46.381 * * * * [points]: Filtering points with unrepresentable outputs
46.381 * * * * [points]: Sampling 92 additional inputs, on iter 30 have 7908 / 8000
46.382 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
46.387 * * * * [points]: Setting MPFR precision to 64
46.388 * * * * [points]: Setting MPFR precision to 320
46.389 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
46.394 * * * * [points]: Setting MPFR precision to 64
46.396 * * * * [points]: Setting MPFR precision to 320
46.398 * * * * [points]: Computing exacts for 92 points
46.403 * * * * [points]: Setting MPFR precision to 64
46.410 * * * * [points]: Setting MPFR precision to 320
46.417 * * * * [points]: Filtering points with unrepresentable outputs
46.417 * * * * [points]: Sampling 83 additional inputs, on iter 31 have 7917 / 8000
46.417 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
46.422 * * * * [points]: Setting MPFR precision to 64
46.423 * * * * [points]: Setting MPFR precision to 320
46.424 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
46.429 * * * * [points]: Setting MPFR precision to 64
46.431 * * * * [points]: Setting MPFR precision to 320
46.433 * * * * [points]: Computing exacts for 83 points
46.438 * * * * [points]: Setting MPFR precision to 64
46.444 * * * * [points]: Setting MPFR precision to 320
46.451 * * * * [points]: Filtering points with unrepresentable outputs
46.451 * * * * [points]: Sampling 70 additional inputs, on iter 32 have 7930 / 8000
46.451 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
46.456 * * * * [points]: Setting MPFR precision to 64
46.457 * * * * [points]: Setting MPFR precision to 320
46.477 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
46.482 * * * * [points]: Setting MPFR precision to 64
46.484 * * * * [points]: Setting MPFR precision to 320
46.488 * * * * [points]: Computing exacts for 70 points
46.492 * * * * [points]: Setting MPFR precision to 64
46.498 * * * * [points]: Setting MPFR precision to 320
46.503 * * * * [points]: Filtering points with unrepresentable outputs
46.504 * * * * [points]: Sampling 57 additional inputs, on iter 33 have 7943 / 8000
46.504 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
46.508 * * * * [points]: Setting MPFR precision to 64
46.510 * * * * [points]: Setting MPFR precision to 320
46.511 * * * * [points]: Computing exacts for 57 points
46.515 * * * * [points]: Setting MPFR precision to 64
46.520 * * * * [points]: Setting MPFR precision to 320
46.525 * * * * [points]: Filtering points with unrepresentable outputs
46.525 * * * * [points]: Sampling 45 additional inputs, on iter 34 have 7955 / 8000
46.525 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
46.529 * * * * [points]: Setting MPFR precision to 64
46.531 * * * * [points]: Setting MPFR precision to 320
46.532 * * * * [points]: Computing exacts for 45 points
46.536 * * * * [points]: Setting MPFR precision to 64
46.540 * * * * [points]: Setting MPFR precision to 320
46.543 * * * * [points]: Filtering points with unrepresentable outputs
46.543 * * * * [points]: Sampling 36 additional inputs, on iter 35 have 7964 / 8000
46.544 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
46.548 * * * * [points]: Setting MPFR precision to 64
46.549 * * * * [points]: Setting MPFR precision to 320
46.550 * * * * [points]: Computing exacts for 36 points
46.554 * * * * [points]: Setting MPFR precision to 64
46.557 * * * * [points]: Setting MPFR precision to 320
46.560 * * * * [points]: Filtering points with unrepresentable outputs
46.560 * * * * [points]: Sampling 33 additional inputs, on iter 36 have 7967 / 8000
46.560 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
46.582 * * * * [points]: Setting MPFR precision to 64
46.584 * * * * [points]: Setting MPFR precision to 320
46.585 * * * * [points]: Computing exacts for 33 points
46.589 * * * * [points]: Setting MPFR precision to 64
46.594 * * * * [points]: Setting MPFR precision to 320
46.597 * * * * [points]: Filtering points with unrepresentable outputs
46.597 * * * * [points]: Sampling 32 additional inputs, on iter 37 have 7968 / 8000
46.597 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
46.602 * * * * [points]: Setting MPFR precision to 64
46.602 * * * * [points]: Setting MPFR precision to 320
46.603 * * * * [points]: Computing exacts for 32 points
46.608 * * * * [points]: Setting MPFR precision to 64
46.610 * * * * [points]: Setting MPFR precision to 320
46.613 * * * * [points]: Filtering points with unrepresentable outputs
46.613 * * * * [points]: Sampling 30 additional inputs, on iter 38 have 7970 / 8000
46.613 * * * * [points]: Computing exacts for 30 points
46.617 * * * * [points]: Setting MPFR precision to 64
46.620 * * * * [points]: Setting MPFR precision to 320
46.622 * * * * [points]: Filtering points with unrepresentable outputs
46.622 * * * * [points]: Sampling 27 additional inputs, on iter 39 have 7973 / 8000
46.622 * * * * [points]: Computing exacts for 27 points
46.627 * * * * [points]: Setting MPFR precision to 64
46.629 * * * * [points]: Setting MPFR precision to 320
46.631 * * * * [points]: Filtering points with unrepresentable outputs
46.631 * * * * [points]: Sampling 23 additional inputs, on iter 40 have 7977 / 8000
46.631 * * * * [points]: Computing exacts for 23 points
46.636 * * * * [points]: Setting MPFR precision to 64
46.638 * * * * [points]: Setting MPFR precision to 320
46.639 * * * * [points]: Filtering points with unrepresentable outputs
46.640 * * * * [points]: Sampling 16 additional inputs, on iter 41 have 7984 / 8000
46.640 * * * * [points]: Computing exacts for 16 points
46.644 * * * * [points]: Setting MPFR precision to 64
46.645 * * * * [points]: Setting MPFR precision to 320
46.647 * * * * [points]: Filtering points with unrepresentable outputs
46.647 * * * * [points]: Sampling 13 additional inputs, on iter 42 have 7987 / 8000
46.647 * * * * [points]: Computing exacts for 13 points
46.651 * * * * [points]: Setting MPFR precision to 64
46.653 * * * * [points]: Setting MPFR precision to 320
46.654 * * * * [points]: Filtering points with unrepresentable outputs
46.654 * * * * [points]: Sampling 12 additional inputs, on iter 43 have 7988 / 8000
46.654 * * * * [points]: Computing exacts for 12 points
46.659 * * * * [points]: Setting MPFR precision to 64
46.660 * * * * [points]: Setting MPFR precision to 320
46.661 * * * * [points]: Filtering points with unrepresentable outputs
46.661 * * * * [points]: Sampling 8 additional inputs, on iter 44 have 7992 / 8000
46.661 * * * * [points]: Computing exacts for 8 points
46.680 * * * * [points]: Setting MPFR precision to 64
46.683 * * * * [points]: Setting MPFR precision to 320
46.683 * * * * [points]: Filtering points with unrepresentable outputs
46.683 * * * * [points]: Sampling 6 additional inputs, on iter 45 have 7994 / 8000
46.683 * * * * [points]: Computing exacts for 6 points
46.688 * * * * [points]: Setting MPFR precision to 64
46.689 * * * * [points]: Setting MPFR precision to 320
46.689 * * * * [points]: Filtering points with unrepresentable outputs
46.689 * * * * [points]: Sampling 5 additional inputs, on iter 46 have 7995 / 8000
46.690 * * * * [points]: Computing exacts for 5 points
46.694 * * * * [points]: Setting MPFR precision to 64
46.694 * * * * [points]: Setting MPFR precision to 320
46.695 * * * * [points]: Filtering points with unrepresentable outputs
46.695 * * * * [points]: Sampling 5 additional inputs, on iter 47 have 7995 / 8000
46.695 * * * * [points]: Computing exacts for 5 points
46.699 * * * * [points]: Setting MPFR precision to 64
46.700 * * * * [points]: Setting MPFR precision to 320
46.700 * * * * [points]: Filtering points with unrepresentable outputs
46.700 * * * * [points]: Sampling 4 additional inputs, on iter 48 have 7996 / 8000
46.700 * * * * [points]: Computing exacts for 4 points
46.705 * * * * [points]: Setting MPFR precision to 64
46.706 * * * * [points]: Setting MPFR precision to 320
46.706 * * * * [points]: Filtering points with unrepresentable outputs
46.706 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 7997 / 8000
46.706 * * * * [points]: Computing exacts for 4 points
46.710 * * * * [points]: Setting MPFR precision to 64
46.711 * * * * [points]: Setting MPFR precision to 320
46.711 * * * * [points]: Filtering points with unrepresentable outputs
46.711 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7997 / 8000
46.711 * * * * [points]: Computing exacts for 4 points
46.716 * * * * [points]: Setting MPFR precision to 64
46.716 * * * * [points]: Setting MPFR precision to 320
46.717 * * * * [points]: Filtering points with unrepresentable outputs
46.717 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7998 / 8000
46.717 * * * * [points]: Computing exacts for 4 points
46.722 * * * * [points]: Setting MPFR precision to 64
46.722 * * * * [points]: Setting MPFR precision to 320
46.723 * * * * [points]: Filtering points with unrepresentable outputs
46.723 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7998 / 8000
46.723 * * * * [points]: Computing exacts for 4 points
46.727 * * * * [points]: Setting MPFR precision to 64
46.728 * * * * [points]: Setting MPFR precision to 320
46.728 * * * * [points]: Filtering points with unrepresentable outputs
46.728 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7999 / 8000
46.728 * * * * [points]: Computing exacts for 4 points
46.732 * * * * [points]: Setting MPFR precision to 64
46.733 * * * * [points]: Setting MPFR precision to 320
46.733 * * * * [points]: Filtering points with unrepresentable outputs
46.733 * * * * [points]: Sampled 8000 points with exact outputs
62.748 * [regime-testing]: Baseline error score: 64.0
62.752 * [regime-testing]: Oracle error score: 64.0
62.760 * [regime-testing]: End program error score: 1.4911769497420677