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.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.028 * * * * [points]: Setting MPFR precision to 320
0.039 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.044 * * * * [points]: Setting MPFR precision to 64
0.051 * * * * [points]: Setting MPFR precision to 320
0.058 * * * * [points]: Computing exacts for 256 points
0.063 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Filtering points with unrepresentable outputs
0.104 * * * * [points]: Sampling 222 additional inputs, on iter 1 have 34 / 256
0.105 * * * * [points]: Computing exacts on every 13 of 222 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Computing exacts on every 6 of 222 points to ramp up precision
0.117 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Computing exacts on every 3 of 222 points to ramp up precision
0.127 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Computing exacts for 222 points
0.427 * * * * [points]: Setting MPFR precision to 64
0.451 * * * * [points]: Setting MPFR precision to 320
0.476 * * * * [points]: Filtering points with unrepresentable outputs
0.477 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.478 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.486 * * * * [points]: Setting MPFR precision to 64
0.487 * * * * [points]: Setting MPFR precision to 320
0.489 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.496 * * * * [points]: Setting MPFR precision to 64
0.500 * * * * [points]: Setting MPFR precision to 320
0.503 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.510 * * * * [points]: Setting MPFR precision to 64
0.516 * * * * [points]: Setting MPFR precision to 320
0.522 * * * * [points]: Computing exacts for 194 points
0.529 * * * * [points]: Setting MPFR precision to 64
0.549 * * * * [points]: Setting MPFR precision to 320
0.596 * * * * [points]: Filtering points with unrepresentable outputs
0.597 * * * * [points]: Sampling 171 additional inputs, on iter 3 have 85 / 256
0.598 * * * * [points]: Computing exacts on every 10 of 171 points to ramp up precision
0.607 * * * * [points]: Setting MPFR precision to 64
0.609 * * * * [points]: Setting MPFR precision to 320
0.611 * * * * [points]: Computing exacts on every 5 of 171 points to ramp up precision
0.618 * * * * [points]: Setting MPFR precision to 64
0.622 * * * * [points]: Setting MPFR precision to 320
0.625 * * * * [points]: Computing exacts on every 2 of 171 points to ramp up precision
0.633 * * * * [points]: Setting MPFR precision to 64
0.640 * * * * [points]: Setting MPFR precision to 320
0.647 * * * * [points]: Computing exacts for 171 points
0.655 * * * * [points]: Setting MPFR precision to 64
0.675 * * * * [points]: Setting MPFR precision to 320
0.696 * * * * [points]: Filtering points with unrepresentable outputs
0.696 * * * * [points]: Sampling 153 additional inputs, on iter 4 have 103 / 256
0.697 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
0.704 * * * * [points]: Setting MPFR precision to 64
0.706 * * * * [points]: Setting MPFR precision to 320
0.708 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
0.715 * * * * [points]: Setting MPFR precision to 64
0.744 * * * * [points]: Setting MPFR precision to 320
0.748 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
0.755 * * * * [points]: Setting MPFR precision to 64
0.761 * * * * [points]: Setting MPFR precision to 320
0.768 * * * * [points]: Computing exacts for 153 points
0.775 * * * * [points]: Setting MPFR precision to 64
0.793 * * * * [points]: Setting MPFR precision to 320
0.813 * * * * [points]: Filtering points with unrepresentable outputs
0.814 * * * * [points]: Sampling 126 additional inputs, on iter 5 have 130 / 256
0.815 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.822 * * * * [points]: Setting MPFR precision to 64
0.824 * * * * [points]: Setting MPFR precision to 320
0.826 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.833 * * * * [points]: Setting MPFR precision to 64
0.837 * * * * [points]: Setting MPFR precision to 320
0.841 * * * * [points]: Computing exacts for 126 points
0.848 * * * * [points]: Setting MPFR precision to 64
0.861 * * * * [points]: Setting MPFR precision to 320
0.871 * * * * [points]: Filtering points with unrepresentable outputs
0.871 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 145 / 256
0.871 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
0.879 * * * * [points]: Setting MPFR precision to 64
0.908 * * * * [points]: Setting MPFR precision to 320
0.910 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
0.918 * * * * [points]: Setting MPFR precision to 64
0.921 * * * * [points]: Setting MPFR precision to 320
0.925 * * * * [points]: Computing exacts for 111 points
0.932 * * * * [points]: Setting MPFR precision to 64
0.946 * * * * [points]: Setting MPFR precision to 320
0.955 * * * * [points]: Filtering points with unrepresentable outputs
0.955 * * * * [points]: Sampling 102 additional inputs, on iter 7 have 154 / 256
0.955 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
0.960 * * * * [points]: Setting MPFR precision to 64
0.962 * * * * [points]: Setting MPFR precision to 320
0.963 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
0.968 * * * * [points]: Setting MPFR precision to 64
0.971 * * * * [points]: Setting MPFR precision to 320
0.973 * * * * [points]: Computing exacts for 102 points
0.980 * * * * [points]: Setting MPFR precision to 64
0.995 * * * * [points]: Setting MPFR precision to 320
1.007 * * * * [points]: Filtering points with unrepresentable outputs
1.008 * * * * [points]: Sampling 91 additional inputs, on iter 8 have 165 / 256
1.008 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
1.016 * * * * [points]: Setting MPFR precision to 64
1.018 * * * * [points]: Setting MPFR precision to 320
1.020 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
1.028 * * * * [points]: Setting MPFR precision to 64
1.032 * * * * [points]: Setting MPFR precision to 320
1.056 * * * * [points]: Computing exacts for 91 points
1.064 * * * * [points]: Setting MPFR precision to 64
1.075 * * * * [points]: Setting MPFR precision to 320
1.088 * * * * [points]: Filtering points with unrepresentable outputs
1.089 * * * * [points]: Sampling 83 additional inputs, on iter 9 have 173 / 256
1.089 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
1.097 * * * * [points]: Setting MPFR precision to 64
1.099 * * * * [points]: Setting MPFR precision to 320
1.100 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
1.108 * * * * [points]: Setting MPFR precision to 64
1.111 * * * * [points]: Setting MPFR precision to 320
1.115 * * * * [points]: Computing exacts for 83 points
1.122 * * * * [points]: Setting MPFR precision to 64
1.133 * * * * [points]: Setting MPFR precision to 320
1.146 * * * * [points]: Filtering points with unrepresentable outputs
1.146 * * * * [points]: Sampling 65 additional inputs, on iter 10 have 191 / 256
1.146 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1.154 * * * * [points]: Setting MPFR precision to 64
1.156 * * * * [points]: Setting MPFR precision to 320
1.158 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1.165 * * * * [points]: Setting MPFR precision to 64
1.168 * * * * [points]: Setting MPFR precision to 320
1.171 * * * * [points]: Computing exacts for 65 points
1.178 * * * * [points]: Setting MPFR precision to 64
1.187 * * * * [points]: Setting MPFR precision to 320
1.195 * * * * [points]: Filtering points with unrepresentable outputs
1.196 * * * * [points]: Sampling 58 additional inputs, on iter 11 have 198 / 256
1.196 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
1.225 * * * * [points]: Setting MPFR precision to 64
1.227 * * * * [points]: Setting MPFR precision to 320
1.229 * * * * [points]: Computing exacts for 58 points
1.236 * * * * [points]: Setting MPFR precision to 64
1.244 * * * * [points]: Setting MPFR precision to 320
1.251 * * * * [points]: Filtering points with unrepresentable outputs
1.251 * * * * [points]: Sampling 47 additional inputs, on iter 12 have 209 / 256
1.251 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
1.258 * * * * [points]: Setting MPFR precision to 64
1.261 * * * * [points]: Setting MPFR precision to 320
1.263 * * * * [points]: Computing exacts for 47 points
1.280 * * * * [points]: Setting MPFR precision to 64
1.287 * * * * [points]: Setting MPFR precision to 320
1.303 * * * * [points]: Filtering points with unrepresentable outputs
1.303 * * * * [points]: Sampling 39 additional inputs, on iter 13 have 217 / 256
1.304 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
1.311 * * * * [points]: Setting MPFR precision to 64
1.313 * * * * [points]: Setting MPFR precision to 320
1.314 * * * * [points]: Computing exacts for 39 points
1.322 * * * * [points]: Setting MPFR precision to 64
1.327 * * * * [points]: Setting MPFR precision to 320
1.332 * * * * [points]: Filtering points with unrepresentable outputs
1.332 * * * * [points]: Sampling 36 additional inputs, on iter 14 have 220 / 256
1.332 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
1.340 * * * * [points]: Setting MPFR precision to 64
1.341 * * * * [points]: Setting MPFR precision to 320
1.343 * * * * [points]: Computing exacts for 36 points
1.351 * * * * [points]: Setting MPFR precision to 64
1.356 * * * * [points]: Setting MPFR precision to 320
1.360 * * * * [points]: Filtering points with unrepresentable outputs
1.360 * * * * [points]: Sampling 32 additional inputs, on iter 15 have 224 / 256
1.360 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1.389 * * * * [points]: Setting MPFR precision to 64
1.391 * * * * [points]: Setting MPFR precision to 320
1.392 * * * * [points]: Computing exacts for 32 points
1.402 * * * * [points]: Setting MPFR precision to 64
1.407 * * * * [points]: Setting MPFR precision to 320
1.411 * * * * [points]: Filtering points with unrepresentable outputs
1.411 * * * * [points]: Sampling 30 additional inputs, on iter 16 have 226 / 256
1.412 * * * * [points]: Computing exacts for 30 points
1.420 * * * * [points]: Setting MPFR precision to 64
1.425 * * * * [points]: Setting MPFR precision to 320
1.429 * * * * [points]: Filtering points with unrepresentable outputs
1.429 * * * * [points]: Sampling 26 additional inputs, on iter 17 have 230 / 256
1.429 * * * * [points]: Computing exacts for 26 points
1.437 * * * * [points]: Setting MPFR precision to 64
1.440 * * * * [points]: Setting MPFR precision to 320
1.442 * * * * [points]: Filtering points with unrepresentable outputs
1.442 * * * * [points]: Sampling 20 additional inputs, on iter 18 have 236 / 256
1.442 * * * * [points]: Computing exacts for 20 points
1.447 * * * * [points]: Setting MPFR precision to 64
1.449 * * * * [points]: Setting MPFR precision to 320
1.450 * * * * [points]: Filtering points with unrepresentable outputs
1.450 * * * * [points]: Sampling 17 additional inputs, on iter 19 have 239 / 256
1.450 * * * * [points]: Computing exacts for 17 points
1.455 * * * * [points]: Setting MPFR precision to 64
1.457 * * * * [points]: Setting MPFR precision to 320
1.459 * * * * [points]: Filtering points with unrepresentable outputs
1.459 * * * * [points]: Sampling 15 additional inputs, on iter 20 have 241 / 256
1.459 * * * * [points]: Computing exacts for 15 points
1.463 * * * * [points]: Setting MPFR precision to 64
1.464 * * * * [points]: Setting MPFR precision to 320
1.466 * * * * [points]: Filtering points with unrepresentable outputs
1.466 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.466 * * * * [points]: Computing exacts for 12 points
1.473 * * * * [points]: Setting MPFR precision to 64
1.475 * * * * [points]: Setting MPFR precision to 320
1.476 * * * * [points]: Filtering points with unrepresentable outputs
1.476 * * * * [points]: Sampling 9 additional inputs, on iter 22 have 247 / 256
1.477 * * * * [points]: Computing exacts for 9 points
1.483 * * * * [points]: Setting MPFR precision to 64
1.484 * * * * [points]: Setting MPFR precision to 320
1.485 * * * * [points]: Filtering points with unrepresentable outputs
1.485 * * * * [points]: Sampling 7 additional inputs, on iter 23 have 249 / 256
1.485 * * * * [points]: Computing exacts for 7 points
1.492 * * * * [points]: Setting MPFR precision to 64
1.494 * * * * [points]: Setting MPFR precision to 320
1.494 * * * * [points]: Filtering points with unrepresentable outputs
1.494 * * * * [points]: Sampling 6 additional inputs, on iter 24 have 250 / 256
1.495 * * * * [points]: Computing exacts for 6 points
1.517 * * * * [points]: Setting MPFR precision to 64
1.518 * * * * [points]: Setting MPFR precision to 320
1.519 * * * * [points]: Filtering points with unrepresentable outputs
1.519 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 250 / 256
1.519 * * * * [points]: Computing exacts for 6 points
1.528 * * * * [points]: Setting MPFR precision to 64
1.530 * * * * [points]: Setting MPFR precision to 320
1.530 * * * * [points]: Filtering points with unrepresentable outputs
1.530 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 252 / 256
1.531 * * * * [points]: Computing exacts for 4 points
1.538 * * * * [points]: Setting MPFR precision to 64
1.538 * * * * [points]: Setting MPFR precision to 320
1.539 * * * * [points]: Filtering points with unrepresentable outputs
1.539 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 253 / 256
1.539 * * * * [points]: Computing exacts for 4 points
1.546 * * * * [points]: Setting MPFR precision to 64
1.547 * * * * [points]: Setting MPFR precision to 320
1.547 * * * * [points]: Filtering points with unrepresentable outputs
1.547 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 253 / 256
1.547 * * * * [points]: Computing exacts for 4 points
1.554 * * * * [points]: Setting MPFR precision to 64
1.555 * * * * [points]: Setting MPFR precision to 320
1.556 * * * * [points]: Filtering points with unrepresentable outputs
1.556 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
1.556 * * * * [points]: Computing exacts for 4 points
1.563 * * * * [points]: Setting MPFR precision to 64
1.563 * * * * [points]: Setting MPFR precision to 320
1.564 * * * * [points]: Filtering points with unrepresentable outputs
1.564 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
1.564 * * * * [points]: Computing exacts for 4 points
1.569 * * * * [points]: Setting MPFR precision to 64
1.570 * * * * [points]: Setting MPFR precision to 320
1.570 * * * * [points]: Filtering points with unrepresentable outputs
1.570 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 254 / 256
1.570 * * * * [points]: Computing exacts for 4 points
1.575 * * * * [points]: Setting MPFR precision to 64
1.575 * * * * [points]: Setting MPFR precision to 320
1.576 * * * * [points]: Filtering points with unrepresentable outputs
1.576 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
1.576 * * * * [points]: Computing exacts for 4 points
1.580 * * * * [points]: Setting MPFR precision to 64
1.581 * * * * [points]: Setting MPFR precision to 320
1.581 * * * * [points]: Filtering points with unrepresentable outputs
1.581 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 255 / 256
1.581 * * * * [points]: Computing exacts for 4 points
1.586 * * * * [points]: Setting MPFR precision to 64
1.587 * * * * [points]: Setting MPFR precision to 320
1.588 * * * * [points]: Filtering points with unrepresentable outputs
1.588 * * * * [points]: Sampled 256 points with exact outputs
1.588 * * * [progress]: [2/2] Setting up program.
1.611 * [progress]: [Phase 2 of 3] Improving.
1.611 * * * * [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.611 * [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.612 * * [simplify]: iters left: 6 (19 enodes)
1.618 * * [simplify]: iters left: 5 (76 enodes)
1.639 * * [simplify]: iters left: 4 (344 enodes)
1.890 * * [simplify]: Extracting #0: cost 1 inf + 0
1.891 * * [simplify]: Extracting #1: cost 76 inf + 0
1.893 * * [simplify]: Extracting #2: cost 476 inf + 1
1.899 * * [simplify]: Extracting #3: cost 744 inf + 23847
1.913 * * [simplify]: Extracting #4: cost 692 inf + 133920
1.923 * * [simplify]: Extracting #5: cost 616 inf + 187628
1.936 * * [simplify]: Extracting #6: cost 579 inf + 209025
1.981 * * [simplify]: Extracting #7: cost 351 inf + 483855
2.048 * * [simplify]: Extracting #8: cost 57 inf + 913475
2.119 * * [simplify]: Extracting #9: cost 4 inf + 1018528
2.178 * * [simplify]: Extracting #10: cost 0 inf + 1031988
2.235 * [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.235 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.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.265 * * [progress]: iteration 1 / 4
2.266 * * * [progress]: picking best candidate
2.295 * * * * [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.295 * * * [progress]: localizing error
2.668 * * * [progress]: generating rewritten candidates
2.668 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.679 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.695 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.698 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.711 * * * [progress]: generating series expansions
2.711 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.711 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.711 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.711 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.711 * * * [progress]: simplifying candidates
2.711 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.711 * [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)))
2.711 * * [simplify]: iters left: 6 (14 enodes)
2.717 * * [simplify]: iters left: 5 (47 enodes)
2.736 * * [simplify]: iters left: 4 (148 enodes)
2.838 * * [simplify]: Extracting #0: cost 1 inf + 0
2.838 * * [simplify]: Extracting #1: cost 28 inf + 0
2.838 * * [simplify]: Extracting #2: cost 89 inf + 1
2.839 * * [simplify]: Extracting #3: cost 185 inf + 2694
2.843 * * [simplify]: Extracting #4: cost 155 inf + 54819
2.854 * * [simplify]: Extracting #5: cost 22 inf + 180207
2.870 * * [simplify]: Extracting #6: cost 0 inf + 216047
2.886 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha))))
2.886 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 beta i) alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 beta i) alpha)))) (+.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.887 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
2.887 * [simplify]: Simplifying (/.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))))
2.887 * * [simplify]: iters left: 5 (14 enodes)
2.893 * * [simplify]: iters left: 4 (45 enodes)
2.910 * * [simplify]: iters left: 3 (124 enodes)
2.972 * * [simplify]: iters left: 2 (422 enodes)
3.261 * * [simplify]: Extracting #0: cost 1 inf + 0
3.261 * * [simplify]: Extracting #1: cost 18 inf + 0
3.261 * * [simplify]: Extracting #2: cost 115 inf + 0
3.263 * * [simplify]: Extracting #3: cost 298 inf + 1371
3.268 * * [simplify]: Extracting #4: cost 238 inf + 42901
3.289 * * [simplify]: Extracting #5: cost 36 inf + 249550
3.321 * * [simplify]: Extracting #6: cost 0 inf + 289210
3.353 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (+.p16 alpha i) i) (*.p16 beta (+.p16 alpha i))))
3.353 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 (+.p16 alpha i) i) (*.p16 beta (+.p16 alpha 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))))
3.354 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
3.354 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.354 * * [simplify]: iters left: 4 (11 enodes)
3.359 * * [simplify]: iters left: 3 (34 enodes)
3.370 * * [simplify]: iters left: 2 (62 enodes)
3.388 * * [simplify]: iters left: 1 (116 enodes)
3.412 * * [simplify]: Extracting #0: cost 1 inf + 0
3.412 * * [simplify]: Extracting #1: cost 17 inf + 0
3.412 * * [simplify]: Extracting #2: cost 31 inf + 1
3.412 * * [simplify]: Extracting #3: cost 27 inf + 688
3.413 * * [simplify]: Extracting #4: cost 19 inf + 2471
3.415 * * [simplify]: Extracting #5: cost 11 inf + 5130
3.418 * * [simplify]: Extracting #6: cost 0 inf + 16533
3.420 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 beta (+.p16 alpha i)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) i)
3.420 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 beta (+.p16 alpha i)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) 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))))
3.420 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
3.420 * * [simplify]: iters left: 5 (13 enodes)
3.426 * * [simplify]: iters left: 4 (36 enodes)
3.437 * * [simplify]: iters left: 3 (69 enodes)
3.459 * * [simplify]: iters left: 2 (108 enodes)
3.487 * * [simplify]: iters left: 1 (142 enodes)
3.525 * * [simplify]: Extracting #0: cost 1 inf + 0
3.526 * * [simplify]: Extracting #1: cost 3 inf + 0
3.526 * * [simplify]: Extracting #2: cost 25 inf + 0
3.526 * * [simplify]: Extracting #3: cost 26 inf + 2
3.526 * * [simplify]: Extracting #4: cost 20 inf + 1217
3.527 * * [simplify]: Extracting #5: cost 5 inf + 6972
3.528 * * [simplify]: Extracting #6: cost 0 inf + 9668
3.530 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))
3.530 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
3.530 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
3.531 * [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 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
3.531 * * [simplify]: iters left: 6 (19 enodes)
3.541 * * [simplify]: iters left: 5 (69 enodes)
3.571 * * [simplify]: iters left: 4 (285 enodes)
3.705 * * [simplify]: Extracting #0: cost 1 inf + 0
3.706 * * [simplify]: Extracting #1: cost 53 inf + 0
3.707 * * [simplify]: Extracting #2: cost 283 inf + 1
3.711 * * [simplify]: Extracting #3: cost 502 inf + 19802
3.722 * * [simplify]: Extracting #4: cost 376 inf + 148119
3.737 * * [simplify]: Extracting #5: cost 213 inf + 329486
3.768 * * [simplify]: Extracting #6: cost 10 inf + 580230
3.824 * * [simplify]: Extracting #7: cost 0 inf + 592997
3.878 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 i (+.p16 alpha beta))))
3.878 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))
3.878 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
3.878 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
3.879 * * [simplify]: iters left: 6 (18 enodes)
3.887 * * [simplify]: iters left: 5 (60 enodes)
3.912 * * [simplify]: iters left: 4 (217 enodes)
4.021 * * [simplify]: Extracting #0: cost 1 inf + 0
4.021 * * [simplify]: Extracting #1: cost 36 inf + 0
4.022 * * [simplify]: Extracting #2: cost 230 inf + 0
4.024 * * [simplify]: Extracting #3: cost 368 inf + 1412
4.032 * * [simplify]: Extracting #4: cost 351 inf + 75872
4.052 * * [simplify]: Extracting #5: cost 64 inf + 364843
4.093 * * [simplify]: Extracting #6: cost 0 inf + 448595
4.132 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 i (+.p16 beta alpha)) i) (*.p16 beta alpha))))
4.132 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 i (+.p16 beta alpha)) i) (*.p16 beta alpha))))))
4.132 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
4.133 * [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 (+.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))))
4.133 * * [simplify]: iters left: 6 (21 enodes)
4.139 * * [simplify]: iters left: 5 (82 enodes)
4.179 * * [simplify]: iters left: 4 (367 enodes)
4.568 * * [simplify]: Extracting #0: cost 1 inf + 0
4.568 * * [simplify]: Extracting #1: cost 72 inf + 0
4.569 * * [simplify]: Extracting #2: cost 418 inf + 1
4.572 * * [simplify]: Extracting #3: cost 759 inf + 25819
4.580 * * [simplify]: Extracting #4: cost 742 inf + 159831
4.595 * * [simplify]: Extracting #5: cost 714 inf + 184347
4.606 * * [simplify]: Extracting #6: cost 688 inf + 206957
4.629 * * [simplify]: Extracting #7: cost 452 inf + 533006
4.688 * * [simplify]: Extracting #8: cost 68 inf + 1148151
4.763 * * [simplify]: Extracting #9: cost 0 inf + 1266744
4.837 * * [simplify]: Extracting #10: cost 0 inf + 1266104
4.912 * * [simplify]: Extracting #11: cost 0 inf + 1265984
4.993 * [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 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))
4.993 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))
4.993 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
4.994 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))
4.994 * * [simplify]: iters left: 6 (13 enodes)
4.999 * * [simplify]: iters left: 5 (45 enodes)
5.012 * * [simplify]: iters left: 4 (208 enodes)
5.181 * * [simplify]: Extracting #0: cost 1 inf + 0
5.182 * * [simplify]: Extracting #1: cost 62 inf + 0
5.184 * * [simplify]: Extracting #2: cost 454 inf + 0
5.189 * * [simplify]: Extracting #3: cost 629 inf + 769
5.204 * * [simplify]: Extracting #4: cost 485 inf + 129677
5.255 * * [simplify]: Extracting #5: cost 140 inf + 505022
5.343 * * [simplify]: Extracting #6: cost 2 inf + 678382
5.395 * * [simplify]: Extracting #7: cost 0 inf + 681912
5.453 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
5.453 * [simplify]: Simplified (2 2) to (λ (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 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))))
5.453 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
5.453 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
5.453 * * [simplify]: iters left: 5 (15 enodes)
5.457 * * [simplify]: iters left: 4 (44 enodes)
5.466 * * [simplify]: iters left: 3 (112 enodes)
5.495 * * [simplify]: iters left: 2 (473 enodes)
5.927 * * [simplify]: Extracting #0: cost 1 inf + 0
5.928 * * [simplify]: Extracting #1: cost 35 inf + 0
5.929 * * [simplify]: Extracting #2: cost 289 inf + 1
5.933 * * [simplify]: Extracting #3: cost 530 inf + 4270
5.938 * * [simplify]: Extracting #4: cost 530 inf + 8217
5.946 * * [simplify]: Extracting #5: cost 472 inf + 32870
5.978 * * [simplify]: Extracting #6: cost 191 inf + 263683
6.048 * * [simplify]: Extracting #7: cost 11 inf + 442277
6.087 * * [simplify]: Extracting #8: cost 0 inf + 458826
6.155 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
6.155 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
6.155 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
6.156 * * [simplify]: iters left: 6 (17 enodes)
6.165 * * [simplify]: iters left: 5 (52 enodes)
6.188 * * [simplify]: iters left: 4 (154 enodes)
6.270 * * [simplify]: Extracting #0: cost 1 inf + 0
6.270 * * [simplify]: Extracting #1: cost 27 inf + 0
6.270 * * [simplify]: Extracting #2: cost 136 inf + 0
6.271 * * [simplify]: Extracting #3: cost 274 inf + 366
6.272 * * [simplify]: Extracting #4: cost 281 inf + 5479
6.274 * * [simplify]: Extracting #5: cost 256 inf + 11413
6.276 * * [simplify]: Extracting #6: cost 208 inf + 38569
6.296 * * [simplify]: Extracting #7: cost 36 inf + 215631
6.311 * * [simplify]: Extracting #8: cost 1 inf + 245272
6.337 * * [simplify]: Extracting #9: cost 0 inf + 242397
6.358 * * [simplify]: Extracting #10: cost 0 inf + 242037
6.377 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))
6.377 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))))
6.377 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.377 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta)))
6.377 * * [simplify]: iters left: 3 (7 enodes)
6.380 * * [simplify]: iters left: 2 (23 enodes)
6.387 * * [simplify]: iters left: 1 (33 enodes)
6.395 * * [simplify]: Extracting #0: cost 1 inf + 0
6.395 * * [simplify]: Extracting #1: cost 7 inf + 0
6.395 * * [simplify]: Extracting #2: cost 13 inf + 0
6.395 * * [simplify]: Extracting #3: cost 9 inf + 45
6.396 * * [simplify]: Extracting #4: cost 2 inf + 1821
6.396 * * [simplify]: Extracting #5: cost 0 inf + 2907
6.397 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 alpha beta))
6.397 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 (+.p16 alpha beta) 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))))
6.397 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.397 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i))
6.397 * * [simplify]: iters left: 3 (7 enodes)
6.399 * * [simplify]: iters left: 2 (17 enodes)
6.401 * * [simplify]: iters left: 1 (25 enodes)
6.405 * * [simplify]: Extracting #0: cost 1 inf + 0
6.405 * * [simplify]: Extracting #1: cost 9 inf + 0
6.405 * * [simplify]: Extracting #2: cost 13 inf + 0
6.406 * * [simplify]: Extracting #3: cost 10 inf + 3
6.406 * * [simplify]: Extracting #4: cost 2 inf + 3423
6.406 * * [simplify]: Extracting #5: cost 0 inf + 4829
6.406 * [simplify]: Simplified to (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 alpha beta))
6.406 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 i (+.p16 alpha beta)) (*.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))))
6.406 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.406 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))))>
6.406 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i))
6.407 * * [simplify]: iters left: 3 (6 enodes)
6.408 * * [simplify]: iters left: 2 (13 enodes)
6.410 * * [simplify]: Extracting #0: cost 1 inf + 0
6.410 * * [simplify]: Extracting #1: cost 3 inf + 0
6.410 * * [simplify]: Extracting #2: cost 4 inf + 1
6.410 * * [simplify]: Extracting #3: cost 4 inf + 2
6.411 * * [simplify]: Extracting #4: cost 0 inf + 689
6.411 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2)))
6.411 * [simplify]: Simplified (2 2 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))) (real->posit16 1.0))))
6.411 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0))))>
6.411 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.411 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
6.411 * * [simplify]: iters left: 6 (19 enodes)
6.416 * * [simplify]: iters left: 5 (76 enodes)
6.439 * * [simplify]: iters left: 4 (344 enodes)
6.617 * * [simplify]: Extracting #0: cost 1 inf + 0
6.617 * * [simplify]: Extracting #1: cost 76 inf + 0
6.618 * * [simplify]: Extracting #2: cost 476 inf + 1
6.622 * * [simplify]: Extracting #3: cost 744 inf + 23847
6.631 * * [simplify]: Extracting #4: cost 692 inf + 133920
6.648 * * [simplify]: Extracting #5: cost 616 inf + 187628
6.669 * * [simplify]: Extracting #6: cost 579 inf + 209025
6.691 * * [simplify]: Extracting #7: cost 351 inf + 483855
6.744 * * [simplify]: Extracting #8: cost 57 inf + 913475
6.834 * * [simplify]: Extracting #9: cost 4 inf + 1018528
6.922 * * [simplify]: Extracting #10: cost 0 inf + 1031988
6.990 * [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)))))
6.990 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.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))))))
6.990 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
6.990 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
6.990 * * [simplify]: iters left: 6 (19 enodes)
6.995 * * [simplify]: iters left: 5 (76 enodes)
7.025 * * [simplify]: iters left: 4 (344 enodes)
7.276 * * [simplify]: Extracting #0: cost 1 inf + 0
7.276 * * [simplify]: Extracting #1: cost 76 inf + 0
7.277 * * [simplify]: Extracting #2: cost 476 inf + 1
7.280 * * [simplify]: Extracting #3: cost 744 inf + 23847
7.287 * * [simplify]: Extracting #4: cost 692 inf + 133920
7.301 * * [simplify]: Extracting #5: cost 616 inf + 187628
7.312 * * [simplify]: Extracting #6: cost 579 inf + 209025
7.335 * * [simplify]: Extracting #7: cost 351 inf + 483855
7.379 * * [simplify]: Extracting #8: cost 57 inf + 913475
7.433 * * [simplify]: Extracting #9: cost 4 inf + 1018528
7.492 * * [simplify]: Extracting #10: cost 0 inf + 1031988
7.548 * [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)))))
7.548 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.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))))))
7.548 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
7.549 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
7.549 * * [simplify]: iters left: 6 (19 enodes)
7.554 * * [simplify]: iters left: 5 (76 enodes)
7.575 * * [simplify]: iters left: 4 (344 enodes)
7.766 * * [simplify]: Extracting #0: cost 1 inf + 0
7.766 * * [simplify]: Extracting #1: cost 76 inf + 0
7.767 * * [simplify]: Extracting #2: cost 476 inf + 1
7.770 * * [simplify]: Extracting #3: cost 744 inf + 23847
7.783 * * [simplify]: Extracting #4: cost 692 inf + 133920
7.793 * * [simplify]: Extracting #5: cost 616 inf + 187628
7.806 * * [simplify]: Extracting #6: cost 579 inf + 209025
7.830 * * [simplify]: Extracting #7: cost 351 inf + 483855
7.874 * * [simplify]: Extracting #8: cost 57 inf + 913475
7.929 * * [simplify]: Extracting #9: cost 4 inf + 1018528
7.987 * * [simplify]: Extracting #10: cost 0 inf + 1031988
8.043 * [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)))))
8.044 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.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))))))
8.044 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))>
8.044 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
8.044 * * [simplify]: iters left: 6 (19 enodes)
8.050 * * [simplify]: iters left: 5 (76 enodes)
8.084 * * [simplify]: iters left: 4 (344 enodes)
8.286 * * [simplify]: Extracting #0: cost 1 inf + 0
8.287 * * [simplify]: Extracting #1: cost 76 inf + 0
8.288 * * [simplify]: Extracting #2: cost 476 inf + 1
8.291 * * [simplify]: Extracting #3: cost 744 inf + 23847
8.298 * * [simplify]: Extracting #4: cost 692 inf + 133920
8.308 * * [simplify]: Extracting #5: cost 616 inf + 187628
8.319 * * [simplify]: Extracting #6: cost 579 inf + 209025
8.341 * * [simplify]: Extracting #7: cost 351 inf + 483855
8.427 * * [simplify]: Extracting #8: cost 57 inf + 913475
8.511 * * [simplify]: Extracting #9: cost 4 inf + 1018528
8.590 * * [simplify]: Extracting #10: cost 0 inf + 1031988
8.677 * [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)))))
8.677 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.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))))))
8.678 * * * [progress]: adding candidates to table
9.396 * * [progress]: iteration 2 / 4
9.396 * * * [progress]: picking best candidate
9.577 * * * * [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)))))>
9.577 * * * [progress]: localizing error
9.903 * * * [progress]: generating rewritten candidates
9.903 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
9.910 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.932 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.977 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
10.056 * * * [progress]: generating series expansions
10.056 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.056 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
10.056 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
10.056 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
10.056 * * * [progress]: simplifying candidates
10.056 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.057 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
10.057 * * [simplify]: iters left: 4 (10 enodes)
10.062 * * [simplify]: iters left: 3 (25 enodes)
10.070 * * [simplify]: iters left: 2 (37 enodes)
10.083 * * [simplify]: iters left: 1 (40 enodes)
10.095 * * [simplify]: Extracting #0: cost 1 inf + 0
10.095 * * [simplify]: Extracting #1: cost 3 inf + 0
10.095 * * [simplify]: Extracting #2: cost 12 inf + 0
10.095 * * [simplify]: Extracting #3: cost 9 inf + 45
10.095 * * [simplify]: Extracting #4: cost 7 inf + 212
10.095 * * [simplify]: Extracting #5: cost 6 inf + 213
10.096 * * [simplify]: Extracting #6: cost 0 inf + 2590
10.096 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
10.096 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.096 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.097 * [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))))
10.097 * * [simplify]: iters left: 6 (19 enodes)
10.107 * * [simplify]: iters left: 5 (61 enodes)
10.137 * * [simplify]: iters left: 4 (215 enodes)
10.258 * * [simplify]: Extracting #0: cost 1 inf + 0
10.259 * * [simplify]: Extracting #1: cost 25 inf + 0
10.259 * * [simplify]: Extracting #2: cost 173 inf + 0
10.260 * * [simplify]: Extracting #3: cost 355 inf + 1090
10.261 * * [simplify]: Extracting #4: cost 396 inf + 4036
10.268 * * [simplify]: Extracting #5: cost 235 inf + 143420
10.289 * * [simplify]: Extracting #6: cost 34 inf + 349304
10.316 * * [simplify]: Extracting #7: cost 0 inf + 409705
10.341 * * [simplify]: Extracting #8: cost 0 inf + 409345
10.367 * [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))))
10.367 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.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)))))
10.367 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
10.367 * [simplify]: Simplifying (*.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.367 * * [simplify]: iters left: 5 (12 enodes)
10.371 * * [simplify]: iters left: 4 (41 enodes)
10.381 * * [simplify]: iters left: 3 (156 enodes)
10.447 * * [simplify]: Extracting #0: cost 1 inf + 0
10.447 * * [simplify]: Extracting #1: cost 63 inf + 0
10.448 * * [simplify]: Extracting #2: cost 314 inf + 0
10.453 * * [simplify]: Extracting #3: cost 380 inf + 2458
10.456 * * [simplify]: Extracting #4: cost 306 inf + 47329
10.468 * * [simplify]: Extracting #5: cost 86 inf + 204544
10.487 * * [simplify]: Extracting #6: cost 1 inf + 275096
10.506 * * [simplify]: Extracting #7: cost 0 inf + 276139
10.527 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.527 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
10.527 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.528 * [simplify]: Simplifying (*.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.528 * * [simplify]: iters left: 5 (12 enodes)
10.532 * * [simplify]: iters left: 4 (35 enodes)
10.540 * * [simplify]: iters left: 3 (115 enodes)
10.585 * * [simplify]: Extracting #0: cost 1 inf + 0
10.585 * * [simplify]: Extracting #1: cost 56 inf + 0
10.585 * * [simplify]: Extracting #2: cost 210 inf + 0
10.586 * * [simplify]: Extracting #3: cost 241 inf + 2096
10.587 * * [simplify]: Extracting #4: cost 202 inf + 16354
10.594 * * [simplify]: Extracting #5: cost 77 inf + 94497
10.604 * * [simplify]: Extracting #6: cost 0 inf + 155296
10.615 * * [simplify]: Extracting #7: cost 0 inf + 155289
10.626 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))
10.626 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
10.626 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
10.626 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
10.626 * * [simplify]: iters left: 5 (15 enodes)
10.630 * * [simplify]: iters left: 4 (44 enodes)
10.639 * * [simplify]: iters left: 3 (112 enodes)
10.668 * * [simplify]: iters left: 2 (473 enodes)
10.918 * * [simplify]: Extracting #0: cost 1 inf + 0
10.918 * * [simplify]: Extracting #1: cost 35 inf + 0
10.919 * * [simplify]: Extracting #2: cost 289 inf + 1
10.921 * * [simplify]: Extracting #3: cost 530 inf + 4270
10.924 * * [simplify]: Extracting #4: cost 530 inf + 8217
10.928 * * [simplify]: Extracting #5: cost 472 inf + 32870
10.947 * * [simplify]: Extracting #6: cost 191 inf + 263683
10.983 * * [simplify]: Extracting #7: cost 11 inf + 442277
11.022 * * [simplify]: Extracting #8: cost 0 inf + 458826
11.061 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
11.062 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.062 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.062 * * [simplify]: iters left: 6 (17 enodes)
11.066 * * [simplify]: iters left: 5 (52 enodes)
11.078 * * [simplify]: iters left: 4 (154 enodes)
11.130 * * [simplify]: Extracting #0: cost 1 inf + 0
11.130 * * [simplify]: Extracting #1: cost 27 inf + 0
11.130 * * [simplify]: Extracting #2: cost 136 inf + 0
11.131 * * [simplify]: Extracting #3: cost 274 inf + 366
11.132 * * [simplify]: Extracting #4: cost 281 inf + 5479
11.133 * * [simplify]: Extracting #5: cost 256 inf + 11413
11.136 * * [simplify]: Extracting #6: cost 208 inf + 38569
11.147 * * [simplify]: Extracting #7: cost 36 inf + 215631
11.165 * * [simplify]: Extracting #8: cost 1 inf + 245272
11.180 * * [simplify]: Extracting #9: cost 0 inf + 242397
11.196 * * [simplify]: Extracting #10: cost 0 inf + 242037
11.212 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))
11.212 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))))
11.212 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
11.212 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.212 * * [simplify]: iters left: 5 (15 enodes)
11.216 * * [simplify]: iters left: 4 (44 enodes)
11.225 * * [simplify]: iters left: 3 (112 enodes)
11.258 * * [simplify]: iters left: 2 (473 enodes)
11.752 * * [simplify]: Extracting #0: cost 1 inf + 0
11.752 * * [simplify]: Extracting #1: cost 35 inf + 0
11.753 * * [simplify]: Extracting #2: cost 289 inf + 1
11.757 * * [simplify]: Extracting #3: cost 530 inf + 4270
11.763 * * [simplify]: Extracting #4: cost 530 inf + 8217
11.773 * * [simplify]: Extracting #5: cost 472 inf + 32870
11.789 * * [simplify]: Extracting #6: cost 191 inf + 263683
11.825 * * [simplify]: Extracting #7: cost 11 inf + 442277
11.866 * * [simplify]: Extracting #8: cost 0 inf + 458826
11.912 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
11.912 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
11.912 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.912 * * [simplify]: iters left: 6 (17 enodes)
11.917 * * [simplify]: iters left: 5 (52 enodes)
11.928 * * [simplify]: iters left: 4 (154 enodes)
12.019 * * [simplify]: Extracting #0: cost 1 inf + 0
12.020 * * [simplify]: Extracting #1: cost 27 inf + 0
12.020 * * [simplify]: Extracting #2: cost 136 inf + 0
12.022 * * [simplify]: Extracting #3: cost 274 inf + 366
12.024 * * [simplify]: Extracting #4: cost 281 inf + 5479
12.027 * * [simplify]: Extracting #5: cost 256 inf + 11413
12.032 * * [simplify]: Extracting #6: cost 208 inf + 38569
12.051 * * [simplify]: Extracting #7: cost 36 inf + 215631
12.070 * * [simplify]: Extracting #8: cost 1 inf + 245272
12.085 * * [simplify]: Extracting #9: cost 0 inf + 242397
12.101 * * [simplify]: Extracting #10: cost 0 inf + 242037
12.125 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))
12.125 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))))
12.125 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
12.125 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.126 * * [simplify]: iters left: 5 (15 enodes)
12.133 * * [simplify]: iters left: 4 (44 enodes)
12.150 * * [simplify]: iters left: 3 (112 enodes)
12.190 * * [simplify]: iters left: 2 (473 enodes)
12.520 * * [simplify]: Extracting #0: cost 1 inf + 0
12.520 * * [simplify]: Extracting #1: cost 35 inf + 0
12.521 * * [simplify]: Extracting #2: cost 289 inf + 1
12.531 * * [simplify]: Extracting #3: cost 530 inf + 4270
12.537 * * [simplify]: Extracting #4: cost 530 inf + 8217
12.546 * * [simplify]: Extracting #5: cost 472 inf + 32870
12.578 * * [simplify]: Extracting #6: cost 191 inf + 263683
12.634 * * [simplify]: Extracting #7: cost 11 inf + 442277
12.683 * * [simplify]: Extracting #8: cost 0 inf + 458826
12.742 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
12.742 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
12.742 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.743 * * [simplify]: iters left: 6 (17 enodes)
12.751 * * [simplify]: iters left: 5 (52 enodes)
12.775 * * [simplify]: iters left: 4 (154 enodes)
12.854 * * [simplify]: Extracting #0: cost 1 inf + 0
12.854 * * [simplify]: Extracting #1: cost 27 inf + 0
12.854 * * [simplify]: Extracting #2: cost 136 inf + 0
12.856 * * [simplify]: Extracting #3: cost 274 inf + 366
12.858 * * [simplify]: Extracting #4: cost 281 inf + 5479
12.861 * * [simplify]: Extracting #5: cost 256 inf + 11413
12.866 * * [simplify]: Extracting #6: cost 208 inf + 38569
12.883 * * [simplify]: Extracting #7: cost 36 inf + 215631
12.899 * * [simplify]: Extracting #8: cost 1 inf + 245272
12.919 * * [simplify]: Extracting #9: cost 0 inf + 242397
12.944 * * [simplify]: Extracting #10: cost 0 inf + 242037
12.959 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))
12.960 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))))
12.960 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
12.960 * [simplify]: Simplifying (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
12.960 * * [simplify]: iters left: 5 (15 enodes)
12.964 * * [simplify]: iters left: 4 (44 enodes)
12.982 * * [simplify]: iters left: 3 (112 enodes)
13.015 * * [simplify]: iters left: 2 (473 enodes)
13.371 * * [simplify]: Extracting #0: cost 1 inf + 0
13.371 * * [simplify]: Extracting #1: cost 35 inf + 0
13.372 * * [simplify]: Extracting #2: cost 289 inf + 1
13.376 * * [simplify]: Extracting #3: cost 530 inf + 4270
13.382 * * [simplify]: Extracting #4: cost 530 inf + 8217
13.390 * * [simplify]: Extracting #5: cost 472 inf + 32870
13.419 * * [simplify]: Extracting #6: cost 191 inf + 263683
13.458 * * [simplify]: Extracting #7: cost 11 inf + 442277
13.504 * * [simplify]: Extracting #8: cost 0 inf + 458826
13.568 * [simplify]: Simplified to (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))))
13.568 * [simplify]: Simplified (2 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha i) beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) i) beta)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
13.568 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
13.568 * * [simplify]: iters left: 6 (17 enodes)
13.575 * * [simplify]: iters left: 5 (52 enodes)
13.587 * * [simplify]: iters left: 4 (154 enodes)
13.649 * * [simplify]: Extracting #0: cost 1 inf + 0
13.649 * * [simplify]: Extracting #1: cost 27 inf + 0
13.649 * * [simplify]: Extracting #2: cost 136 inf + 0
13.650 * * [simplify]: Extracting #3: cost 274 inf + 366
13.656 * * [simplify]: Extracting #4: cost 281 inf + 5479
13.657 * * [simplify]: Extracting #5: cost 256 inf + 11413
13.662 * * [simplify]: Extracting #6: cost 208 inf + 38569
13.681 * * [simplify]: Extracting #7: cost 36 inf + 215631
13.710 * * [simplify]: Extracting #8: cost 1 inf + 245272
13.742 * * [simplify]: Extracting #9: cost 0 inf + 242397
13.773 * * [simplify]: Extracting #10: cost 0 inf + 242037
13.805 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))
13.806 * [simplify]: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (-.p16 alpha (real->posit16 1.0))))))))
13.806 * * * [progress]: adding candidates to table
14.138 * * [progress]: iteration 3 / 4
14.138 * * * [progress]: picking best candidate
14.487 * * * * [pick]: Picked  #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
14.487 * * * [progress]: localizing error
14.980 * * * [progress]: generating rewritten candidates
14.980 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
14.992 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
15.025 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
15.067 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
15.600 * * * [progress]: generating series expansions
15.600 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
15.600 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
15.600 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
15.600 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
15.600 * * * [progress]: simplifying candidates
15.600 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
15.601 * [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))))
15.601 * * [simplify]: iters left: 6 (19 enodes)
15.611 * * [simplify]: iters left: 5 (61 enodes)
15.644 * * [simplify]: iters left: 4 (215 enodes)
15.771 * * [simplify]: Extracting #0: cost 1 inf + 0
15.772 * * [simplify]: Extracting #1: cost 25 inf + 0
15.772 * * [simplify]: Extracting #2: cost 173 inf + 0
15.773 * * [simplify]: Extracting #3: cost 355 inf + 1090
15.775 * * [simplify]: Extracting #4: cost 396 inf + 4036
15.781 * * [simplify]: Extracting #5: cost 235 inf + 143420
15.802 * * [simplify]: Extracting #6: cost 34 inf + 349304
15.852 * * [simplify]: Extracting #7: cost 0 inf + 409705
15.878 * * [simplify]: Extracting #8: cost 0 inf + 409345
15.903 * [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))))
15.903 * [simplify]: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (+.p16 (*.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)))))
15.903 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))>
15.903 * [simplify]: Simplifying (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
15.904 * * [simplify]: iters left: 5 (12 enodes)
15.907 * * [simplify]: iters left: 4 (41 enodes)
15.918 * * [simplify]: iters left: 3 (156 enodes)
15.990 * * [simplify]: Extracting #0: cost 1 inf + 0
15.990 * * [simplify]: Extracting #1: cost 63 inf + 0
15.991 * * [simplify]: Extracting #2: cost 314 inf + 0
15.993 * * [simplify]: Extracting #3: cost 380 inf + 2458
15.996 * * [simplify]: Extracting #4: cost 306 inf + 47329
16.018 * * [simplify]: Extracting #5: cost 86 inf + 204544
16.056 * * [simplify]: Extracting #6: cost 1 inf + 275096
16.095 * * [simplify]: Extracting #7: cost 0 inf + 276139
16.117 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
16.117 * [simplify]: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
16.117 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.118 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))
16.118 * * [simplify]: iters left: 5 (13 enodes)
16.122 * * [simplify]: iters left: 4 (32 enodes)
16.128 * * [simplify]: iters left: 3 (58 enodes)
16.138 * * [simplify]: iters left: 2 (88 enodes)
16.153 * * [simplify]: iters left: 1 (107 enodes)
16.174 * * [simplify]: Extracting #0: cost 1 inf + 0
16.174 * * [simplify]: Extracting #1: cost 3 inf + 0
16.174 * * [simplify]: Extracting #2: cost 20 inf + 0
16.174 * * [simplify]: Extracting #3: cost 19 inf + 3
16.175 * * [simplify]: Extracting #4: cost 13 inf + 256
16.175 * * [simplify]: Extracting #5: cost 10 inf + 382
16.176 * * [simplify]: Extracting #6: cost 0 inf + 4416
16.177 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))
16.177 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 (real->posit16 1.0) beta) alpha)) (+.p16 i (+.p16 beta alpha)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
16.178 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))>
16.178 * [simplify]: Simplifying (*.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)))
16.178 * * [simplify]: iters left: 5 (14 enodes)
16.185 * * [simplify]: iters left: 4 (36 enodes)
16.199 * * [simplify]: iters left: 3 (94 enodes)
16.235 * * [simplify]: iters left: 2 (461 enodes)
16.694 * * [simplify]: Extracting #0: cost 1 inf + 0
16.694 * * [simplify]: Extracting #1: cost 92 inf + 0
16.696 * * [simplify]: Extracting #2: cost 490 inf + 0
16.702 * * [simplify]: Extracting #3: cost 732 inf + 2545
16.709 * * [simplify]: Extracting #4: cost 702 inf + 15883
16.728 * * [simplify]: Extracting #5: cost 524 inf + 137309
16.803 * * [simplify]: Extracting #6: cost 53 inf + 625829
16.908 * * [simplify]: Extracting #7: cost 0 inf + 687509
17.001 * * [simplify]: Extracting #8: cost 0 inf + 687466
17.054 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
17.054 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha 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)))))
17.054 * * * * [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)))))>
17.054 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.054 * * [simplify]: iters left: 4 (10 enodes)
17.057 * * [simplify]: iters left: 3 (25 enodes)
17.061 * * [simplify]: iters left: 2 (37 enodes)
17.069 * * [simplify]: iters left: 1 (40 enodes)
17.077 * * [simplify]: Extracting #0: cost 1 inf + 0
17.077 * * [simplify]: Extracting #1: cost 3 inf + 0
17.077 * * [simplify]: Extracting #2: cost 12 inf + 0
17.077 * * [simplify]: Extracting #3: cost 9 inf + 45
17.077 * * [simplify]: Extracting #4: cost 7 inf + 212
17.077 * * [simplify]: Extracting #5: cost 6 inf + 213
17.077 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.077 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.077 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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)))))
17.078 * * * * [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)))))>
17.078 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.078 * * [simplify]: iters left: 4 (10 enodes)
17.081 * * [simplify]: iters left: 3 (25 enodes)
17.085 * * [simplify]: iters left: 2 (37 enodes)
17.090 * * [simplify]: iters left: 1 (40 enodes)
17.096 * * [simplify]: Extracting #0: cost 1 inf + 0
17.096 * * [simplify]: Extracting #1: cost 3 inf + 0
17.096 * * [simplify]: Extracting #2: cost 12 inf + 0
17.096 * * [simplify]: Extracting #3: cost 9 inf + 45
17.096 * * [simplify]: Extracting #4: cost 7 inf + 212
17.096 * * [simplify]: Extracting #5: cost 6 inf + 213
17.096 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.097 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.097 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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)))))
17.097 * * * * [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)))))>
17.097 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.097 * * [simplify]: iters left: 4 (10 enodes)
17.102 * * [simplify]: iters left: 3 (25 enodes)
17.111 * * [simplify]: iters left: 2 (37 enodes)
17.121 * * [simplify]: iters left: 1 (40 enodes)
17.133 * * [simplify]: Extracting #0: cost 1 inf + 0
17.133 * * [simplify]: Extracting #1: cost 3 inf + 0
17.133 * * [simplify]: Extracting #2: cost 12 inf + 0
17.133 * * [simplify]: Extracting #3: cost 9 inf + 45
17.133 * * [simplify]: Extracting #4: cost 7 inf + 212
17.133 * * [simplify]: Extracting #5: cost 6 inf + 213
17.134 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.134 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.134 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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)))))
17.135 * * * * [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)))))>
17.135 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))
17.135 * * [simplify]: iters left: 4 (10 enodes)
17.140 * * [simplify]: iters left: 3 (25 enodes)
17.145 * * [simplify]: iters left: 2 (37 enodes)
17.151 * * [simplify]: iters left: 1 (40 enodes)
17.157 * * [simplify]: Extracting #0: cost 1 inf + 0
17.157 * * [simplify]: Extracting #1: cost 3 inf + 0
17.157 * * [simplify]: Extracting #2: cost 12 inf + 0
17.157 * * [simplify]: Extracting #3: cost 9 inf + 45
17.157 * * [simplify]: Extracting #4: cost 7 inf + 212
17.157 * * [simplify]: Extracting #5: cost 6 inf + 213
17.157 * * [simplify]: Extracting #6: cost 0 inf + 2590
17.157 * [simplify]: Simplified to (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))
17.157 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (+.p16 alpha (+.p16 i beta)))) (+.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)))))
17.158 * * * [progress]: adding candidates to table
17.446 * * [progress]: iteration 4 / 4
17.446 * * * [progress]: picking best candidate
17.761 * * * * [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)))))>
17.761 * * * [progress]: localizing error
18.283 * * * [progress]: generating rewritten candidates
18.283 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
18.298 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
18.330 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
18.335 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
18.383 * * * [progress]: generating series expansions
18.383 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
18.385 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
18.385 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
18.385 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
18.385 * * * [progress]: simplifying candidates
18.385 * * * * [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)))))>
18.385 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
18.385 * * [simplify]: iters left: 5 (12 enodes)
18.391 * * [simplify]: iters left: 4 (28 enodes)
18.400 * * [simplify]: iters left: 3 (48 enodes)
18.417 * * [simplify]: iters left: 2 (76 enodes)
18.443 * * [simplify]: iters left: 1 (88 enodes)
18.467 * * [simplify]: Extracting #0: cost 1 inf + 0
18.467 * * [simplify]: Extracting #1: cost 3 inf + 0
18.467 * * [simplify]: Extracting #2: cost 16 inf + 1
18.468 * * [simplify]: Extracting #3: cost 15 inf + 45
18.468 * * [simplify]: Extracting #4: cost 12 inf + 131
18.468 * * [simplify]: Extracting #5: cost 9 inf + 216
18.469 * * [simplify]: Extracting #6: cost 4 inf + 2072
18.470 * * [simplify]: Extracting #7: cost 0 inf + 4169
18.471 * [simplify]: Simplified to (/.p16 i (+.p16 (+.p16 alpha (*.p16 i (real->posit16 2))) (+.p16 beta (real->posit16 1.0))))
18.471 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha (*.p16 i (real->posit16 2))) (+.p16 beta (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)))))
18.471 * * * * [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)))))>
18.471 * [simplify]: Simplifying (/.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))))
18.472 * * [simplify]: iters left: 6 (13 enodes)
18.478 * * [simplify]: iters left: 5 (38 enodes)
18.495 * * [simplify]: iters left: 4 (118 enodes)
18.587 * * [simplify]: Extracting #0: cost 1 inf + 0
18.587 * * [simplify]: Extracting #1: cost 5 inf + 0
18.587 * * [simplify]: Extracting #2: cost 76 inf + 1
18.588 * * [simplify]: Extracting #3: cost 208 inf + 3
18.590 * * [simplify]: Extracting #4: cost 238 inf + 2703
18.594 * * [simplify]: Extracting #5: cost 168 inf + 33108
18.608 * * [simplify]: Extracting #6: cost 47 inf + 118978
18.633 * * [simplify]: Extracting #7: cost 0 inf + 158936
18.655 * * [simplify]: Extracting #8: cost 0 inf + 158536
18.677 * [simplify]: Simplified to (/.p16 i (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))))
18.677 * [simplify]: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2))))) (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))))) (+.p16 (+.p16 alpha beta) i)) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
18.677 * * * * [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)))))>
18.677 * [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))))
18.678 * * [simplify]: iters left: 6 (19 enodes)
18.688 * * [simplify]: iters left: 5 (61 enodes)
18.715 * * [simplify]: iters left: 4 (215 enodes)
18.844 * * [simplify]: Extracting #0: cost 1 inf + 0
18.844 * * [simplify]: Extracting #1: cost 25 inf + 0
18.844 * * [simplify]: Extracting #2: cost 173 inf + 0
18.845 * * [simplify]: Extracting #3: cost 355 inf + 1090
18.851 * * [simplify]: Extracting #4: cost 396 inf + 4036
18.858 * * [simplify]: Extracting #5: cost 235 inf + 143420
18.894 * * [simplify]: Extracting #6: cost 34 inf + 349304
18.918 * * [simplify]: Extracting #7: cost 0 inf + 409705
18.968 * * [simplify]: Extracting #8: cost 0 inf + 409345
19.001 * [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))))
19.001 * [simplify]: Simplified (2 2 1) to (λ (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 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)))))
19.002 * * * * [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))))))>
19.002 * [simplify]: Simplifying (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
19.002 * * [simplify]: iters left: 5 (12 enodes)
19.005 * * [simplify]: iters left: 4 (41 enodes)
19.021 * * [simplify]: iters left: 3 (156 enodes)
19.118 * * [simplify]: Extracting #0: cost 1 inf + 0
19.118 * * [simplify]: Extracting #1: cost 63 inf + 0
19.119 * * [simplify]: Extracting #2: cost 314 inf + 0
19.121 * * [simplify]: Extracting #3: cost 380 inf + 2458
19.126 * * [simplify]: Extracting #4: cost 306 inf + 47329
19.146 * * [simplify]: Extracting #5: cost 86 inf + 204544
19.184 * * [simplify]: Extracting #6: cost 1 inf + 275096
19.219 * * [simplify]: Extracting #7: cost 0 inf + 276139
19.254 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
19.254 * [simplify]: Simplified (2 2 2) to (λ (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 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))))
19.254 * * * * [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)))))>
19.254 * [simplify]: Simplifying (*.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)))
19.254 * * [simplify]: iters left: 5 (14 enodes)
19.261 * * [simplify]: iters left: 4 (36 enodes)
19.273 * * [simplify]: iters left: 3 (94 enodes)
19.331 * * [simplify]: iters left: 2 (461 enodes)
19.848 * * [simplify]: Extracting #0: cost 1 inf + 0
19.848 * * [simplify]: Extracting #1: cost 92 inf + 0
19.850 * * [simplify]: Extracting #2: cost 490 inf + 0
19.856 * * [simplify]: Extracting #3: cost 732 inf + 2545
19.864 * * [simplify]: Extracting #4: cost 702 inf + 15883
19.888 * * [simplify]: Extracting #5: cost 524 inf + 137309
19.966 * * [simplify]: Extracting #6: cost 53 inf + 625829
20.045 * * [simplify]: Extracting #7: cost 0 inf + 687509
20.099 * * [simplify]: Extracting #8: cost 0 inf + 687466
20.153 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
20.153 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha 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)))))
20.153 * * * * [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)))))>
20.153 * [simplify]: Simplifying (*.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)))
20.153 * * [simplify]: iters left: 5 (14 enodes)
20.157 * * [simplify]: iters left: 4 (36 enodes)
20.164 * * [simplify]: iters left: 3 (94 enodes)
20.215 * * [simplify]: iters left: 2 (461 enodes)
20.659 * * [simplify]: Extracting #0: cost 1 inf + 0
20.659 * * [simplify]: Extracting #1: cost 92 inf + 0
20.660 * * [simplify]: Extracting #2: cost 490 inf + 0
20.663 * * [simplify]: Extracting #3: cost 732 inf + 2545
20.670 * * [simplify]: Extracting #4: cost 702 inf + 15883
20.680 * * [simplify]: Extracting #5: cost 524 inf + 137309
20.719 * * [simplify]: Extracting #6: cost 53 inf + 625829
20.772 * * [simplify]: Extracting #7: cost 0 inf + 687509
20.827 * * [simplify]: Extracting #8: cost 0 inf + 687466
20.879 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
20.879 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha 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)))))
20.880 * * * * [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)))))>
20.880 * [simplify]: Simplifying (*.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)))
20.880 * * [simplify]: iters left: 5 (14 enodes)
20.884 * * [simplify]: iters left: 4 (36 enodes)
20.890 * * [simplify]: iters left: 3 (94 enodes)
20.925 * * [simplify]: iters left: 2 (461 enodes)
21.230 * * [simplify]: Extracting #0: cost 1 inf + 0
21.230 * * [simplify]: Extracting #1: cost 92 inf + 0
21.231 * * [simplify]: Extracting #2: cost 490 inf + 0
21.234 * * [simplify]: Extracting #3: cost 732 inf + 2545
21.242 * * [simplify]: Extracting #4: cost 702 inf + 15883
21.252 * * [simplify]: Extracting #5: cost 524 inf + 137309
21.290 * * [simplify]: Extracting #6: cost 53 inf + 625829
21.346 * * [simplify]: Extracting #7: cost 0 inf + 687509
21.399 * * [simplify]: Extracting #8: cost 0 inf + 687466
21.453 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
21.453 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha 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)))))
21.453 * * * * [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)))))>
21.453 * [simplify]: Simplifying (*.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)))
21.453 * * [simplify]: iters left: 5 (14 enodes)
21.457 * * [simplify]: iters left: 4 (36 enodes)
21.464 * * [simplify]: iters left: 3 (94 enodes)
21.497 * * [simplify]: iters left: 2 (461 enodes)
21.922 * * [simplify]: Extracting #0: cost 1 inf + 0
21.923 * * [simplify]: Extracting #1: cost 92 inf + 0
21.925 * * [simplify]: Extracting #2: cost 490 inf + 0
21.935 * * [simplify]: Extracting #3: cost 732 inf + 2545
21.944 * * [simplify]: Extracting #4: cost 702 inf + 15883
21.963 * * [simplify]: Extracting #5: cost 524 inf + 137309
22.038 * * [simplify]: Extracting #6: cost 53 inf + 625829
22.112 * * [simplify]: Extracting #7: cost 0 inf + 687509
22.166 * * [simplify]: Extracting #8: cost 0 inf + 687466
22.222 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha i)))
22.222 * [simplify]: Simplified (2 1 2) to (λ (alpha beta i) (*.p16 (/.p16 i (/.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (+.p16 beta (+.p16 alpha 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)))))
22.223 * * * [progress]: adding candidates to table
22.494 * [progress]: [Phase 3 of 3] Extracting.
22.494 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 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 (+.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 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.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 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 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))))))>)
22.509 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i)
22.510 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 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 (+.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 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.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 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 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))))))>)
23.132 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 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 (+.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 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.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 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 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))))))>)
23.882 * * * * [regimes]: Trying to branch on i from (#<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta)))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))) (*.p16 i (+.p16 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 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 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 (+.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 i (+.p16 (+.p16 alpha beta) i)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) 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 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (*.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (*.p16 (/.p16 i (*.p16 (+.p16 (+.p16 (+.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 alpha beta) i)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #<alt (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #<alt (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 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))))))>)
24.588 * * * [regime]: Found split indices: #<option (#s(si 17 256))>
24.588 * [simplify]: Simplifying (*.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))))
24.589 * * [simplify]: iters left: 6 (22 enodes)
24.590 * * [simplify]: Extracting #0: cost 1 inf + 0
24.590 * * [simplify]: Extracting #1: cost 3 inf + 0
24.590 * * [simplify]: Extracting #2: cost 7 inf + 0
24.590 * * [simplify]: Extracting #3: cost 13 inf + 0
24.590 * * [simplify]: Extracting #4: cost 17 inf + 1
24.590 * * [simplify]: Extracting #5: cost 18 inf + 3
24.590 * * [simplify]: Extracting #6: cost 15 inf + 369
24.590 * * [simplify]: Extracting #7: cost 11 inf + 857
24.591 * * [simplify]: Extracting #8: cost 7 inf + 3230
24.591 * * [simplify]: Extracting #9: cost 2 inf + 8694
24.591 * * [simplify]: Extracting #10: cost 1 inf + 10499
24.592 * * [simplify]: Extracting #11: cost 0 inf + 14264
24.592 * [simplify]: Simplified to (*.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))))
24.592 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
24.627 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
24.638 * * * * [points]: Setting MPFR precision to 64
24.639 * * * * [points]: Setting MPFR precision to 320
24.641 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
24.645 * * * * [points]: Setting MPFR precision to 64
24.648 * * * * [points]: Setting MPFR precision to 320
24.651 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
24.655 * * * * [points]: Setting MPFR precision to 64
24.661 * * * * [points]: Setting MPFR precision to 320
24.666 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
24.671 * * * * [points]: Setting MPFR precision to 64
24.681 * * * * [points]: Setting MPFR precision to 320
24.699 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
24.708 * * * * [points]: Setting MPFR precision to 64
24.744 * * * * [points]: Setting MPFR precision to 320
24.779 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
24.809 * * * * [points]: Setting MPFR precision to 64
24.851 * * * * [points]: Setting MPFR precision to 320
24.893 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
24.897 * * * * [points]: Setting MPFR precision to 64
25.003 * * * * [points]: Setting MPFR precision to 320
25.142 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
25.152 * * * * [points]: Setting MPFR precision to 64
25.453 * * * * [points]: Setting MPFR precision to 320
25.708 * * * * [points]: Computing exacts for 8000 points
25.759 * * * * [points]: Setting MPFR precision to 64
27.286 * * * * [points]: Setting MPFR precision to 320
28.524 * * * * [points]: Filtering points with unrepresentable outputs
28.532 * * * * [points]: Sampling 6911 additional inputs, on iter 1 have 1089 / 8000
28.584 * * * * [points]: Computing exacts on every 431 of 6911 points to ramp up precision
28.594 * * * * [points]: Setting MPFR precision to 64
28.597 * * * * [points]: Setting MPFR precision to 320
28.599 * * * * [points]: Computing exacts on every 215 of 6911 points to ramp up precision
28.607 * * * * [points]: Setting MPFR precision to 64
28.609 * * * * [points]: Setting MPFR precision to 320
28.612 * * * * [points]: Computing exacts on every 107 of 6911 points to ramp up precision
28.647 * * * * [points]: Setting MPFR precision to 64
28.659 * * * * [points]: Setting MPFR precision to 320
28.667 * * * * [points]: Computing exacts on every 53 of 6911 points to ramp up precision
28.677 * * * * [points]: Setting MPFR precision to 64
28.694 * * * * [points]: Setting MPFR precision to 320
28.712 * * * * [points]: Computing exacts on every 26 of 6911 points to ramp up precision
28.722 * * * * [points]: Setting MPFR precision to 64
28.758 * * * * [points]: Setting MPFR precision to 320
28.788 * * * * [points]: Computing exacts on every 13 of 6911 points to ramp up precision
28.793 * * * * [points]: Setting MPFR precision to 64
28.856 * * * * [points]: Setting MPFR precision to 320
28.895 * * * * [points]: Computing exacts on every 6 of 6911 points to ramp up precision
28.900 * * * * [points]: Setting MPFR precision to 64
29.014 * * * * [points]: Setting MPFR precision to 320
29.154 * * * * [points]: Computing exacts on every 3 of 6911 points to ramp up precision
29.211 * * * * [points]: Setting MPFR precision to 64
29.485 * * * * [points]: Setting MPFR precision to 320
30.084 * * * * [points]: Computing exacts for 6911 points
30.091 * * * * [points]: Setting MPFR precision to 64
31.164 * * * * [points]: Setting MPFR precision to 320
32.201 * * * * [points]: Filtering points with unrepresentable outputs
32.208 * * * * [points]: Sampling 5930 additional inputs, on iter 2 have 2070 / 8000
32.253 * * * * [points]: Computing exacts on every 370 of 5930 points to ramp up precision
32.263 * * * * [points]: Setting MPFR precision to 64
32.265 * * * * [points]: Setting MPFR precision to 320
32.267 * * * * [points]: Computing exacts on every 185 of 5930 points to ramp up precision
32.278 * * * * [points]: Setting MPFR precision to 64
32.283 * * * * [points]: Setting MPFR precision to 320
32.288 * * * * [points]: Computing exacts on every 92 of 5930 points to ramp up precision
32.298 * * * * [points]: Setting MPFR precision to 64
32.308 * * * * [points]: Setting MPFR precision to 320
32.318 * * * * [points]: Computing exacts on every 46 of 5930 points to ramp up precision
32.327 * * * * [points]: Setting MPFR precision to 64
32.345 * * * * [points]: Setting MPFR precision to 320
32.364 * * * * [points]: Computing exacts on every 23 of 5930 points to ramp up precision
32.406 * * * * [points]: Setting MPFR precision to 64
32.445 * * * * [points]: Setting MPFR precision to 320
32.481 * * * * [points]: Computing exacts on every 11 of 5930 points to ramp up precision
32.491 * * * * [points]: Setting MPFR precision to 64
32.567 * * * * [points]: Setting MPFR precision to 320
32.690 * * * * [points]: Computing exacts on every 5 of 5930 points to ramp up precision
32.701 * * * * [points]: Setting MPFR precision to 64
32.846 * * * * [points]: Setting MPFR precision to 320
33.010 * * * * [points]: Computing exacts on every 2 of 5930 points to ramp up precision
33.019 * * * * [points]: Setting MPFR precision to 64
33.326 * * * * [points]: Setting MPFR precision to 320
34.027 * * * * [points]: Computing exacts for 5930 points
34.037 * * * * [points]: Setting MPFR precision to 64
34.813 * * * * [points]: Setting MPFR precision to 320
35.798 * * * * [points]: Filtering points with unrepresentable outputs
35.803 * * * * [points]: Sampling 5121 additional inputs, on iter 3 have 2879 / 8000
35.842 * * * * [points]: Computing exacts on every 320 of 5121 points to ramp up precision
35.852 * * * * [points]: Setting MPFR precision to 64
35.854 * * * * [points]: Setting MPFR precision to 320
35.856 * * * * [points]: Computing exacts on every 160 of 5121 points to ramp up precision
35.866 * * * * [points]: Setting MPFR precision to 64
35.870 * * * * [points]: Setting MPFR precision to 320
35.875 * * * * [points]: Computing exacts on every 80 of 5121 points to ramp up precision
35.919 * * * * [points]: Setting MPFR precision to 64
35.931 * * * * [points]: Setting MPFR precision to 320
35.940 * * * * [points]: Computing exacts on every 40 of 5121 points to ramp up precision
35.950 * * * * [points]: Setting MPFR precision to 64
35.967 * * * * [points]: Setting MPFR precision to 320
35.984 * * * * [points]: Computing exacts on every 20 of 5121 points to ramp up precision
35.993 * * * * [points]: Setting MPFR precision to 64
36.028 * * * * [points]: Setting MPFR precision to 320
36.062 * * * * [points]: Computing exacts on every 10 of 5121 points to ramp up precision
36.072 * * * * [points]: Setting MPFR precision to 64
36.178 * * * * [points]: Setting MPFR precision to 320
36.246 * * * * [points]: Computing exacts on every 5 of 5121 points to ramp up precision
36.255 * * * * [points]: Setting MPFR precision to 64
36.393 * * * * [points]: Setting MPFR precision to 320
36.461 * * * * [points]: Computing exacts on every 2 of 5121 points to ramp up precision
36.466 * * * * [points]: Setting MPFR precision to 64
36.720 * * * * [points]: Setting MPFR precision to 320
37.286 * * * * [points]: Computing exacts for 5121 points
37.291 * * * * [points]: Setting MPFR precision to 64
38.004 * * * * [points]: Setting MPFR precision to 320
38.645 * * * * [points]: Filtering points with unrepresentable outputs
38.650 * * * * [points]: Sampling 4392 additional inputs, on iter 4 have 3608 / 8000
38.683 * * * * [points]: Computing exacts on every 274 of 4392 points to ramp up precision
38.689 * * * * [points]: Setting MPFR precision to 64
38.690 * * * * [points]: Setting MPFR precision to 320
38.691 * * * * [points]: Computing exacts on every 137 of 4392 points to ramp up precision
38.696 * * * * [points]: Setting MPFR precision to 64
38.699 * * * * [points]: Setting MPFR precision to 320
38.701 * * * * [points]: Computing exacts on every 68 of 4392 points to ramp up precision
38.706 * * * * [points]: Setting MPFR precision to 64
38.711 * * * * [points]: Setting MPFR precision to 320
38.716 * * * * [points]: Computing exacts on every 34 of 4392 points to ramp up precision
38.721 * * * * [points]: Setting MPFR precision to 64
38.731 * * * * [points]: Setting MPFR precision to 320
38.741 * * * * [points]: Computing exacts on every 17 of 4392 points to ramp up precision
38.766 * * * * [points]: Setting MPFR precision to 64
38.788 * * * * [points]: Setting MPFR precision to 320
38.808 * * * * [points]: Computing exacts on every 8 of 4392 points to ramp up precision
38.813 * * * * [points]: Setting MPFR precision to 64
38.852 * * * * [points]: Setting MPFR precision to 320
38.921 * * * * [points]: Computing exacts on every 4 of 4392 points to ramp up precision
38.927 * * * * [points]: Setting MPFR precision to 64
39.000 * * * * [points]: Setting MPFR precision to 320
39.105 * * * * [points]: Computing exacts on every 2 of 4392 points to ramp up precision
39.110 * * * * [points]: Setting MPFR precision to 64
39.261 * * * * [points]: Setting MPFR precision to 320
39.518 * * * * [points]: Computing exacts for 4392 points
39.528 * * * * [points]: Setting MPFR precision to 64
40.524 * * * * [points]: Setting MPFR precision to 320
41.106 * * * * [points]: Filtering points with unrepresentable outputs
41.111 * * * * [points]: Sampling 3759 additional inputs, on iter 5 have 4241 / 8000
41.140 * * * * [points]: Computing exacts on every 234 of 3759 points to ramp up precision
41.145 * * * * [points]: Setting MPFR precision to 64
41.147 * * * * [points]: Setting MPFR precision to 320
41.148 * * * * [points]: Computing exacts on every 117 of 3759 points to ramp up precision
41.153 * * * * [points]: Setting MPFR precision to 64
41.155 * * * * [points]: Setting MPFR precision to 320
41.158 * * * * [points]: Computing exacts on every 58 of 3759 points to ramp up precision
41.162 * * * * [points]: Setting MPFR precision to 64
41.167 * * * * [points]: Setting MPFR precision to 320
41.172 * * * * [points]: Computing exacts on every 29 of 3759 points to ramp up precision
41.181 * * * * [points]: Setting MPFR precision to 64
41.224 * * * * [points]: Setting MPFR precision to 320
41.241 * * * * [points]: Computing exacts on every 14 of 3759 points to ramp up precision
41.250 * * * * [points]: Setting MPFR precision to 64
41.279 * * * * [points]: Setting MPFR precision to 320
41.302 * * * * [points]: Computing exacts on every 7 of 3759 points to ramp up precision
41.311 * * * * [points]: Setting MPFR precision to 64
41.358 * * * * [points]: Setting MPFR precision to 320
41.447 * * * * [points]: Computing exacts on every 3 of 3759 points to ramp up precision
41.452 * * * * [points]: Setting MPFR precision to 64
41.561 * * * * [points]: Setting MPFR precision to 320
41.734 * * * * [points]: Computing exacts for 3759 points
41.740 * * * * [points]: Setting MPFR precision to 64
42.229 * * * * [points]: Setting MPFR precision to 320
42.636 * * * * [points]: Filtering points with unrepresentable outputs
42.638 * * * * [points]: Sampling 3249 additional inputs, on iter 6 have 4751 / 8000
42.654 * * * * [points]: Computing exacts on every 203 of 3249 points to ramp up precision
42.663 * * * * [points]: Setting MPFR precision to 64
42.665 * * * * [points]: Setting MPFR precision to 320
42.667 * * * * [points]: Computing exacts on every 101 of 3249 points to ramp up precision
42.705 * * * * [points]: Setting MPFR precision to 64
42.710 * * * * [points]: Setting MPFR precision to 320
42.716 * * * * [points]: Computing exacts on every 50 of 3249 points to ramp up precision
42.725 * * * * [points]: Setting MPFR precision to 64
42.733 * * * * [points]: Setting MPFR precision to 320
42.742 * * * * [points]: Computing exacts on every 25 of 3249 points to ramp up precision
42.752 * * * * [points]: Setting MPFR precision to 64
42.762 * * * * [points]: Setting MPFR precision to 320
42.772 * * * * [points]: Computing exacts on every 12 of 3249 points to ramp up precision
42.777 * * * * [points]: Setting MPFR precision to 64
42.799 * * * * [points]: Setting MPFR precision to 320
42.819 * * * * [points]: Computing exacts on every 6 of 3249 points to ramp up precision
42.855 * * * * [points]: Setting MPFR precision to 64
42.902 * * * * [points]: Setting MPFR precision to 320
42.962 * * * * [points]: Computing exacts on every 3 of 3249 points to ramp up precision
42.971 * * * * [points]: Setting MPFR precision to 64
43.069 * * * * [points]: Setting MPFR precision to 320
43.157 * * * * [points]: Computing exacts for 3249 points
43.162 * * * * [points]: Setting MPFR precision to 64
43.819 * * * * [points]: Setting MPFR precision to 320
44.163 * * * * [points]: Filtering points with unrepresentable outputs
44.165 * * * * [points]: Sampling 2805 additional inputs, on iter 7 have 5195 / 8000
44.176 * * * * [points]: Computing exacts on every 175 of 2805 points to ramp up precision
44.183 * * * * [points]: Setting MPFR precision to 64
44.184 * * * * [points]: Setting MPFR precision to 320
44.185 * * * * [points]: Computing exacts on every 87 of 2805 points to ramp up precision
44.190 * * * * [points]: Setting MPFR precision to 64
44.193 * * * * [points]: Setting MPFR precision to 320
44.195 * * * * [points]: Computing exacts on every 43 of 2805 points to ramp up precision
44.200 * * * * [points]: Setting MPFR precision to 64
44.205 * * * * [points]: Setting MPFR precision to 320
44.210 * * * * [points]: Computing exacts on every 21 of 2805 points to ramp up precision
44.215 * * * * [points]: Setting MPFR precision to 64
44.225 * * * * [points]: Setting MPFR precision to 320
44.235 * * * * [points]: Computing exacts on every 10 of 2805 points to ramp up precision
44.262 * * * * [points]: Setting MPFR precision to 64
44.284 * * * * [points]: Setting MPFR precision to 320
44.305 * * * * [points]: Computing exacts on every 5 of 2805 points to ramp up precision
44.311 * * * * [points]: Setting MPFR precision to 64
44.378 * * * * [points]: Setting MPFR precision to 320
44.501 * * * * [points]: Computing exacts on every 2 of 2805 points to ramp up precision
44.511 * * * * [points]: Setting MPFR precision to 64
44.645 * * * * [points]: Setting MPFR precision to 320
44.779 * * * * [points]: Computing exacts for 2805 points
44.788 * * * * [points]: Setting MPFR precision to 64
45.223 * * * * [points]: Setting MPFR precision to 320
45.631 * * * * [points]: Filtering points with unrepresentable outputs
45.632 * * * * [points]: Sampling 2409 additional inputs, on iter 8 have 5591 / 8000
45.642 * * * * [points]: Computing exacts on every 150 of 2409 points to ramp up precision
45.647 * * * * [points]: Setting MPFR precision to 64
45.649 * * * * [points]: Setting MPFR precision to 320
45.650 * * * * [points]: Computing exacts on every 75 of 2409 points to ramp up precision
45.656 * * * * [points]: Setting MPFR precision to 64
45.658 * * * * [points]: Setting MPFR precision to 320
45.661 * * * * [points]: Computing exacts on every 37 of 2409 points to ramp up precision
45.666 * * * * [points]: Setting MPFR precision to 64
45.671 * * * * [points]: Setting MPFR precision to 320
45.676 * * * * [points]: Computing exacts on every 18 of 2409 points to ramp up precision
45.681 * * * * [points]: Setting MPFR precision to 64
45.691 * * * * [points]: Setting MPFR precision to 320
45.701 * * * * [points]: Computing exacts on every 9 of 2409 points to ramp up precision
45.729 * * * * [points]: Setting MPFR precision to 64
45.751 * * * * [points]: Setting MPFR precision to 320
45.771 * * * * [points]: Computing exacts on every 4 of 2409 points to ramp up precision
45.776 * * * * [points]: Setting MPFR precision to 64
45.816 * * * * [points]: Setting MPFR precision to 320
45.885 * * * * [points]: Computing exacts on every 2 of 2409 points to ramp up precision
45.890 * * * * [points]: Setting MPFR precision to 64
45.954 * * * * [points]: Setting MPFR precision to 320
46.056 * * * * [points]: Computing exacts for 2409 points
46.061 * * * * [points]: Setting MPFR precision to 64
46.657 * * * * [points]: Setting MPFR precision to 320
47.039 * * * * [points]: Filtering points with unrepresentable outputs
47.040 * * * * [points]: Sampling 2067 additional inputs, on iter 9 have 5933 / 8000
47.049 * * * * [points]: Computing exacts on every 129 of 2067 points to ramp up precision
47.054 * * * * [points]: Setting MPFR precision to 64
47.055 * * * * [points]: Setting MPFR precision to 320
47.056 * * * * [points]: Computing exacts on every 64 of 2067 points to ramp up precision
47.061 * * * * [points]: Setting MPFR precision to 64
47.064 * * * * [points]: Setting MPFR precision to 320
47.066 * * * * [points]: Computing exacts on every 32 of 2067 points to ramp up precision
47.071 * * * * [points]: Setting MPFR precision to 64
47.076 * * * * [points]: Setting MPFR precision to 320
47.107 * * * * [points]: Computing exacts on every 16 of 2067 points to ramp up precision
47.112 * * * * [points]: Setting MPFR precision to 64
47.123 * * * * [points]: Setting MPFR precision to 320
47.133 * * * * [points]: Computing exacts on every 8 of 2067 points to ramp up precision
47.138 * * * * [points]: Setting MPFR precision to 64
47.156 * * * * [points]: Setting MPFR precision to 320
47.174 * * * * [points]: Computing exacts on every 4 of 2067 points to ramp up precision
47.179 * * * * [points]: Setting MPFR precision to 64
47.210 * * * * [points]: Setting MPFR precision to 320
47.270 * * * * [points]: Computing exacts on every 2 of 2067 points to ramp up precision
47.276 * * * * [points]: Setting MPFR precision to 64
47.331 * * * * [points]: Setting MPFR precision to 320
47.426 * * * * [points]: Computing exacts for 2067 points
47.431 * * * * [points]: Setting MPFR precision to 64
47.724 * * * * [points]: Setting MPFR precision to 320
48.030 * * * * [points]: Filtering points with unrepresentable outputs
48.032 * * * * [points]: Sampling 1762 additional inputs, on iter 10 have 6238 / 8000
48.046 * * * * [points]: Computing exacts on every 110 of 1762 points to ramp up precision
48.055 * * * * [points]: Setting MPFR precision to 64
48.058 * * * * [points]: Setting MPFR precision to 320
48.060 * * * * [points]: Computing exacts on every 55 of 1762 points to ramp up precision
48.070 * * * * [points]: Setting MPFR precision to 64
48.074 * * * * [points]: Setting MPFR precision to 320
48.079 * * * * [points]: Computing exacts on every 27 of 1762 points to ramp up precision
48.088 * * * * [points]: Setting MPFR precision to 64
48.097 * * * * [points]: Setting MPFR precision to 320
48.102 * * * * [points]: Computing exacts on every 13 of 1762 points to ramp up precision
48.106 * * * * [points]: Setting MPFR precision to 64
48.116 * * * * [points]: Setting MPFR precision to 320
48.126 * * * * [points]: Computing exacts on every 6 of 1762 points to ramp up precision
48.136 * * * * [points]: Setting MPFR precision to 64
48.189 * * * * [points]: Setting MPFR precision to 320
48.225 * * * * [points]: Computing exacts on every 3 of 1762 points to ramp up precision
48.235 * * * * [points]: Setting MPFR precision to 64
48.294 * * * * [points]: Setting MPFR precision to 320
48.357 * * * * [points]: Computing exacts for 1762 points
48.366 * * * * [points]: Setting MPFR precision to 64
48.640 * * * * [points]: Setting MPFR precision to 320
48.853 * * * * [points]: Filtering points with unrepresentable outputs
48.854 * * * * [points]: Sampling 1523 additional inputs, on iter 11 have 6477 / 8000
48.861 * * * * [points]: Computing exacts on every 95 of 1523 points to ramp up precision
48.866 * * * * [points]: Setting MPFR precision to 64
48.867 * * * * [points]: Setting MPFR precision to 320
48.868 * * * * [points]: Computing exacts on every 47 of 1523 points to ramp up precision
48.873 * * * * [points]: Setting MPFR precision to 64
48.876 * * * * [points]: Setting MPFR precision to 320
48.879 * * * * [points]: Computing exacts on every 23 of 1523 points to ramp up precision
48.884 * * * * [points]: Setting MPFR precision to 64
48.890 * * * * [points]: Setting MPFR precision to 320
48.899 * * * * [points]: Computing exacts on every 11 of 1523 points to ramp up precision
48.908 * * * * [points]: Setting MPFR precision to 64
48.926 * * * * [points]: Setting MPFR precision to 320
48.969 * * * * [points]: Computing exacts on every 5 of 1523 points to ramp up precision
48.974 * * * * [points]: Setting MPFR precision to 64
49.002 * * * * [points]: Setting MPFR precision to 320
49.027 * * * * [points]: Computing exacts on every 2 of 1523 points to ramp up precision
49.033 * * * * [points]: Setting MPFR precision to 64
49.073 * * * * [points]: Setting MPFR precision to 320
49.166 * * * * [points]: Computing exacts for 1523 points
49.172 * * * * [points]: Setting MPFR precision to 64
49.389 * * * * [points]: Setting MPFR precision to 320
49.905 * * * * [points]: Filtering points with unrepresentable outputs
49.906 * * * * [points]: Sampling 1295 additional inputs, on iter 12 have 6705 / 8000
49.911 * * * * [points]: Computing exacts on every 80 of 1295 points to ramp up precision
49.916 * * * * [points]: Setting MPFR precision to 64
49.918 * * * * [points]: Setting MPFR precision to 320
49.920 * * * * [points]: Computing exacts on every 40 of 1295 points to ramp up precision
49.928 * * * * [points]: Setting MPFR precision to 64
49.933 * * * * [points]: Setting MPFR precision to 320
49.937 * * * * [points]: Computing exacts on every 20 of 1295 points to ramp up precision
49.946 * * * * [points]: Setting MPFR precision to 64
49.954 * * * * [points]: Setting MPFR precision to 320
49.963 * * * * [points]: Computing exacts on every 10 of 1295 points to ramp up precision
49.971 * * * * [points]: Setting MPFR precision to 64
49.986 * * * * [points]: Setting MPFR precision to 320
50.032 * * * * [points]: Computing exacts on every 5 of 1295 points to ramp up precision
50.040 * * * * [points]: Setting MPFR precision to 64
50.069 * * * * [points]: Setting MPFR precision to 320
50.096 * * * * [points]: Computing exacts on every 2 of 1295 points to ramp up precision
50.106 * * * * [points]: Setting MPFR precision to 64
50.161 * * * * [points]: Setting MPFR precision to 320
50.257 * * * * [points]: Computing exacts for 1295 points
50.262 * * * * [points]: Setting MPFR precision to 64
50.425 * * * * [points]: Setting MPFR precision to 320
50.582 * * * * [points]: Filtering points with unrepresentable outputs
50.582 * * * * [points]: Sampling 1091 additional inputs, on iter 13 have 6909 / 8000
50.588 * * * * [points]: Computing exacts on every 68 of 1091 points to ramp up precision
50.596 * * * * [points]: Setting MPFR precision to 64
50.598 * * * * [points]: Setting MPFR precision to 320
50.600 * * * * [points]: Computing exacts on every 34 of 1091 points to ramp up precision
50.648 * * * * [points]: Setting MPFR precision to 64
50.653 * * * * [points]: Setting MPFR precision to 320
50.661 * * * * [points]: Computing exacts on every 17 of 1091 points to ramp up precision
50.670 * * * * [points]: Setting MPFR precision to 64
50.677 * * * * [points]: Setting MPFR precision to 320
50.682 * * * * [points]: Computing exacts on every 8 of 1091 points to ramp up precision
50.687 * * * * [points]: Setting MPFR precision to 64
50.696 * * * * [points]: Setting MPFR precision to 320
50.705 * * * * [points]: Computing exacts on every 4 of 1091 points to ramp up precision
50.710 * * * * [points]: Setting MPFR precision to 64
50.728 * * * * [points]: Setting MPFR precision to 320
50.745 * * * * [points]: Computing exacts on every 2 of 1091 points to ramp up precision
50.750 * * * * [points]: Setting MPFR precision to 64
50.800 * * * * [points]: Setting MPFR precision to 320
50.828 * * * * [points]: Computing exacts for 1091 points
50.833 * * * * [points]: Setting MPFR precision to 64
50.946 * * * * [points]: Setting MPFR precision to 320
51.028 * * * * [points]: Filtering points with unrepresentable outputs
51.028 * * * * [points]: Sampling 943 additional inputs, on iter 14 have 7057 / 8000
51.032 * * * * [points]: Computing exacts on every 58 of 943 points to ramp up precision
51.066 * * * * [points]: Setting MPFR precision to 64
51.068 * * * * [points]: Setting MPFR precision to 320
51.069 * * * * [points]: Computing exacts on every 29 of 943 points to ramp up precision
51.074 * * * * [points]: Setting MPFR precision to 64
51.078 * * * * [points]: Setting MPFR precision to 320
51.080 * * * * [points]: Computing exacts on every 14 of 943 points to ramp up precision
51.085 * * * * [points]: Setting MPFR precision to 64
51.090 * * * * [points]: Setting MPFR precision to 320
51.095 * * * * [points]: Computing exacts on every 7 of 943 points to ramp up precision
51.099 * * * * [points]: Setting MPFR precision to 64
51.108 * * * * [points]: Setting MPFR precision to 320
51.117 * * * * [points]: Computing exacts on every 3 of 943 points to ramp up precision
51.122 * * * * [points]: Setting MPFR precision to 64
51.140 * * * * [points]: Setting MPFR precision to 320
51.158 * * * * [points]: Computing exacts for 943 points
51.183 * * * * [points]: Setting MPFR precision to 64
51.267 * * * * [points]: Setting MPFR precision to 320
51.382 * * * * [points]: Filtering points with unrepresentable outputs
51.383 * * * * [points]: Sampling 803 additional inputs, on iter 15 have 7197 / 8000
51.389 * * * * [points]: Computing exacts on every 50 of 803 points to ramp up precision
51.398 * * * * [points]: Setting MPFR precision to 64
51.401 * * * * [points]: Setting MPFR precision to 320
51.403 * * * * [points]: Computing exacts on every 25 of 803 points to ramp up precision
51.412 * * * * [points]: Setting MPFR precision to 64
51.416 * * * * [points]: Setting MPFR precision to 320
51.420 * * * * [points]: Computing exacts on every 12 of 803 points to ramp up precision
51.429 * * * * [points]: Setting MPFR precision to 64
51.438 * * * * [points]: Setting MPFR precision to 320
51.447 * * * * [points]: Computing exacts on every 6 of 803 points to ramp up precision
51.457 * * * * [points]: Setting MPFR precision to 64
51.472 * * * * [points]: Setting MPFR precision to 320
51.488 * * * * [points]: Computing exacts on every 3 of 803 points to ramp up precision
51.530 * * * * [points]: Setting MPFR precision to 64
51.558 * * * * [points]: Setting MPFR precision to 320
51.585 * * * * [points]: Computing exacts for 803 points
51.590 * * * * [points]: Setting MPFR precision to 64
51.669 * * * * [points]: Setting MPFR precision to 320
51.765 * * * * [points]: Filtering points with unrepresentable outputs
51.766 * * * * [points]: Sampling 693 additional inputs, on iter 16 have 7307 / 8000
51.768 * * * * [points]: Computing exacts on every 43 of 693 points to ramp up precision
51.773 * * * * [points]: Setting MPFR precision to 64
51.775 * * * * [points]: Setting MPFR precision to 320
51.776 * * * * [points]: Computing exacts on every 21 of 693 points to ramp up precision
51.780 * * * * [points]: Setting MPFR precision to 64
51.783 * * * * [points]: Setting MPFR precision to 320
51.785 * * * * [points]: Computing exacts on every 10 of 693 points to ramp up precision
51.790 * * * * [points]: Setting MPFR precision to 64
51.796 * * * * [points]: Setting MPFR precision to 320
51.805 * * * * [points]: Computing exacts on every 5 of 693 points to ramp up precision
51.813 * * * * [points]: Setting MPFR precision to 64
51.827 * * * * [points]: Setting MPFR precision to 320
51.877 * * * * [points]: Computing exacts on every 2 of 693 points to ramp up precision
51.882 * * * * [points]: Setting MPFR precision to 64
51.900 * * * * [points]: Setting MPFR precision to 320
51.918 * * * * [points]: Computing exacts for 693 points
51.923 * * * * [points]: Setting MPFR precision to 64
51.987 * * * * [points]: Setting MPFR precision to 320
52.093 * * * * [points]: Filtering points with unrepresentable outputs
52.093 * * * * [points]: Sampling 602 additional inputs, on iter 17 have 7398 / 8000
52.095 * * * * [points]: Computing exacts on every 37 of 602 points to ramp up precision
52.100 * * * * [points]: Setting MPFR precision to 64
52.102 * * * * [points]: Setting MPFR precision to 320
52.103 * * * * [points]: Computing exacts on every 18 of 602 points to ramp up precision
52.107 * * * * [points]: Setting MPFR precision to 64
52.110 * * * * [points]: Setting MPFR precision to 320
52.112 * * * * [points]: Computing exacts on every 9 of 602 points to ramp up precision
52.118 * * * * [points]: Setting MPFR precision to 64
52.126 * * * * [points]: Setting MPFR precision to 320
52.133 * * * * [points]: Computing exacts on every 4 of 602 points to ramp up precision
52.141 * * * * [points]: Setting MPFR precision to 64
52.181 * * * * [points]: Setting MPFR precision to 320
52.192 * * * * [points]: Computing exacts on every 2 of 602 points to ramp up precision
52.197 * * * * [points]: Setting MPFR precision to 64
52.214 * * * * [points]: Setting MPFR precision to 320
52.236 * * * * [points]: Computing exacts for 602 points
52.240 * * * * [points]: Setting MPFR precision to 64
52.291 * * * * [points]: Setting MPFR precision to 320
52.371 * * * * [points]: Filtering points with unrepresentable outputs
52.371 * * * * [points]: Sampling 528 additional inputs, on iter 18 have 7472 / 8000
52.375 * * * * [points]: Computing exacts on every 33 of 528 points to ramp up precision
52.383 * * * * [points]: Setting MPFR precision to 64
52.385 * * * * [points]: Setting MPFR precision to 320
52.387 * * * * [points]: Computing exacts on every 16 of 528 points to ramp up precision
52.394 * * * * [points]: Setting MPFR precision to 64
52.398 * * * * [points]: Setting MPFR precision to 320
52.402 * * * * [points]: Computing exacts on every 8 of 528 points to ramp up precision
52.410 * * * * [points]: Setting MPFR precision to 64
52.417 * * * * [points]: Setting MPFR precision to 320
52.423 * * * * [points]: Computing exacts on every 4 of 528 points to ramp up precision
52.432 * * * * [points]: Setting MPFR precision to 64
52.444 * * * * [points]: Setting MPFR precision to 320
52.457 * * * * [points]: Computing exacts on every 2 of 528 points to ramp up precision
52.490 * * * * [points]: Setting MPFR precision to 64
52.505 * * * * [points]: Setting MPFR precision to 320
52.519 * * * * [points]: Computing exacts for 528 points
52.523 * * * * [points]: Setting MPFR precision to 64
52.572 * * * * [points]: Setting MPFR precision to 320
52.908 * * * * [points]: Filtering points with unrepresentable outputs
52.909 * * * * [points]: Sampling 455 additional inputs, on iter 19 have 7545 / 8000
52.911 * * * * [points]: Computing exacts on every 28 of 455 points to ramp up precision
52.915 * * * * [points]: Setting MPFR precision to 64
52.918 * * * * [points]: Setting MPFR precision to 320
52.920 * * * * [points]: Computing exacts on every 14 of 455 points to ramp up precision
52.924 * * * * [points]: Setting MPFR precision to 64
52.927 * * * * [points]: Setting MPFR precision to 320
52.929 * * * * [points]: Computing exacts on every 7 of 455 points to ramp up precision
52.934 * * * * [points]: Setting MPFR precision to 64
52.939 * * * * [points]: Setting MPFR precision to 320
52.943 * * * * [points]: Computing exacts on every 3 of 455 points to ramp up precision
52.948 * * * * [points]: Setting MPFR precision to 64
52.956 * * * * [points]: Setting MPFR precision to 320
52.965 * * * * [points]: Computing exacts for 455 points
52.970 * * * * [points]: Setting MPFR precision to 64
53.022 * * * * [points]: Setting MPFR precision to 320
53.059 * * * * [points]: Filtering points with unrepresentable outputs
53.059 * * * * [points]: Sampling 393 additional inputs, on iter 20 have 7607 / 8000
53.061 * * * * [points]: Computing exacts on every 24 of 393 points to ramp up precision
53.066 * * * * [points]: Setting MPFR precision to 64
53.067 * * * * [points]: Setting MPFR precision to 320
53.068 * * * * [points]: Computing exacts on every 12 of 393 points to ramp up precision
53.073 * * * * [points]: Setting MPFR precision to 64
53.075 * * * * [points]: Setting MPFR precision to 320
53.077 * * * * [points]: Computing exacts on every 6 of 393 points to ramp up precision
53.082 * * * * [points]: Setting MPFR precision to 64
53.087 * * * * [points]: Setting MPFR precision to 320
53.091 * * * * [points]: Computing exacts on every 3 of 393 points to ramp up precision
53.096 * * * * [points]: Setting MPFR precision to 64
53.103 * * * * [points]: Setting MPFR precision to 320
53.111 * * * * [points]: Computing exacts for 393 points
53.116 * * * * [points]: Setting MPFR precision to 64
53.167 * * * * [points]: Setting MPFR precision to 320
53.198 * * * * [points]: Filtering points with unrepresentable outputs
53.198 * * * * [points]: Sampling 345 additional inputs, on iter 21 have 7655 / 8000
53.200 * * * * [points]: Computing exacts on every 21 of 345 points to ramp up precision
53.204 * * * * [points]: Setting MPFR precision to 64
53.206 * * * * [points]: Setting MPFR precision to 320
53.207 * * * * [points]: Computing exacts on every 10 of 345 points to ramp up precision
53.211 * * * * [points]: Setting MPFR precision to 64
53.214 * * * * [points]: Setting MPFR precision to 320
53.216 * * * * [points]: Computing exacts on every 5 of 345 points to ramp up precision
53.221 * * * * [points]: Setting MPFR precision to 64
53.226 * * * * [points]: Setting MPFR precision to 320
53.232 * * * * [points]: Computing exacts on every 2 of 345 points to ramp up precision
53.240 * * * * [points]: Setting MPFR precision to 64
53.272 * * * * [points]: Setting MPFR precision to 320
53.283 * * * * [points]: Computing exacts for 345 points
53.288 * * * * [points]: Setting MPFR precision to 64
53.328 * * * * [points]: Setting MPFR precision to 320
53.355 * * * * [points]: Filtering points with unrepresentable outputs
53.355 * * * * [points]: Sampling 291 additional inputs, on iter 22 have 7709 / 8000
53.356 * * * * [points]: Computing exacts on every 18 of 291 points to ramp up precision
53.361 * * * * [points]: Setting MPFR precision to 64
53.362 * * * * [points]: Setting MPFR precision to 320
53.363 * * * * [points]: Computing exacts on every 9 of 291 points to ramp up precision
53.368 * * * * [points]: Setting MPFR precision to 64
53.370 * * * * [points]: Setting MPFR precision to 320
53.373 * * * * [points]: Computing exacts on every 4 of 291 points to ramp up precision
53.377 * * * * [points]: Setting MPFR precision to 64
53.402 * * * * [points]: Setting MPFR precision to 320
53.407 * * * * [points]: Computing exacts on every 2 of 291 points to ramp up precision
53.413 * * * * [points]: Setting MPFR precision to 64
53.421 * * * * [points]: Setting MPFR precision to 320
53.431 * * * * [points]: Computing exacts for 291 points
53.438 * * * * [points]: Setting MPFR precision to 64
53.474 * * * * [points]: Setting MPFR precision to 320
53.511 * * * * [points]: Filtering points with unrepresentable outputs
53.512 * * * * [points]: Sampling 248 additional inputs, on iter 23 have 7752 / 8000
53.513 * * * * [points]: Computing exacts on every 15 of 248 points to ramp up precision
53.517 * * * * [points]: Setting MPFR precision to 64
53.519 * * * * [points]: Setting MPFR precision to 320
53.520 * * * * [points]: Computing exacts on every 7 of 248 points to ramp up precision
53.525 * * * * [points]: Setting MPFR precision to 64
53.528 * * * * [points]: Setting MPFR precision to 320
53.531 * * * * [points]: Computing exacts on every 3 of 248 points to ramp up precision
53.558 * * * * [points]: Setting MPFR precision to 64
53.563 * * * * [points]: Setting MPFR precision to 320
53.570 * * * * [points]: Computing exacts for 248 points
53.575 * * * * [points]: Setting MPFR precision to 64
53.594 * * * * [points]: Setting MPFR precision to 320
53.617 * * * * [points]: Filtering points with unrepresentable outputs
53.618 * * * * [points]: Sampling 210 additional inputs, on iter 24 have 7790 / 8000
53.620 * * * * [points]: Computing exacts on every 13 of 210 points to ramp up precision
53.629 * * * * [points]: Setting MPFR precision to 64
53.632 * * * * [points]: Setting MPFR precision to 320
53.634 * * * * [points]: Computing exacts on every 6 of 210 points to ramp up precision
53.643 * * * * [points]: Setting MPFR precision to 64
53.647 * * * * [points]: Setting MPFR precision to 320
53.651 * * * * [points]: Computing exacts on every 3 of 210 points to ramp up precision
53.660 * * * * [points]: Setting MPFR precision to 64
53.667 * * * * [points]: Setting MPFR precision to 320
53.674 * * * * [points]: Computing exacts for 210 points
53.715 * * * * [points]: Setting MPFR precision to 64
53.733 * * * * [points]: Setting MPFR precision to 320
53.750 * * * * [points]: Filtering points with unrepresentable outputs
53.750 * * * * [points]: Sampling 180 additional inputs, on iter 25 have 7820 / 8000
53.751 * * * * [points]: Computing exacts on every 11 of 180 points to ramp up precision
53.756 * * * * [points]: Setting MPFR precision to 64
53.758 * * * * [points]: Setting MPFR precision to 320
53.759 * * * * [points]: Computing exacts on every 5 of 180 points to ramp up precision
53.764 * * * * [points]: Setting MPFR precision to 64
53.766 * * * * [points]: Setting MPFR precision to 320
53.769 * * * * [points]: Computing exacts on every 2 of 180 points to ramp up precision
53.774 * * * * [points]: Setting MPFR precision to 64
53.779 * * * * [points]: Setting MPFR precision to 320
53.784 * * * * [points]: Computing exacts for 180 points
53.789 * * * * [points]: Setting MPFR precision to 64
53.804 * * * * [points]: Setting MPFR precision to 320
53.819 * * * * [points]: Filtering points with unrepresentable outputs
53.819 * * * * [points]: Sampling 156 additional inputs, on iter 26 have 7844 / 8000
53.819 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision
53.853 * * * * [points]: Setting MPFR precision to 64
53.859 * * * * [points]: Setting MPFR precision to 320
53.861 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision
53.869 * * * * [points]: Setting MPFR precision to 64
53.874 * * * * [points]: Setting MPFR precision to 320
53.878 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision
53.886 * * * * [points]: Setting MPFR precision to 64
53.893 * * * * [points]: Setting MPFR precision to 320
53.900 * * * * [points]: Computing exacts for 156 points
53.908 * * * * [points]: Setting MPFR precision to 64
53.926 * * * * [points]: Setting MPFR precision to 320
53.945 * * * * [points]: Filtering points with unrepresentable outputs
53.946 * * * * [points]: Sampling 135 additional inputs, on iter 27 have 7865 / 8000
53.947 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
53.956 * * * * [points]: Setting MPFR precision to 64
53.958 * * * * [points]: Setting MPFR precision to 320
53.960 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
53.968 * * * * [points]: Setting MPFR precision to 64
53.971 * * * * [points]: Setting MPFR precision to 320
53.974 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
53.982 * * * * [points]: Setting MPFR precision to 64
53.988 * * * * [points]: Setting MPFR precision to 320
54.018 * * * * [points]: Computing exacts for 135 points
54.026 * * * * [points]: Setting MPFR precision to 64
54.045 * * * * [points]: Setting MPFR precision to 320
54.062 * * * * [points]: Filtering points with unrepresentable outputs
54.062 * * * * [points]: Sampling 115 additional inputs, on iter 28 have 7885 / 8000
54.063 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
54.072 * * * * [points]: Setting MPFR precision to 64
54.074 * * * * [points]: Setting MPFR precision to 320
54.076 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
54.084 * * * * [points]: Setting MPFR precision to 64
54.087 * * * * [points]: Setting MPFR precision to 320
54.091 * * * * [points]: Computing exacts for 115 points
54.098 * * * * [points]: Setting MPFR precision to 64
54.112 * * * * [points]: Setting MPFR precision to 320
54.126 * * * * [points]: Filtering points with unrepresentable outputs
54.126 * * * * [points]: Sampling 98 additional inputs, on iter 29 have 7902 / 8000
54.126 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
54.134 * * * * [points]: Setting MPFR precision to 64
54.136 * * * * [points]: Setting MPFR precision to 320
54.138 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
54.145 * * * * [points]: Setting MPFR precision to 64
54.148 * * * * [points]: Setting MPFR precision to 320
54.151 * * * * [points]: Computing exacts for 98 points
54.158 * * * * [points]: Setting MPFR precision to 64
54.196 * * * * [points]: Setting MPFR precision to 320
54.208 * * * * [points]: Filtering points with unrepresentable outputs
54.209 * * * * [points]: Sampling 89 additional inputs, on iter 30 have 7911 / 8000
54.209 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
54.217 * * * * [points]: Setting MPFR precision to 64
54.219 * * * * [points]: Setting MPFR precision to 320
54.221 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
54.228 * * * * [points]: Setting MPFR precision to 64
54.232 * * * * [points]: Setting MPFR precision to 320
54.235 * * * * [points]: Computing exacts for 89 points
54.243 * * * * [points]: Setting MPFR precision to 64
54.253 * * * * [points]: Setting MPFR precision to 320
54.264 * * * * [points]: Filtering points with unrepresentable outputs
54.264 * * * * [points]: Sampling 77 additional inputs, on iter 31 have 7923 / 8000
54.265 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
54.272 * * * * [points]: Setting MPFR precision to 64
54.274 * * * * [points]: Setting MPFR precision to 320
54.276 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
54.284 * * * * [points]: Setting MPFR precision to 64
54.287 * * * * [points]: Setting MPFR precision to 320
54.290 * * * * [points]: Computing exacts for 77 points
54.295 * * * * [points]: Setting MPFR precision to 64
54.301 * * * * [points]: Setting MPFR precision to 320
54.310 * * * * [points]: Filtering points with unrepresentable outputs
54.310 * * * * [points]: Sampling 60 additional inputs, on iter 32 have 7940 / 8000
54.311 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
54.338 * * * * [points]: Setting MPFR precision to 64
54.339 * * * * [points]: Setting MPFR precision to 320
54.341 * * * * [points]: Computing exacts for 60 points
54.346 * * * * [points]: Setting MPFR precision to 64
54.352 * * * * [points]: Setting MPFR precision to 320
54.357 * * * * [points]: Filtering points with unrepresentable outputs
54.357 * * * * [points]: Sampling 54 additional inputs, on iter 33 have 7946 / 8000
54.357 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
54.361 * * * * [points]: Setting MPFR precision to 64
54.363 * * * * [points]: Setting MPFR precision to 320
54.364 * * * * [points]: Computing exacts for 54 points
54.368 * * * * [points]: Setting MPFR precision to 64
54.372 * * * * [points]: Setting MPFR precision to 320
54.376 * * * * [points]: Filtering points with unrepresentable outputs
54.376 * * * * [points]: Sampling 49 additional inputs, on iter 34 have 7951 / 8000
54.377 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
54.381 * * * * [points]: Setting MPFR precision to 64
54.382 * * * * [points]: Setting MPFR precision to 320
54.383 * * * * [points]: Computing exacts for 49 points
54.388 * * * * [points]: Setting MPFR precision to 64
54.392 * * * * [points]: Setting MPFR precision to 320
54.396 * * * * [points]: Filtering points with unrepresentable outputs
54.396 * * * * [points]: Sampling 44 additional inputs, on iter 35 have 7956 / 8000
54.396 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
54.401 * * * * [points]: Setting MPFR precision to 64
54.402 * * * * [points]: Setting MPFR precision to 320
54.403 * * * * [points]: Computing exacts for 44 points
54.407 * * * * [points]: Setting MPFR precision to 64
54.411 * * * * [points]: Setting MPFR precision to 320
54.414 * * * * [points]: Filtering points with unrepresentable outputs
54.414 * * * * [points]: Sampling 43 additional inputs, on iter 36 have 7957 / 8000
54.414 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
54.419 * * * * [points]: Setting MPFR precision to 64
54.434 * * * * [points]: Setting MPFR precision to 320
54.435 * * * * [points]: Computing exacts for 43 points
54.442 * * * * [points]: Setting MPFR precision to 64
54.445 * * * * [points]: Setting MPFR precision to 320
54.449 * * * * [points]: Filtering points with unrepresentable outputs
54.449 * * * * [points]: Sampling 40 additional inputs, on iter 37 have 7960 / 8000
54.449 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
54.454 * * * * [points]: Setting MPFR precision to 64
54.455 * * * * [points]: Setting MPFR precision to 320
54.456 * * * * [points]: Computing exacts for 40 points
54.463 * * * * [points]: Setting MPFR precision to 64
54.468 * * * * [points]: Setting MPFR precision to 320
54.473 * * * * [points]: Filtering points with unrepresentable outputs
54.473 * * * * [points]: Sampling 36 additional inputs, on iter 38 have 7964 / 8000
54.473 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
54.481 * * * * [points]: Setting MPFR precision to 64
54.482 * * * * [points]: Setting MPFR precision to 320
54.484 * * * * [points]: Computing exacts for 36 points
54.491 * * * * [points]: Setting MPFR precision to 64
54.496 * * * * [points]: Setting MPFR precision to 320
54.501 * * * * [points]: Filtering points with unrepresentable outputs
54.501 * * * * [points]: Sampling 30 additional inputs, on iter 39 have 7970 / 8000
54.501 * * * * [points]: Computing exacts for 30 points
54.508 * * * * [points]: Setting MPFR precision to 64
54.512 * * * * [points]: Setting MPFR precision to 320
54.516 * * * * [points]: Filtering points with unrepresentable outputs
54.516 * * * * [points]: Sampling 26 additional inputs, on iter 40 have 7974 / 8000
54.516 * * * * [points]: Computing exacts for 26 points
54.524 * * * * [points]: Setting MPFR precision to 64
54.527 * * * * [points]: Setting MPFR precision to 320
54.530 * * * * [points]: Filtering points with unrepresentable outputs
54.530 * * * * [points]: Sampling 24 additional inputs, on iter 41 have 7976 / 8000
54.531 * * * * [points]: Computing exacts for 24 points
54.538 * * * * [points]: Setting MPFR precision to 64
54.541 * * * * [points]: Setting MPFR precision to 320
54.544 * * * * [points]: Filtering points with unrepresentable outputs
54.544 * * * * [points]: Sampling 23 additional inputs, on iter 42 have 7977 / 8000
54.544 * * * * [points]: Computing exacts for 23 points
54.570 * * * * [points]: Setting MPFR precision to 64
54.573 * * * * [points]: Setting MPFR precision to 320
54.578 * * * * [points]: Filtering points with unrepresentable outputs
54.579 * * * * [points]: Sampling 20 additional inputs, on iter 43 have 7980 / 8000
54.579 * * * * [points]: Computing exacts for 20 points
54.586 * * * * [points]: Setting MPFR precision to 64
54.589 * * * * [points]: Setting MPFR precision to 320
54.591 * * * * [points]: Filtering points with unrepresentable outputs
54.591 * * * * [points]: Sampling 17 additional inputs, on iter 44 have 7983 / 8000
54.591 * * * * [points]: Computing exacts for 17 points
54.599 * * * * [points]: Setting MPFR precision to 64
54.601 * * * * [points]: Setting MPFR precision to 320
54.603 * * * * [points]: Filtering points with unrepresentable outputs
54.603 * * * * [points]: Sampling 15 additional inputs, on iter 45 have 7985 / 8000
54.603 * * * * [points]: Computing exacts for 15 points
54.611 * * * * [points]: Setting MPFR precision to 64
54.613 * * * * [points]: Setting MPFR precision to 320
54.615 * * * * [points]: Filtering points with unrepresentable outputs
54.615 * * * * [points]: Sampling 15 additional inputs, on iter 46 have 7985 / 8000
54.615 * * * * [points]: Computing exacts for 15 points
54.622 * * * * [points]: Setting MPFR precision to 64
54.624 * * * * [points]: Setting MPFR precision to 320
54.626 * * * * [points]: Filtering points with unrepresentable outputs
54.626 * * * * [points]: Sampling 14 additional inputs, on iter 47 have 7986 / 8000
54.626 * * * * [points]: Computing exacts for 14 points
54.633 * * * * [points]: Setting MPFR precision to 64
54.635 * * * * [points]: Setting MPFR precision to 320
54.637 * * * * [points]: Filtering points with unrepresentable outputs
54.637 * * * * [points]: Sampling 11 additional inputs, on iter 48 have 7989 / 8000
54.637 * * * * [points]: Computing exacts for 11 points
54.645 * * * * [points]: Setting MPFR precision to 64
54.647 * * * * [points]: Setting MPFR precision to 320
54.648 * * * * [points]: Filtering points with unrepresentable outputs
54.648 * * * * [points]: Sampling 10 additional inputs, on iter 49 have 7990 / 8000
54.648 * * * * [points]: Computing exacts for 10 points
54.656 * * * * [points]: Setting MPFR precision to 64
54.657 * * * * [points]: Setting MPFR precision to 320
54.658 * * * * [points]: Filtering points with unrepresentable outputs
54.658 * * * * [points]: Sampling 7 additional inputs, on iter 50 have 7993 / 8000
54.658 * * * * [points]: Computing exacts for 7 points
54.666 * * * * [points]: Setting MPFR precision to 64
54.667 * * * * [points]: Setting MPFR precision to 320
54.668 * * * * [points]: Filtering points with unrepresentable outputs
54.668 * * * * [points]: Sampling 5 additional inputs, on iter 51 have 7995 / 8000
54.668 * * * * [points]: Computing exacts for 5 points
54.676 * * * * [points]: Setting MPFR precision to 64
54.677 * * * * [points]: Setting MPFR precision to 320
54.677 * * * * [points]: Filtering points with unrepresentable outputs
54.677 * * * * [points]: Sampling 5 additional inputs, on iter 52 have 7995 / 8000
54.678 * * * * [points]: Computing exacts for 5 points
54.701 * * * * [points]: Setting MPFR precision to 64
54.702 * * * * [points]: Setting MPFR precision to 320
54.703 * * * * [points]: Filtering points with unrepresentable outputs
54.703 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
54.703 * * * * [points]: Computing exacts for 5 points
54.710 * * * * [points]: Setting MPFR precision to 64
54.711 * * * * [points]: Setting MPFR precision to 320
54.712 * * * * [points]: Filtering points with unrepresentable outputs
54.712 * * * * [points]: Sampling 5 additional inputs, on iter 54 have 7995 / 8000
54.712 * * * * [points]: Computing exacts for 5 points
54.719 * * * * [points]: Setting MPFR precision to 64
54.720 * * * * [points]: Setting MPFR precision to 320
54.720 * * * * [points]: Filtering points with unrepresentable outputs
54.721 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7996 / 8000
54.721 * * * * [points]: Computing exacts for 4 points
54.728 * * * * [points]: Setting MPFR precision to 64
54.729 * * * * [points]: Setting MPFR precision to 320
54.729 * * * * [points]: Filtering points with unrepresentable outputs
54.729 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
54.729 * * * * [points]: Computing exacts for 4 points
54.736 * * * * [points]: Setting MPFR precision to 64
54.737 * * * * [points]: Setting MPFR precision to 320
54.738 * * * * [points]: Filtering points with unrepresentable outputs
54.738 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7996 / 8000
54.738 * * * * [points]: Computing exacts for 4 points
54.746 * * * * [points]: Setting MPFR precision to 64
54.746 * * * * [points]: Setting MPFR precision to 320
54.747 * * * * [points]: Filtering points with unrepresentable outputs
54.747 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7996 / 8000
54.747 * * * * [points]: Computing exacts for 4 points
54.754 * * * * [points]: Setting MPFR precision to 64
54.755 * * * * [points]: Setting MPFR precision to 320
54.756 * * * * [points]: Filtering points with unrepresentable outputs
54.756 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7996 / 8000
54.756 * * * * [points]: Computing exacts for 4 points
54.763 * * * * [points]: Setting MPFR precision to 64
54.763 * * * * [points]: Setting MPFR precision to 320
54.763 * * * * [points]: Filtering points with unrepresentable outputs
54.764 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7996 / 8000
54.764 * * * * [points]: Computing exacts for 4 points
54.768 * * * * [points]: Setting MPFR precision to 64
54.769 * * * * [points]: Setting MPFR precision to 320
54.769 * * * * [points]: Filtering points with unrepresentable outputs
54.769 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7996 / 8000
54.769 * * * * [points]: Computing exacts for 4 points
54.773 * * * * [points]: Setting MPFR precision to 64
54.774 * * * * [points]: Setting MPFR precision to 320
54.774 * * * * [points]: Filtering points with unrepresentable outputs
54.774 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7997 / 8000
54.774 * * * * [points]: Computing exacts for 4 points
54.780 * * * * [points]: Setting MPFR precision to 64
54.781 * * * * [points]: Setting MPFR precision to 320
54.781 * * * * [points]: Filtering points with unrepresentable outputs
54.781 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7997 / 8000
54.781 * * * * [points]: Computing exacts for 4 points
54.789 * * * * [points]: Setting MPFR precision to 64
54.789 * * * * [points]: Setting MPFR precision to 320
54.790 * * * * [points]: Filtering points with unrepresentable outputs
54.790 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7997 / 8000
54.790 * * * * [points]: Computing exacts for 4 points
54.804 * * * * [points]: Setting MPFR precision to 64
54.804 * * * * [points]: Setting MPFR precision to 320
54.804 * * * * [points]: Filtering points with unrepresentable outputs
54.805 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7997 / 8000
54.805 * * * * [points]: Computing exacts for 4 points
54.811 * * * * [points]: Setting MPFR precision to 64
54.811 * * * * [points]: Setting MPFR precision to 320
54.812 * * * * [points]: Filtering points with unrepresentable outputs
54.812 * * * * [points]: Sampling 4 additional inputs, on iter 66 have 7998 / 8000
54.812 * * * * [points]: Computing exacts for 4 points
54.816 * * * * [points]: Setting MPFR precision to 64
54.817 * * * * [points]: Setting MPFR precision to 320
54.817 * * * * [points]: Filtering points with unrepresentable outputs
54.817 * * * * [points]: Sampling 4 additional inputs, on iter 67 have 7999 / 8000
54.817 * * * * [points]: Computing exacts for 4 points
54.822 * * * * [points]: Setting MPFR precision to 64
54.822 * * * * [points]: Setting MPFR precision to 320
54.823 * * * * [points]: Filtering points with unrepresentable outputs
54.823 * * * * [points]: Sampling 4 additional inputs, on iter 68 have 7999 / 8000
54.823 * * * * [points]: Computing exacts for 4 points
54.827 * * * * [points]: Setting MPFR precision to 64
54.828 * * * * [points]: Setting MPFR precision to 320
54.828 * * * * [points]: Filtering points with unrepresentable outputs
54.828 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7999 / 8000
54.828 * * * * [points]: Computing exacts for 4 points
54.833 * * * * [points]: Setting MPFR precision to 64
54.833 * * * * [points]: Setting MPFR precision to 320
54.833 * * * * [points]: Filtering points with unrepresentable outputs
54.833 * * * * [points]: Sampled 8000 points with exact outputs
65.554 * [regime-testing]: Baseline error score: 64.0
65.560 * [regime-testing]: Oracle error score: 64.0
65.568 * [regime-testing]: End program error score: 1.4738512558504357