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.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.038 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.059 * * * * [points]: Setting MPFR precision to 64
0.070 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Computing exacts for 256 points
0.084 * * * * [points]: Setting MPFR precision to 64
0.106 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Filtering points with unrepresentable outputs
0.126 * * * * [points]: Sampling 221 additional inputs, on iter 1 have 35 / 256
0.127 * * * * [points]: Computing exacts on every 13 of 221 points to ramp up precision
0.132 * * * * [points]: Setting MPFR precision to 64
0.133 * * * * [points]: Setting MPFR precision to 320
0.134 * * * * [points]: Computing exacts on every 6 of 221 points to ramp up precision
0.139 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.143 * * * * [points]: Computing exacts on every 3 of 221 points to ramp up precision
0.149 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.164 * * * * [points]: Computing exacts for 221 points
0.172 * * * * [points]: Setting MPFR precision to 64
0.229 * * * * [points]: Setting MPFR precision to 320
0.256 * * * * [points]: Filtering points with unrepresentable outputs
0.257 * * * * [points]: Sampling 191 additional inputs, on iter 2 have 65 / 256
0.258 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision
0.266 * * * * [points]: Setting MPFR precision to 64
0.268 * * * * [points]: Setting MPFR precision to 320
0.270 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision
0.278 * * * * [points]: Setting MPFR precision to 64
0.283 * * * * [points]: Setting MPFR precision to 320
0.286 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision
0.296 * * * * [points]: Setting MPFR precision to 64
0.304 * * * * [points]: Setting MPFR precision to 320
0.312 * * * * [points]: Computing exacts for 191 points
0.320 * * * * [points]: Setting MPFR precision to 64
0.338 * * * * [points]: Setting MPFR precision to 320
0.378 * * * * [points]: Filtering points with unrepresentable outputs
0.379 * * * * [points]: Sampling 156 additional inputs, on iter 3 have 100 / 256
0.379 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision
0.384 * * * * [points]: Setting MPFR precision to 64
0.386 * * * * [points]: Setting MPFR precision to 320
0.387 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision
0.391 * * * * [points]: Setting MPFR precision to 64
0.394 * * * * [points]: Setting MPFR precision to 320
0.396 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision
0.401 * * * * [points]: Setting MPFR precision to 64
0.405 * * * * [points]: Setting MPFR precision to 320
0.408 * * * * [points]: Computing exacts for 156 points
0.413 * * * * [points]: Setting MPFR precision to 64
0.424 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Filtering points with unrepresentable outputs
0.435 * * * * [points]: Sampling 136 additional inputs, on iter 4 have 120 / 256
0.435 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
0.441 * * * * [points]: Setting MPFR precision to 64
0.442 * * * * [points]: Setting MPFR precision to 320
0.443 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
0.448 * * * * [points]: Setting MPFR precision to 64
0.450 * * * * [points]: Setting MPFR precision to 320
0.452 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
0.457 * * * * [points]: Setting MPFR precision to 64
0.480 * * * * [points]: Setting MPFR precision to 320
0.483 * * * * [points]: Computing exacts for 136 points
0.487 * * * * [points]: Setting MPFR precision to 64
0.497 * * * * [points]: Setting MPFR precision to 320
0.507 * * * * [points]: Filtering points with unrepresentable outputs
0.507 * * * * [points]: Sampling 115 additional inputs, on iter 5 have 141 / 256
0.507 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
0.512 * * * * [points]: Setting MPFR precision to 64
0.513 * * * * [points]: Setting MPFR precision to 320
0.515 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
0.521 * * * * [points]: Setting MPFR precision to 64
0.523 * * * * [points]: Setting MPFR precision to 320
0.525 * * * * [points]: Computing exacts for 115 points
0.534 * * * * [points]: Setting MPFR precision to 64
0.545 * * * * [points]: Setting MPFR precision to 320
0.557 * * * * [points]: Filtering points with unrepresentable outputs
0.558 * * * * [points]: Sampling 97 additional inputs, on iter 6 have 159 / 256
0.559 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
0.568 * * * * [points]: Setting MPFR precision to 64
0.570 * * * * [points]: Setting MPFR precision to 320
0.572 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
0.581 * * * * [points]: Setting MPFR precision to 64
0.585 * * * * [points]: Setting MPFR precision to 320
0.588 * * * * [points]: Computing exacts for 97 points
0.617 * * * * [points]: Setting MPFR precision to 64
0.624 * * * * [points]: Setting MPFR precision to 320
0.631 * * * * [points]: Filtering points with unrepresentable outputs
0.632 * * * * [points]: Sampling 92 additional inputs, on iter 7 have 164 / 256
0.632 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
0.639 * * * * [points]: Setting MPFR precision to 64
0.641 * * * * [points]: Setting MPFR precision to 320
0.643 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
0.653 * * * * [points]: Setting MPFR precision to 64
0.656 * * * * [points]: Setting MPFR precision to 320
0.658 * * * * [points]: Computing exacts for 92 points
0.666 * * * * [points]: Setting MPFR precision to 64
0.678 * * * * [points]: Setting MPFR precision to 320
0.689 * * * * [points]: Filtering points with unrepresentable outputs
0.689 * * * * [points]: Sampling 81 additional inputs, on iter 8 have 175 / 256
0.690 * * * * [points]: Computing exacts on every 5 of 81 points to ramp up precision
0.697 * * * * [points]: Setting MPFR precision to 64
0.698 * * * * [points]: Setting MPFR precision to 320
0.700 * * * * [points]: Computing exacts on every 2 of 81 points to ramp up precision
0.705 * * * * [points]: Setting MPFR precision to 64
0.708 * * * * [points]: Setting MPFR precision to 320
0.712 * * * * [points]: Computing exacts for 81 points
0.717 * * * * [points]: Setting MPFR precision to 64
0.723 * * * * [points]: Setting MPFR precision to 320
0.730 * * * * [points]: Filtering points with unrepresentable outputs
0.730 * * * * [points]: Sampling 70 additional inputs, on iter 9 have 186 / 256
0.730 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
1.137 * * * * [points]: Setting MPFR precision to 64
1.139 * * * * [points]: Setting MPFR precision to 320
1.141 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
1.147 * * * * [points]: Setting MPFR precision to 64
1.149 * * * * [points]: Setting MPFR precision to 320
1.151 * * * * [points]: Computing exacts for 70 points
1.156 * * * * [points]: Setting MPFR precision to 64
1.162 * * * * [points]: Setting MPFR precision to 320
1.167 * * * * [points]: Filtering points with unrepresentable outputs
1.167 * * * * [points]: Sampling 60 additional inputs, on iter 10 have 196 / 256
1.167 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
1.172 * * * * [points]: Setting MPFR precision to 64
1.173 * * * * [points]: Setting MPFR precision to 320
1.175 * * * * [points]: Computing exacts for 60 points
1.179 * * * * [points]: Setting MPFR precision to 64
1.184 * * * * [points]: Setting MPFR precision to 320
1.188 * * * * [points]: Filtering points with unrepresentable outputs
1.188 * * * * [points]: Sampling 56 additional inputs, on iter 11 have 200 / 256
1.188 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
1.194 * * * * [points]: Setting MPFR precision to 64
1.196 * * * * [points]: Setting MPFR precision to 320
1.197 * * * * [points]: Computing exacts for 56 points
1.202 * * * * [points]: Setting MPFR precision to 64
1.206 * * * * [points]: Setting MPFR precision to 320
1.210 * * * * [points]: Filtering points with unrepresentable outputs
1.211 * * * * [points]: Sampling 48 additional inputs, on iter 12 have 208 / 256
1.211 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
1.218 * * * * [points]: Setting MPFR precision to 64
1.220 * * * * [points]: Setting MPFR precision to 320
1.221 * * * * [points]: Computing exacts for 48 points
1.240 * * * * [points]: Setting MPFR precision to 64
1.244 * * * * [points]: Setting MPFR precision to 320
1.247 * * * * [points]: Filtering points with unrepresentable outputs
1.247 * * * * [points]: Sampling 37 additional inputs, on iter 13 have 219 / 256
1.247 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1.253 * * * * [points]: Setting MPFR precision to 64
1.254 * * * * [points]: Setting MPFR precision to 320
1.255 * * * * [points]: Computing exacts for 37 points
1.260 * * * * [points]: Setting MPFR precision to 64
1.263 * * * * [points]: Setting MPFR precision to 320
1.267 * * * * [points]: Filtering points with unrepresentable outputs
1.267 * * * * [points]: Sampling 32 additional inputs, on iter 14 have 224 / 256
1.267 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1.272 * * * * [points]: Setting MPFR precision to 64
1.273 * * * * [points]: Setting MPFR precision to 320
1.274 * * * * [points]: Computing exacts for 32 points
1.278 * * * * [points]: Setting MPFR precision to 64
1.281 * * * * [points]: Setting MPFR precision to 320
1.283 * * * * [points]: Filtering points with unrepresentable outputs
1.283 * * * * [points]: Sampling 27 additional inputs, on iter 15 have 229 / 256
1.283 * * * * [points]: Computing exacts for 27 points
1.288 * * * * [points]: Setting MPFR precision to 64
1.290 * * * * [points]: Setting MPFR precision to 320
1.292 * * * * [points]: Filtering points with unrepresentable outputs
1.292 * * * * [points]: Sampling 25 additional inputs, on iter 16 have 231 / 256
1.292 * * * * [points]: Computing exacts for 25 points
1.297 * * * * [points]: Setting MPFR precision to 64
1.299 * * * * [points]: Setting MPFR precision to 320
1.301 * * * * [points]: Filtering points with unrepresentable outputs
1.301 * * * * [points]: Sampling 21 additional inputs, on iter 17 have 235 / 256
1.301 * * * * [points]: Computing exacts for 21 points
1.306 * * * * [points]: Setting MPFR precision to 64
1.308 * * * * [points]: Setting MPFR precision to 320
1.309 * * * * [points]: Filtering points with unrepresentable outputs
1.309 * * * * [points]: Sampling 19 additional inputs, on iter 18 have 237 / 256
1.309 * * * * [points]: Computing exacts for 19 points
1.314 * * * * [points]: Setting MPFR precision to 64
1.316 * * * * [points]: Setting MPFR precision to 320
1.332 * * * * [points]: Filtering points with unrepresentable outputs
1.332 * * * * [points]: Sampling 18 additional inputs, on iter 19 have 238 / 256
1.332 * * * * [points]: Computing exacts for 18 points
1.339 * * * * [points]: Setting MPFR precision to 64
1.340 * * * * [points]: Setting MPFR precision to 320
1.342 * * * * [points]: Filtering points with unrepresentable outputs
1.342 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 241 / 256
1.342 * * * * [points]: Computing exacts for 15 points
1.347 * * * * [points]: Setting MPFR precision to 64
1.348 * * * * [points]: Setting MPFR precision to 320
1.349 * * * * [points]: Filtering points with unrepresentable outputs
1.349 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.349 * * * * [points]: Computing exacts for 12 points
1.355 * * * * [points]: Setting MPFR precision to 64
1.356 * * * * [points]: Setting MPFR precision to 320
1.357 * * * * [points]: Filtering points with unrepresentable outputs
1.357 * * * * [points]: Sampling 12 additional inputs, on iter 22 have 244 / 256
1.357 * * * * [points]: Computing exacts for 12 points
1.361 * * * * [points]: Setting MPFR precision to 64
1.362 * * * * [points]: Setting MPFR precision to 320
1.363 * * * * [points]: Filtering points with unrepresentable outputs
1.363 * * * * [points]: Sampling 7 additional inputs, on iter 23 have 249 / 256
1.364 * * * * [points]: Computing exacts for 7 points
1.368 * * * * [points]: Setting MPFR precision to 64
1.369 * * * * [points]: Setting MPFR precision to 320
1.369 * * * * [points]: Filtering points with unrepresentable outputs
1.370 * * * * [points]: Sampling 6 additional inputs, on iter 24 have 250 / 256
1.370 * * * * [points]: Computing exacts for 6 points
1.375 * * * * [points]: Setting MPFR precision to 64
1.375 * * * * [points]: Setting MPFR precision to 320
1.376 * * * * [points]: Filtering points with unrepresentable outputs
1.376 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 250 / 256
1.376 * * * * [points]: Computing exacts for 6 points
1.381 * * * * [points]: Setting MPFR precision to 64
1.381 * * * * [points]: Setting MPFR precision to 320
1.382 * * * * [points]: Filtering points with unrepresentable outputs
1.382 * * * * [points]: Sampling 5 additional inputs, on iter 26 have 251 / 256
1.382 * * * * [points]: Computing exacts for 5 points
1.387 * * * * [points]: Setting MPFR precision to 64
1.387 * * * * [points]: Setting MPFR precision to 320
1.388 * * * * [points]: Filtering points with unrepresentable outputs
1.388 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 252 / 256
1.388 * * * * [points]: Computing exacts for 4 points
1.393 * * * * [points]: Setting MPFR precision to 64
1.393 * * * * [points]: Setting MPFR precision to 320
1.394 * * * * [points]: Filtering points with unrepresentable outputs
1.394 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 253 / 256
1.394 * * * * [points]: Computing exacts for 4 points
1.398 * * * * [points]: Setting MPFR precision to 64
1.399 * * * * [points]: Setting MPFR precision to 320
1.399 * * * * [points]: Filtering points with unrepresentable outputs
1.399 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
1.399 * * * * [points]: Computing exacts for 4 points
1.415 * * * * [points]: Setting MPFR precision to 64
1.415 * * * * [points]: Setting MPFR precision to 320
1.416 * * * * [points]: Filtering points with unrepresentable outputs
1.416 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
1.416 * * * * [points]: Computing exacts for 4 points
1.420 * * * * [points]: Setting MPFR precision to 64
1.421 * * * * [points]: Setting MPFR precision to 320
1.421 * * * * [points]: Filtering points with unrepresentable outputs
1.421 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.421 * * * * [points]: Computing exacts for 4 points
1.426 * * * * [points]: Setting MPFR precision to 64
1.427 * * * * [points]: Setting MPFR precision to 320
1.427 * * * * [points]: Filtering points with unrepresentable outputs
1.427 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.427 * * * * [points]: Computing exacts for 4 points
1.432 * * * * [points]: Setting MPFR precision to 64
1.432 * * * * [points]: Setting MPFR precision to 320
1.433 * * * * [points]: Filtering points with unrepresentable outputs
1.433 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.433 * * * * [points]: Computing exacts for 4 points
1.437 * * * * [points]: Setting MPFR precision to 64
1.438 * * * * [points]: Setting MPFR precision to 320
1.438 * * * * [points]: Filtering points with unrepresentable outputs
1.438 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.438 * * * * [points]: Computing exacts for 4 points
1.443 * * * * [points]: Setting MPFR precision to 64
1.444 * * * * [points]: Setting MPFR precision to 320
1.444 * * * * [points]: Filtering points with unrepresentable outputs
1.444 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
1.444 * * * * [points]: Computing exacts for 4 points
1.449 * * * * [points]: Setting MPFR precision to 64
1.450 * * * * [points]: Setting MPFR precision to 320
1.450 * * * * [points]: Filtering points with unrepresentable outputs
1.450 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 255 / 256
1.450 * * * * [points]: Computing exacts for 4 points
1.455 * * * * [points]: Setting MPFR precision to 64
1.456 * * * * [points]: Setting MPFR precision to 320
1.456 * * * * [points]: Filtering points with unrepresentable outputs
1.456 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 255 / 256
1.456 * * * * [points]: Computing exacts for 4 points
1.461 * * * * [points]: Setting MPFR precision to 64
1.461 * * * * [points]: Setting MPFR precision to 320
1.461 * * * * [points]: Filtering points with unrepresentable outputs
1.461 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 255 / 256
1.461 * * * * [points]: Computing exacts for 4 points
1.466 * * * * [points]: Setting MPFR precision to 64
1.467 * * * * [points]: Setting MPFR precision to 320
1.467 * * * * [points]: Filtering points with unrepresentable outputs
1.467 * * * * [points]: Sampled 256 points with exact outputs
1.467 * * * [progress]: [2/2] Setting up program.
1.481 * [progress]: [Phase 2 of 3] Improving.
1.481 * * * * [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.481 * [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.481 * * [simplify]: iteration 1: (19 enodes)
1.495 * * [simplify]: iteration 2: (76 enodes)
1.515 * * [simplify]: iteration 3: (344 enodes)
1.682 * * [simplify]: Extracting #0: cost 1 inf + 0
1.682 * * [simplify]: Extracting #1: cost 76 inf + 0
1.683 * * [simplify]: Extracting #2: cost 476 inf + 1
1.687 * * [simplify]: Extracting #3: cost 744 inf + 23847
1.694 * * [simplify]: Extracting #4: cost 692 inf + 133920
1.709 * * [simplify]: Extracting #5: cost 616 inf + 187628
1.721 * * [simplify]: Extracting #6: cost 579 inf + 209025
1.744 * * [simplify]: Extracting #7: cost 351 inf + 483855
1.801 * * [simplify]: Extracting #8: cost 57 inf + 913475
1.910 * * [simplify]: Extracting #9: cost 4 inf + 1018528
1.997 * * [simplify]: Extracting #10: cost 0 inf + 1031988
2.117 * [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.178 * * [progress]: iteration 1 / 4
2.178 * * * [progress]: picking best candidate
2.221 * * * * [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.221 * * * [progress]: localizing error
2.498 * * * [progress]: generating rewritten candidates
2.498 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.504 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.511 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.521 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
2.527 * * * [progress]: generating series expansions
2.527 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.527 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.527 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.528 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
2.528 * * * [progress]: simplifying candidates
2.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.528 * * * * [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.529 * [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.529 * * [simplify]: iteration 1: (39 enodes)
2.541 * * [simplify]: iteration 2: (129 enodes)
2.602 * * [simplify]: iteration 3: (649 enodes)
3.343 * * [simplify]: Extracting #0: cost 14 inf + 0
3.344 * * [simplify]: Extracting #1: cost 407 inf + 0
3.347 * * [simplify]: Extracting #2: cost 1282 inf + 322
3.355 * * [simplify]: Extracting #3: cost 1962 inf + 5068
3.376 * * [simplify]: Extracting #4: cost 1884 inf + 110621
3.429 * * [simplify]: Extracting #5: cost 1511 inf + 528665
3.573 * * [simplify]: Extracting #6: cost 467 inf + 2029662
3.919 * * [simplify]: Extracting #7: cost 10 inf + 2816620
4.195 * * [simplify]: Extracting #8: cost 0 inf + 2822430
4.451 * * [simplify]: Extracting #9: cost 0 inf + 2821750
4.705 * [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))))
4.707 * * * [progress]: adding candidates to table
5.552 * * [progress]: iteration 2 / 4
5.552 * * * [progress]: picking best candidate
5.796 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
5.796 * * * [progress]: localizing error
6.135 * * * [progress]: generating rewritten candidates
6.135 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
6.141 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.154 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.176 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.217 * * * [progress]: generating series expansions
6.217 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
6.217 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.217 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.217 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.218 * * * [progress]: simplifying candidates
6.218 * * * * [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.218 * * * * [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.218 * * * * [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.218 * * * * [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.218 * * * * [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.218 * * * * [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.218 * * * * [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.218 * * * * [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.218 * [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.219 * * [simplify]: iteration 1: (27 enodes)
6.226 * * [simplify]: iteration 2: (92 enodes)
6.249 * * [simplify]: iteration 3: (412 enodes)
6.706 * * [simplify]: Extracting #0: cost 6 inf + 0
6.708 * * [simplify]: Extracting #1: cost 241 inf + 0
6.712 * * [simplify]: Extracting #2: cost 854 inf + 1
6.720 * * [simplify]: Extracting #3: cost 1166 inf + 2458
6.731 * * [simplify]: Extracting #4: cost 1160 inf + 12452
6.757 * * [simplify]: Extracting #5: cost 853 inf + 229639
6.867 * * [simplify]: Extracting #6: cost 150 inf + 982526
6.988 * * [simplify]: Extracting #7: cost 3 inf + 1196851
7.106 * * [simplify]: Extracting #8: cost 0 inf + 1190506
7.221 * * [simplify]: Extracting #9: cost 0 inf + 1188466
7.327 * * [simplify]: Extracting #10: cost 0 inf + 1188346
7.429 * [simplify]: Simplified to (/.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha i))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (-.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))), (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (*.p16 i (+.p16 beta (+.p16 alpha i))) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i))))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 beta (+.p16 alpha i)))) (*.p16 (+.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) i)))))
7.430 * * * [progress]: adding candidates to table
7.699 * * [progress]: iteration 3 / 4
7.699 * * * [progress]: picking best candidate
7.952 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
7.952 * * * [progress]: localizing error
8.294 * * * [progress]: generating rewritten candidates
8.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
8.301 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
8.316 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
8.338 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
8.393 * * * [progress]: generating series expansions
8.393 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
8.393 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
8.393 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
8.393 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
8.393 * * * [progress]: simplifying candidates
8.393 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.393 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
8.393 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.393 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.393 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.393 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.393 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.393 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
8.394 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))), (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i)), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
8.394 * * [simplify]: iteration 1: (25 enodes)
8.400 * * [simplify]: iteration 2: (83 enodes)
8.422 * * [simplify]: iteration 3: (361 enodes)
8.825 * * [simplify]: Extracting #0: cost 5 inf + 0
8.826 * * [simplify]: Extracting #1: cost 112 inf + 0
8.828 * * [simplify]: Extracting #2: cost 485 inf + 0
8.835 * * [simplify]: Extracting #3: cost 741 inf + 7180
8.847 * * [simplify]: Extracting #4: cost 686 inf + 36178
8.871 * * [simplify]: Extracting #5: cost 526 inf + 186777
8.963 * * [simplify]: Extracting #6: cost 78 inf + 661222
9.056 * * [simplify]: Extracting #7: cost 0 inf + 759583
9.146 * * [simplify]: Extracting #8: cost 0 inf + 759023
9.218 * * [simplify]: Extracting #9: cost 0 inf + 758823
9.289 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))), (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) (-.p16 beta (real->posit16 1.0)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))), (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)), (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i)), (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) i))
9.290 * * * [progress]: adding candidates to table
9.629 * * [progress]: iteration 4 / 4
9.629 * * * [progress]: picking best candidate
10.032 * * * * [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.032 * * * [progress]: localizing error
10.520 * * * [progress]: generating rewritten candidates
10.520 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
10.532 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
10.572 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
10.575 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
10.597 * * * [progress]: generating series expansions
10.597 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.597 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
10.597 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
10.597 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
10.598 * * * [progress]: simplifying candidates
10.598 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.598 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.598 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.598 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
10.598 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.598 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.598 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.598 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.599 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))), (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))), (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))), (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))), (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))
10.599 * * [simplify]: iteration 1: (27 enodes)
10.614 * * [simplify]: iteration 2: (92 enodes)
10.662 * * [simplify]: iteration 3: (412 enodes)
11.155 * * [simplify]: Extracting #0: cost 5 inf + 0
11.155 * * [simplify]: Extracting #1: cost 154 inf + 0
11.157 * * [simplify]: Extracting #2: cost 697 inf + 1
11.162 * * [simplify]: Extracting #3: cost 1097 inf + 3504
11.168 * * [simplify]: Extracting #4: cost 1108 inf + 22201
11.187 * * [simplify]: Extracting #5: cost 898 inf + 205688
11.244 * * [simplify]: Extracting #6: cost 214 inf + 1005116
11.357 * * [simplify]: Extracting #7: cost 1 inf + 1155632
11.460 * * [simplify]: Extracting #8: cost 0 inf + 1113592
11.569 * * [simplify]: Extracting #9: cost 0 inf + 1112872
11.690 * * [simplify]: Extracting #10: cost 0 inf + 1112552
11.814 * [simplify]: Simplified to (/.p16 i (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))), (/.p16 i (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha))), (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha))) (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (-.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (real->posit16 1.0)))), (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha)) (/.p16 (+.p16 (+.p16 beta (*.p16 i (real->posit16 2))) alpha) (+.p16 (+.p16 beta i) alpha)))
11.816 * * * [progress]: adding candidates to table
12.145 * [progress]: [Phase 3 of 3] Extracting.
12.145 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 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 (*.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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.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 (+.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 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 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 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 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 (/.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 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.173 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
12.173 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 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 (*.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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.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 (+.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 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 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 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 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 (/.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 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.601 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 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 (*.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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.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 (+.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 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 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 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 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 (/.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 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.172 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 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 (*.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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.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 (+.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 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 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 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 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 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 (/.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 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.747 * * * [regime]: Found split indices: #<option (#s(si 6 256))>
13.747 * [simplify]: Simplifying (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
13.747 * * [simplify]: iteration 1: (22 enodes)
13.750 * * [simplify]: Extracting #0: cost 1 inf + 0
13.750 * * [simplify]: Extracting #1: cost 3 inf + 0
13.750 * * [simplify]: Extracting #2: cost 7 inf + 0
13.750 * * [simplify]: Extracting #3: cost 11 inf + 1
13.750 * * [simplify]: Extracting #4: cost 17 inf + 1
13.751 * * [simplify]: Extracting #5: cost 18 inf + 3
13.751 * * [simplify]: Extracting #6: cost 14 inf + 452
13.751 * * [simplify]: Extracting #7: cost 11 inf + 857
13.751 * * [simplify]: Extracting #8: cost 8 inf + 2346
13.752 * * [simplify]: Extracting #9: cost 2 inf + 9054
13.752 * * [simplify]: Extracting #10: cost 1 inf + 10739
13.753 * * [simplify]: Extracting #11: cost 0 inf + 14384
13.754 * [simplify]: Simplified to (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
13.754 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
13.818 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
13.823 * * * * [points]: Setting MPFR precision to 64
13.824 * * * * [points]: Setting MPFR precision to 320
13.825 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
13.840 * * * * [points]: Setting MPFR precision to 64
13.844 * * * * [points]: Setting MPFR precision to 320
13.846 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
13.851 * * * * [points]: Setting MPFR precision to 64
13.859 * * * * [points]: Setting MPFR precision to 320
13.866 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
13.871 * * * * [points]: Setting MPFR precision to 64
13.880 * * * * [points]: Setting MPFR precision to 320
13.889 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
13.894 * * * * [points]: Setting MPFR precision to 64
13.914 * * * * [points]: Setting MPFR precision to 320
13.933 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
13.939 * * * * [points]: Setting MPFR precision to 64
14.015 * * * * [points]: Setting MPFR precision to 320
14.052 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
14.057 * * * * [points]: Setting MPFR precision to 64
14.216 * * * * [points]: Setting MPFR precision to 320
14.378 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.385 * * * * [points]: Setting MPFR precision to 64
14.572 * * * * [points]: Setting MPFR precision to 320
14.853 * * * * [points]: Computing exacts for 8000 points
14.862 * * * * [points]: Setting MPFR precision to 64
16.358 * * * * [points]: Setting MPFR precision to 320
17.329 * * * * [points]: Filtering points with unrepresentable outputs
17.334 * * * * [points]: Sampling 6887 additional inputs, on iter 1 have 1113 / 8000
17.363 * * * * [points]: Computing exacts on every 430 of 6887 points to ramp up precision
17.368 * * * * [points]: Setting MPFR precision to 64
17.369 * * * * [points]: Setting MPFR precision to 320
17.370 * * * * [points]: Computing exacts on every 215 of 6887 points to ramp up precision
17.375 * * * * [points]: Setting MPFR precision to 64
17.378 * * * * [points]: Setting MPFR precision to 320
17.380 * * * * [points]: Computing exacts on every 107 of 6887 points to ramp up precision
17.385 * * * * [points]: Setting MPFR precision to 64
17.392 * * * * [points]: Setting MPFR precision to 320
17.400 * * * * [points]: Computing exacts on every 53 of 6887 points to ramp up precision
17.408 * * * * [points]: Setting MPFR precision to 64
17.424 * * * * [points]: Setting MPFR precision to 320
17.465 * * * * [points]: Computing exacts on every 26 of 6887 points to ramp up precision
17.476 * * * * [points]: Setting MPFR precision to 64
17.508 * * * * [points]: Setting MPFR precision to 320
17.537 * * * * [points]: Computing exacts on every 13 of 6887 points to ramp up precision
17.546 * * * * [points]: Setting MPFR precision to 64
17.601 * * * * [points]: Setting MPFR precision to 320
17.680 * * * * [points]: Computing exacts on every 6 of 6887 points to ramp up precision
17.685 * * * * [points]: Setting MPFR precision to 64
17.787 * * * * [points]: Setting MPFR precision to 320
17.951 * * * * [points]: Computing exacts on every 3 of 6887 points to ramp up precision
17.962 * * * * [points]: Setting MPFR precision to 64
18.684 * * * * [points]: Setting MPFR precision to 320
18.966 * * * * [points]: Computing exacts for 6887 points
19.018 * * * * [points]: Setting MPFR precision to 64
20.044 * * * * [points]: Setting MPFR precision to 320
20.971 * * * * [points]: Filtering points with unrepresentable outputs
20.979 * * * * [points]: Sampling 5895 additional inputs, on iter 2 have 2105 / 8000
21.028 * * * * [points]: Computing exacts on every 368 of 5895 points to ramp up precision
21.037 * * * * [points]: Setting MPFR precision to 64
21.040 * * * * [points]: Setting MPFR precision to 320
21.042 * * * * [points]: Computing exacts on every 184 of 5895 points to ramp up precision
21.089 * * * * [points]: Setting MPFR precision to 64
21.096 * * * * [points]: Setting MPFR precision to 320
21.101 * * * * [points]: Computing exacts on every 92 of 5895 points to ramp up precision
21.109 * * * * [points]: Setting MPFR precision to 64
21.117 * * * * [points]: Setting MPFR precision to 320
21.126 * * * * [points]: Computing exacts on every 46 of 5895 points to ramp up precision
21.136 * * * * [points]: Setting MPFR precision to 64
21.152 * * * * [points]: Setting MPFR precision to 320
21.170 * * * * [points]: Computing exacts on every 23 of 5895 points to ramp up precision
21.180 * * * * [points]: Setting MPFR precision to 64
21.216 * * * * [points]: Setting MPFR precision to 320
21.250 * * * * [points]: Computing exacts on every 11 of 5895 points to ramp up precision
21.299 * * * * [points]: Setting MPFR precision to 64
21.367 * * * * [points]: Setting MPFR precision to 320
21.436 * * * * [points]: Computing exacts on every 5 of 5895 points to ramp up precision
21.446 * * * * [points]: Setting MPFR precision to 64
21.629 * * * * [points]: Setting MPFR precision to 320
22.191 * * * * [points]: Computing exacts on every 2 of 5895 points to ramp up precision
22.196 * * * * [points]: Setting MPFR precision to 64
22.380 * * * * [points]: Setting MPFR precision to 320
22.605 * * * * [points]: Computing exacts for 5895 points
22.610 * * * * [points]: Setting MPFR precision to 64
23.431 * * * * [points]: Setting MPFR precision to 320
24.058 * * * * [points]: Filtering points with unrepresentable outputs
24.061 * * * * [points]: Sampling 5047 additional inputs, on iter 3 have 2953 / 8000
24.113 * * * * [points]: Computing exacts on every 315 of 5047 points to ramp up precision
24.119 * * * * [points]: Setting MPFR precision to 64
24.122 * * * * [points]: Setting MPFR precision to 320
24.124 * * * * [points]: Computing exacts on every 157 of 5047 points to ramp up precision
24.134 * * * * [points]: Setting MPFR precision to 64
24.139 * * * * [points]: Setting MPFR precision to 320
24.144 * * * * [points]: Computing exacts on every 78 of 5047 points to ramp up precision
24.154 * * * * [points]: Setting MPFR precision to 64
24.163 * * * * [points]: Setting MPFR precision to 320
24.172 * * * * [points]: Computing exacts on every 39 of 5047 points to ramp up precision
24.182 * * * * [points]: Setting MPFR precision to 64
24.202 * * * * [points]: Setting MPFR precision to 320
24.219 * * * * [points]: Computing exacts on every 19 of 5047 points to ramp up precision
24.229 * * * * [points]: Setting MPFR precision to 64
24.261 * * * * [points]: Setting MPFR precision to 320
24.332 * * * * [points]: Computing exacts on every 9 of 5047 points to ramp up precision
24.343 * * * * [points]: Setting MPFR precision to 64
24.413 * * * * [points]: Setting MPFR precision to 320
24.484 * * * * [points]: Computing exacts on every 4 of 5047 points to ramp up precision
24.495 * * * * [points]: Setting MPFR precision to 64
24.643 * * * * [points]: Setting MPFR precision to 320
24.758 * * * * [points]: Computing exacts on every 2 of 5047 points to ramp up precision
24.763 * * * * [points]: Setting MPFR precision to 64
25.230 * * * * [points]: Setting MPFR precision to 320
25.385 * * * * [points]: Computing exacts for 5047 points
25.390 * * * * [points]: Setting MPFR precision to 64
26.090 * * * * [points]: Setting MPFR precision to 320
26.964 * * * * [points]: Filtering points with unrepresentable outputs
26.969 * * * * [points]: Sampling 4299 additional inputs, on iter 4 have 3701 / 8000
27.003 * * * * [points]: Computing exacts on every 268 of 4299 points to ramp up precision
27.013 * * * * [points]: Setting MPFR precision to 64
27.015 * * * * [points]: Setting MPFR precision to 320
27.017 * * * * [points]: Computing exacts on every 134 of 4299 points to ramp up precision
27.026 * * * * [points]: Setting MPFR precision to 64
27.031 * * * * [points]: Setting MPFR precision to 320
27.035 * * * * [points]: Computing exacts on every 67 of 4299 points to ramp up precision
27.085 * * * * [points]: Setting MPFR precision to 64
27.096 * * * * [points]: Setting MPFR precision to 320
27.105 * * * * [points]: Computing exacts on every 33 of 4299 points to ramp up precision
27.115 * * * * [points]: Setting MPFR precision to 64
27.131 * * * * [points]: Setting MPFR precision to 320
27.148 * * * * [points]: Computing exacts on every 16 of 4299 points to ramp up precision
27.158 * * * * [points]: Setting MPFR precision to 64
27.191 * * * * [points]: Setting MPFR precision to 320
27.226 * * * * [points]: Computing exacts on every 8 of 4299 points to ramp up precision
27.236 * * * * [points]: Setting MPFR precision to 64
27.340 * * * * [points]: Setting MPFR precision to 320
27.401 * * * * [points]: Computing exacts on every 4 of 4299 points to ramp up precision
27.411 * * * * [points]: Setting MPFR precision to 64
27.587 * * * * [points]: Setting MPFR precision to 320
27.664 * * * * [points]: Computing exacts on every 2 of 4299 points to ramp up precision
27.669 * * * * [points]: Setting MPFR precision to 64
27.874 * * * * [points]: Setting MPFR precision to 320
28.091 * * * * [points]: Computing exacts for 4299 points
28.099 * * * * [points]: Setting MPFR precision to 64
29.004 * * * * [points]: Setting MPFR precision to 320
29.560 * * * * [points]: Filtering points with unrepresentable outputs
29.564 * * * * [points]: Sampling 3708 additional inputs, on iter 5 have 4292 / 8000
29.594 * * * * [points]: Computing exacts on every 231 of 3708 points to ramp up precision
29.603 * * * * [points]: Setting MPFR precision to 64
29.606 * * * * [points]: Setting MPFR precision to 320
29.608 * * * * [points]: Computing exacts on every 115 of 3708 points to ramp up precision
29.651 * * * * [points]: Setting MPFR precision to 64
29.655 * * * * [points]: Setting MPFR precision to 320
29.662 * * * * [points]: Computing exacts on every 57 of 3708 points to ramp up precision
29.671 * * * * [points]: Setting MPFR precision to 64
29.679 * * * * [points]: Setting MPFR precision to 320
29.688 * * * * [points]: Computing exacts on every 28 of 3708 points to ramp up precision
29.697 * * * * [points]: Setting MPFR precision to 64
29.714 * * * * [points]: Setting MPFR precision to 320
29.726 * * * * [points]: Computing exacts on every 14 of 3708 points to ramp up precision
29.732 * * * * [points]: Setting MPFR precision to 64
29.751 * * * * [points]: Setting MPFR precision to 320
29.784 * * * * [points]: Computing exacts on every 7 of 3708 points to ramp up precision
29.793 * * * * [points]: Setting MPFR precision to 64
29.867 * * * * [points]: Setting MPFR precision to 320
29.901 * * * * [points]: Computing exacts on every 3 of 3708 points to ramp up precision
29.906 * * * * [points]: Setting MPFR precision to 64
30.031 * * * * [points]: Setting MPFR precision to 320
30.101 * * * * [points]: Computing exacts for 3708 points
30.106 * * * * [points]: Setting MPFR precision to 64
30.657 * * * * [points]: Setting MPFR precision to 320
31.308 * * * * [points]: Filtering points with unrepresentable outputs
31.312 * * * * [points]: Sampling 3211 additional inputs, on iter 6 have 4789 / 8000
31.389 * * * * [points]: Computing exacts on every 200 of 3211 points to ramp up precision
31.399 * * * * [points]: Setting MPFR precision to 64
31.402 * * * * [points]: Setting MPFR precision to 320
31.404 * * * * [points]: Computing exacts on every 100 of 3211 points to ramp up precision
31.413 * * * * [points]: Setting MPFR precision to 64
31.418 * * * * [points]: Setting MPFR precision to 320
31.423 * * * * [points]: Computing exacts on every 50 of 3211 points to ramp up precision
31.432 * * * * [points]: Setting MPFR precision to 64
31.441 * * * * [points]: Setting MPFR precision to 320
31.450 * * * * [points]: Computing exacts on every 25 of 3211 points to ramp up precision
31.461 * * * * [points]: Setting MPFR precision to 64
31.479 * * * * [points]: Setting MPFR precision to 320
31.496 * * * * [points]: Computing exacts on every 12 of 3211 points to ramp up precision
31.505 * * * * [points]: Setting MPFR precision to 64
31.540 * * * * [points]: Setting MPFR precision to 320
31.614 * * * * [points]: Computing exacts on every 6 of 3211 points to ramp up precision
31.619 * * * * [points]: Setting MPFR precision to 64
31.654 * * * * [points]: Setting MPFR precision to 320
31.688 * * * * [points]: Computing exacts on every 3 of 3211 points to ramp up precision
31.692 * * * * [points]: Setting MPFR precision to 64
32.273 * * * * [points]: Setting MPFR precision to 320
32.358 * * * * [points]: Computing exacts for 3211 points
32.397 * * * * [points]: Setting MPFR precision to 64
32.770 * * * * [points]: Setting MPFR precision to 320
33.067 * * * * [points]: Filtering points with unrepresentable outputs
33.069 * * * * [points]: Sampling 2760 additional inputs, on iter 7 have 5240 / 8000
33.080 * * * * [points]: Computing exacts on every 172 of 2760 points to ramp up precision
33.085 * * * * [points]: Setting MPFR precision to 64
33.086 * * * * [points]: Setting MPFR precision to 320
33.087 * * * * [points]: Computing exacts on every 86 of 2760 points to ramp up precision
33.092 * * * * [points]: Setting MPFR precision to 64
33.095 * * * * [points]: Setting MPFR precision to 320
33.097 * * * * [points]: Computing exacts on every 43 of 2760 points to ramp up precision
33.102 * * * * [points]: Setting MPFR precision to 64
33.107 * * * * [points]: Setting MPFR precision to 320
33.111 * * * * [points]: Computing exacts on every 21 of 2760 points to ramp up precision
33.119 * * * * [points]: Setting MPFR precision to 64
33.136 * * * * [points]: Setting MPFR precision to 320
33.189 * * * * [points]: Computing exacts on every 10 of 2760 points to ramp up precision
33.199 * * * * [points]: Setting MPFR precision to 64
33.235 * * * * [points]: Setting MPFR precision to 320
33.267 * * * * [points]: Computing exacts on every 5 of 2760 points to ramp up precision
33.271 * * * * [points]: Setting MPFR precision to 64
33.308 * * * * [points]: Setting MPFR precision to 320
33.392 * * * * [points]: Computing exacts on every 2 of 2760 points to ramp up precision
33.402 * * * * [points]: Setting MPFR precision to 64
33.534 * * * * [points]: Setting MPFR precision to 320
33.686 * * * * [points]: Computing exacts for 2760 points
33.695 * * * * [points]: Setting MPFR precision to 64
34.016 * * * * [points]: Setting MPFR precision to 320
34.299 * * * * [points]: Filtering points with unrepresentable outputs
34.301 * * * * [points]: Sampling 2349 additional inputs, on iter 8 have 5651 / 8000
34.311 * * * * [points]: Computing exacts on every 146 of 2349 points to ramp up precision
34.315 * * * * [points]: Setting MPFR precision to 64
34.317 * * * * [points]: Setting MPFR precision to 320
34.318 * * * * [points]: Computing exacts on every 73 of 2349 points to ramp up precision
34.323 * * * * [points]: Setting MPFR precision to 64
34.325 * * * * [points]: Setting MPFR precision to 320
34.328 * * * * [points]: Computing exacts on every 36 of 2349 points to ramp up precision
34.332 * * * * [points]: Setting MPFR precision to 64
34.337 * * * * [points]: Setting MPFR precision to 320
34.342 * * * * [points]: Computing exacts on every 18 of 2349 points to ramp up precision
34.347 * * * * [points]: Setting MPFR precision to 64
34.357 * * * * [points]: Setting MPFR precision to 320
34.366 * * * * [points]: Computing exacts on every 9 of 2349 points to ramp up precision
34.399 * * * * [points]: Setting MPFR precision to 64
34.418 * * * * [points]: Setting MPFR precision to 320
34.435 * * * * [points]: Computing exacts on every 4 of 2349 points to ramp up precision
34.440 * * * * [points]: Setting MPFR precision to 64
34.474 * * * * [points]: Setting MPFR precision to 320
34.539 * * * * [points]: Computing exacts on every 2 of 2349 points to ramp up precision
34.544 * * * * [points]: Setting MPFR precision to 64
34.606 * * * * [points]: Setting MPFR precision to 320
34.976 * * * * [points]: Computing exacts for 2349 points
34.981 * * * * [points]: Setting MPFR precision to 64
35.192 * * * * [points]: Setting MPFR precision to 320
35.479 * * * * [points]: Filtering points with unrepresentable outputs
35.481 * * * * [points]: Sampling 2016 additional inputs, on iter 9 have 5984 / 8000
35.489 * * * * [points]: Computing exacts on every 126 of 2016 points to ramp up precision
35.494 * * * * [points]: Setting MPFR precision to 64
35.495 * * * * [points]: Setting MPFR precision to 320
35.496 * * * * [points]: Computing exacts on every 63 of 2016 points to ramp up precision
35.501 * * * * [points]: Setting MPFR precision to 64
35.503 * * * * [points]: Setting MPFR precision to 320
35.506 * * * * [points]: Computing exacts on every 31 of 2016 points to ramp up precision
35.510 * * * * [points]: Setting MPFR precision to 64
35.515 * * * * [points]: Setting MPFR precision to 320
35.520 * * * * [points]: Computing exacts on every 15 of 2016 points to ramp up precision
35.525 * * * * [points]: Setting MPFR precision to 64
35.566 * * * * [points]: Setting MPFR precision to 320
35.587 * * * * [points]: Computing exacts on every 7 of 2016 points to ramp up precision
35.593 * * * * [points]: Setting MPFR precision to 64
35.612 * * * * [points]: Setting MPFR precision to 320
35.630 * * * * [points]: Computing exacts on every 3 of 2016 points to ramp up precision
35.635 * * * * [points]: Setting MPFR precision to 64
35.672 * * * * [points]: Setting MPFR precision to 320
35.738 * * * * [points]: Computing exacts for 2016 points
35.744 * * * * [points]: Setting MPFR precision to 64
35.924 * * * * [points]: Setting MPFR precision to 320
36.143 * * * * [points]: Filtering points with unrepresentable outputs
36.144 * * * * [points]: Sampling 1741 additional inputs, on iter 10 have 6259 / 8000
36.153 * * * * [points]: Computing exacts on every 108 of 1741 points to ramp up precision
36.158 * * * * [points]: Setting MPFR precision to 64
36.159 * * * * [points]: Setting MPFR precision to 320
36.160 * * * * [points]: Computing exacts on every 54 of 1741 points to ramp up precision
36.165 * * * * [points]: Setting MPFR precision to 64
36.168 * * * * [points]: Setting MPFR precision to 320
36.170 * * * * [points]: Computing exacts on every 27 of 1741 points to ramp up precision
36.174 * * * * [points]: Setting MPFR precision to 64
36.179 * * * * [points]: Setting MPFR precision to 320
36.184 * * * * [points]: Computing exacts on every 13 of 1741 points to ramp up precision
36.189 * * * * [points]: Setting MPFR precision to 64
36.198 * * * * [points]: Setting MPFR precision to 320
36.208 * * * * [points]: Computing exacts on every 6 of 1741 points to ramp up precision
36.212 * * * * [points]: Setting MPFR precision to 64
36.254 * * * * [points]: Setting MPFR precision to 320
36.275 * * * * [points]: Computing exacts on every 3 of 1741 points to ramp up precision
36.280 * * * * [points]: Setting MPFR precision to 64
36.314 * * * * [points]: Setting MPFR precision to 320
36.356 * * * * [points]: Computing exacts for 1741 points
36.366 * * * * [points]: Setting MPFR precision to 64
36.569 * * * * [points]: Setting MPFR precision to 320
36.844 * * * * [points]: Filtering points with unrepresentable outputs
36.846 * * * * [points]: Sampling 1474 additional inputs, on iter 11 have 6526 / 8000
36.857 * * * * [points]: Computing exacts on every 92 of 1474 points to ramp up precision
36.868 * * * * [points]: Setting MPFR precision to 64
36.871 * * * * [points]: Setting MPFR precision to 320
36.873 * * * * [points]: Computing exacts on every 46 of 1474 points to ramp up precision
36.878 * * * * [points]: Setting MPFR precision to 64
36.880 * * * * [points]: Setting MPFR precision to 320
36.883 * * * * [points]: Computing exacts on every 23 of 1474 points to ramp up precision
36.888 * * * * [points]: Setting MPFR precision to 64
36.893 * * * * [points]: Setting MPFR precision to 320
36.898 * * * * [points]: Computing exacts on every 11 of 1474 points to ramp up precision
36.903 * * * * [points]: Setting MPFR precision to 64
36.911 * * * * [points]: Setting MPFR precision to 320
36.921 * * * * [points]: Computing exacts on every 5 of 1474 points to ramp up precision
36.966 * * * * [points]: Setting MPFR precision to 64
36.987 * * * * [points]: Setting MPFR precision to 320
37.006 * * * * [points]: Computing exacts on every 2 of 1474 points to ramp up precision
37.011 * * * * [points]: Setting MPFR precision to 64
37.052 * * * * [points]: Setting MPFR precision to 320
37.132 * * * * [points]: Computing exacts for 1474 points
37.139 * * * * [points]: Setting MPFR precision to 64
37.315 * * * * [points]: Setting MPFR precision to 320
37.846 * * * * [points]: Filtering points with unrepresentable outputs
37.848 * * * * [points]: Sampling 1281 additional inputs, on iter 12 have 6719 / 8000
37.858 * * * * [points]: Computing exacts on every 80 of 1281 points to ramp up precision
37.868 * * * * [points]: Setting MPFR precision to 64
37.871 * * * * [points]: Setting MPFR precision to 320
37.873 * * * * [points]: Computing exacts on every 40 of 1281 points to ramp up precision
37.883 * * * * [points]: Setting MPFR precision to 64
37.888 * * * * [points]: Setting MPFR precision to 320
37.893 * * * * [points]: Computing exacts on every 20 of 1281 points to ramp up precision
37.902 * * * * [points]: Setting MPFR precision to 64
37.912 * * * * [points]: Setting MPFR precision to 320
37.921 * * * * [points]: Computing exacts on every 10 of 1281 points to ramp up precision
37.930 * * * * [points]: Setting MPFR precision to 64
37.948 * * * * [points]: Setting MPFR precision to 320
37.965 * * * * [points]: Computing exacts on every 5 of 1281 points to ramp up precision
37.974 * * * * [points]: Setting MPFR precision to 64
38.005 * * * * [points]: Setting MPFR precision to 320
38.070 * * * * [points]: Computing exacts on every 2 of 1281 points to ramp up precision
38.080 * * * * [points]: Setting MPFR precision to 64
38.119 * * * * [points]: Setting MPFR precision to 320
38.151 * * * * [points]: Computing exacts for 1281 points
38.157 * * * * [points]: Setting MPFR precision to 64
38.281 * * * * [points]: Setting MPFR precision to 320
38.447 * * * * [points]: Filtering points with unrepresentable outputs
38.448 * * * * [points]: Sampling 1096 additional inputs, on iter 13 have 6904 / 8000
38.453 * * * * [points]: Computing exacts on every 68 of 1096 points to ramp up precision
38.458 * * * * [points]: Setting MPFR precision to 64
38.460 * * * * [points]: Setting MPFR precision to 320
38.461 * * * * [points]: Computing exacts on every 34 of 1096 points to ramp up precision
38.466 * * * * [points]: Setting MPFR precision to 64
38.468 * * * * [points]: Setting MPFR precision to 320
38.470 * * * * [points]: Computing exacts on every 17 of 1096 points to ramp up precision
38.475 * * * * [points]: Setting MPFR precision to 64
38.480 * * * * [points]: Setting MPFR precision to 320
38.485 * * * * [points]: Computing exacts on every 8 of 1096 points to ramp up precision
38.519 * * * * [points]: Setting MPFR precision to 64
38.530 * * * * [points]: Setting MPFR precision to 320
38.541 * * * * [points]: Computing exacts on every 4 of 1096 points to ramp up precision
38.546 * * * * [points]: Setting MPFR precision to 64
38.562 * * * * [points]: Setting MPFR precision to 320
38.579 * * * * [points]: Computing exacts on every 2 of 1096 points to ramp up precision
38.584 * * * * [points]: Setting MPFR precision to 64
38.612 * * * * [points]: Setting MPFR precision to 320
38.707 * * * * [points]: Computing exacts for 1096 points
38.717 * * * * [points]: Setting MPFR precision to 64
38.873 * * * * [points]: Setting MPFR precision to 320
39.084 * * * * [points]: Filtering points with unrepresentable outputs
39.085 * * * * [points]: Sampling 923 additional inputs, on iter 14 have 7077 / 8000
39.092 * * * * [points]: Computing exacts on every 57 of 923 points to ramp up precision
39.102 * * * * [points]: Setting MPFR precision to 64
39.105 * * * * [points]: Setting MPFR precision to 320
39.107 * * * * [points]: Computing exacts on every 28 of 923 points to ramp up precision
39.118 * * * * [points]: Setting MPFR precision to 64
39.122 * * * * [points]: Setting MPFR precision to 320
39.127 * * * * [points]: Computing exacts on every 14 of 923 points to ramp up precision
39.179 * * * * [points]: Setting MPFR precision to 64
39.191 * * * * [points]: Setting MPFR precision to 320
39.199 * * * * [points]: Computing exacts on every 7 of 923 points to ramp up precision
39.208 * * * * [points]: Setting MPFR precision to 64
39.223 * * * * [points]: Setting MPFR precision to 320
39.240 * * * * [points]: Computing exacts on every 3 of 923 points to ramp up precision
39.249 * * * * [points]: Setting MPFR precision to 64
39.280 * * * * [points]: Setting MPFR precision to 320
39.312 * * * * [points]: Computing exacts for 923 points
39.321 * * * * [points]: Setting MPFR precision to 64
39.431 * * * * [points]: Setting MPFR precision to 320
39.615 * * * * [points]: Filtering points with unrepresentable outputs
39.616 * * * * [points]: Sampling 791 additional inputs, on iter 15 have 7209 / 8000
39.626 * * * * [points]: Computing exacts on every 49 of 791 points to ramp up precision
39.636 * * * * [points]: Setting MPFR precision to 64
39.638 * * * * [points]: Setting MPFR precision to 320
39.640 * * * * [points]: Computing exacts on every 24 of 791 points to ramp up precision
39.650 * * * * [points]: Setting MPFR precision to 64
39.654 * * * * [points]: Setting MPFR precision to 320
39.660 * * * * [points]: Computing exacts on every 12 of 791 points to ramp up precision
39.669 * * * * [points]: Setting MPFR precision to 64
39.678 * * * * [points]: Setting MPFR precision to 320
39.687 * * * * [points]: Computing exacts on every 6 of 791 points to ramp up precision
39.697 * * * * [points]: Setting MPFR precision to 64
39.712 * * * * [points]: Setting MPFR precision to 320
39.728 * * * * [points]: Computing exacts on every 3 of 791 points to ramp up precision
39.738 * * * * [points]: Setting MPFR precision to 64
39.765 * * * * [points]: Setting MPFR precision to 320
39.830 * * * * [points]: Computing exacts for 791 points
39.843 * * * * [points]: Setting MPFR precision to 64
39.951 * * * * [points]: Setting MPFR precision to 320
40.101 * * * * [points]: Filtering points with unrepresentable outputs
40.102 * * * * [points]: Sampling 675 additional inputs, on iter 16 have 7325 / 8000
40.107 * * * * [points]: Computing exacts on every 42 of 675 points to ramp up precision
40.117 * * * * [points]: Setting MPFR precision to 64
40.119 * * * * [points]: Setting MPFR precision to 320
40.122 * * * * [points]: Computing exacts on every 21 of 675 points to ramp up precision
40.132 * * * * [points]: Setting MPFR precision to 64
40.136 * * * * [points]: Setting MPFR precision to 320
40.141 * * * * [points]: Computing exacts on every 10 of 675 points to ramp up precision
40.150 * * * * [points]: Setting MPFR precision to 64
40.159 * * * * [points]: Setting MPFR precision to 320
40.167 * * * * [points]: Computing exacts on every 5 of 675 points to ramp up precision
40.176 * * * * [points]: Setting MPFR precision to 64
40.192 * * * * [points]: Setting MPFR precision to 320
40.203 * * * * [points]: Computing exacts on every 2 of 675 points to ramp up precision
40.208 * * * * [points]: Setting MPFR precision to 64
40.247 * * * * [points]: Setting MPFR precision to 320
40.266 * * * * [points]: Computing exacts for 675 points
40.271 * * * * [points]: Setting MPFR precision to 64
40.322 * * * * [points]: Setting MPFR precision to 320
40.407 * * * * [points]: Filtering points with unrepresentable outputs
40.408 * * * * [points]: Sampling 578 additional inputs, on iter 17 have 7422 / 8000
40.410 * * * * [points]: Computing exacts on every 36 of 578 points to ramp up precision
40.415 * * * * [points]: Setting MPFR precision to 64
40.416 * * * * [points]: Setting MPFR precision to 320
40.418 * * * * [points]: Computing exacts on every 18 of 578 points to ramp up precision
40.422 * * * * [points]: Setting MPFR precision to 64
40.425 * * * * [points]: Setting MPFR precision to 320
40.427 * * * * [points]: Computing exacts on every 9 of 578 points to ramp up precision
40.432 * * * * [points]: Setting MPFR precision to 64
40.436 * * * * [points]: Setting MPFR precision to 320
40.440 * * * * [points]: Computing exacts on every 4 of 578 points to ramp up precision
40.445 * * * * [points]: Setting MPFR precision to 64
40.454 * * * * [points]: Setting MPFR precision to 320
40.464 * * * * [points]: Computing exacts on every 2 of 578 points to ramp up precision
40.468 * * * * [points]: Setting MPFR precision to 64
40.504 * * * * [points]: Setting MPFR precision to 320
40.521 * * * * [points]: Computing exacts for 578 points
40.526 * * * * [points]: Setting MPFR precision to 64
40.571 * * * * [points]: Setting MPFR precision to 320
40.615 * * * * [points]: Filtering points with unrepresentable outputs
40.615 * * * * [points]: Sampling 500 additional inputs, on iter 18 have 7500 / 8000
40.617 * * * * [points]: Computing exacts on every 31 of 500 points to ramp up precision
40.654 * * * * [points]: Setting MPFR precision to 64
40.655 * * * * [points]: Setting MPFR precision to 320
40.656 * * * * [points]: Computing exacts on every 15 of 500 points to ramp up precision
40.663 * * * * [points]: Setting MPFR precision to 64
40.665 * * * * [points]: Setting MPFR precision to 320
40.668 * * * * [points]: Computing exacts on every 7 of 500 points to ramp up precision
40.673 * * * * [points]: Setting MPFR precision to 64
40.677 * * * * [points]: Setting MPFR precision to 320
40.682 * * * * [points]: Computing exacts on every 3 of 500 points to ramp up precision
40.686 * * * * [points]: Setting MPFR precision to 64
40.696 * * * * [points]: Setting MPFR precision to 320
40.705 * * * * [points]: Computing exacts for 500 points
40.710 * * * * [points]: Setting MPFR precision to 64
40.811 * * * * [points]: Setting MPFR precision to 320
40.881 * * * * [points]: Filtering points with unrepresentable outputs
40.882 * * * * [points]: Sampling 432 additional inputs, on iter 19 have 7568 / 8000
40.885 * * * * [points]: Computing exacts on every 27 of 432 points to ramp up precision
40.896 * * * * [points]: Setting MPFR precision to 64
40.898 * * * * [points]: Setting MPFR precision to 320
40.900 * * * * [points]: Computing exacts on every 13 of 432 points to ramp up precision
40.911 * * * * [points]: Setting MPFR precision to 64
40.915 * * * * [points]: Setting MPFR precision to 320
40.919 * * * * [points]: Computing exacts on every 6 of 432 points to ramp up precision
40.928 * * * * [points]: Setting MPFR precision to 64
40.936 * * * * [points]: Setting MPFR precision to 320
40.945 * * * * [points]: Computing exacts on every 3 of 432 points to ramp up precision
40.954 * * * * [points]: Setting MPFR precision to 64
40.968 * * * * [points]: Setting MPFR precision to 320
40.982 * * * * [points]: Computing exacts for 432 points
41.462 * * * * [points]: Setting MPFR precision to 64
41.527 * * * * [points]: Setting MPFR precision to 320
41.589 * * * * [points]: Filtering points with unrepresentable outputs
41.589 * * * * [points]: Sampling 382 additional inputs, on iter 20 have 7618 / 8000
41.592 * * * * [points]: Computing exacts on every 23 of 382 points to ramp up precision
41.602 * * * * [points]: Setting MPFR precision to 64
41.604 * * * * [points]: Setting MPFR precision to 320
41.606 * * * * [points]: Computing exacts on every 11 of 382 points to ramp up precision
41.616 * * * * [points]: Setting MPFR precision to 64
41.621 * * * * [points]: Setting MPFR precision to 320
41.626 * * * * [points]: Computing exacts on every 5 of 382 points to ramp up precision
41.637 * * * * [points]: Setting MPFR precision to 64
41.647 * * * * [points]: Setting MPFR precision to 320
41.695 * * * * [points]: Computing exacts on every 2 of 382 points to ramp up precision
41.708 * * * * [points]: Setting MPFR precision to 64
41.726 * * * * [points]: Setting MPFR precision to 320
41.744 * * * * [points]: Computing exacts for 382 points
41.753 * * * * [points]: Setting MPFR precision to 64
41.809 * * * * [points]: Setting MPFR precision to 320
41.862 * * * * [points]: Filtering points with unrepresentable outputs
41.862 * * * * [points]: Sampling 334 additional inputs, on iter 21 have 7666 / 8000
41.865 * * * * [points]: Computing exacts on every 20 of 334 points to ramp up precision
41.873 * * * * [points]: Setting MPFR precision to 64
41.875 * * * * [points]: Setting MPFR precision to 320
41.877 * * * * [points]: Computing exacts on every 10 of 334 points to ramp up precision
41.922 * * * * [points]: Setting MPFR precision to 64
41.927 * * * * [points]: Setting MPFR precision to 320
41.934 * * * * [points]: Computing exacts on every 5 of 334 points to ramp up precision
41.943 * * * * [points]: Setting MPFR precision to 64
41.951 * * * * [points]: Setting MPFR precision to 320
41.958 * * * * [points]: Computing exacts on every 2 of 334 points to ramp up precision
41.968 * * * * [points]: Setting MPFR precision to 64
41.983 * * * * [points]: Setting MPFR precision to 320
41.997 * * * * [points]: Computing exacts for 334 points
42.007 * * * * [points]: Setting MPFR precision to 64
42.047 * * * * [points]: Setting MPFR precision to 320
42.072 * * * * [points]: Filtering points with unrepresentable outputs
42.072 * * * * [points]: Sampling 284 additional inputs, on iter 22 have 7716 / 8000
42.074 * * * * [points]: Computing exacts on every 17 of 284 points to ramp up precision
42.107 * * * * [points]: Setting MPFR precision to 64
42.108 * * * * [points]: Setting MPFR precision to 320
42.109 * * * * [points]: Computing exacts on every 8 of 284 points to ramp up precision
42.116 * * * * [points]: Setting MPFR precision to 64
42.119 * * * * [points]: Setting MPFR precision to 320
42.122 * * * * [points]: Computing exacts on every 4 of 284 points to ramp up precision
42.126 * * * * [points]: Setting MPFR precision to 64
42.131 * * * * [points]: Setting MPFR precision to 320
42.135 * * * * [points]: Computing exacts on every 2 of 284 points to ramp up precision
42.142 * * * * [points]: Setting MPFR precision to 64
42.153 * * * * [points]: Setting MPFR precision to 320
42.166 * * * * [points]: Computing exacts for 284 points
42.175 * * * * [points]: Setting MPFR precision to 64
42.215 * * * * [points]: Setting MPFR precision to 320
42.291 * * * * [points]: Filtering points with unrepresentable outputs
42.292 * * * * [points]: Sampling 243 additional inputs, on iter 23 have 7757 / 8000
42.297 * * * * [points]: Computing exacts on every 15 of 243 points to ramp up precision
42.306 * * * * [points]: Setting MPFR precision to 64
42.309 * * * * [points]: Setting MPFR precision to 320
42.311 * * * * [points]: Computing exacts on every 7 of 243 points to ramp up precision
42.319 * * * * [points]: Setting MPFR precision to 64
42.322 * * * * [points]: Setting MPFR precision to 320
42.324 * * * * [points]: Computing exacts on every 3 of 243 points to ramp up precision
42.329 * * * * [points]: Setting MPFR precision to 64
42.333 * * * * [points]: Setting MPFR precision to 320
42.339 * * * * [points]: Computing exacts for 243 points
42.349 * * * * [points]: Setting MPFR precision to 64
42.375 * * * * [points]: Setting MPFR precision to 320
42.393 * * * * [points]: Filtering points with unrepresentable outputs
42.393 * * * * [points]: Sampling 210 additional inputs, on iter 24 have 7790 / 8000
42.394 * * * * [points]: Computing exacts on every 13 of 210 points to ramp up precision
42.400 * * * * [points]: Setting MPFR precision to 64
42.402 * * * * [points]: Setting MPFR precision to 320
42.403 * * * * [points]: Computing exacts on every 6 of 210 points to ramp up precision
42.432 * * * * [points]: Setting MPFR precision to 64
42.436 * * * * [points]: Setting MPFR precision to 320
42.440 * * * * [points]: Computing exacts on every 3 of 210 points to ramp up precision
42.453 * * * * [points]: Setting MPFR precision to 64
42.460 * * * * [points]: Setting MPFR precision to 320
42.467 * * * * [points]: Computing exacts for 210 points
42.477 * * * * [points]: Setting MPFR precision to 64
42.506 * * * * [points]: Setting MPFR precision to 320
42.535 * * * * [points]: Filtering points with unrepresentable outputs
42.536 * * * * [points]: Sampling 183 additional inputs, on iter 25 have 7817 / 8000
42.537 * * * * [points]: Computing exacts on every 11 of 183 points to ramp up precision
42.546 * * * * [points]: Setting MPFR precision to 64
42.549 * * * * [points]: Setting MPFR precision to 320
42.551 * * * * [points]: Computing exacts on every 5 of 183 points to ramp up precision
42.560 * * * * [points]: Setting MPFR precision to 64
42.565 * * * * [points]: Setting MPFR precision to 320
42.568 * * * * [points]: Computing exacts on every 2 of 183 points to ramp up precision
42.572 * * * * [points]: Setting MPFR precision to 64
42.577 * * * * [points]: Setting MPFR precision to 320
42.582 * * * * [points]: Computing exacts for 183 points
42.609 * * * * [points]: Setting MPFR precision to 64
42.624 * * * * [points]: Setting MPFR precision to 320
42.639 * * * * [points]: Filtering points with unrepresentable outputs
42.639 * * * * [points]: Sampling 165 additional inputs, on iter 26 have 7835 / 8000
42.641 * * * * [points]: Computing exacts on every 10 of 165 points to ramp up precision
42.650 * * * * [points]: Setting MPFR precision to 64
42.652 * * * * [points]: Setting MPFR precision to 320
42.654 * * * * [points]: Computing exacts on every 5 of 165 points to ramp up precision
42.660 * * * * [points]: Setting MPFR precision to 64
42.663 * * * * [points]: Setting MPFR precision to 320
42.665 * * * * [points]: Computing exacts on every 2 of 165 points to ramp up precision
42.669 * * * * [points]: Setting MPFR precision to 64
42.673 * * * * [points]: Setting MPFR precision to 320
42.677 * * * * [points]: Computing exacts for 165 points
42.682 * * * * [points]: Setting MPFR precision to 64
42.702 * * * * [points]: Setting MPFR precision to 320
42.714 * * * * [points]: Filtering points with unrepresentable outputs
42.714 * * * * [points]: Sampling 138 additional inputs, on iter 27 have 7862 / 8000
42.715 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
42.746 * * * * [points]: Setting MPFR precision to 64
42.748 * * * * [points]: Setting MPFR precision to 320
42.750 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
42.763 * * * * [points]: Setting MPFR precision to 64
42.768 * * * * [points]: Setting MPFR precision to 320
42.772 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
42.781 * * * * [points]: Setting MPFR precision to 64
42.788 * * * * [points]: Setting MPFR precision to 320
42.794 * * * * [points]: Computing exacts for 138 points
42.804 * * * * [points]: Setting MPFR precision to 64
42.822 * * * * [points]: Setting MPFR precision to 320
42.832 * * * * [points]: Filtering points with unrepresentable outputs
42.832 * * * * [points]: Sampling 127 additional inputs, on iter 28 have 7873 / 8000
42.833 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
42.837 * * * * [points]: Setting MPFR precision to 64
42.839 * * * * [points]: Setting MPFR precision to 320
42.840 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
42.845 * * * * [points]: Setting MPFR precision to 64
42.847 * * * * [points]: Setting MPFR precision to 320
42.849 * * * * [points]: Computing exacts for 127 points
42.856 * * * * [points]: Setting MPFR precision to 64
42.874 * * * * [points]: Setting MPFR precision to 320
42.918 * * * * [points]: Filtering points with unrepresentable outputs
42.918 * * * * [points]: Sampling 110 additional inputs, on iter 29 have 7890 / 8000
42.919 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
42.931 * * * * [points]: Setting MPFR precision to 64
42.934 * * * * [points]: Setting MPFR precision to 320
42.936 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
42.941 * * * * [points]: Setting MPFR precision to 64
42.944 * * * * [points]: Setting MPFR precision to 320
42.946 * * * * [points]: Computing exacts for 110 points
42.951 * * * * [points]: Setting MPFR precision to 64
42.959 * * * * [points]: Setting MPFR precision to 320
42.967 * * * * [points]: Filtering points with unrepresentable outputs
42.967 * * * * [points]: Sampling 92 additional inputs, on iter 30 have 7908 / 8000
42.967 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
42.973 * * * * [points]: Setting MPFR precision to 64
42.974 * * * * [points]: Setting MPFR precision to 320
42.975 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
42.980 * * * * [points]: Setting MPFR precision to 64
42.982 * * * * [points]: Setting MPFR precision to 320
42.985 * * * * [points]: Computing exacts for 92 points
42.989 * * * * [points]: Setting MPFR precision to 64
43.003 * * * * [points]: Setting MPFR precision to 320
43.015 * * * * [points]: Filtering points with unrepresentable outputs
43.016 * * * * [points]: Sampling 83 additional inputs, on iter 31 have 7917 / 8000
43.016 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
43.026 * * * * [points]: Setting MPFR precision to 64
43.028 * * * * [points]: Setting MPFR precision to 320
43.030 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
43.057 * * * * [points]: Setting MPFR precision to 64
43.060 * * * * [points]: Setting MPFR precision to 320
43.062 * * * * [points]: Computing exacts for 83 points
43.068 * * * * [points]: Setting MPFR precision to 64
43.075 * * * * [points]: Setting MPFR precision to 320
43.084 * * * * [points]: Filtering points with unrepresentable outputs
43.084 * * * * [points]: Sampling 70 additional inputs, on iter 32 have 7930 / 8000
43.084 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
43.089 * * * * [points]: Setting MPFR precision to 64
43.090 * * * * [points]: Setting MPFR precision to 320
43.091 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
43.096 * * * * [points]: Setting MPFR precision to 64
43.098 * * * * [points]: Setting MPFR precision to 320
43.099 * * * * [points]: Computing exacts for 70 points
43.106 * * * * [points]: Setting MPFR precision to 64
43.116 * * * * [points]: Setting MPFR precision to 320
43.122 * * * * [points]: Filtering points with unrepresentable outputs
43.122 * * * * [points]: Sampling 57 additional inputs, on iter 33 have 7943 / 8000
43.122 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
43.127 * * * * [points]: Setting MPFR precision to 64
43.129 * * * * [points]: Setting MPFR precision to 320
43.130 * * * * [points]: Computing exacts for 57 points
43.135 * * * * [points]: Setting MPFR precision to 64
43.140 * * * * [points]: Setting MPFR precision to 320
43.144 * * * * [points]: Filtering points with unrepresentable outputs
43.144 * * * * [points]: Sampling 45 additional inputs, on iter 34 have 7955 / 8000
43.145 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
43.166 * * * * [points]: Setting MPFR precision to 64
43.168 * * * * [points]: Setting MPFR precision to 320
43.170 * * * * [points]: Computing exacts for 45 points
43.182 * * * * [points]: Setting MPFR precision to 64
43.189 * * * * [points]: Setting MPFR precision to 320
43.194 * * * * [points]: Filtering points with unrepresentable outputs
43.194 * * * * [points]: Sampling 36 additional inputs, on iter 35 have 7964 / 8000
43.195 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
43.199 * * * * [points]: Setting MPFR precision to 64
43.200 * * * * [points]: Setting MPFR precision to 320
43.201 * * * * [points]: Computing exacts for 36 points
43.206 * * * * [points]: Setting MPFR precision to 64
43.208 * * * * [points]: Setting MPFR precision to 320
43.211 * * * * [points]: Filtering points with unrepresentable outputs
43.211 * * * * [points]: Sampling 33 additional inputs, on iter 36 have 7967 / 8000
43.211 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
43.216 * * * * [points]: Setting MPFR precision to 64
43.217 * * * * [points]: Setting MPFR precision to 320
43.218 * * * * [points]: Computing exacts for 33 points
43.223 * * * * [points]: Setting MPFR precision to 64
43.226 * * * * [points]: Setting MPFR precision to 320
43.231 * * * * [points]: Filtering points with unrepresentable outputs
43.231 * * * * [points]: Sampling 32 additional inputs, on iter 37 have 7968 / 8000
43.231 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
43.240 * * * * [points]: Setting MPFR precision to 64
43.242 * * * * [points]: Setting MPFR precision to 320
43.243 * * * * [points]: Computing exacts for 32 points
43.252 * * * * [points]: Setting MPFR precision to 64
43.257 * * * * [points]: Setting MPFR precision to 320
43.261 * * * * [points]: Filtering points with unrepresentable outputs
43.261 * * * * [points]: Sampling 30 additional inputs, on iter 38 have 7970 / 8000
43.262 * * * * [points]: Computing exacts for 30 points
43.267 * * * * [points]: Setting MPFR precision to 64
43.269 * * * * [points]: Setting MPFR precision to 320
43.272 * * * * [points]: Filtering points with unrepresentable outputs
43.272 * * * * [points]: Sampling 27 additional inputs, on iter 39 have 7973 / 8000
43.272 * * * * [points]: Computing exacts for 27 points
43.291 * * * * [points]: Setting MPFR precision to 64
43.293 * * * * [points]: Setting MPFR precision to 320
43.295 * * * * [points]: Filtering points with unrepresentable outputs
43.295 * * * * [points]: Sampling 23 additional inputs, on iter 40 have 7977 / 8000
43.295 * * * * [points]: Computing exacts for 23 points
43.305 * * * * [points]: Setting MPFR precision to 64
43.308 * * * * [points]: Setting MPFR precision to 320
43.311 * * * * [points]: Filtering points with unrepresentable outputs
43.311 * * * * [points]: Sampling 16 additional inputs, on iter 41 have 7984 / 8000
43.311 * * * * [points]: Computing exacts for 16 points
43.320 * * * * [points]: Setting MPFR precision to 64
43.323 * * * * [points]: Setting MPFR precision to 320
43.325 * * * * [points]: Filtering points with unrepresentable outputs
43.325 * * * * [points]: Sampling 13 additional inputs, on iter 42 have 7987 / 8000
43.325 * * * * [points]: Computing exacts for 13 points
43.335 * * * * [points]: Setting MPFR precision to 64
43.337 * * * * [points]: Setting MPFR precision to 320
43.339 * * * * [points]: Filtering points with unrepresentable outputs
43.339 * * * * [points]: Sampling 12 additional inputs, on iter 43 have 7988 / 8000
43.339 * * * * [points]: Computing exacts for 12 points
43.348 * * * * [points]: Setting MPFR precision to 64
43.350 * * * * [points]: Setting MPFR precision to 320
43.352 * * * * [points]: Filtering points with unrepresentable outputs
43.352 * * * * [points]: Sampling 8 additional inputs, on iter 44 have 7992 / 8000
43.352 * * * * [points]: Computing exacts for 8 points
43.361 * * * * [points]: Setting MPFR precision to 64
43.362 * * * * [points]: Setting MPFR precision to 320
43.364 * * * * [points]: Filtering points with unrepresentable outputs
43.364 * * * * [points]: Sampling 6 additional inputs, on iter 45 have 7994 / 8000
43.364 * * * * [points]: Computing exacts for 6 points
43.373 * * * * [points]: Setting MPFR precision to 64
43.374 * * * * [points]: Setting MPFR precision to 320
43.375 * * * * [points]: Filtering points with unrepresentable outputs
43.375 * * * * [points]: Sampling 5 additional inputs, on iter 46 have 7995 / 8000
43.376 * * * * [points]: Computing exacts for 5 points
43.385 * * * * [points]: Setting MPFR precision to 64
43.385 * * * * [points]: Setting MPFR precision to 320
43.386 * * * * [points]: Filtering points with unrepresentable outputs
43.386 * * * * [points]: Sampling 5 additional inputs, on iter 47 have 7995 / 8000
43.386 * * * * [points]: Computing exacts for 5 points
43.396 * * * * [points]: Setting MPFR precision to 64
43.397 * * * * [points]: Setting MPFR precision to 320
43.397 * * * * [points]: Filtering points with unrepresentable outputs
43.397 * * * * [points]: Sampling 4 additional inputs, on iter 48 have 7996 / 8000
43.398 * * * * [points]: Computing exacts for 4 points
43.407 * * * * [points]: Setting MPFR precision to 64
43.407 * * * * [points]: Setting MPFR precision to 320
43.408 * * * * [points]: Filtering points with unrepresentable outputs
43.408 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 7997 / 8000
43.408 * * * * [points]: Computing exacts for 4 points
43.431 * * * * [points]: Setting MPFR precision to 64
43.432 * * * * [points]: Setting MPFR precision to 320
43.432 * * * * [points]: Filtering points with unrepresentable outputs
43.432 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7997 / 8000
43.432 * * * * [points]: Computing exacts for 4 points
43.438 * * * * [points]: Setting MPFR precision to 64
43.438 * * * * [points]: Setting MPFR precision to 320
43.439 * * * * [points]: Filtering points with unrepresentable outputs
43.439 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7998 / 8000
43.439 * * * * [points]: Computing exacts for 4 points
43.446 * * * * [points]: Setting MPFR precision to 64
43.447 * * * * [points]: Setting MPFR precision to 320
43.447 * * * * [points]: Filtering points with unrepresentable outputs
43.447 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7998 / 8000
43.447 * * * * [points]: Computing exacts for 4 points
43.452 * * * * [points]: Setting MPFR precision to 64
43.452 * * * * [points]: Setting MPFR precision to 320
43.453 * * * * [points]: Filtering points with unrepresentable outputs
43.453 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7999 / 8000
43.453 * * * * [points]: Computing exacts for 4 points
43.458 * * * * [points]: Setting MPFR precision to 64
43.458 * * * * [points]: Setting MPFR precision to 320
43.459 * * * * [points]: Filtering points with unrepresentable outputs
43.459 * * * * [points]: Sampled 8000 points with exact outputs
60.238 * [regime-testing]: Baseline error score: 64.0
60.241 * [regime-testing]: Oracle error score: 64.0
60.250 * [regime-testing]: End program error score: 1.4911769497420677