1550842863.896 * [misc]progress: [Phase 1 of 3] Setting up. 1550842863.896 * * * [misc]progress: [1/2] Preparing points 1550842863.898 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550842863.900 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550842863.906 * * * * [misc]points: Setting MPFR precision to 64 1550842863.909 * * * * [misc]points: Setting MPFR precision to 320 1550842863.911 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550842863.926 * * * * [misc]points: Setting MPFR precision to 64 1550842863.930 * * * * [misc]points: Setting MPFR precision to 320 1550842863.933 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550842863.941 * * * * [misc]points: Setting MPFR precision to 64 1550842863.948 * * * * [misc]points: Setting MPFR precision to 320 1550842863.954 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550842863.962 * * * * [misc]points: Setting MPFR precision to 64 1550842863.973 * * * * [misc]points: Setting MPFR precision to 320 1550842863.983 * * * * [misc]points: Computing exacts for 256 points 1550842863.992 * * * * [misc]points: Setting MPFR precision to 64 1550842864.024 * * * * [misc]points: Setting MPFR precision to 320 1550842864.042 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.044 * * * * [misc]points: Sampling 224 additional inputs, on iter 1 have 32 / 256 1550842864.045 * * * * [misc]points: Computing exacts on every 14 of 224 points to ramp up precision 1550842864.050 * * * * [misc]points: Setting MPFR precision to 64 1550842864.051 * * * * [misc]points: Setting MPFR precision to 320 1550842864.052 * * * * [misc]points: Computing exacts on every 7 of 224 points to ramp up precision 1550842864.077 * * * * [misc]points: Setting MPFR precision to 64 1550842864.080 * * * * [misc]points: Setting MPFR precision to 320 1550842864.082 * * * * [misc]points: Computing exacts on every 3 of 224 points to ramp up precision 1550842864.088 * * * * [misc]points: Setting MPFR precision to 64 1550842864.093 * * * * [misc]points: Setting MPFR precision to 320 1550842864.097 * * * * [misc]points: Computing exacts for 224 points 1550842864.102 * * * * [misc]points: Setting MPFR precision to 64 1550842864.119 * * * * [misc]points: Setting MPFR precision to 320 1550842864.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.138 * * * * [misc]points: Sampling 198 additional inputs, on iter 2 have 58 / 256 1550842864.139 * * * * [misc]points: Computing exacts on every 12 of 198 points to ramp up precision 1550842864.144 * * * * [misc]points: Setting MPFR precision to 64 1550842864.145 * * * * [misc]points: Setting MPFR precision to 320 1550842864.146 * * * * [misc]points: Computing exacts on every 6 of 198 points to ramp up precision 1550842864.150 * * * * [misc]points: Setting MPFR precision to 64 1550842864.153 * * * * [misc]points: Setting MPFR precision to 320 1550842864.155 * * * * [misc]points: Computing exacts on every 3 of 198 points to ramp up precision 1550842864.159 * * * * [misc]points: Setting MPFR precision to 64 1550842864.163 * * * * [misc]points: Setting MPFR precision to 320 1550842864.187 * * * * [misc]points: Computing exacts for 198 points 1550842864.192 * * * * [misc]points: Setting MPFR precision to 64 1550842864.207 * * * * [misc]points: Setting MPFR precision to 320 1550842864.221 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.223 * * * * [misc]points: Sampling 167 additional inputs, on iter 3 have 89 / 256 1550842864.224 * * * * [misc]points: Computing exacts on every 10 of 167 points to ramp up precision 1550842864.229 * * * * [misc]points: Setting MPFR precision to 64 1550842864.230 * * * * [misc]points: Setting MPFR precision to 320 1550842864.231 * * * * [misc]points: Computing exacts on every 5 of 167 points to ramp up precision 1550842864.235 * * * * [misc]points: Setting MPFR precision to 64 1550842864.237 * * * * [misc]points: Setting MPFR precision to 320 1550842864.239 * * * * [misc]points: Computing exacts on every 2 of 167 points to ramp up precision 1550842864.244 * * * * [misc]points: Setting MPFR precision to 64 1550842864.248 * * * * [misc]points: Setting MPFR precision to 320 1550842864.253 * * * * [misc]points: Computing exacts for 167 points 1550842864.258 * * * * [misc]points: Setting MPFR precision to 64 1550842864.269 * * * * [misc]points: Setting MPFR precision to 320 1550842864.302 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.304 * * * * [misc]points: Sampling 143 additional inputs, on iter 4 have 113 / 256 1550842864.305 * * * * [misc]points: Computing exacts on every 8 of 143 points to ramp up precision 1550842864.312 * * * * [misc]points: Setting MPFR precision to 64 1550842864.313 * * * * [misc]points: Setting MPFR precision to 320 1550842864.314 * * * * [misc]points: Computing exacts on every 4 of 143 points to ramp up precision 1550842864.319 * * * * [misc]points: Setting MPFR precision to 64 1550842864.321 * * * * [misc]points: Setting MPFR precision to 320 1550842864.323 * * * * [misc]points: Computing exacts on every 2 of 143 points to ramp up precision 1550842864.328 * * * * [misc]points: Setting MPFR precision to 64 1550842864.331 * * * * [misc]points: Setting MPFR precision to 320 1550842864.335 * * * * [misc]points: Computing exacts for 143 points 1550842864.339 * * * * [misc]points: Setting MPFR precision to 64 1550842864.349 * * * * [misc]points: Setting MPFR precision to 320 1550842864.360 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.361 * * * * [misc]points: Sampling 130 additional inputs, on iter 5 have 126 / 256 1550842864.361 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1550842864.366 * * * * [misc]points: Setting MPFR precision to 64 1550842864.367 * * * * [misc]points: Setting MPFR precision to 320 1550842864.368 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1550842864.372 * * * * [misc]points: Setting MPFR precision to 64 1550842864.374 * * * * [misc]points: Setting MPFR precision to 320 1550842864.377 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1550842864.381 * * * * [misc]points: Setting MPFR precision to 64 1550842864.401 * * * * [misc]points: Setting MPFR precision to 320 1550842864.404 * * * * [misc]points: Computing exacts for 130 points 1550842864.411 * * * * [misc]points: Setting MPFR precision to 64 1550842864.420 * * * * [misc]points: Setting MPFR precision to 320 1550842864.430 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.431 * * * * [misc]points: Sampling 110 additional inputs, on iter 6 have 146 / 256 1550842864.432 * * * * [misc]points: Computing exacts on every 6 of 110 points to ramp up precision 1550842864.437 * * * * [misc]points: Setting MPFR precision to 64 1550842864.438 * * * * [misc]points: Setting MPFR precision to 320 1550842864.439 * * * * [misc]points: Computing exacts on every 3 of 110 points to ramp up precision 1550842864.444 * * * * [misc]points: Setting MPFR precision to 64 1550842864.446 * * * * [misc]points: Setting MPFR precision to 320 1550842864.448 * * * * [misc]points: Computing exacts for 110 points 1550842864.452 * * * * [misc]points: Setting MPFR precision to 64 1550842864.461 * * * * [misc]points: Setting MPFR precision to 320 1550842864.469 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.470 * * * * [misc]points: Sampling 92 additional inputs, on iter 7 have 164 / 256 1550842864.470 * * * * [misc]points: Computing exacts on every 5 of 92 points to ramp up precision 1550842864.475 * * * * [misc]points: Setting MPFR precision to 64 1550842864.476 * * * * [misc]points: Setting MPFR precision to 320 1550842864.478 * * * * [misc]points: Computing exacts on every 2 of 92 points to ramp up precision 1550842864.482 * * * * [misc]points: Setting MPFR precision to 64 1550842864.484 * * * * [misc]points: Setting MPFR precision to 320 1550842864.487 * * * * [misc]points: Computing exacts for 92 points 1550842864.509 * * * * [misc]points: Setting MPFR precision to 64 1550842864.517 * * * * [misc]points: Setting MPFR precision to 320 1550842864.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.525 * * * * [misc]points: Sampling 80 additional inputs, on iter 8 have 176 / 256 1550842864.525 * * * * [misc]points: Computing exacts on every 5 of 80 points to ramp up precision 1550842864.530 * * * * [misc]points: Setting MPFR precision to 64 1550842864.531 * * * * [misc]points: Setting MPFR precision to 320 1550842864.532 * * * * [misc]points: Computing exacts on every 2 of 80 points to ramp up precision 1550842864.537 * * * * [misc]points: Setting MPFR precision to 64 1550842864.539 * * * * [misc]points: Setting MPFR precision to 320 1550842864.541 * * * * [misc]points: Computing exacts for 80 points 1550842864.546 * * * * [misc]points: Setting MPFR precision to 64 1550842864.551 * * * * [misc]points: Setting MPFR precision to 320 1550842864.558 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.559 * * * * [misc]points: Sampling 73 additional inputs, on iter 9 have 183 / 256 1550842864.560 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1550842864.567 * * * * [misc]points: Setting MPFR precision to 64 1550842864.569 * * * * [misc]points: Setting MPFR precision to 320 1550842864.571 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1550842864.578 * * * * [misc]points: Setting MPFR precision to 64 1550842864.581 * * * * [misc]points: Setting MPFR precision to 320 1550842864.584 * * * * [misc]points: Computing exacts for 73 points 1550842864.592 * * * * [misc]points: Setting MPFR precision to 64 1550842864.600 * * * * [misc]points: Setting MPFR precision to 320 1550842864.609 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.610 * * * * [misc]points: Sampling 63 additional inputs, on iter 10 have 193 / 256 1550842864.610 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1550842864.642 * * * * [misc]points: Setting MPFR precision to 64 1550842864.644 * * * * [misc]points: Setting MPFR precision to 320 1550842864.648 * * * * [misc]points: Computing exacts for 63 points 1550842864.657 * * * * [misc]points: Setting MPFR precision to 64 1550842864.664 * * * * [misc]points: Setting MPFR precision to 320 1550842864.672 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.673 * * * * [misc]points: Sampling 54 additional inputs, on iter 11 have 202 / 256 1550842864.673 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1550842864.680 * * * * [misc]points: Setting MPFR precision to 64 1550842864.682 * * * * [misc]points: Setting MPFR precision to 320 1550842864.684 * * * * [misc]points: Computing exacts for 54 points 1550842864.691 * * * * [misc]points: Setting MPFR precision to 64 1550842864.697 * * * * [misc]points: Setting MPFR precision to 320 1550842864.704 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.705 * * * * [misc]points: Sampling 43 additional inputs, on iter 12 have 213 / 256 1550842864.706 * * * * [misc]points: Computing exacts on every 2 of 43 points to ramp up precision 1550842864.713 * * * * [misc]points: Setting MPFR precision to 64 1550842864.715 * * * * [misc]points: Setting MPFR precision to 320 1550842864.716 * * * * [misc]points: Computing exacts for 43 points 1550842864.724 * * * * [misc]points: Setting MPFR precision to 64 1550842864.729 * * * * [misc]points: Setting MPFR precision to 320 1550842864.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.735 * * * * [misc]points: Sampling 36 additional inputs, on iter 13 have 220 / 256 1550842864.735 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1550842864.742 * * * * [misc]points: Setting MPFR precision to 64 1550842864.744 * * * * [misc]points: Setting MPFR precision to 320 1550842864.745 * * * * [misc]points: Computing exacts for 36 points 1550842864.753 * * * * [misc]points: Setting MPFR precision to 64 1550842864.757 * * * * [misc]points: Setting MPFR precision to 320 1550842864.762 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842864.762 * * * * [misc]points: Sampling 32 additional inputs, on iter 14 have 224 / 256 1550842864.763 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1550842865.139 * * * * [misc]points: Setting MPFR precision to 64 1550842865.140 * * * * [misc]points: Setting MPFR precision to 320 1550842865.141 * * * * [misc]points: Computing exacts for 32 points 1550842865.145 * * * * [misc]points: Setting MPFR precision to 64 1550842865.148 * * * * [misc]points: Setting MPFR precision to 320 1550842865.151 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.151 * * * * [misc]points: Sampling 27 additional inputs, on iter 15 have 229 / 256 1550842865.152 * * * * [misc]points: Computing exacts for 27 points 1550842865.156 * * * * [misc]points: Setting MPFR precision to 64 1550842865.159 * * * * [misc]points: Setting MPFR precision to 320 1550842865.162 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.162 * * * * [misc]points: Sampling 26 additional inputs, on iter 16 have 230 / 256 1550842865.162 * * * * [misc]points: Computing exacts for 26 points 1550842865.167 * * * * [misc]points: Setting MPFR precision to 64 1550842865.169 * * * * [misc]points: Setting MPFR precision to 320 1550842865.171 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.171 * * * * [misc]points: Sampling 22 additional inputs, on iter 17 have 234 / 256 1550842865.171 * * * * [misc]points: Computing exacts for 22 points 1550842865.176 * * * * [misc]points: Setting MPFR precision to 64 1550842865.177 * * * * [misc]points: Setting MPFR precision to 320 1550842865.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.179 * * * * [misc]points: Sampling 21 additional inputs, on iter 18 have 235 / 256 1550842865.179 * * * * [misc]points: Computing exacts for 21 points 1550842865.187 * * * * [misc]points: Setting MPFR precision to 64 1550842865.189 * * * * [misc]points: Setting MPFR precision to 320 1550842865.192 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.192 * * * * [misc]points: Sampling 17 additional inputs, on iter 19 have 239 / 256 1550842865.193 * * * * [misc]points: Computing exacts for 17 points 1550842865.201 * * * * [misc]points: Setting MPFR precision to 64 1550842865.203 * * * * [misc]points: Setting MPFR precision to 320 1550842865.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.206 * * * * [misc]points: Sampling 14 additional inputs, on iter 20 have 242 / 256 1550842865.206 * * * * [misc]points: Computing exacts for 14 points 1550842865.214 * * * * [misc]points: Setting MPFR precision to 64 1550842865.216 * * * * [misc]points: Setting MPFR precision to 320 1550842865.217 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.218 * * * * [misc]points: Sampling 13 additional inputs, on iter 21 have 243 / 256 1550842865.218 * * * * [misc]points: Computing exacts for 13 points 1550842865.226 * * * * [misc]points: Setting MPFR precision to 64 1550842865.227 * * * * [misc]points: Setting MPFR precision to 320 1550842865.229 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.229 * * * * [misc]points: Sampling 11 additional inputs, on iter 22 have 245 / 256 1550842865.229 * * * * [misc]points: Computing exacts for 11 points 1550842865.255 * * * * [misc]points: Setting MPFR precision to 64 1550842865.256 * * * * [misc]points: Setting MPFR precision to 320 1550842865.257 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.258 * * * * [misc]points: Sampling 9 additional inputs, on iter 23 have 247 / 256 1550842865.258 * * * * [misc]points: Computing exacts for 9 points 1550842865.265 * * * * [misc]points: Setting MPFR precision to 64 1550842865.267 * * * * [misc]points: Setting MPFR precision to 320 1550842865.268 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.268 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 247 / 256 1550842865.268 * * * * [misc]points: Computing exacts for 9 points 1550842865.276 * * * * [misc]points: Setting MPFR precision to 64 1550842865.277 * * * * [misc]points: Setting MPFR precision to 320 1550842865.278 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.279 * * * * [misc]points: Sampling 8 additional inputs, on iter 25 have 248 / 256 1550842865.279 * * * * [misc]points: Computing exacts for 8 points 1550842865.287 * * * * [misc]points: Setting MPFR precision to 64 1550842865.288 * * * * [misc]points: Setting MPFR precision to 320 1550842865.289 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.289 * * * * [misc]points: Sampling 8 additional inputs, on iter 26 have 248 / 256 1550842865.289 * * * * [misc]points: Computing exacts for 8 points 1550842865.298 * * * * [misc]points: Setting MPFR precision to 64 1550842865.300 * * * * [misc]points: Setting MPFR precision to 320 1550842865.301 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.301 * * * * [misc]points: Sampling 6 additional inputs, on iter 27 have 250 / 256 1550842865.301 * * * * [misc]points: Computing exacts for 6 points 1550842865.307 * * * * [misc]points: Setting MPFR precision to 64 1550842865.308 * * * * [misc]points: Setting MPFR precision to 320 1550842865.309 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.309 * * * * [misc]points: Sampling 6 additional inputs, on iter 28 have 250 / 256 1550842865.309 * * * * [misc]points: Computing exacts for 6 points 1550842865.317 * * * * [misc]points: Setting MPFR precision to 64 1550842865.318 * * * * [misc]points: Setting MPFR precision to 320 1550842865.319 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.319 * * * * [misc]points: Sampling 6 additional inputs, on iter 29 have 250 / 256 1550842865.319 * * * * [misc]points: Computing exacts for 6 points 1550842865.326 * * * * [misc]points: Setting MPFR precision to 64 1550842865.327 * * * * [misc]points: Setting MPFR precision to 320 1550842865.328 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.328 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 252 / 256 1550842865.328 * * * * [misc]points: Computing exacts for 4 points 1550842865.336 * * * * [misc]points: Setting MPFR precision to 64 1550842865.337 * * * * [misc]points: Setting MPFR precision to 320 1550842865.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.337 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 252 / 256 1550842865.337 * * * * [misc]points: Computing exacts for 4 points 1550842865.345 * * * * [misc]points: Setting MPFR precision to 64 1550842865.345 * * * * [misc]points: Setting MPFR precision to 320 1550842865.346 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.346 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 253 / 256 1550842865.346 * * * * [misc]points: Computing exacts for 4 points 1550842865.354 * * * * [misc]points: Setting MPFR precision to 64 1550842865.355 * * * * [misc]points: Setting MPFR precision to 320 1550842865.355 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.355 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 255 / 256 1550842865.355 * * * * [misc]points: Computing exacts for 4 points 1550842865.375 * * * * [misc]points: Setting MPFR precision to 64 1550842865.376 * * * * [misc]points: Setting MPFR precision to 320 1550842865.377 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842865.377 * * * * [exit]points: Sampled 256 points with exact outputs 1550842865.377 * * * [misc]progress: [2/2] Setting up program. 1550842865.419 * [misc]progress: [Phase 2 of 3] Improving. 1550842865.419 * * * * [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))))> 1550842865.419 * [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))) 1550842865.420 * * [misc]simplify: iters left: 6 (19 enodes) 1550842865.428 * * [misc]simplify: iters left: 5 (76 enodes) 1550842865.456 * * [misc]simplify: iters left: 4 (344 enodes) 1550842865.643 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842865.643 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550842865.644 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550842865.647 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550842865.654 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550842865.664 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550842865.674 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550842865.699 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550842865.769 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550842865.832 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550842865.903 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550842865.970 * [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)))) 1550842865.970 * [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))))) 1550842866.036 * * [misc]progress: iteration 1 / 4 1550842866.036 * * * [misc]progress: picking best candidate 1550842866.105 * * * * [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))))> 1550842866.106 * * * [misc]progress: localizing error 1550842866.572 * * * [misc]progress: generating rewritten candidates 1550842866.572 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1550842866.576 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1550842866.582 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550842866.584 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2) 1550842866.586 * * * [misc]progress: generating series expansions 1550842866.586 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1550842866.586 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1550842866.586 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550842866.586 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2) 1550842866.586 * * * [misc]progress: simplifying candidates 1550842866.586 * * * * [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))))> 1550842866.587 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) 1550842866.587 * * [misc]simplify: iters left: 3 (8 enodes) 1550842866.589 * * [misc]simplify: iters left: 2 (20 enodes) 1550842866.593 * * [misc]simplify: iters left: 1 (26 enodes) 1550842866.597 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842866.597 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550842866.597 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1550842866.597 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1550842866.597 * * [misc]simplify: Extracting #4: cost 4 inf + 47 1550842866.597 * * [misc]simplify: Extracting #5: cost 1 inf + 1136 1550842866.597 * * [misc]simplify: Extracting #6: cost 0 inf + 1499 1550842866.597 * [exit]simplify: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) 1550842866.597 * [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)))) 1550842866.597 * * * * [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))))> 1550842866.598 * [enter]simplify: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i)) 1550842866.598 * * [misc]simplify: iters left: 3 (6 enodes) 1550842866.599 * * [misc]simplify: iters left: 2 (22 enodes) 1550842866.603 * * [misc]simplify: iters left: 1 (42 enodes) 1550842866.617 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842866.617 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550842866.617 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550842866.617 * * [misc]simplify: Extracting #3: cost 9 inf + 1412 1550842866.618 * * [misc]simplify: Extracting #4: cost 0 inf + 4393 1550842866.626 * [exit]simplify: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta))) 1550842866.626 * [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)))) 1550842866.627 * * * * [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))))> 1550842866.627 * [enter]simplify: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842866.627 * * [misc]simplify: iters left: 4 (11 enodes) 1550842866.633 * * [misc]simplify: iters left: 3 (34 enodes) 1550842866.645 * * [misc]simplify: iters left: 2 (62 enodes) 1550842866.667 * * [misc]simplify: iters left: 1 (116 enodes) 1550842866.707 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842866.707 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550842866.707 * * [misc]simplify: Extracting #2: cost 32 inf + 1 1550842866.708 * * [misc]simplify: Extracting #3: cost 28 inf + 688 1550842866.708 * * [misc]simplify: Extracting #4: cost 20 inf + 2471 1550842866.709 * * [misc]simplify: Extracting #5: cost 11 inf + 5213 1550842866.711 * * [misc]simplify: Extracting #6: cost 0 inf + 16616 1550842866.714 * [exit]simplify: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) 1550842866.714 * [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)))) 1550842866.714 * [enter]simplify: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842866.714 * * [misc]simplify: iters left: 5 (13 enodes) 1550842866.721 * * [misc]simplify: iters left: 4 (36 enodes) 1550842866.734 * * [misc]simplify: iters left: 3 (69 enodes) 1550842866.757 * * [misc]simplify: iters left: 2 (108 enodes) 1550842866.791 * * [misc]simplify: iters left: 1 (142 enodes) 1550842866.831 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842866.831 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842866.832 * * [misc]simplify: Extracting #2: cost 25 inf + 0 1550842866.832 * * [misc]simplify: Extracting #3: cost 26 inf + 2 1550842866.832 * * [misc]simplify: Extracting #4: cost 20 inf + 1217 1550842866.833 * * [misc]simplify: Extracting #5: cost 5 inf + 6972 1550842866.835 * * [misc]simplify: Extracting #6: cost 0 inf + 9668 1550842866.836 * [exit]simplify: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1550842866.836 * [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)))) 1550842866.837 * * * * [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))))> 1550842866.837 * [enter]simplify: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1550842866.837 * * [misc]simplify: iters left: 4 (11 enodes) 1550842866.843 * * [misc]simplify: iters left: 3 (33 enodes) 1550842866.857 * * [misc]simplify: iters left: 2 (87 enodes) 1550842866.910 * * [misc]simplify: iters left: 1 (455 enodes) 1550842867.526 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842867.527 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550842867.527 * * [misc]simplify: Extracting #2: cost 349 inf + 2 1550842867.536 * * [misc]simplify: Extracting #3: cost 1015 inf + 2069 1550842867.542 * * [misc]simplify: Extracting #4: cost 974 inf + 36877 1550842867.559 * * [misc]simplify: Extracting #5: cost 686 inf + 251010 1550842867.613 * * [misc]simplify: Extracting #6: cost 123 inf + 839954 1550842867.714 * * [misc]simplify: Extracting #7: cost 0 inf + 991791 1550842867.818 * * [misc]simplify: Extracting #8: cost 0 inf + 989631 1550842867.891 * [exit]simplify: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)) 1550842867.891 * [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)))) 1550842867.891 * * * * [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))))))> 1550842867.891 * [enter]simplify: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842867.891 * * [misc]simplify: iters left: 4 (11 enodes) 1550842867.894 * * [misc]simplify: iters left: 3 (34 enodes) 1550842867.901 * * [misc]simplify: iters left: 2 (62 enodes) 1550842867.912 * * [misc]simplify: iters left: 1 (116 enodes) 1550842867.935 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842867.935 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550842867.936 * * [misc]simplify: Extracting #2: cost 32 inf + 1 1550842867.936 * * [misc]simplify: Extracting #3: cost 28 inf + 688 1550842867.936 * * [misc]simplify: Extracting #4: cost 20 inf + 2471 1550842867.936 * * [misc]simplify: Extracting #5: cost 11 inf + 5213 1550842867.937 * * [misc]simplify: Extracting #6: cost 0 inf + 16616 1550842867.939 * [exit]simplify: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) 1550842867.939 * [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)))))) 1550842867.939 * * * * [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))))> 1550842867.939 * [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)) 1550842867.939 * * [misc]simplify: iters left: 5 (12 enodes) 1550842867.943 * * [misc]simplify: iters left: 4 (32 enodes) 1550842867.950 * * [misc]simplify: iters left: 3 (90 enodes) 1550842867.979 * * [misc]simplify: iters left: 2 (378 enodes) 1550842868.220 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842868.221 * * [misc]simplify: Extracting #1: cost 90 inf + 0 1550842868.222 * * [misc]simplify: Extracting #2: cost 388 inf + 0 1550842868.224 * * [misc]simplify: Extracting #3: cost 380 inf + 3950 1550842868.229 * * [misc]simplify: Extracting #4: cost 272 inf + 84531 1550842868.252 * * [misc]simplify: Extracting #5: cost 20 inf + 357988 1550842868.287 * * [misc]simplify: Extracting #6: cost 0 inf + 384165 1550842868.340 * [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)))) 1550842868.340 * [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)))))) 1550842868.341 * * * * [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))))))> 1550842868.341 * [enter]simplify: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) 1550842868.341 * * [misc]simplify: iters left: 5 (9 enodes) 1550842868.346 * * [misc]simplify: iters left: 4 (35 enodes) 1550842868.362 * * [misc]simplify: iters left: 3 (128 enodes) 1550842868.462 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842868.462 * * [misc]simplify: Extracting #1: cost 39 inf + 0 1550842868.463 * * [misc]simplify: Extracting #2: cost 167 inf + 1 1550842868.464 * * [misc]simplify: Extracting #3: cost 185 inf + 9642 1550842868.473 * * [misc]simplify: Extracting #4: cost 54 inf + 131260 1550842868.488 * * [misc]simplify: Extracting #5: cost 0 inf + 183768 1550842868.504 * [exit]simplify: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) 1550842868.504 * [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)))))) 1550842868.504 * * * * [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)))))> 1550842868.504 * [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))) 1550842868.504 * * [misc]simplify: iters left: 5 (15 enodes) 1550842868.512 * * [misc]simplify: iters left: 4 (44 enodes) 1550842868.530 * * [misc]simplify: iters left: 3 (112 enodes) 1550842868.592 * * [misc]simplify: iters left: 2 (473 enodes) 1550842869.134 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.134 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550842869.135 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550842869.140 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550842869.146 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550842869.154 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550842869.184 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550842869.256 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550842869.335 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550842869.378 * [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)))) 1550842869.378 * [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))))) 1550842869.379 * [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))) 1550842869.379 * * [misc]simplify: iters left: 6 (17 enodes) 1550842869.386 * * [misc]simplify: iters left: 5 (52 enodes) 1550842869.398 * * [misc]simplify: iters left: 4 (154 enodes) 1550842869.480 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.480 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550842869.481 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550842869.482 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550842869.484 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550842869.487 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550842869.492 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550842869.514 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550842869.543 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550842869.574 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550842869.605 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550842869.632 * [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))))) 1550842869.632 * [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))))))) 1550842869.632 * * * * [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))))> 1550842869.632 * [enter]simplify: Simplifying (*.p16 i i) 1550842869.632 * * [misc]simplify: iters left: 1 (2 enodes) 1550842869.633 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.633 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550842869.633 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550842869.633 * * [misc]simplify: Extracting #3: cost 0 inf + 322 1550842869.633 * [exit]simplify: Simplified to (*.p16 i i) 1550842869.633 * [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)))) 1550842869.633 * * * * [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))))> 1550842869.633 * [enter]simplify: Simplifying (*.p16 i i) 1550842869.633 * * [misc]simplify: iters left: 1 (2 enodes) 1550842869.634 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.634 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550842869.634 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550842869.634 * * [misc]simplify: Extracting #3: cost 0 inf + 322 1550842869.634 * [exit]simplify: Simplified to (*.p16 i i) 1550842869.634 * [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)))) 1550842869.634 * * * * [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))))> 1550842869.634 * * * * [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))))> 1550842869.634 * * * * [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))))> 1550842869.634 * * * * [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))))> 1550842869.634 * [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))) 1550842869.634 * * [misc]simplify: iters left: 6 (19 enodes) 1550842869.640 * * [misc]simplify: iters left: 5 (76 enodes) 1550842869.665 * * [misc]simplify: iters left: 4 (344 enodes) 1550842869.919 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.919 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550842869.920 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550842869.926 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550842869.939 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550842869.961 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550842869.982 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550842870.031 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550842870.119 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550842870.220 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550842870.309 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550842870.390 * [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)))) 1550842870.390 * [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))))) 1550842870.390 * * * * [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))))> 1550842870.390 * [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))) 1550842870.390 * * [misc]simplify: iters left: 6 (19 enodes) 1550842870.396 * * [misc]simplify: iters left: 5 (76 enodes) 1550842870.418 * * [misc]simplify: iters left: 4 (344 enodes) 1550842870.662 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.662 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550842870.664 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550842870.671 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550842870.686 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550842870.708 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550842870.734 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550842870.770 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550842870.844 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550842870.935 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550842870.992 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550842871.082 * [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)))) 1550842871.082 * [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))))) 1550842871.082 * * * * [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))))> 1550842871.083 * [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))) 1550842871.083 * * [misc]simplify: iters left: 6 (19 enodes) 1550842871.094 * * [misc]simplify: iters left: 5 (76 enodes) 1550842871.139 * * [misc]simplify: iters left: 4 (344 enodes) 1550842871.422 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842871.422 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550842871.423 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550842871.426 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550842871.433 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550842871.447 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550842871.458 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550842871.479 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550842871.527 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550842871.583 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550842871.641 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550842871.709 * [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)))) 1550842871.709 * [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))))) 1550842871.709 * * * * [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))))> 1550842871.709 * [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))) 1550842871.710 * * [misc]simplify: iters left: 6 (19 enodes) 1550842871.717 * * [misc]simplify: iters left: 5 (76 enodes) 1550842871.741 * * [misc]simplify: iters left: 4 (344 enodes) 1550842872.000 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.000 * * [misc]simplify: Extracting #1: cost 75 inf + 0 1550842872.002 * * [misc]simplify: Extracting #2: cost 474 inf + 1 1550842872.009 * * [misc]simplify: Extracting #3: cost 742 inf + 26817 1550842872.024 * * [misc]simplify: Extracting #4: cost 684 inf + 140740 1550842872.044 * * [misc]simplify: Extracting #5: cost 611 inf + 190357 1550842872.066 * * [misc]simplify: Extracting #6: cost 583 inf + 205484 1550842872.108 * * [misc]simplify: Extracting #7: cost 359 inf + 460450 1550842872.190 * * [misc]simplify: Extracting #8: cost 52 inf + 927410 1550842872.249 * * [misc]simplify: Extracting #9: cost 0 inf + 1029213 1550842872.306 * * [misc]simplify: Extracting #10: cost 0 inf + 1027693 1550842872.363 * [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)))) 1550842872.363 * [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))))) 1550842872.363 * * * [misc]progress: adding candidates to table 1550842873.682 * * [misc]progress: iteration 2 / 4 1550842873.682 * * * [misc]progress: picking best candidate 1550842874.168 * * * * [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)))))> 1550842874.168 * * * [misc]progress: localizing error 1550842874.561 * * * [misc]progress: generating rewritten candidates 1550842874.561 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550842874.568 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1) 1550842874.573 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1550842874.580 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1550842874.589 * * * [misc]progress: generating series expansions 1550842874.589 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550842874.589 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1) 1550842874.589 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1550842874.589 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1550842874.589 * * * [misc]progress: simplifying candidates 1550842874.589 * * * * [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)))))> 1550842874.589 * * * * [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)))))> 1550842874.589 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1550842874.589 * * [misc]simplify: iters left: 4 (11 enodes) 1550842874.593 * * [misc]simplify: iters left: 3 (27 enodes) 1550842874.598 * * [misc]simplify: iters left: 2 (47 enodes) 1550842874.607 * * [misc]simplify: iters left: 1 (76 enodes) 1550842874.624 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842874.624 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550842874.624 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1550842874.624 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1550842874.624 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1550842874.625 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1550842874.625 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1550842874.626 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1550842874.626 * [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))))) 1550842874.626 * * * * [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))))))> 1550842874.626 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1550842874.626 * * [misc]simplify: iters left: 4 (8 enodes) 1550842874.628 * * [misc]simplify: iters left: 3 (26 enodes) 1550842874.633 * * [misc]simplify: iters left: 2 (53 enodes) 1550842874.645 * * [misc]simplify: iters left: 1 (91 enodes) 1550842874.666 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842874.666 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550842874.666 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550842874.666 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1550842874.667 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1550842874.667 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1550842874.668 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1550842874.668 * [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)))))) 1550842874.668 * * * * [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)))))> 1550842874.669 * [enter]simplify: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i)) 1550842874.669 * * [misc]simplify: iters left: 3 (6 enodes) 1550842874.670 * * [misc]simplify: iters left: 2 (22 enodes) 1550842874.674 * * [misc]simplify: iters left: 1 (42 enodes) 1550842874.681 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842874.681 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550842874.681 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550842874.681 * * [misc]simplify: Extracting #3: cost 9 inf + 1412 1550842874.682 * * [misc]simplify: Extracting #4: cost 0 inf + 4393 1550842874.682 * [exit]simplify: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta))) 1550842874.682 * [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))))) 1550842874.682 * * * * [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)))))> 1550842874.682 * [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))) 1550842874.682 * * [misc]simplify: iters left: 5 (15 enodes) 1550842874.686 * * [misc]simplify: iters left: 4 (44 enodes) 1550842874.695 * * [misc]simplify: iters left: 3 (112 enodes) 1550842874.733 * * [misc]simplify: iters left: 2 (473 enodes) 1550842875.242 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842875.242 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550842875.243 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550842875.247 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550842875.253 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550842875.262 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550842875.281 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550842875.348 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550842875.418 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550842875.485 * [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)))) 1550842875.485 * [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))))) 1550842875.486 * [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))) 1550842875.486 * * [misc]simplify: iters left: 6 (17 enodes) 1550842875.491 * * [misc]simplify: iters left: 5 (52 enodes) 1550842875.510 * * [misc]simplify: iters left: 4 (154 enodes) 1550842875.584 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842875.584 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550842875.584 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550842875.586 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550842875.588 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550842875.591 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550842875.596 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550842875.612 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550842875.627 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550842875.654 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550842875.690 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550842875.717 * [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))))) 1550842875.718 * [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))))))) 1550842875.718 * * * * [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)))))> 1550842875.718 * [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))) 1550842875.718 * * [misc]simplify: iters left: 5 (15 enodes) 1550842875.726 * * [misc]simplify: iters left: 4 (44 enodes) 1550842875.742 * * [misc]simplify: iters left: 3 (112 enodes) 1550842875.777 * * [misc]simplify: iters left: 2 (473 enodes) 1550842876.128 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.128 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550842876.129 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550842876.135 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550842876.138 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550842876.142 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550842876.157 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550842876.195 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550842876.236 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550842876.277 * [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)))) 1550842876.277 * [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))))) 1550842876.277 * [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))) 1550842876.277 * * [misc]simplify: iters left: 6 (17 enodes) 1550842876.282 * * [misc]simplify: iters left: 5 (52 enodes) 1550842876.296 * * [misc]simplify: iters left: 4 (154 enodes) 1550842876.347 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.347 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550842876.348 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550842876.348 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550842876.349 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550842876.351 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550842876.354 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550842876.368 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550842876.384 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550842876.401 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550842876.417 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550842876.433 * [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))))) 1550842876.433 * [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))))))) 1550842876.433 * * * * [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)))))> 1550842876.433 * [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))) 1550842876.433 * * [misc]simplify: iters left: 5 (15 enodes) 1550842876.438 * * [misc]simplify: iters left: 4 (44 enodes) 1550842876.449 * * [misc]simplify: iters left: 3 (112 enodes) 1550842876.494 * * [misc]simplify: iters left: 2 (473 enodes) 1550842876.874 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.874 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550842876.875 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550842876.878 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550842876.881 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550842876.885 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550842876.901 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550842876.950 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550842877.013 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550842877.054 * [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)))) 1550842877.054 * [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))))) 1550842877.055 * [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))) 1550842877.055 * * [misc]simplify: iters left: 6 (17 enodes) 1550842877.060 * * [misc]simplify: iters left: 5 (52 enodes) 1550842877.073 * * [misc]simplify: iters left: 4 (154 enodes) 1550842877.145 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842877.145 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550842877.146 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550842877.147 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550842877.149 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550842877.152 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550842877.157 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550842877.175 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550842877.203 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550842877.225 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550842877.241 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550842877.265 * [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))))) 1550842877.265 * [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))))))) 1550842877.265 * * * * [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)))))> 1550842877.266 * [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))) 1550842877.266 * * [misc]simplify: iters left: 5 (15 enodes) 1550842877.273 * * [misc]simplify: iters left: 4 (44 enodes) 1550842877.290 * * [misc]simplify: iters left: 3 (112 enodes) 1550842877.332 * * [misc]simplify: iters left: 2 (473 enodes) 1550842877.730 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842877.730 * * [misc]simplify: Extracting #1: cost 35 inf + 0 1550842877.730 * * [misc]simplify: Extracting #2: cost 286 inf + 1 1550842877.732 * * [misc]simplify: Extracting #3: cost 529 inf + 4158 1550842877.735 * * [misc]simplify: Extracting #4: cost 531 inf + 7620 1550842877.739 * * [misc]simplify: Extracting #5: cost 474 inf + 34154 1550842877.755 * * [misc]simplify: Extracting #6: cost 203 inf + 247830 1550842877.790 * * [misc]simplify: Extracting #7: cost 17 inf + 434257 1550842877.836 * * [misc]simplify: Extracting #8: cost 0 inf + 455708 1550842877.886 * [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)))) 1550842877.886 * [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))))) 1550842877.886 * [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))) 1550842877.886 * * [misc]simplify: iters left: 6 (17 enodes) 1550842877.891 * * [misc]simplify: iters left: 5 (52 enodes) 1550842877.904 * * [misc]simplify: iters left: 4 (154 enodes) 1550842877.955 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842877.955 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550842877.956 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550842877.956 * * [misc]simplify: Extracting #3: cost 277 inf + 366 1550842877.958 * * [misc]simplify: Extracting #4: cost 285 inf + 5479 1550842877.959 * * [misc]simplify: Extracting #5: cost 253 inf + 13586 1550842877.965 * * [misc]simplify: Extracting #6: cost 206 inf + 39659 1550842877.976 * * [misc]simplify: Extracting #7: cost 38 inf + 215233 1550842877.991 * * [misc]simplify: Extracting #8: cost 0 inf + 248609 1550842878.007 * * [misc]simplify: Extracting #9: cost 0 inf + 244529 1550842878.032 * * [misc]simplify: Extracting #10: cost 0 inf + 244169 1550842878.064 * [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))))) 1550842878.064 * [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))))))) 1550842878.064 * * * [misc]progress: adding candidates to table 1550842878.728 * * [misc]progress: iteration 3 / 4 1550842878.728 * * * [misc]progress: picking best candidate 1550842879.347 * * * * [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)))))> 1550842879.347 * * * [misc]progress: localizing error 1550842879.555 * * * [misc]progress: generating rewritten candidates 1550842879.555 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1550842879.561 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1550842879.569 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1550842879.581 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1550842879.601 * * * [misc]progress: generating series expansions 1550842879.602 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1550842879.602 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1550842879.602 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1550842879.602 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1550842879.602 * * * [misc]progress: simplifying candidates 1550842879.602 * * * * [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)))))> 1550842879.602 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1550842879.602 * * [misc]simplify: iters left: 4 (11 enodes) 1550842879.608 * * [misc]simplify: iters left: 3 (27 enodes) 1550842879.617 * * [misc]simplify: iters left: 2 (47 enodes) 1550842879.634 * * [misc]simplify: iters left: 1 (76 enodes) 1550842879.663 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842879.664 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550842879.664 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1550842879.664 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1550842879.664 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1550842879.665 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1550842879.666 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1550842879.667 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1550842879.667 * [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))))) 1550842879.668 * * * * [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))))))> 1550842879.668 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1550842879.668 * * [misc]simplify: iters left: 4 (8 enodes) 1550842879.672 * * [misc]simplify: iters left: 3 (26 enodes) 1550842879.681 * * [misc]simplify: iters left: 2 (53 enodes) 1550842879.701 * * [misc]simplify: iters left: 1 (91 enodes) 1550842879.729 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842879.729 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550842879.729 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550842879.730 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1550842879.730 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1550842879.732 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1550842879.734 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1550842879.734 * [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)))))) 1550842879.734 * * * * [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)))))> 1550842879.734 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842879.734 * * [misc]simplify: iters left: 4 (9 enodes) 1550842879.739 * * [misc]simplify: iters left: 3 (21 enodes) 1550842879.745 * * [misc]simplify: iters left: 2 (27 enodes) 1550842879.754 * * [misc]simplify: iters left: 1 (28 enodes) 1550842879.762 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842879.762 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842879.762 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550842879.762 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1550842879.762 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842879.762 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1550842879.763 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842879.763 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1550842879.763 * [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))))) 1550842879.764 * * * * [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)))))> 1550842879.764 * * * * [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)))))> 1550842879.764 * * * * [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)))))> 1550842879.764 * * * * [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)))))> 1550842879.764 * * * * [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)))))> 1550842879.764 * * * [misc]progress: adding candidates to table 1550842880.352 * * [misc]progress: iteration 4 / 4 1550842880.352 * * * [misc]progress: picking best candidate 1550842880.783 * * * * [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)))))> 1550842880.783 * * * [misc]progress: localizing error 1550842880.922 * * * [misc]progress: generating rewritten candidates 1550842880.922 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1550842880.925 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2) 1550842880.936 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) 1550842880.937 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) 1550842880.943 * * * [misc]progress: generating series expansions 1550842880.943 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1550842880.943 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2) 1550842880.943 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) 1550842880.943 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) 1550842880.943 * * * [misc]progress: simplifying candidates 1550842880.943 * * * * [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)))))> 1550842880.943 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1550842880.944 * * [misc]simplify: iters left: 4 (11 enodes) 1550842880.947 * * [misc]simplify: iters left: 3 (27 enodes) 1550842880.951 * * [misc]simplify: iters left: 2 (47 enodes) 1550842880.965 * * [misc]simplify: iters left: 1 (76 enodes) 1550842880.978 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842880.978 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550842880.978 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1550842880.978 * * [misc]simplify: Extracting #3: cost 13 inf + 89 1550842880.978 * * [misc]simplify: Extracting #4: cost 9 inf + 298 1550842880.978 * * [misc]simplify: Extracting #5: cost 1 inf + 2963 1550842880.979 * * [misc]simplify: Extracting #6: cost 0 inf + 3367 1550842880.980 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1550842880.980 * [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))))) 1550842880.980 * * * * [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))))))> 1550842880.980 * [enter]simplify: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1550842880.980 * * [misc]simplify: iters left: 4 (8 enodes) 1550842880.982 * * [misc]simplify: iters left: 3 (26 enodes) 1550842880.987 * * [misc]simplify: iters left: 2 (53 enodes) 1550842880.996 * * [misc]simplify: iters left: 1 (91 enodes) 1550842881.011 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842881.011 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550842881.011 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550842881.011 * * [misc]simplify: Extracting #3: cost 26 inf + 366 1550842881.012 * * [misc]simplify: Extracting #4: cost 9 inf + 8250 1550842881.012 * * [misc]simplify: Extracting #5: cost 0 inf + 15077 1550842881.014 * [exit]simplify: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1550842881.014 * [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)))))) 1550842881.014 * * * * [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)))))> 1550842881.014 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842881.014 * * [misc]simplify: iters left: 4 (9 enodes) 1550842881.016 * * [misc]simplify: iters left: 3 (21 enodes) 1550842881.020 * * [misc]simplify: iters left: 2 (27 enodes) 1550842881.024 * * [misc]simplify: iters left: 1 (28 enodes) 1550842881.028 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842881.028 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842881.028 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550842881.028 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1550842881.028 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842881.028 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1550842881.028 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842881.029 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1550842881.029 * [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))))) 1550842881.029 * * * * [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)))))> 1550842881.029 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842881.029 * * [misc]simplify: iters left: 4 (9 enodes) 1550842881.031 * * [misc]simplify: iters left: 3 (21 enodes) 1550842881.035 * * [misc]simplify: iters left: 2 (27 enodes) 1550842881.041 * * [misc]simplify: iters left: 1 (28 enodes) 1550842881.045 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842881.045 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842881.045 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550842881.045 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1550842881.045 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842881.046 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1550842881.046 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842881.046 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1550842881.046 * [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))))) 1550842881.046 * * * * [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)))))> 1550842881.046 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842881.046 * * [misc]simplify: iters left: 4 (9 enodes) 1550842881.049 * * [misc]simplify: iters left: 3 (21 enodes) 1550842881.053 * * [misc]simplify: iters left: 2 (27 enodes) 1550842881.057 * * [misc]simplify: iters left: 1 (28 enodes) 1550842881.062 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842881.062 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842881.062 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550842881.062 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1550842881.062 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842881.062 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1550842881.062 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842881.062 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1550842881.062 * [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))))) 1550842881.062 * * * * [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)))))> 1550842881.063 * [enter]simplify: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842881.063 * * [misc]simplify: iters left: 4 (9 enodes) 1550842881.066 * * [misc]simplify: iters left: 3 (21 enodes) 1550842881.069 * * [misc]simplify: iters left: 2 (27 enodes) 1550842881.074 * * [misc]simplify: iters left: 1 (28 enodes) 1550842881.078 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842881.078 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842881.078 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550842881.078 * * [misc]simplify: Extracting #3: cost 6 inf + 45 1550842881.078 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842881.078 * * [misc]simplify: Extracting #5: cost 1 inf + 1499 1550842881.079 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842881.079 * [exit]simplify: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1550842881.079 * [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))))) 1550842881.079 * * * [misc]progress: adding candidates to table 1550842881.318 * [misc]progress: [Phase 3 of 3] Extracting. 1550842881.318 * * [misc]regime: Finding splitpoints for: (#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 (+.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)) (+.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) (*.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 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 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 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))) (+.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 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)) (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 (*.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))))))> #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) (*.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 (+.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)))))> #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))))))>) 1550842881.328 * * * [misc]regime-changes: Trying 3 branch expressions: (beta alpha i) 1550842881.328 * * * * [misc]regimes: Trying to branch on beta from (#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 (+.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)) (+.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) (*.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 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 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 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))) (+.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 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)) (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 (*.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))))))> #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) (*.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 (+.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)))))> #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))))))>) 1550842882.084 * * * * [misc]regimes: Trying to branch on alpha from (#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 (+.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)) (+.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) (*.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 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 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 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))) (+.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 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)) (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 (*.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))))))> #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) (*.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 (+.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)))))> #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))))))>) 1550842882.745 * * * * [misc]regimes: Trying to branch on i from (#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 (+.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)) (+.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) (*.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 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) 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 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 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 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))) (+.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 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)) (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 (*.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))))))> #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) (*.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 (+.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)))))> #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))))))>) 1550842883.390 * * * [misc]regime: Found split indices: #