1554300812.700 * [misc]progress: [Phase 1 of 3] Setting up. 1554300812.700 * * * [misc]progress: [1/2] Preparing points 1554300812.701 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554300812.702 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1554300812.706 * * * * [misc]points: Setting MPFR precision to 64 1554300812.710 * * * * [misc]points: Setting MPFR precision to 320 1554300812.711 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1554300812.717 * * * * [misc]points: Setting MPFR precision to 64 1554300812.720 * * * * [misc]points: Setting MPFR precision to 320 1554300812.723 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1554300812.727 * * * * [misc]points: Setting MPFR precision to 64 1554300812.731 * * * * [misc]points: Setting MPFR precision to 320 1554300812.734 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1554300812.738 * * * * [misc]points: Setting MPFR precision to 64 1554300812.745 * * * * [misc]points: Setting MPFR precision to 320 1554300812.751 * * * * [misc]points: Computing exacts for 256 points 1554300812.756 * * * * [misc]points: Setting MPFR precision to 64 1554300812.776 * * * * [misc]points: Setting MPFR precision to 320 1554300812.806 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300812.806 * * * * [misc]points: Sampling 216 additional inputs, on iter 1 have 40 / 256 1554300812.807 * * * * [misc]points: Computing exacts on every 13 of 216 points to ramp up precision 1554300812.814 * * * * [misc]points: Setting MPFR precision to 64 1554300812.815 * * * * [misc]points: Setting MPFR precision to 320 1554300812.816 * * * * [misc]points: Computing exacts on every 6 of 216 points to ramp up precision 1554300812.841 * * * * [misc]points: Setting MPFR precision to 64 1554300812.845 * * * * [misc]points: Setting MPFR precision to 320 1554300812.848 * * * * [misc]points: Computing exacts on every 3 of 216 points to ramp up precision 1554300812.855 * * * * [misc]points: Setting MPFR precision to 64 1554300812.861 * * * * [misc]points: Setting MPFR precision to 320 1554300812.868 * * * * [misc]points: Computing exacts for 216 points 1554300812.874 * * * * [misc]points: Setting MPFR precision to 64 1554300812.899 * * * * [misc]points: Setting MPFR precision to 320 1554300812.923 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300812.923 * * * * [misc]points: Sampling 183 additional inputs, on iter 2 have 73 / 256 1554300812.924 * * * * [misc]points: Computing exacts on every 11 of 183 points to ramp up precision 1554300812.928 * * * * [misc]points: Setting MPFR precision to 64 1554300812.929 * * * * [misc]points: Setting MPFR precision to 320 1554300812.930 * * * * [misc]points: Computing exacts on every 5 of 183 points to ramp up precision 1554300812.934 * * * * [misc]points: Setting MPFR precision to 64 1554300812.937 * * * * [misc]points: Setting MPFR precision to 320 1554300812.939 * * * * [misc]points: Computing exacts on every 2 of 183 points to ramp up precision 1554300812.943 * * * * [misc]points: Setting MPFR precision to 64 1554300812.947 * * * * [misc]points: Setting MPFR precision to 320 1554300812.952 * * * * [misc]points: Computing exacts for 183 points 1554300812.956 * * * * [misc]points: Setting MPFR precision to 64 1554300812.989 * * * * [misc]points: Setting MPFR precision to 320 1554300813.003 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.003 * * * * [misc]points: Sampling 149 additional inputs, on iter 3 have 107 / 256 1554300813.004 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1554300813.008 * * * * [misc]points: Setting MPFR precision to 64 1554300813.009 * * * * [misc]points: Setting MPFR precision to 320 1554300813.010 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1554300813.014 * * * * [misc]points: Setting MPFR precision to 64 1554300813.017 * * * * [misc]points: Setting MPFR precision to 320 1554300813.019 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1554300813.023 * * * * [misc]points: Setting MPFR precision to 64 1554300813.027 * * * * [misc]points: Setting MPFR precision to 320 1554300813.030 * * * * [misc]points: Computing exacts for 149 points 1554300813.035 * * * * [misc]points: Setting MPFR precision to 64 1554300813.045 * * * * [misc]points: Setting MPFR precision to 320 1554300813.063 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.063 * * * * [misc]points: Sampling 134 additional inputs, on iter 4 have 122 / 256 1554300813.064 * * * * [misc]points: Computing exacts on every 8 of 134 points to ramp up precision 1554300813.073 * * * * [misc]points: Setting MPFR precision to 64 1554300813.075 * * * * [misc]points: Setting MPFR precision to 320 1554300813.076 * * * * [misc]points: Computing exacts on every 4 of 134 points to ramp up precision 1554300813.112 * * * * [misc]points: Setting MPFR precision to 64 1554300813.115 * * * * [misc]points: Setting MPFR precision to 320 1554300813.118 * * * * [misc]points: Computing exacts on every 2 of 134 points to ramp up precision 1554300813.124 * * * * [misc]points: Setting MPFR precision to 64 1554300813.127 * * * * [misc]points: Setting MPFR precision to 320 1554300813.131 * * * * [misc]points: Computing exacts for 134 points 1554300813.135 * * * * [misc]points: Setting MPFR precision to 64 1554300813.145 * * * * [misc]points: Setting MPFR precision to 320 1554300813.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.155 * * * * [misc]points: Sampling 121 additional inputs, on iter 5 have 135 / 256 1554300813.155 * * * * [misc]points: Computing exacts on every 7 of 121 points to ramp up precision 1554300813.160 * * * * [misc]points: Setting MPFR precision to 64 1554300813.161 * * * * [misc]points: Setting MPFR precision to 320 1554300813.162 * * * * [misc]points: Computing exacts on every 3 of 121 points to ramp up precision 1554300813.166 * * * * [misc]points: Setting MPFR precision to 64 1554300813.169 * * * * [misc]points: Setting MPFR precision to 320 1554300813.171 * * * * [misc]points: Computing exacts for 121 points 1554300813.175 * * * * [misc]points: Setting MPFR precision to 64 1554300813.184 * * * * [misc]points: Setting MPFR precision to 320 1554300813.194 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.195 * * * * [misc]points: Sampling 105 additional inputs, on iter 6 have 151 / 256 1554300813.195 * * * * [misc]points: Computing exacts on every 6 of 105 points to ramp up precision 1554300813.202 * * * * [misc]points: Setting MPFR precision to 64 1554300813.204 * * * * [misc]points: Setting MPFR precision to 320 1554300813.206 * * * * [misc]points: Computing exacts on every 3 of 105 points to ramp up precision 1554300813.241 * * * * [misc]points: Setting MPFR precision to 64 1554300813.244 * * * * [misc]points: Setting MPFR precision to 320 1554300813.247 * * * * [misc]points: Computing exacts for 105 points 1554300813.254 * * * * [misc]points: Setting MPFR precision to 64 1554300813.267 * * * * [misc]points: Setting MPFR precision to 320 1554300813.279 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.280 * * * * [misc]points: Sampling 96 additional inputs, on iter 7 have 160 / 256 1554300813.280 * * * * [misc]points: Computing exacts on every 6 of 96 points to ramp up precision 1554300813.287 * * * * [misc]points: Setting MPFR precision to 64 1554300813.289 * * * * [misc]points: Setting MPFR precision to 320 1554300813.291 * * * * [misc]points: Computing exacts on every 3 of 96 points to ramp up precision 1554300813.297 * * * * [misc]points: Setting MPFR precision to 64 1554300813.300 * * * * [misc]points: Setting MPFR precision to 320 1554300813.303 * * * * [misc]points: Computing exacts for 96 points 1554300813.310 * * * * [misc]points: Setting MPFR precision to 64 1554300813.321 * * * * [misc]points: Setting MPFR precision to 320 1554300813.330 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.330 * * * * [misc]points: Sampling 85 additional inputs, on iter 8 have 171 / 256 1554300813.330 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1554300813.334 * * * * [misc]points: Setting MPFR precision to 64 1554300813.336 * * * * [misc]points: Setting MPFR precision to 320 1554300813.337 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1554300813.341 * * * * [misc]points: Setting MPFR precision to 64 1554300813.343 * * * * [misc]points: Setting MPFR precision to 320 1554300813.345 * * * * [misc]points: Computing exacts for 85 points 1554300813.349 * * * * [misc]points: Setting MPFR precision to 64 1554300813.355 * * * * [misc]points: Setting MPFR precision to 320 1554300813.379 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.379 * * * * [misc]points: Sampling 75 additional inputs, on iter 9 have 181 / 256 1554300813.379 * * * * [misc]points: Computing exacts on every 4 of 75 points to ramp up precision 1554300813.384 * * * * [misc]points: Setting MPFR precision to 64 1554300813.385 * * * * [misc]points: Setting MPFR precision to 320 1554300813.386 * * * * [misc]points: Computing exacts on every 2 of 75 points to ramp up precision 1554300813.390 * * * * [misc]points: Setting MPFR precision to 64 1554300813.392 * * * * [misc]points: Setting MPFR precision to 320 1554300813.394 * * * * [misc]points: Computing exacts for 75 points 1554300813.398 * * * * [misc]points: Setting MPFR precision to 64 1554300813.403 * * * * [misc]points: Setting MPFR precision to 320 1554300813.410 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.410 * * * * [misc]points: Sampling 70 additional inputs, on iter 10 have 186 / 256 1554300813.410 * * * * [misc]points: Computing exacts on every 4 of 70 points to ramp up precision 1554300813.415 * * * * [misc]points: Setting MPFR precision to 64 1554300813.416 * * * * [misc]points: Setting MPFR precision to 320 1554300813.417 * * * * [misc]points: Computing exacts on every 2 of 70 points to ramp up precision 1554300813.421 * * * * [misc]points: Setting MPFR precision to 64 1554300813.423 * * * * [misc]points: Setting MPFR precision to 320 1554300813.425 * * * * [misc]points: Computing exacts for 70 points 1554300813.430 * * * * [misc]points: Setting MPFR precision to 64 1554300813.436 * * * * [misc]points: Setting MPFR precision to 320 1554300813.442 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.442 * * * * [misc]points: Sampling 65 additional inputs, on iter 11 have 191 / 256 1554300813.443 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1554300813.448 * * * * [misc]points: Setting MPFR precision to 64 1554300813.449 * * * * [misc]points: Setting MPFR precision to 320 1554300813.450 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1554300813.454 * * * * [misc]points: Setting MPFR precision to 64 1554300813.456 * * * * [misc]points: Setting MPFR precision to 320 1554300813.457 * * * * [misc]points: Computing exacts for 65 points 1554300813.477 * * * * [misc]points: Setting MPFR precision to 64 1554300813.482 * * * * [misc]points: Setting MPFR precision to 320 1554300813.487 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.487 * * * * [misc]points: Sampling 59 additional inputs, on iter 12 have 197 / 256 1554300813.488 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1554300813.492 * * * * [misc]points: Setting MPFR precision to 64 1554300813.493 * * * * [misc]points: Setting MPFR precision to 320 1554300813.494 * * * * [misc]points: Computing exacts for 59 points 1554300813.498 * * * * [misc]points: Setting MPFR precision to 64 1554300813.502 * * * * [misc]points: Setting MPFR precision to 320 1554300813.507 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.507 * * * * [misc]points: Sampling 48 additional inputs, on iter 13 have 208 / 256 1554300813.507 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1554300813.511 * * * * [misc]points: Setting MPFR precision to 64 1554300813.512 * * * * [misc]points: Setting MPFR precision to 320 1554300813.513 * * * * [misc]points: Computing exacts for 48 points 1554300813.517 * * * * [misc]points: Setting MPFR precision to 64 1554300813.521 * * * * [misc]points: Setting MPFR precision to 320 1554300813.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.524 * * * * [misc]points: Sampling 41 additional inputs, on iter 14 have 215 / 256 1554300813.525 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1554300813.529 * * * * [misc]points: Setting MPFR precision to 64 1554300813.530 * * * * [misc]points: Setting MPFR precision to 320 1554300813.531 * * * * [misc]points: Computing exacts for 41 points 1554300813.535 * * * * [misc]points: Setting MPFR precision to 64 1554300813.538 * * * * [misc]points: Setting MPFR precision to 320 1554300813.541 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.541 * * * * [misc]points: Sampling 38 additional inputs, on iter 15 have 218 / 256 1554300813.541 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1554300813.546 * * * * [misc]points: Setting MPFR precision to 64 1554300813.547 * * * * [misc]points: Setting MPFR precision to 320 1554300813.548 * * * * [misc]points: Computing exacts for 38 points 1554300813.552 * * * * [misc]points: Setting MPFR precision to 64 1554300813.555 * * * * [misc]points: Setting MPFR precision to 320 1554300813.558 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.558 * * * * [misc]points: Sampling 32 additional inputs, on iter 16 have 224 / 256 1554300813.558 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1554300813.579 * * * * [misc]points: Setting MPFR precision to 64 1554300813.580 * * * * [misc]points: Setting MPFR precision to 320 1554300813.581 * * * * [misc]points: Computing exacts for 32 points 1554300813.585 * * * * [misc]points: Setting MPFR precision to 64 1554300813.587 * * * * [misc]points: Setting MPFR precision to 320 1554300813.590 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.590 * * * * [misc]points: Sampling 28 additional inputs, on iter 17 have 228 / 256 1554300813.590 * * * * [misc]points: Computing exacts for 28 points 1554300813.594 * * * * [misc]points: Setting MPFR precision to 64 1554300813.596 * * * * [misc]points: Setting MPFR precision to 320 1554300813.598 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.598 * * * * [misc]points: Sampling 26 additional inputs, on iter 18 have 230 / 256 1554300813.599 * * * * [misc]points: Computing exacts for 26 points 1554300813.603 * * * * [misc]points: Setting MPFR precision to 64 1554300813.605 * * * * [misc]points: Setting MPFR precision to 320 1554300813.607 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.607 * * * * [misc]points: Sampling 22 additional inputs, on iter 19 have 234 / 256 1554300813.607 * * * * [misc]points: Computing exacts for 22 points 1554300813.611 * * * * [misc]points: Setting MPFR precision to 64 1554300813.613 * * * * [misc]points: Setting MPFR precision to 320 1554300813.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.614 * * * * [misc]points: Sampling 19 additional inputs, on iter 20 have 237 / 256 1554300813.614 * * * * [misc]points: Computing exacts for 19 points 1554300813.618 * * * * [misc]points: Setting MPFR precision to 64 1554300813.620 * * * * [misc]points: Setting MPFR precision to 320 1554300813.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.621 * * * * [misc]points: Sampling 18 additional inputs, on iter 21 have 238 / 256 1554300813.622 * * * * [misc]points: Computing exacts for 18 points 1554300813.626 * * * * [misc]points: Setting MPFR precision to 64 1554300813.627 * * * * [misc]points: Setting MPFR precision to 320 1554300813.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.628 * * * * [misc]points: Sampling 14 additional inputs, on iter 22 have 242 / 256 1554300813.629 * * * * [misc]points: Computing exacts for 14 points 1554300813.633 * * * * [misc]points: Setting MPFR precision to 64 1554300813.634 * * * * [misc]points: Setting MPFR precision to 320 1554300813.635 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.635 * * * * [misc]points: Sampling 8 additional inputs, on iter 23 have 248 / 256 1554300813.635 * * * * [misc]points: Computing exacts for 8 points 1554300813.639 * * * * [misc]points: Setting MPFR precision to 64 1554300813.641 * * * * [misc]points: Setting MPFR precision to 320 1554300813.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.642 * * * * [misc]points: Sampling 7 additional inputs, on iter 24 have 249 / 256 1554300813.642 * * * * [misc]points: Computing exacts for 7 points 1554300813.649 * * * * [misc]points: Setting MPFR precision to 64 1554300813.650 * * * * [misc]points: Setting MPFR precision to 320 1554300813.651 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.651 * * * * [misc]points: Sampling 6 additional inputs, on iter 25 have 250 / 256 1554300813.651 * * * * [misc]points: Computing exacts for 6 points 1554300813.674 * * * * [misc]points: Setting MPFR precision to 64 1554300813.674 * * * * [misc]points: Setting MPFR precision to 320 1554300813.675 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.675 * * * * [misc]points: Sampling 5 additional inputs, on iter 26 have 251 / 256 1554300813.675 * * * * [misc]points: Computing exacts for 5 points 1554300813.679 * * * * [misc]points: Setting MPFR precision to 64 1554300813.679 * * * * [misc]points: Setting MPFR precision to 320 1554300813.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.680 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 253 / 256 1554300813.680 * * * * [misc]points: Computing exacts for 4 points 1554300813.684 * * * * [misc]points: Setting MPFR precision to 64 1554300813.685 * * * * [misc]points: Setting MPFR precision to 320 1554300813.685 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.685 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 253 / 256 1554300813.685 * * * * [misc]points: Computing exacts for 4 points 1554300813.689 * * * * [misc]points: Setting MPFR precision to 64 1554300813.689 * * * * [misc]points: Setting MPFR precision to 320 1554300813.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.690 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 253 / 256 1554300813.690 * * * * [misc]points: Computing exacts for 4 points 1554300813.694 * * * * [misc]points: Setting MPFR precision to 64 1554300813.694 * * * * [misc]points: Setting MPFR precision to 320 1554300813.695 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.695 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 253 / 256 1554300813.695 * * * * [misc]points: Computing exacts for 4 points 1554300813.699 * * * * [misc]points: Setting MPFR precision to 64 1554300813.699 * * * * [misc]points: Setting MPFR precision to 320 1554300813.700 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.700 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 254 / 256 1554300813.700 * * * * [misc]points: Computing exacts for 4 points 1554300813.704 * * * * [misc]points: Setting MPFR precision to 64 1554300813.705 * * * * [misc]points: Setting MPFR precision to 320 1554300813.705 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.705 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 254 / 256 1554300813.705 * * * * [misc]points: Computing exacts for 4 points 1554300813.709 * * * * [misc]points: Setting MPFR precision to 64 1554300813.709 * * * * [misc]points: Setting MPFR precision to 320 1554300813.710 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.710 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 255 / 256 1554300813.710 * * * * [misc]points: Computing exacts for 4 points 1554300813.714 * * * * [misc]points: Setting MPFR precision to 64 1554300813.714 * * * * [misc]points: Setting MPFR precision to 320 1554300813.715 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300813.715 * * * * [exit]points: Sampled 256 points with exact outputs 1554300813.715 * * * [misc]progress: [2/2] Setting up program. 1554300813.729 * [misc]progress: [Phase 2 of 3] Improving. 1554300813.729 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #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))))> 1554300813.729 * [enter]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))) 1554300813.729 * * [misc]simplify: iters left: 6 (19 enodes) 1554300813.734 * * [misc]simplify: iters left: 5 (76 enodes) 1554300813.763 * * [misc]simplify: iters left: 4 (344 enodes) 1554300813.984 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300813.984 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1554300813.986 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1554300813.992 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1554300814.024 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1554300814.040 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1554300814.051 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1554300814.072 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1554300814.119 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1554300814.186 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1554300814.246 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1554300814.302 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1554300814.302 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1554300814.331 * * [misc]progress: iteration 1 / 4 1554300814.331 * * * [misc]progress: picking best candidate 1554300814.359 * * * * [misc]pick: Picked #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))))> 1554300814.359 * * * [misc]progress: localizing error 1554300814.656 * * * [misc]progress: generating rewritten candidates 1554300814.656 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1554300814.664 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1554300814.670 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1554300814.672 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2) 1554300814.683 * * * [misc]progress: generating series expansions 1554300814.683 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1554300814.683 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1554300814.683 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1554300814.683 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2) 1554300814.683 * * * [misc]progress: simplifying candidates 1554300814.683 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate #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))))> 1554300814.684 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) 1554300814.684 * * [misc]simplify: iters left: 3 (8 enodes) 1554300814.688 * * [misc]simplify: iters left: 2 (20 enodes) 1554300814.693 * * [misc]simplify: iters left: 1 (26 enodes) 1554300814.699 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300814.699 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1554300814.699 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554300814.699 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1554300814.699 * * [misc]simplify: Extracting #4: cost 4 inf + 47 1554300814.699 * * [misc]simplify: Extracting #5: cost 1 inf + 1136 1554300814.700 * * [misc]simplify: Extracting #6: cost 0 inf + 1499 1554300814.700 * [exit]simplify: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) 1554300814.700 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1554300814.700 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate #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))))> 1554300814.700 * [enter]simplify: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i)) 1554300814.700 * * [misc]simplify: iters left: 3 (6 enodes) 1554300814.703 * * [misc]simplify: iters left: 2 (22 enodes) 1554300814.709 * * [misc]simplify: iters left: 1 (42 enodes) 1554300814.720 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300814.720 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1554300814.720 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1554300814.720 * * [misc]simplify: Extracting #3: cost 9 inf + 1412 1554300814.721 * * [misc]simplify: Extracting #4: cost 0 inf + 4393 1554300814.721 * [exit]simplify: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta))) 1554300814.721 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1554300814.722 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate #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))))> 1554300814.722 * [enter]simplify: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1554300814.722 * * [misc]simplify: iters left: 4 (11 enodes) 1554300814.726 * * [misc]simplify: iters left: 3 (34 enodes) 1554300814.735 * * [misc]simplify: iters left: 2 (62 enodes) 1554300814.753 * * [misc]simplify: iters left: 1 (116 enodes) 1554300814.785 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300814.785 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554300814.785 * * [misc]simplify: Extracting #2: cost 32 inf + 1 1554300814.785 * * [misc]simplify: Extracting #3: cost 28 inf + 688 1554300814.786 * * [misc]simplify: Extracting #4: cost 20 inf + 2471 1554300814.786 * * [misc]simplify: Extracting #5: cost 11 inf + 5213 1554300814.788 * * [misc]simplify: Extracting #6: cost 0 inf + 16616 1554300814.790 * [exit]simplify: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) 1554300814.790 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1554300814.791 * [enter]simplify: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1554300814.791 * * [misc]simplify: iters left: 5 (13 enodes) 1554300814.797 * * [misc]simplify: iters left: 4 (36 enodes) 1554300814.809 * * [misc]simplify: iters left: 3 (69 enodes) 1554300814.827 * * [misc]simplify: iters left: 2 (108 enodes) 1554300814.853 * * [misc]simplify: iters left: 1 (142 enodes) 1554300814.882 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300814.882 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300814.882 * * [misc]simplify: Extracting #2: cost 25 inf + 0 1554300814.883 * * [misc]simplify: Extracting #3: cost 26 inf + 2 1554300814.883 * * [misc]simplify: Extracting #4: cost 20 inf + 1217 1554300814.884 * * [misc]simplify: Extracting #5: cost 5 inf + 6972 1554300814.885 * * [misc]simplify: Extracting #6: cost 0 inf + 9668 1554300814.886 * [exit]simplify: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554300814.886 * [misc]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)))) 1554300814.886 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate #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))))> 1554300814.887 * [enter]simplify: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1554300814.887 * * [misc]simplify: iters left: 4 (11 enodes) 1554300814.891 * * [misc]simplify: iters left: 3 (33 enodes) 1554300814.901 * * [misc]simplify: iters left: 2 (87 enodes) 1554300814.945 * * [misc]simplify: iters left: 1 (455 enodes) 1554300815.612 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300815.613 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1554300815.614 * * [misc]simplify: Extracting #2: cost 349 inf + 2 1554300815.620 * * [misc]simplify: Extracting #3: cost 1015 inf + 2069 1554300815.631 * * [misc]simplify: Extracting #4: cost 974 inf + 36877 1554300815.661 * * [misc]simplify: Extracting #5: cost 686 inf + 251010 1554300815.756 * * [misc]simplify: Extracting #6: cost 123 inf + 839954 1554300815.838 * * [misc]simplify: Extracting #7: cost 0 inf + 991791 1554300815.922 * * [misc]simplify: Extracting #8: cost 0 inf + 989631 1554300816.011 * [exit]simplify: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)) 1554300816.011 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (/.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)))) 1554300816.011 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate #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))))))> 1554300816.011 * [enter]simplify: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1554300816.012 * * [misc]simplify: iters left: 4 (11 enodes) 1554300816.016 * * [misc]simplify: iters left: 3 (34 enodes) 1554300816.027 * * [misc]simplify: iters left: 2 (62 enodes) 1554300816.044 * * [misc]simplify: iters left: 1 (116 enodes) 1554300816.079 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300816.079 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554300816.079 * * [misc]simplify: Extracting #2: cost 32 inf + 1 1554300816.080 * * [misc]simplify: Extracting #3: cost 28 inf + 688 1554300816.080 * * [misc]simplify: Extracting #4: cost 20 inf + 2471 1554300816.081 * * [misc]simplify: Extracting #5: cost 11 inf + 5213 1554300816.083 * * [misc]simplify: Extracting #6: cost 0 inf + 16616 1554300816.085 * [exit]simplify: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) 1554300816.085 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) (/.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1554300816.085 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate #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))))> 1554300816.086 * [enter]simplify: Simplifying (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) 1554300816.086 * * [misc]simplify: iters left: 5 (12 enodes) 1554300816.089 * * [misc]simplify: iters left: 4 (32 enodes) 1554300816.101 * * [misc]simplify: iters left: 3 (90 enodes) 1554300816.133 * * [misc]simplify: iters left: 2 (378 enodes) 1554300816.392 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300816.392 * * [misc]simplify: Extracting #1: cost 90 inf + 0 1554300816.393 * * [misc]simplify: Extracting #2: cost 388 inf + 0 1554300816.395 * * [misc]simplify: Extracting #3: cost 380 inf + 3950 1554300816.401 * * [misc]simplify: Extracting #4: cost 272 inf + 84531 1554300816.421 * * [misc]simplify: Extracting #5: cost 20 inf + 357988 1554300816.449 * * [misc]simplify: Extracting #6: cost 0 inf + 384165 1554300816.474 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) 1554300816.474 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (real->posit16 1.0) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))))) 1554300816.474 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate #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))))))> 1554300816.474 * [enter]simplify: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) 1554300816.474 * * [misc]simplify: iters left: 5 (9 enodes) 1554300816.476 * * [misc]simplify: iters left: 4 (35 enodes) 1554300816.484 * * [misc]simplify: iters left: 3 (128 enodes) 1554300816.535 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300816.535 * * [misc]simplify: Extracting #1: cost 39 inf + 0 1554300816.535 * * [misc]simplify: Extracting #2: cost 167 inf + 1 1554300816.536 * * [misc]simplify: Extracting #3: cost 185 inf + 9642 1554300816.541 * * [misc]simplify: Extracting #4: cost 54 inf + 131260 1554300816.548 * * [misc]simplify: Extracting #5: cost 0 inf + 183768 1554300816.556 * [exit]simplify: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) 1554300816.556 * [misc]simplify: Simplified (2 1) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1554300816.556 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate #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)))))> 1554300816.556 * [enter]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))) 1554300816.556 * * [misc]simplify: iters left: 5 (15 enodes) 1554300816.560 * * [misc]simplify: iters left: 4 (44 enodes) 1554300816.574 * * [misc]simplify: iters left: 3 (112 enodes) 1554300816.603 * * [misc]simplify: iters left: 2 (473 enodes) 1554300816.885 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300816.885 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1554300816.886 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1554300816.890 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1554300816.896 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1554300816.904 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1554300816.924 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1554300816.964 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1554300817.003 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1554300817.055 * [exit]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)))) 1554300817.055 * [misc]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))))) 1554300817.056 * [enter]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))) 1554300817.056 * * [misc]simplify: iters left: 6 (17 enodes) 1554300817.060 * * [misc]simplify: iters left: 5 (52 enodes) 1554300817.071 * * [misc]simplify: iters left: 4 (154 enodes) 1554300817.135 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300817.136 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554300817.136 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1554300817.137 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1554300817.138 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1554300817.139 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1554300817.142 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1554300817.153 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1554300817.169 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1554300817.184 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1554300817.202 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1554300817.229 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1554300817.229 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1554300817.229 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate #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))))> 1554300817.229 * [enter]simplify: Simplifying (*.p16 i i) 1554300817.229 * * [misc]simplify: iters left: 1 (2 enodes) 1554300817.230 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300817.230 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554300817.230 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1554300817.230 * * [misc]simplify: Extracting #3: cost 0 inf + 322 1554300817.230 * [exit]simplify: Simplified to (*.p16 i i) 1554300817.230 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 alpha beta))) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1554300817.231 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate #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))))> 1554300817.231 * [enter]simplify: Simplifying (*.p16 i i) 1554300817.231 * * [misc]simplify: iters left: 1 (2 enodes) 1554300817.232 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300817.232 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554300817.232 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1554300817.232 * * [misc]simplify: Extracting #3: cost 0 inf + 322 1554300817.232 * [exit]simplify: Simplified to (*.p16 i i) 1554300817.232 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 (*.p16 beta alpha) (*.p16 (+.p16 alpha beta) i)) (*.p16 i i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1554300817.232 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate #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))))> 1554300817.232 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate #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))))> 1554300817.232 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate #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))))> 1554300817.232 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate #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))))> 1554300817.233 * [enter]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))) 1554300817.233 * * [misc]simplify: iters left: 6 (19 enodes) 1554300817.242 * * [misc]simplify: iters left: 5 (76 enodes) 1554300817.276 * * [misc]simplify: iters left: 4 (344 enodes) 1554300817.474 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300817.474 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1554300817.476 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1554300817.483 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1554300817.495 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1554300817.506 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1554300817.517 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1554300817.551 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1554300817.604 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1554300817.680 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1554300817.736 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1554300817.812 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1554300817.812 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1554300817.812 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate #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))))> 1554300817.812 * [enter]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))) 1554300817.813 * * [misc]simplify: iters left: 6 (19 enodes) 1554300817.821 * * [misc]simplify: iters left: 5 (76 enodes) 1554300817.851 * * [misc]simplify: iters left: 4 (344 enodes) 1554300818.349 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300818.349 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1554300818.350 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1554300818.354 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1554300818.363 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1554300818.386 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1554300818.396 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1554300818.420 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1554300818.470 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1554300818.527 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1554300818.601 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1554300818.656 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1554300818.656 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1554300818.656 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate #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))))> 1554300818.656 * [enter]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))) 1554300818.656 * * [misc]simplify: iters left: 6 (19 enodes) 1554300818.662 * * [misc]simplify: iters left: 5 (76 enodes) 1554300818.681 * * [misc]simplify: iters left: 4 (344 enodes) 1554300818.882 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300818.883 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1554300818.885 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1554300818.896 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1554300818.910 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1554300818.929 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1554300818.950 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1554300818.991 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1554300819.042 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1554300819.097 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1554300819.153 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1554300819.224 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1554300819.224 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1554300819.224 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate #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))))> 1554300819.224 * [enter]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))) 1554300819.224 * * [misc]simplify: iters left: 6 (19 enodes) 1554300819.229 * * [misc]simplify: iters left: 5 (76 enodes) 1554300819.250 * * [misc]simplify: iters left: 4 (344 enodes) 1554300819.443 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300819.443 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1554300819.444 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1554300819.447 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1554300819.455 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1554300819.465 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1554300819.479 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1554300819.524 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1554300819.613 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1554300819.717 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1554300819.787 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1554300819.843 * [exit]simplify: Simplified to (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))) 1554300819.843 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) (*.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0))))) 1554300819.843 * * * [misc]progress: adding candidates to table 1554300820.564 * * [misc]progress: iteration 2 / 4 1554300820.564 * * * [misc]progress: picking best candidate 1554300820.739 * * * * [misc]pick: Picked #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)))))> 1554300820.740 * * * [misc]progress: localizing error 1554300820.883 * * * [misc]progress: generating rewritten candidates 1554300820.883 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1554300820.885 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1554300820.889 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1554300820.894 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1554300820.902 * * * [misc]progress: generating series expansions 1554300820.903 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1554300820.903 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1554300820.903 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1554300820.903 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1554300820.903 * * * [misc]progress: simplifying candidates 1554300820.903 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #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)))))> 1554300820.903 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #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)))))> 1554300820.903 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1554300820.903 * * [misc]simplify: iters left: 4 (11 enodes) 1554300820.906 * * [misc]simplify: iters left: 3 (27 enodes) 1554300820.910 * * [misc]simplify: iters left: 2 (47 enodes) 1554300820.919 * * [misc]simplify: iters left: 1 (76 enodes) 1554300820.932 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300820.932 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554300820.933 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1554300820.933 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1554300820.933 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1554300820.933 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1554300820.934 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1554300820.934 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1554300820.934 * [misc]simplify: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))))) 1554300820.935 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #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))))))> 1554300820.935 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1554300820.935 * * [misc]simplify: iters left: 4 (8 enodes) 1554300820.937 * * [misc]simplify: iters left: 3 (26 enodes) 1554300820.944 * * [misc]simplify: iters left: 2 (53 enodes) 1554300820.953 * * [misc]simplify: iters left: 1 (91 enodes) 1554300820.966 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300820.966 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1554300820.966 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1554300820.966 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1554300820.967 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1554300820.967 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1554300820.968 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1554300820.968 * [misc]simplify: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1554300820.968 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #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)))))> 1554300820.969 * [enter]simplify: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i)) 1554300820.969 * * [misc]simplify: iters left: 3 (6 enodes) 1554300820.970 * * [misc]simplify: iters left: 2 (22 enodes) 1554300820.973 * * [misc]simplify: iters left: 1 (42 enodes) 1554300820.980 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300820.980 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1554300820.980 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1554300820.980 * * [misc]simplify: Extracting #3: cost 9 inf + 1412 1554300820.981 * * [misc]simplify: Extracting #4: cost 0 inf + 4393 1554300820.981 * [exit]simplify: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta))) 1554300820.981 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1554300820.981 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #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)))))> 1554300820.981 * [enter]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))) 1554300820.981 * * [misc]simplify: iters left: 5 (15 enodes) 1554300820.985 * * [misc]simplify: iters left: 4 (44 enodes) 1554300820.994 * * [misc]simplify: iters left: 3 (112 enodes) 1554300821.026 * * [misc]simplify: iters left: 2 (473 enodes) 1554300821.298 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300821.298 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1554300821.299 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1554300821.301 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1554300821.304 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1554300821.308 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1554300821.324 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1554300821.362 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1554300821.400 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1554300821.440 * [exit]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)))) 1554300821.440 * [misc]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))))) 1554300821.440 * [enter]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))) 1554300821.440 * * [misc]simplify: iters left: 6 (17 enodes) 1554300821.444 * * [misc]simplify: iters left: 5 (52 enodes) 1554300821.455 * * [misc]simplify: iters left: 4 (154 enodes) 1554300821.511 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300821.511 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554300821.511 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1554300821.512 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1554300821.513 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1554300821.515 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1554300821.518 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1554300821.529 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1554300821.544 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1554300821.560 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1554300821.576 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1554300821.602 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1554300821.602 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1554300821.603 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #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)))))> 1554300821.603 * [enter]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))) 1554300821.603 * * [misc]simplify: iters left: 5 (15 enodes) 1554300821.607 * * [misc]simplify: iters left: 4 (44 enodes) 1554300821.616 * * [misc]simplify: iters left: 3 (112 enodes) 1554300821.644 * * [misc]simplify: iters left: 2 (473 enodes) 1554300822.043 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.043 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1554300822.044 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1554300822.049 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1554300822.052 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1554300822.056 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1554300822.079 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1554300822.125 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1554300822.169 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1554300822.228 * [exit]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)))) 1554300822.228 * [misc]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))))) 1554300822.229 * [enter]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))) 1554300822.229 * * [misc]simplify: iters left: 6 (17 enodes) 1554300822.235 * * [misc]simplify: iters left: 5 (52 enodes) 1554300822.246 * * [misc]simplify: iters left: 4 (154 enodes) 1554300822.311 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.311 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554300822.311 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1554300822.312 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1554300822.313 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1554300822.315 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1554300822.317 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1554300822.335 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1554300822.364 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1554300822.392 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1554300822.420 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1554300822.448 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1554300822.448 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1554300822.449 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #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)))))> 1554300822.449 * [enter]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))) 1554300822.449 * * [misc]simplify: iters left: 5 (15 enodes) 1554300822.456 * * [misc]simplify: iters left: 4 (44 enodes) 1554300822.469 * * [misc]simplify: iters left: 3 (112 enodes) 1554300822.531 * * [misc]simplify: iters left: 2 (473 enodes) 1554300822.928 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.928 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1554300822.929 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1554300822.933 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1554300822.939 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1554300822.948 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1554300822.980 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1554300823.056 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1554300823.109 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1554300823.167 * [exit]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)))) 1554300823.167 * [misc]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))))) 1554300823.168 * [enter]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))) 1554300823.168 * * [misc]simplify: iters left: 6 (17 enodes) 1554300823.175 * * [misc]simplify: iters left: 5 (52 enodes) 1554300823.186 * * [misc]simplify: iters left: 4 (154 enodes) 1554300823.264 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300823.264 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554300823.264 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1554300823.266 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1554300823.268 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1554300823.271 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1554300823.276 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1554300823.299 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1554300823.331 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1554300823.359 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1554300823.388 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1554300823.422 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1554300823.422 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1554300823.423 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #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)))))> 1554300823.423 * [enter]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))) 1554300823.423 * * [misc]simplify: iters left: 5 (15 enodes) 1554300823.428 * * [misc]simplify: iters left: 4 (44 enodes) 1554300823.437 * * [misc]simplify: iters left: 3 (112 enodes) 1554300823.475 * * [misc]simplify: iters left: 2 (473 enodes) 1554300823.850 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300823.850 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1554300823.851 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1554300823.853 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1554300823.856 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1554300823.860 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1554300823.886 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1554300823.924 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1554300823.975 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1554300824.052 * [exit]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)))) 1554300824.052 * [misc]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))))) 1554300824.053 * [enter]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))) 1554300824.053 * * [misc]simplify: iters left: 6 (17 enodes) 1554300824.061 * * [misc]simplify: iters left: 5 (52 enodes) 1554300824.083 * * [misc]simplify: iters left: 4 (154 enodes) 1554300824.140 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300824.140 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554300824.141 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1554300824.141 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1554300824.143 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1554300824.144 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1554300824.147 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1554300824.158 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1554300824.176 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1554300824.197 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1554300824.228 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1554300824.258 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))) 1554300824.258 * [misc]simplify: Simplified (2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha beta) (*.p16 (+.p16 (+.p16 alpha beta) i) i)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) i) (-.p16 (+.p16 alpha beta) (real->posit16 1.0))))))) 1554300824.259 * * * [misc]progress: adding candidates to table 1554300824.613 * * [misc]progress: iteration 3 / 4 1554300824.613 * * * [misc]progress: picking best candidate 1554300824.938 * * * * [misc]pick: Picked #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)))))> 1554300824.938 * * * [misc]progress: localizing error 1554300825.046 * * * [misc]progress: generating rewritten candidates 1554300825.046 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1554300825.048 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1554300825.052 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1554300825.058 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1554300825.068 * * * [misc]progress: generating series expansions 1554300825.068 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1554300825.068 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1554300825.068 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1554300825.068 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1554300825.068 * * * [misc]progress: simplifying candidates 1554300825.068 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #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)))))> 1554300825.068 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1554300825.068 * * [misc]simplify: iters left: 4 (11 enodes) 1554300825.072 * * [misc]simplify: iters left: 3 (27 enodes) 1554300825.077 * * [misc]simplify: iters left: 2 (47 enodes) 1554300825.085 * * [misc]simplify: iters left: 1 (76 enodes) 1554300825.097 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.097 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554300825.097 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1554300825.097 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1554300825.098 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1554300825.098 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1554300825.099 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1554300825.099 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1554300825.099 * [misc]simplify: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))))) 1554300825.099 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #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))))))> 1554300825.099 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1554300825.100 * * [misc]simplify: iters left: 4 (8 enodes) 1554300825.101 * * [misc]simplify: iters left: 3 (26 enodes) 1554300825.106 * * [misc]simplify: iters left: 2 (53 enodes) 1554300825.127 * * [misc]simplify: iters left: 1 (91 enodes) 1554300825.153 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.153 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1554300825.153 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1554300825.153 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1554300825.154 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1554300825.155 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1554300825.157 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1554300825.157 * [misc]simplify: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1554300825.157 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #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)))))> 1554300825.158 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1554300825.158 * * [misc]simplify: iters left: 4 (9 enodes) 1554300825.162 * * [misc]simplify: iters left: 3 (21 enodes) 1554300825.168 * * [misc]simplify: iters left: 2 (27 enodes) 1554300825.176 * * [misc]simplify: iters left: 1 (28 enodes) 1554300825.184 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.184 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300825.184 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554300825.184 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1554300825.184 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1554300825.185 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1554300825.185 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1554300825.185 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1554300825.186 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1554300825.186 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #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)))))> 1554300825.186 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #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)))))> 1554300825.186 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #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)))))> 1554300825.186 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #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)))))> 1554300825.186 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #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)))))> 1554300825.187 * * * [misc]progress: adding candidates to table 1554300825.570 * * [misc]progress: iteration 4 / 4 1554300825.570 * * * [misc]progress: picking best candidate 1554300826.001 * * * * [misc]pick: Picked #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)))))> 1554300826.001 * * * [misc]progress: localizing error 1554300826.162 * * * [misc]progress: generating rewritten candidates 1554300826.162 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1554300826.167 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2) 1554300826.189 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) 1554300826.191 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) 1554300826.203 * * * [misc]progress: generating series expansions 1554300826.203 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1554300826.203 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2) 1554300826.203 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) 1554300826.203 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) 1554300826.203 * * * [misc]progress: simplifying candidates 1554300826.203 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> 1554300826.203 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1554300826.203 * * [misc]simplify: iters left: 4 (11 enodes) 1554300826.209 * * [misc]simplify: iters left: 3 (27 enodes) 1554300826.219 * * [misc]simplify: iters left: 2 (47 enodes) 1554300826.236 * * [misc]simplify: iters left: 1 (76 enodes) 1554300826.260 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.260 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554300826.260 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1554300826.260 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1554300826.260 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1554300826.261 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1554300826.262 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1554300826.263 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1554300826.263 * [misc]simplify: Simplified (2 2 2) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i))))) 1554300826.264 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> 1554300826.264 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1554300826.264 * * [misc]simplify: iters left: 4 (8 enodes) 1554300826.267 * * [misc]simplify: iters left: 3 (26 enodes) 1554300826.276 * * [misc]simplify: iters left: 2 (53 enodes) 1554300826.297 * * [misc]simplify: iters left: 1 (91 enodes) 1554300826.323 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.323 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1554300826.323 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1554300826.323 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1554300826.324 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1554300826.326 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1554300826.327 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1554300826.327 * [misc]simplify: Simplified (2 2 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))))) 1554300826.328 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate #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)))))> 1554300826.328 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1554300826.328 * * [misc]simplify: iters left: 4 (9 enodes) 1554300826.332 * * [misc]simplify: iters left: 3 (21 enodes) 1554300826.339 * * [misc]simplify: iters left: 2 (27 enodes) 1554300826.347 * * [misc]simplify: iters left: 1 (28 enodes) 1554300826.354 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.354 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300826.354 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554300826.354 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1554300826.354 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1554300826.355 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1554300826.355 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1554300826.355 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1554300826.355 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1554300826.356 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate #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)))))> 1554300826.356 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1554300826.356 * * [misc]simplify: iters left: 4 (9 enodes) 1554300826.360 * * [misc]simplify: iters left: 3 (21 enodes) 1554300826.367 * * [misc]simplify: iters left: 2 (27 enodes) 1554300826.375 * * [misc]simplify: iters left: 1 (28 enodes) 1554300826.382 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.382 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300826.382 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554300826.382 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1554300826.382 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1554300826.383 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1554300826.383 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1554300826.383 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1554300826.383 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1554300826.384 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate #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)))))> 1554300826.384 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1554300826.384 * * [misc]simplify: iters left: 4 (9 enodes) 1554300826.388 * * [misc]simplify: iters left: 3 (21 enodes) 1554300826.394 * * [misc]simplify: iters left: 2 (27 enodes) 1554300826.402 * * [misc]simplify: iters left: 1 (28 enodes) 1554300826.410 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.410 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300826.410 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554300826.410 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1554300826.410 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1554300826.410 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1554300826.411 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1554300826.411 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1554300826.411 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1554300826.411 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate #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)))))> 1554300826.412 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1554300826.412 * * [misc]simplify: iters left: 4 (9 enodes) 1554300826.416 * * [misc]simplify: iters left: 3 (21 enodes) 1554300826.423 * * [misc]simplify: iters left: 2 (27 enodes) 1554300826.434 * * [misc]simplify: iters left: 1 (28 enodes) 1554300826.443 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.443 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300826.443 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554300826.443 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1554300826.443 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1554300826.443 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1554300826.444 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1554300826.444 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1554300826.444 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (*.p16 (/.p16 (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))) 1554300826.444 * * * [misc]progress: adding candidates to table 1554300826.712 * [misc]progress: [Phase 3 of 3] Extracting. 1554300826.712 * * [misc]regime: Finding splitpoints for: (#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))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #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))))))> #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)))))> #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))))> #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))))> #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)))))> #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))))> #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))))))> #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)))))> #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))))> #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)))))> #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))))> #posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #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))))> #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)))))> #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)))))>) 1554300826.731 * * * [misc]regime-changes: Trying 3 branch expressions: (beta alpha i) 1554300826.731 * * * * [misc]regimes: Trying to branch on beta from (#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))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #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))))))> #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)))))> #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))))> #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))))> #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)))))> #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))))> #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))))))> #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)))))> #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))))> #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)))))> #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))))> #posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #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))))> #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)))))> #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)))))>) 1554300827.227 * * * * [misc]regimes: Trying to branch on alpha from (#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))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #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))))))> #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)))))> #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))))> #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))))> #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)))))> #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))))> #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))))))> #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)))))> #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))))> #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)))))> #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))))> #posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #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))))> #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)))))> #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)))))>) 1554300827.833 * * * * [misc]regimes: Trying to branch on i from (#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))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #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))))))> #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)))))> #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))))> #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))))> #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)))))> #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))))> #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))))))> #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)))))> #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))))> #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)))))> #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))))> #posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #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))))> #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)))))> #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)))))>) 1554300828.312 * * * [misc]regime: Found split indices: #