1552126571.451 * [progress]: [Phase 1 of 3] Setting up. 1552126571.451 * * * [progress]: [1/2] Preparing points 1552126571.452 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1552126571.454 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1552126571.459 * * * * [points]: Setting MPFR precision to 64 1552126571.462 * * * * [points]: Setting MPFR precision to 320 1552126571.464 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1552126571.470 * * * * [points]: Setting MPFR precision to 64 1552126571.473 * * * * [points]: Setting MPFR precision to 320 1552126571.477 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1552126571.483 * * * * [points]: Setting MPFR precision to 64 1552126571.489 * * * * [points]: Setting MPFR precision to 320 1552126571.495 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1552126571.502 * * * * [points]: Setting MPFR precision to 64 1552126571.523 * * * * [points]: Setting MPFR precision to 320 1552126571.530 * * * * [points]: Computing exacts for 256 points 1552126571.534 * * * * [points]: Setting MPFR precision to 64 1552126571.553 * * * * [points]: Setting MPFR precision to 320 1552126571.584 * * * * [points]: Filtering points with unrepresentable outputs 1552126571.587 * * * * [points]: Sampling 217 additional inputs, on iter 1 have 39 / 256 1552126571.589 * * * * [points]: Computing exacts on every 13 of 217 points to ramp up precision 1552126571.595 * * * * [points]: Setting MPFR precision to 64 1552126571.597 * * * * [points]: Setting MPFR precision to 320 1552126571.599 * * * * [points]: Computing exacts on every 6 of 217 points to ramp up precision 1552126571.606 * * * * [points]: Setting MPFR precision to 64 1552126571.609 * * * * [points]: Setting MPFR precision to 320 1552126571.613 * * * * [points]: Computing exacts on every 3 of 217 points to ramp up precision 1552126571.620 * * * * [points]: Setting MPFR precision to 64 1552126571.626 * * * * [points]: Setting MPFR precision to 320 1552126571.633 * * * * [points]: Computing exacts for 217 points 1552126571.640 * * * * [points]: Setting MPFR precision to 64 1552126571.694 * * * * [points]: Setting MPFR precision to 320 1552126571.721 * * * * [points]: Filtering points with unrepresentable outputs 1552126571.723 * * * * [points]: Sampling 185 additional inputs, on iter 2 have 71 / 256 1552126571.725 * * * * [points]: Computing exacts on every 11 of 185 points to ramp up precision 1552126571.732 * * * * [points]: Setting MPFR precision to 64 1552126571.733 * * * * [points]: Setting MPFR precision to 320 1552126571.735 * * * * [points]: Computing exacts on every 5 of 185 points to ramp up precision 1552126571.742 * * * * [points]: Setting MPFR precision to 64 1552126571.746 * * * * [points]: Setting MPFR precision to 320 1552126571.750 * * * * [points]: Computing exacts on every 2 of 185 points to ramp up precision 1552126571.756 * * * * [points]: Setting MPFR precision to 64 1552126571.764 * * * * [points]: Setting MPFR precision to 320 1552126571.771 * * * * [points]: Computing exacts for 185 points 1552126571.778 * * * * [points]: Setting MPFR precision to 64 1552126571.796 * * * * [points]: Setting MPFR precision to 320 1552126571.819 * * * * [points]: Filtering points with unrepresentable outputs 1552126571.821 * * * * [points]: Sampling 155 additional inputs, on iter 3 have 101 / 256 1552126571.822 * * * * [points]: Computing exacts on every 9 of 155 points to ramp up precision 1552126571.829 * * * * [points]: Setting MPFR precision to 64 1552126571.831 * * * * [points]: Setting MPFR precision to 320 1552126571.833 * * * * [points]: Computing exacts on every 4 of 155 points to ramp up precision 1552126571.869 * * * * [points]: Setting MPFR precision to 64 1552126571.873 * * * * [points]: Setting MPFR precision to 320 1552126571.877 * * * * [points]: Computing exacts on every 2 of 155 points to ramp up precision 1552126571.884 * * * * [points]: Setting MPFR precision to 64 1552126571.890 * * * * [points]: Setting MPFR precision to 320 1552126571.896 * * * * [points]: Computing exacts for 155 points 1552126571.903 * * * * [points]: Setting MPFR precision to 64 1552126571.920 * * * * [points]: Setting MPFR precision to 320 1552126571.932 * * * * [points]: Filtering points with unrepresentable outputs 1552126571.933 * * * * [points]: Sampling 133 additional inputs, on iter 4 have 123 / 256 1552126571.934 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision 1552126571.938 * * * * [points]: Setting MPFR precision to 64 1552126571.939 * * * * [points]: Setting MPFR precision to 320 1552126571.940 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision 1552126571.944 * * * * [points]: Setting MPFR precision to 64 1552126571.946 * * * * [points]: Setting MPFR precision to 320 1552126571.948 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision 1552126571.952 * * * * [points]: Setting MPFR precision to 64 1552126571.955 * * * * [points]: Setting MPFR precision to 320 1552126571.958 * * * * [points]: Computing exacts for 133 points 1552126571.962 * * * * [points]: Setting MPFR precision to 64 1552126571.971 * * * * [points]: Setting MPFR precision to 320 1552126572.004 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.005 * * * * [points]: Sampling 115 additional inputs, on iter 5 have 141 / 256 1552126572.006 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision 1552126572.011 * * * * [points]: Setting MPFR precision to 64 1552126572.012 * * * * [points]: Setting MPFR precision to 320 1552126572.013 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision 1552126572.018 * * * * [points]: Setting MPFR precision to 64 1552126572.020 * * * * [points]: Setting MPFR precision to 320 1552126572.022 * * * * [points]: Computing exacts for 115 points 1552126572.026 * * * * [points]: Setting MPFR precision to 64 1552126572.034 * * * * [points]: Setting MPFR precision to 320 1552126572.043 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.044 * * * * [points]: Sampling 106 additional inputs, on iter 6 have 150 / 256 1552126572.044 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision 1552126572.052 * * * * [points]: Setting MPFR precision to 64 1552126572.054 * * * * [points]: Setting MPFR precision to 320 1552126572.057 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision 1552126572.064 * * * * [points]: Setting MPFR precision to 64 1552126572.068 * * * * [points]: Setting MPFR precision to 320 1552126572.071 * * * * [points]: Computing exacts for 106 points 1552126572.078 * * * * [points]: Setting MPFR precision to 64 1552126572.085 * * * * [points]: Setting MPFR precision to 320 1552126572.093 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.093 * * * * [points]: Sampling 94 additional inputs, on iter 7 have 162 / 256 1552126572.094 * * * * [points]: Computing exacts on every 5 of 94 points to ramp up precision 1552126572.098 * * * * [points]: Setting MPFR precision to 64 1552126572.122 * * * * [points]: Setting MPFR precision to 320 1552126572.124 * * * * [points]: Computing exacts on every 2 of 94 points to ramp up precision 1552126572.131 * * * * [points]: Setting MPFR precision to 64 1552126572.135 * * * * [points]: Setting MPFR precision to 320 1552126572.140 * * * * [points]: Computing exacts for 94 points 1552126572.148 * * * * [points]: Setting MPFR precision to 64 1552126572.160 * * * * [points]: Setting MPFR precision to 320 1552126572.171 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.172 * * * * [points]: Sampling 77 additional inputs, on iter 8 have 179 / 256 1552126572.172 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision 1552126572.177 * * * * [points]: Setting MPFR precision to 64 1552126572.178 * * * * [points]: Setting MPFR precision to 320 1552126572.179 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision 1552126572.184 * * * * [points]: Setting MPFR precision to 64 1552126572.186 * * * * [points]: Setting MPFR precision to 320 1552126572.188 * * * * [points]: Computing exacts for 77 points 1552126572.192 * * * * [points]: Setting MPFR precision to 64 1552126572.198 * * * * [points]: Setting MPFR precision to 320 1552126572.204 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.204 * * * * [points]: Sampling 64 additional inputs, on iter 9 have 192 / 256 1552126572.205 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 1552126572.209 * * * * [points]: Setting MPFR precision to 64 1552126572.210 * * * * [points]: Setting MPFR precision to 320 1552126572.211 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 1552126572.216 * * * * [points]: Setting MPFR precision to 64 1552126572.219 * * * * [points]: Setting MPFR precision to 320 1552126572.222 * * * * [points]: Computing exacts for 64 points 1552126572.229 * * * * [points]: Setting MPFR precision to 64 1552126572.237 * * * * [points]: Setting MPFR precision to 320 1552126572.259 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.259 * * * * [points]: Sampling 60 additional inputs, on iter 10 have 196 / 256 1552126572.259 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 1552126572.266 * * * * [points]: Setting MPFR precision to 64 1552126572.268 * * * * [points]: Setting MPFR precision to 320 1552126572.270 * * * * [points]: Computing exacts for 60 points 1552126572.275 * * * * [points]: Setting MPFR precision to 64 1552126572.280 * * * * [points]: Setting MPFR precision to 320 1552126572.285 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.286 * * * * [points]: Sampling 48 additional inputs, on iter 11 have 208 / 256 1552126572.286 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision 1552126572.291 * * * * [points]: Setting MPFR precision to 64 1552126572.292 * * * * [points]: Setting MPFR precision to 320 1552126572.293 * * * * [points]: Computing exacts for 48 points 1552126572.298 * * * * [points]: Setting MPFR precision to 64 1552126572.301 * * * * [points]: Setting MPFR precision to 320 1552126572.305 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.306 * * * * [points]: Sampling 39 additional inputs, on iter 12 have 217 / 256 1552126572.306 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision 1552126572.310 * * * * [points]: Setting MPFR precision to 64 1552126572.311 * * * * [points]: Setting MPFR precision to 320 1552126572.312 * * * * [points]: Computing exacts for 39 points 1552126572.316 * * * * [points]: Setting MPFR precision to 64 1552126572.320 * * * * [points]: Setting MPFR precision to 320 1552126572.323 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.324 * * * * [points]: Sampling 29 additional inputs, on iter 13 have 227 / 256 1552126572.324 * * * * [points]: Computing exacts for 29 points 1552126572.328 * * * * [points]: Setting MPFR precision to 64 1552126572.331 * * * * [points]: Setting MPFR precision to 320 1552126572.333 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.334 * * * * [points]: Sampling 21 additional inputs, on iter 14 have 235 / 256 1552126572.334 * * * * [points]: Computing exacts for 21 points 1552126572.338 * * * * [points]: Setting MPFR precision to 64 1552126572.340 * * * * [points]: Setting MPFR precision to 320 1552126572.341 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.341 * * * * [points]: Sampling 19 additional inputs, on iter 15 have 237 / 256 1552126572.342 * * * * [points]: Computing exacts for 19 points 1552126572.346 * * * * [points]: Setting MPFR precision to 64 1552126572.365 * * * * [points]: Setting MPFR precision to 320 1552126572.367 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.368 * * * * [points]: Sampling 15 additional inputs, on iter 16 have 241 / 256 1552126572.368 * * * * [points]: Computing exacts for 15 points 1552126572.373 * * * * [points]: Setting MPFR precision to 64 1552126572.375 * * * * [points]: Setting MPFR precision to 320 1552126572.377 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.377 * * * * [points]: Sampling 13 additional inputs, on iter 17 have 243 / 256 1552126572.378 * * * * [points]: Computing exacts for 13 points 1552126572.384 * * * * [points]: Setting MPFR precision to 64 1552126572.386 * * * * [points]: Setting MPFR precision to 320 1552126572.389 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.390 * * * * [points]: Sampling 10 additional inputs, on iter 18 have 246 / 256 1552126572.390 * * * * [points]: Computing exacts for 10 points 1552126572.396 * * * * [points]: Setting MPFR precision to 64 1552126572.398 * * * * [points]: Setting MPFR precision to 320 1552126572.399 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.399 * * * * [points]: Sampling 9 additional inputs, on iter 19 have 247 / 256 1552126572.399 * * * * [points]: Computing exacts for 9 points 1552126572.406 * * * * [points]: Setting MPFR precision to 64 1552126572.408 * * * * [points]: Setting MPFR precision to 320 1552126572.409 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.409 * * * * [points]: Sampling 8 additional inputs, on iter 20 have 248 / 256 1552126572.409 * * * * [points]: Computing exacts for 8 points 1552126572.416 * * * * [points]: Setting MPFR precision to 64 1552126572.417 * * * * [points]: Setting MPFR precision to 320 1552126572.419 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.419 * * * * [points]: Sampling 7 additional inputs, on iter 21 have 249 / 256 1552126572.419 * * * * [points]: Computing exacts for 7 points 1552126572.427 * * * * [points]: Setting MPFR precision to 64 1552126572.428 * * * * [points]: Setting MPFR precision to 320 1552126572.429 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.429 * * * * [points]: Sampling 6 additional inputs, on iter 22 have 250 / 256 1552126572.429 * * * * [points]: Computing exacts for 6 points 1552126572.436 * * * * [points]: Setting MPFR precision to 64 1552126572.437 * * * * [points]: Setting MPFR precision to 320 1552126572.438 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.438 * * * * [points]: Sampling 5 additional inputs, on iter 23 have 251 / 256 1552126572.438 * * * * [points]: Computing exacts for 5 points 1552126572.445 * * * * [points]: Setting MPFR precision to 64 1552126572.445 * * * * [points]: Setting MPFR precision to 320 1552126572.446 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.446 * * * * [points]: Sampling 4 additional inputs, on iter 24 have 252 / 256 1552126572.446 * * * * [points]: Computing exacts for 4 points 1552126572.453 * * * * [points]: Setting MPFR precision to 64 1552126572.454 * * * * [points]: Setting MPFR precision to 320 1552126572.455 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.455 * * * * [points]: Sampling 4 additional inputs, on iter 25 have 252 / 256 1552126572.455 * * * * [points]: Computing exacts for 4 points 1552126572.461 * * * * [points]: Setting MPFR precision to 64 1552126572.462 * * * * [points]: Setting MPFR precision to 320 1552126572.463 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.463 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 253 / 256 1552126572.463 * * * * [points]: Computing exacts for 4 points 1552126572.470 * * * * [points]: Setting MPFR precision to 64 1552126572.470 * * * * [points]: Setting MPFR precision to 320 1552126572.471 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.471 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 254 / 256 1552126572.471 * * * * [points]: Computing exacts for 4 points 1552126572.478 * * * * [points]: Setting MPFR precision to 64 1552126572.479 * * * * [points]: Setting MPFR precision to 320 1552126572.479 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.480 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 255 / 256 1552126572.480 * * * * [points]: Computing exacts for 4 points 1552126572.501 * * * * [points]: Setting MPFR precision to 64 1552126572.501 * * * * [points]: Setting MPFR precision to 320 1552126572.502 * * * * [points]: Filtering points with unrepresentable outputs 1552126572.502 * * * * [points]: Sampled 256 points with exact outputs 1552126572.502 * * * [progress]: [2/2] Setting up program. 1552126572.537 * [progress]: [Phase 2 of 3] Improving. 1552126572.537 * * * * [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))))> 1552126572.538 * [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))) 1552126572.538 * * [simplify]: iters left: 6 (19 enodes) 1552126572.547 * * [simplify]: iters left: 5 (76 enodes) 1552126572.581 * * [simplify]: iters left: 4 (344 enodes) 1552126572.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126572.837 * * [simplify]: Extracting #1: cost 75 inf + 0 1552126572.839 * * [simplify]: Extracting #2: cost 474 inf + 1 1552126572.845 * * [simplify]: Extracting #3: cost 742 inf + 26817 1552126572.858 * * [simplify]: Extracting #4: cost 684 inf + 140740 1552126572.874 * * [simplify]: Extracting #5: cost 611 inf + 190357 1552126572.891 * * [simplify]: Extracting #6: cost 583 inf + 205484 1552126572.922 * * [simplify]: Extracting #7: cost 359 inf + 460450 1552126572.966 * * [simplify]: Extracting #8: cost 52 inf + 927410 1552126573.022 * * [simplify]: Extracting #9: cost 0 inf + 1029213 1552126573.097 * * [simplify]: Extracting #10: cost 0 inf + 1027693 1552126573.190 * [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)))) 1552126573.190 * [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))))) 1552126573.259 * * [progress]: iteration 1 / 4 1552126573.259 * * * [progress]: picking best candidate 1552126573.312 * * * * [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))))> 1552126573.312 * * * [progress]: localizing error 1552126573.731 * * * [progress]: generating rewritten candidates 1552126573.731 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1552126573.740 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1552126573.746 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1552126573.748 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1552126573.750 * * * [progress]: generating series expansions 1552126573.750 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1552126573.750 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1552126573.750 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1552126573.750 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 1552126573.750 * * * [progress]: simplifying candidates 1552126573.750 * * * * [progress]: [ 1 / 18 ] 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))))> 1552126573.750 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) 1552126573.750 * * [simplify]: iters left: 3 (8 enodes) 1552126573.754 * * [simplify]: iters left: 2 (20 enodes) 1552126573.757 * * [simplify]: iters left: 1 (26 enodes) 1552126573.761 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126573.761 * * [simplify]: Extracting #1: cost 7 inf + 0 1552126573.761 * * [simplify]: Extracting #2: cost 7 inf + 2 1552126573.761 * * [simplify]: Extracting #3: cost 6 inf + 45 1552126573.761 * * [simplify]: Extracting #4: cost 4 inf + 47 1552126573.762 * * [simplify]: Extracting #5: cost 1 inf + 1136 1552126573.762 * * [simplify]: Extracting #6: cost 0 inf + 1499 1552126573.762 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) 1552126573.762 * [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)))) 1552126573.762 * * * * [progress]: [ 2 / 18 ] 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))))> 1552126573.762 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i)) 1552126573.762 * * [simplify]: iters left: 3 (6 enodes) 1552126573.764 * * [simplify]: iters left: 2 (22 enodes) 1552126573.767 * * [simplify]: iters left: 1 (42 enodes) 1552126573.774 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126573.774 * * [simplify]: Extracting #1: cost 12 inf + 0 1552126573.774 * * [simplify]: Extracting #2: cost 16 inf + 1 1552126573.774 * * [simplify]: Extracting #3: cost 9 inf + 1412 1552126573.774 * * [simplify]: Extracting #4: cost 0 inf + 4393 1552126573.775 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta))) 1552126573.775 * [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)))) 1552126573.775 * * * * [progress]: [ 3 / 18 ] 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))))> 1552126573.775 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1552126573.775 * * [simplify]: iters left: 4 (11 enodes) 1552126573.778 * * [simplify]: iters left: 3 (34 enodes) 1552126573.793 * * [simplify]: iters left: 2 (62 enodes) 1552126573.804 * * [simplify]: iters left: 1 (116 enodes) 1552126573.825 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126573.825 * * [simplify]: Extracting #1: cost 18 inf + 0 1552126573.825 * * [simplify]: Extracting #2: cost 32 inf + 1 1552126573.825 * * [simplify]: Extracting #3: cost 28 inf + 688 1552126573.825 * * [simplify]: Extracting #4: cost 20 inf + 2471 1552126573.826 * * [simplify]: Extracting #5: cost 11 inf + 5213 1552126573.827 * * [simplify]: Extracting #6: cost 0 inf + 16616 1552126573.828 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) 1552126573.828 * [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)))) 1552126573.828 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1552126573.828 * * [simplify]: iters left: 5 (13 enodes) 1552126573.831 * * [simplify]: iters left: 4 (36 enodes) 1552126573.838 * * [simplify]: iters left: 3 (69 enodes) 1552126573.849 * * [simplify]: iters left: 2 (108 enodes) 1552126573.867 * * [simplify]: iters left: 1 (142 enodes) 1552126573.885 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126573.885 * * [simplify]: Extracting #1: cost 3 inf + 0 1552126573.885 * * [simplify]: Extracting #2: cost 25 inf + 0 1552126573.885 * * [simplify]: Extracting #3: cost 26 inf + 2 1552126573.886 * * [simplify]: Extracting #4: cost 20 inf + 1217 1552126573.886 * * [simplify]: Extracting #5: cost 5 inf + 6972 1552126573.887 * * [simplify]: Extracting #6: cost 0 inf + 9668 1552126573.888 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta i) (+.p16 i alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1552126573.888 * [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)))) 1552126573.888 * * * * [progress]: [ 4 / 18 ] 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))))> 1552126573.888 * [simplify]: Simplifying (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1552126573.888 * * [simplify]: iters left: 4 (11 enodes) 1552126573.891 * * [simplify]: iters left: 3 (33 enodes) 1552126573.897 * * [simplify]: iters left: 2 (87 enodes) 1552126573.925 * * [simplify]: iters left: 1 (455 enodes) 1552126574.373 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126574.374 * * [simplify]: Extracting #1: cost 38 inf + 0 1552126574.374 * * [simplify]: Extracting #2: cost 349 inf + 2 1552126574.377 * * [simplify]: Extracting #3: cost 1015 inf + 2069 1552126574.389 * * [simplify]: Extracting #4: cost 974 inf + 36877 1552126574.405 * * [simplify]: Extracting #5: cost 686 inf + 251010 1552126574.473 * * [simplify]: Extracting #6: cost 123 inf + 839954 1552126574.548 * * [simplify]: Extracting #7: cost 0 inf + 991791 1552126574.672 * * [simplify]: Extracting #8: cost 0 inf + 989631 1552126574.811 * [simplify]: Simplified to (+.p16 (-.p16 (+.p16 beta alpha) (real->posit16 1.0)) (*.p16 (real->posit16 2) i)) 1552126574.811 * [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)))) 1552126574.811 * * * * [progress]: [ 5 / 18 ] 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))))))> 1552126574.811 * [simplify]: Simplifying (/.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1552126574.812 * * [simplify]: iters left: 4 (11 enodes) 1552126574.817 * * [simplify]: iters left: 3 (34 enodes) 1552126574.828 * * [simplify]: iters left: 2 (62 enodes) 1552126574.844 * * [simplify]: iters left: 1 (116 enodes) 1552126574.865 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126574.865 * * [simplify]: Extracting #1: cost 18 inf + 0 1552126574.865 * * [simplify]: Extracting #2: cost 32 inf + 1 1552126574.866 * * [simplify]: Extracting #3: cost 28 inf + 688 1552126574.866 * * [simplify]: Extracting #4: cost 20 inf + 2471 1552126574.866 * * [simplify]: Extracting #5: cost 11 inf + 5213 1552126574.867 * * [simplify]: Extracting #6: cost 0 inf + 16616 1552126574.868 * [simplify]: Simplified to (*.p16 (/.p16 i (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (+.p16 (+.p16 alpha i) beta)) 1552126574.868 * [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)))))) 1552126574.869 * * * * [progress]: [ 6 / 18 ] 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))))> 1552126574.869 * [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)) 1552126574.869 * * [simplify]: iters left: 5 (12 enodes) 1552126574.872 * * [simplify]: iters left: 4 (32 enodes) 1552126574.878 * * [simplify]: iters left: 3 (90 enodes) 1552126574.906 * * [simplify]: iters left: 2 (378 enodes) 1552126575.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126575.139 * * [simplify]: Extracting #1: cost 90 inf + 0 1552126575.140 * * [simplify]: Extracting #2: cost 388 inf + 0 1552126575.141 * * [simplify]: Extracting #3: cost 380 inf + 3950 1552126575.146 * * [simplify]: Extracting #4: cost 272 inf + 84531 1552126575.167 * * [simplify]: Extracting #5: cost 20 inf + 357988 1552126575.215 * * [simplify]: Extracting #6: cost 0 inf + 384165 1552126575.253 * [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)))) 1552126575.253 * [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)))))) 1552126575.253 * * * * [progress]: [ 7 / 18 ] 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))))))> 1552126575.253 * [simplify]: Simplifying (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i)))) 1552126575.253 * * [simplify]: iters left: 5 (9 enodes) 1552126575.255 * * [simplify]: iters left: 4 (35 enodes) 1552126575.263 * * [simplify]: iters left: 3 (128 enodes) 1552126575.338 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126575.339 * * [simplify]: Extracting #1: cost 39 inf + 0 1552126575.339 * * [simplify]: Extracting #2: cost 167 inf + 1 1552126575.341 * * [simplify]: Extracting #3: cost 185 inf + 9642 1552126575.349 * * [simplify]: Extracting #4: cost 54 inf + 131260 1552126575.363 * * [simplify]: Extracting #5: cost 0 inf + 183768 1552126575.377 * [simplify]: Simplified to (*.p16 (*.p16 i (+.p16 i (+.p16 alpha beta))) (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 i (+.p16 alpha beta))))) 1552126575.378 * [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)))))) 1552126575.378 * * * * [progress]: [ 8 / 18 ] 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)))))> 1552126575.378 * [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))) 1552126575.378 * * [simplify]: iters left: 5 (15 enodes) 1552126575.382 * * [simplify]: iters left: 4 (44 enodes) 1552126575.390 * * [simplify]: iters left: 3 (112 enodes) 1552126575.422 * * [simplify]: iters left: 2 (473 enodes) 1552126575.857 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126575.857 * * [simplify]: Extracting #1: cost 35 inf + 0 1552126575.858 * * [simplify]: Extracting #2: cost 286 inf + 1 1552126575.862 * * [simplify]: Extracting #3: cost 529 inf + 4158 1552126575.865 * * [simplify]: Extracting #4: cost 531 inf + 7620 1552126575.869 * * [simplify]: Extracting #5: cost 474 inf + 34154 1552126575.887 * * [simplify]: Extracting #6: cost 203 inf + 247830 1552126575.930 * * [simplify]: Extracting #7: cost 17 inf + 434257 1552126576.009 * * [simplify]: Extracting #8: cost 0 inf + 455708 1552126576.067 * [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)))) 1552126576.067 * [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))))) 1552126576.067 * [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))) 1552126576.067 * * [simplify]: iters left: 6 (17 enodes) 1552126576.071 * * [simplify]: iters left: 5 (52 enodes) 1552126576.082 * * [simplify]: iters left: 4 (154 enodes) 1552126576.170 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126576.170 * * [simplify]: Extracting #1: cost 27 inf + 0 1552126576.170 * * [simplify]: Extracting #2: cost 137 inf + 0 1552126576.171 * * [simplify]: Extracting #3: cost 277 inf + 366 1552126576.172 * * [simplify]: Extracting #4: cost 285 inf + 5479 1552126576.173 * * [simplify]: Extracting #5: cost 253 inf + 13586 1552126576.176 * * [simplify]: Extracting #6: cost 206 inf + 39659 1552126576.186 * * [simplify]: Extracting #7: cost 38 inf + 215233 1552126576.203 * * [simplify]: Extracting #8: cost 0 inf + 248609 1552126576.218 * * [simplify]: Extracting #9: cost 0 inf + 244529 1552126576.236 * * [simplify]: Extracting #10: cost 0 inf + 244169 1552126576.260 * [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))))) 1552126576.260 * [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))))))) 1552126576.260 * * * * [progress]: [ 9 / 18 ] 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))))> 1552126576.260 * [simplify]: Simplifying (*.p16 i i) 1552126576.260 * * [simplify]: iters left: 1 (2 enodes) 1552126576.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126576.261 * * [simplify]: Extracting #1: cost 2 inf + 0 1552126576.261 * * [simplify]: Extracting #2: cost 1 inf + 1 1552126576.261 * * [simplify]: Extracting #3: cost 0 inf + 322 1552126576.261 * [simplify]: Simplified to (*.p16 i i) 1552126576.261 * [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)))) 1552126576.261 * * * * [progress]: [ 10 / 18 ] 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))))> 1552126576.261 * [simplify]: Simplifying (*.p16 i i) 1552126576.261 * * [simplify]: iters left: 1 (2 enodes) 1552126576.262 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126576.262 * * [simplify]: Extracting #1: cost 2 inf + 0 1552126576.262 * * [simplify]: Extracting #2: cost 1 inf + 1 1552126576.262 * * [simplify]: Extracting #3: cost 0 inf + 322 1552126576.262 * [simplify]: Simplified to (*.p16 i i) 1552126576.262 * [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)))) 1552126576.262 * * * * [progress]: [ 11 / 18 ] 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))))> 1552126576.262 * * * * [progress]: [ 12 / 18 ] 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))))> 1552126576.262 * [simplify]: Simplifying (*.p16 i i) 1552126576.262 * * [simplify]: iters left: 1 (2 enodes) 1552126576.263 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126576.263 * * [simplify]: Extracting #1: cost 2 inf + 0 1552126576.263 * * [simplify]: Extracting #2: cost 1 inf + 1 1552126576.263 * * [simplify]: Extracting #3: cost 0 inf + 322 1552126576.263 * [simplify]: Simplified to (*.p16 i i) 1552126576.263 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.p16 i (+.p16 alpha beta)) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1552126576.263 * * * * [progress]: [ 13 / 18 ] 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))))> 1552126576.263 * [simplify]: Simplifying (*.p16 i i) 1552126576.263 * * [simplify]: iters left: 1 (2 enodes) 1552126576.264 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126576.264 * * [simplify]: Extracting #1: cost 2 inf + 0 1552126576.264 * * [simplify]: Extracting #2: cost 1 inf + 1 1552126576.264 * * [simplify]: Extracting #3: cost 0 inf + 322 1552126576.264 * [simplify]: Simplified to (*.p16 i i) 1552126576.264 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (/.p16 (*.p16 (*.p16 i (+.p16 (+.p16 alpha beta) i)) (+.p16 (*.p16 beta alpha) (+.p16 (*.p16 (+.p16 alpha beta) i) (*.p16 i i)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))) 1552126576.264 * * * * [progress]: [ 14 / 18 ] 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))))> 1552126576.264 * * * * [progress]: [ 15 / 18 ] 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))))> 1552126576.264 * [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))) 1552126576.264 * * [simplify]: iters left: 6 (19 enodes) 1552126576.269 * * [simplify]: iters left: 5 (76 enodes) 1552126576.297 * * [simplify]: iters left: 4 (344 enodes) 1552126576.535 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126576.535 * * [simplify]: Extracting #1: cost 75 inf + 0 1552126576.537 * * [simplify]: Extracting #2: cost 474 inf + 1 1552126576.542 * * [simplify]: Extracting #3: cost 742 inf + 26817 1552126576.556 * * [simplify]: Extracting #4: cost 684 inf + 140740 1552126576.576 * * [simplify]: Extracting #5: cost 611 inf + 190357 1552126576.594 * * [simplify]: Extracting #6: cost 583 inf + 205484 1552126576.617 * * [simplify]: Extracting #7: cost 359 inf + 460450 1552126576.683 * * [simplify]: Extracting #8: cost 52 inf + 927410 1552126576.756 * * [simplify]: Extracting #9: cost 0 inf + 1029213 1552126576.825 * * [simplify]: Extracting #10: cost 0 inf + 1027693 1552126576.882 * [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)))) 1552126576.882 * [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))))) 1552126576.882 * * * * [progress]: [ 16 / 18 ] 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))))> 1552126576.882 * [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))) 1552126576.882 * * [simplify]: iters left: 6 (19 enodes) 1552126576.887 * * [simplify]: iters left: 5 (76 enodes) 1552126576.908 * * [simplify]: iters left: 4 (344 enodes) 1552126577.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126577.078 * * [simplify]: Extracting #1: cost 75 inf + 0 1552126577.079 * * [simplify]: Extracting #2: cost 474 inf + 1 1552126577.082 * * [simplify]: Extracting #3: cost 742 inf + 26817 1552126577.089 * * [simplify]: Extracting #4: cost 684 inf + 140740 1552126577.099 * * [simplify]: Extracting #5: cost 611 inf + 190357 1552126577.114 * * [simplify]: Extracting #6: cost 583 inf + 205484 1552126577.135 * * [simplify]: Extracting #7: cost 359 inf + 460450 1552126577.192 * * [simplify]: Extracting #8: cost 52 inf + 927410 1552126577.274 * * [simplify]: Extracting #9: cost 0 inf + 1029213 1552126577.354 * * [simplify]: Extracting #10: cost 0 inf + 1027693 1552126577.423 * [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)))) 1552126577.423 * [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))))) 1552126577.423 * * * * [progress]: [ 17 / 18 ] 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))))> 1552126577.423 * [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))) 1552126577.423 * * [simplify]: iters left: 6 (19 enodes) 1552126577.428 * * [simplify]: iters left: 5 (76 enodes) 1552126577.450 * * [simplify]: iters left: 4 (344 enodes) 1552126577.630 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126577.630 * * [simplify]: Extracting #1: cost 75 inf + 0 1552126577.633 * * [simplify]: Extracting #2: cost 474 inf + 1 1552126577.638 * * [simplify]: Extracting #3: cost 742 inf + 26817 1552126577.651 * * [simplify]: Extracting #4: cost 684 inf + 140740 1552126577.673 * * [simplify]: Extracting #5: cost 611 inf + 190357 1552126577.684 * * [simplify]: Extracting #6: cost 583 inf + 205484 1552126577.706 * * [simplify]: Extracting #7: cost 359 inf + 460450 1552126577.782 * * [simplify]: Extracting #8: cost 52 inf + 927410 1552126577.857 * * [simplify]: Extracting #9: cost 0 inf + 1029213 1552126577.939 * * [simplify]: Extracting #10: cost 0 inf + 1027693 1552126578.015 * [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)))) 1552126578.015 * [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))))) 1552126578.015 * * * * [progress]: [ 18 / 18 ] 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))))> 1552126578.015 * [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))) 1552126578.016 * * [simplify]: iters left: 6 (19 enodes) 1552126578.021 * * [simplify]: iters left: 5 (76 enodes) 1552126578.053 * * [simplify]: iters left: 4 (344 enodes) 1552126578.282 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126578.282 * * [simplify]: Extracting #1: cost 75 inf + 0 1552126578.284 * * [simplify]: Extracting #2: cost 474 inf + 1 1552126578.291 * * [simplify]: Extracting #3: cost 742 inf + 26817 1552126578.306 * * [simplify]: Extracting #4: cost 684 inf + 140740 1552126578.327 * * [simplify]: Extracting #5: cost 611 inf + 190357 1552126578.348 * * [simplify]: Extracting #6: cost 583 inf + 205484 1552126578.375 * * [simplify]: Extracting #7: cost 359 inf + 460450 1552126578.817 * * [simplify]: Extracting #8: cost 52 inf + 927410 1552126578.930 * * [simplify]: Extracting #9: cost 0 inf + 1029213 1552126579.010 * * [simplify]: Extracting #10: cost 0 inf + 1027693 1552126579.067 * [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)))) 1552126579.067 * [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))))) 1552126579.067 * * * [progress]: adding candidates to table 1552126580.823 * * [progress]: iteration 2 / 4 1552126580.823 * * * [progress]: picking best candidate 1552126581.185 * * * * [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)))))> 1552126581.185 * * * [progress]: localizing error 1552126581.543 * * * [progress]: generating rewritten candidates 1552126581.543 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1552126581.546 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1552126581.549 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1552126581.555 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1552126581.563 * * * [progress]: generating series expansions 1552126581.563 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1552126581.564 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1552126581.564 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1552126581.564 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1552126581.564 * * * [progress]: simplifying candidates 1552126581.564 * * * * [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)))))> 1552126581.564 * * * * [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)))))> 1552126581.564 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1552126581.564 * * [simplify]: iters left: 4 (11 enodes) 1552126581.567 * * [simplify]: iters left: 3 (27 enodes) 1552126581.572 * * [simplify]: iters left: 2 (47 enodes) 1552126581.588 * * [simplify]: iters left: 1 (76 enodes) 1552126581.613 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126581.613 * * [simplify]: Extracting #1: cost 16 inf + 0 1552126581.613 * * [simplify]: Extracting #2: cost 17 inf + 2 1552126581.614 * * [simplify]: Extracting #3: cost 13 inf + 89 1552126581.614 * * [simplify]: Extracting #4: cost 9 inf + 298 1552126581.615 * * [simplify]: Extracting #5: cost 1 inf + 2963 1552126581.616 * * [simplify]: Extracting #6: cost 0 inf + 3367 1552126581.617 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1552126581.617 * [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))))) 1552126581.617 * * * * [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))))))> 1552126581.618 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1552126581.618 * * [simplify]: iters left: 4 (8 enodes) 1552126581.622 * * [simplify]: iters left: 3 (26 enodes) 1552126581.628 * * [simplify]: iters left: 2 (53 enodes) 1552126581.637 * * [simplify]: iters left: 1 (91 enodes) 1552126581.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126581.651 * * [simplify]: Extracting #1: cost 24 inf + 0 1552126581.651 * * [simplify]: Extracting #2: cost 31 inf + 0 1552126581.651 * * [simplify]: Extracting #3: cost 26 inf + 366 1552126581.651 * * [simplify]: Extracting #4: cost 9 inf + 8250 1552126581.652 * * [simplify]: Extracting #5: cost 0 inf + 15077 1552126581.653 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1552126581.653 * [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)))))) 1552126581.653 * * * * [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)))))> 1552126581.653 * [simplify]: Simplifying (*.p16 i (+.p16 (+.p16 alpha beta) i)) 1552126581.653 * * [simplify]: iters left: 3 (6 enodes) 1552126581.654 * * [simplify]: iters left: 2 (22 enodes) 1552126581.658 * * [simplify]: iters left: 1 (42 enodes) 1552126581.664 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126581.665 * * [simplify]: Extracting #1: cost 12 inf + 0 1552126581.665 * * [simplify]: Extracting #2: cost 16 inf + 1 1552126581.665 * * [simplify]: Extracting #3: cost 9 inf + 1412 1552126581.666 * * [simplify]: Extracting #4: cost 0 inf + 4393 1552126581.667 * [simplify]: Simplified to (*.p16 i (+.p16 i (+.p16 alpha beta))) 1552126581.667 * [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))))) 1552126581.667 * * * * [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)))))> 1552126581.667 * [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))) 1552126581.667 * * [simplify]: iters left: 5 (15 enodes) 1552126581.671 * * [simplify]: iters left: 4 (44 enodes) 1552126581.679 * * [simplify]: iters left: 3 (112 enodes) 1552126581.714 * * [simplify]: iters left: 2 (473 enodes) 1552126582.002 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126582.002 * * [simplify]: Extracting #1: cost 35 inf + 0 1552126582.002 * * [simplify]: Extracting #2: cost 286 inf + 1 1552126582.005 * * [simplify]: Extracting #3: cost 529 inf + 4158 1552126582.010 * * [simplify]: Extracting #4: cost 531 inf + 7620 1552126582.019 * * [simplify]: Extracting #5: cost 474 inf + 34154 1552126582.044 * * [simplify]: Extracting #6: cost 203 inf + 247830 1552126582.079 * * [simplify]: Extracting #7: cost 17 inf + 434257 1552126582.119 * * [simplify]: Extracting #8: cost 0 inf + 455708 1552126582.164 * [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)))) 1552126582.164 * [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))))) 1552126582.164 * [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))) 1552126582.164 * * [simplify]: iters left: 6 (17 enodes) 1552126582.169 * * [simplify]: iters left: 5 (52 enodes) 1552126582.190 * * [simplify]: iters left: 4 (154 enodes) 1552126582.253 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126582.253 * * [simplify]: Extracting #1: cost 27 inf + 0 1552126582.253 * * [simplify]: Extracting #2: cost 137 inf + 0 1552126582.254 * * [simplify]: Extracting #3: cost 277 inf + 366 1552126582.256 * * [simplify]: Extracting #4: cost 285 inf + 5479 1552126582.260 * * [simplify]: Extracting #5: cost 253 inf + 13586 1552126582.265 * * [simplify]: Extracting #6: cost 206 inf + 39659 1552126582.286 * * [simplify]: Extracting #7: cost 38 inf + 215233 1552126582.316 * * [simplify]: Extracting #8: cost 0 inf + 248609 1552126582.351 * * [simplify]: Extracting #9: cost 0 inf + 244529 1552126582.381 * * [simplify]: Extracting #10: cost 0 inf + 244169 1552126582.413 * [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))))) 1552126582.413 * [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))))))) 1552126582.413 * * * * [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)))))> 1552126582.414 * [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))) 1552126582.414 * * [simplify]: iters left: 5 (15 enodes) 1552126582.421 * * [simplify]: iters left: 4 (44 enodes) 1552126582.438 * * [simplify]: iters left: 3 (112 enodes) 1552126582.500 * * [simplify]: iters left: 2 (473 enodes) 1552126583.035 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126583.035 * * [simplify]: Extracting #1: cost 35 inf + 0 1552126583.036 * * [simplify]: Extracting #2: cost 286 inf + 1 1552126583.040 * * [simplify]: Extracting #3: cost 529 inf + 4158 1552126583.046 * * [simplify]: Extracting #4: cost 531 inf + 7620 1552126583.054 * * [simplify]: Extracting #5: cost 474 inf + 34154 1552126583.086 * * [simplify]: Extracting #6: cost 203 inf + 247830 1552126583.155 * * [simplify]: Extracting #7: cost 17 inf + 434257 1552126583.194 * * [simplify]: Extracting #8: cost 0 inf + 455708 1552126583.234 * [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)))) 1552126583.234 * [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))))) 1552126583.234 * [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))) 1552126583.235 * * [simplify]: iters left: 6 (17 enodes) 1552126583.239 * * [simplify]: iters left: 5 (52 enodes) 1552126583.251 * * [simplify]: iters left: 4 (154 enodes) 1552126583.304 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126583.304 * * [simplify]: Extracting #1: cost 27 inf + 0 1552126583.304 * * [simplify]: Extracting #2: cost 137 inf + 0 1552126583.305 * * [simplify]: Extracting #3: cost 277 inf + 366 1552126583.306 * * [simplify]: Extracting #4: cost 285 inf + 5479 1552126583.307 * * [simplify]: Extracting #5: cost 253 inf + 13586 1552126583.310 * * [simplify]: Extracting #6: cost 206 inf + 39659 1552126583.320 * * [simplify]: Extracting #7: cost 38 inf + 215233 1552126583.336 * * [simplify]: Extracting #8: cost 0 inf + 248609 1552126583.351 * * [simplify]: Extracting #9: cost 0 inf + 244529 1552126583.367 * * [simplify]: Extracting #10: cost 0 inf + 244169 1552126583.384 * [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))))) 1552126583.384 * [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))))))) 1552126583.384 * * * * [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)))))> 1552126583.384 * [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))) 1552126583.384 * * [simplify]: iters left: 5 (15 enodes) 1552126583.388 * * [simplify]: iters left: 4 (44 enodes) 1552126583.396 * * [simplify]: iters left: 3 (112 enodes) 1552126583.425 * * [simplify]: iters left: 2 (473 enodes) 1552126583.743 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126583.743 * * [simplify]: Extracting #1: cost 35 inf + 0 1552126583.743 * * [simplify]: Extracting #2: cost 286 inf + 1 1552126583.746 * * [simplify]: Extracting #3: cost 529 inf + 4158 1552126583.749 * * [simplify]: Extracting #4: cost 531 inf + 7620 1552126583.753 * * [simplify]: Extracting #5: cost 474 inf + 34154 1552126583.772 * * [simplify]: Extracting #6: cost 203 inf + 247830 1552126583.809 * * [simplify]: Extracting #7: cost 17 inf + 434257 1552126583.849 * * [simplify]: Extracting #8: cost 0 inf + 455708 1552126583.926 * [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)))) 1552126583.926 * [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))))) 1552126583.927 * [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))) 1552126583.927 * * [simplify]: iters left: 6 (17 enodes) 1552126583.935 * * [simplify]: iters left: 5 (52 enodes) 1552126583.958 * * [simplify]: iters left: 4 (154 enodes) 1552126584.029 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126584.029 * * [simplify]: Extracting #1: cost 27 inf + 0 1552126584.030 * * [simplify]: Extracting #2: cost 137 inf + 0 1552126584.030 * * [simplify]: Extracting #3: cost 277 inf + 366 1552126584.032 * * [simplify]: Extracting #4: cost 285 inf + 5479 1552126584.033 * * [simplify]: Extracting #5: cost 253 inf + 13586 1552126584.036 * * [simplify]: Extracting #6: cost 206 inf + 39659 1552126584.047 * * [simplify]: Extracting #7: cost 38 inf + 215233 1552126584.080 * * [simplify]: Extracting #8: cost 0 inf + 248609 1552126584.110 * * [simplify]: Extracting #9: cost 0 inf + 244529 1552126584.141 * * [simplify]: Extracting #10: cost 0 inf + 244169 1552126584.172 * [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))))) 1552126584.172 * [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))))))) 1552126584.172 * * * * [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)))))> 1552126584.173 * [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))) 1552126584.173 * * [simplify]: iters left: 5 (15 enodes) 1552126584.180 * * [simplify]: iters left: 4 (44 enodes) 1552126584.197 * * [simplify]: iters left: 3 (112 enodes) 1552126584.245 * * [simplify]: iters left: 2 (473 enodes) 1552126584.528 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126584.528 * * [simplify]: Extracting #1: cost 35 inf + 0 1552126584.529 * * [simplify]: Extracting #2: cost 286 inf + 1 1552126584.533 * * [simplify]: Extracting #3: cost 529 inf + 4158 1552126584.539 * * [simplify]: Extracting #4: cost 531 inf + 7620 1552126584.547 * * [simplify]: Extracting #5: cost 474 inf + 34154 1552126584.579 * * [simplify]: Extracting #6: cost 203 inf + 247830 1552126584.656 * * [simplify]: Extracting #7: cost 17 inf + 434257 1552126584.698 * * [simplify]: Extracting #8: cost 0 inf + 455708 1552126584.738 * [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)))) 1552126584.738 * [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))))) 1552126584.738 * [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))) 1552126584.738 * * [simplify]: iters left: 6 (17 enodes) 1552126584.743 * * [simplify]: iters left: 5 (52 enodes) 1552126584.754 * * [simplify]: iters left: 4 (154 enodes) 1552126584.822 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126584.822 * * [simplify]: Extracting #1: cost 27 inf + 0 1552126584.822 * * [simplify]: Extracting #2: cost 137 inf + 0 1552126584.824 * * [simplify]: Extracting #3: cost 277 inf + 366 1552126584.826 * * [simplify]: Extracting #4: cost 285 inf + 5479 1552126584.829 * * [simplify]: Extracting #5: cost 253 inf + 13586 1552126584.834 * * [simplify]: Extracting #6: cost 206 inf + 39659 1552126584.845 * * [simplify]: Extracting #7: cost 38 inf + 215233 1552126584.860 * * [simplify]: Extracting #8: cost 0 inf + 248609 1552126584.876 * * [simplify]: Extracting #9: cost 0 inf + 244529 1552126584.892 * * [simplify]: Extracting #10: cost 0 inf + 244169 1552126584.909 * [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))))) 1552126584.909 * [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))))))) 1552126584.909 * * * [progress]: adding candidates to table 1552126585.444 * * [progress]: iteration 3 / 4 1552126585.444 * * * [progress]: picking best candidate 1552126585.966 * * * * [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)))))> 1552126585.966 * * * [progress]: localizing error 1552126586.160 * * * [progress]: generating rewritten candidates 1552126586.160 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1552126586.166 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1552126586.174 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1552126586.186 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1552126586.207 * * * [progress]: generating series expansions 1552126586.207 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1552126586.207 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1552126586.207 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1552126586.207 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1552126586.207 * * * [progress]: simplifying candidates 1552126586.207 * * * * [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)))))> 1552126586.208 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1552126586.208 * * [simplify]: iters left: 4 (11 enodes) 1552126586.214 * * [simplify]: iters left: 3 (27 enodes) 1552126586.223 * * [simplify]: iters left: 2 (47 enodes) 1552126586.235 * * [simplify]: iters left: 1 (76 enodes) 1552126586.248 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126586.248 * * [simplify]: Extracting #1: cost 16 inf + 0 1552126586.248 * * [simplify]: Extracting #2: cost 17 inf + 2 1552126586.248 * * [simplify]: Extracting #3: cost 13 inf + 89 1552126586.251 * * [simplify]: Extracting #4: cost 9 inf + 298 1552126586.252 * * [simplify]: Extracting #5: cost 1 inf + 2963 1552126586.253 * * [simplify]: Extracting #6: cost 0 inf + 3367 1552126586.254 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1552126586.255 * [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))))) 1552126586.255 * * * * [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))))))> 1552126586.255 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1552126586.255 * * [simplify]: iters left: 4 (8 enodes) 1552126586.259 * * [simplify]: iters left: 3 (26 enodes) 1552126586.268 * * [simplify]: iters left: 2 (53 enodes) 1552126586.287 * * [simplify]: iters left: 1 (91 enodes) 1552126586.314 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126586.314 * * [simplify]: Extracting #1: cost 24 inf + 0 1552126586.315 * * [simplify]: Extracting #2: cost 31 inf + 0 1552126586.315 * * [simplify]: Extracting #3: cost 26 inf + 366 1552126586.316 * * [simplify]: Extracting #4: cost 9 inf + 8250 1552126586.317 * * [simplify]: Extracting #5: cost 0 inf + 15077 1552126586.318 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1552126586.318 * [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)))))) 1552126586.318 * * * * [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)))))> 1552126586.318 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1552126586.318 * * [simplify]: iters left: 4 (9 enodes) 1552126586.321 * * [simplify]: iters left: 3 (21 enodes) 1552126586.324 * * [simplify]: iters left: 2 (27 enodes) 1552126586.329 * * [simplify]: iters left: 1 (28 enodes) 1552126586.333 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126586.333 * * [simplify]: Extracting #1: cost 3 inf + 0 1552126586.333 * * [simplify]: Extracting #2: cost 8 inf + 1 1552126586.333 * * [simplify]: Extracting #3: cost 6 inf + 45 1552126586.333 * * [simplify]: Extracting #4: cost 7 inf + 45 1552126586.333 * * [simplify]: Extracting #5: cost 1 inf + 1499 1552126586.333 * * [simplify]: Extracting #6: cost 0 inf + 2343 1552126586.333 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1552126586.333 * [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))))) 1552126586.334 * * * * [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)))))> 1552126586.334 * * * * [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)))))> 1552126586.334 * * * * [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)))))> 1552126586.334 * * * * [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)))))> 1552126586.334 * * * * [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)))))> 1552126586.334 * * * [progress]: adding candidates to table 1552126586.901 * * [progress]: iteration 4 / 4 1552126586.901 * * * [progress]: picking best candidate 1552126587.545 * * * * [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)))))> 1552126587.545 * * * [progress]: localizing error 1552126587.786 * * * [progress]: generating rewritten candidates 1552126587.786 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1552126587.793 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1552126587.818 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1552126587.821 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1552126587.832 * * * [progress]: generating series expansions 1552126587.832 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1552126587.832 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1552126587.833 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1552126587.833 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1552126587.833 * * * [progress]: simplifying candidates 1552126587.833 * * * * [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)))))> 1552126587.833 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) 1552126587.833 * * [simplify]: iters left: 4 (11 enodes) 1552126587.839 * * [simplify]: iters left: 3 (27 enodes) 1552126587.848 * * [simplify]: iters left: 2 (47 enodes) 1552126587.865 * * [simplify]: iters left: 1 (76 enodes) 1552126587.888 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126587.889 * * [simplify]: Extracting #1: cost 16 inf + 0 1552126587.889 * * [simplify]: Extracting #2: cost 17 inf + 2 1552126587.889 * * [simplify]: Extracting #3: cost 13 inf + 89 1552126587.889 * * [simplify]: Extracting #4: cost 9 inf + 298 1552126587.890 * * [simplify]: Extracting #5: cost 1 inf + 2963 1552126587.891 * * [simplify]: Extracting #6: cost 0 inf + 3367 1552126587.892 * [simplify]: Simplified to (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 1.0))) (*.p16 (real->posit16 2) i)) 1552126587.892 * [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))))) 1552126587.893 * * * * [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))))))> 1552126587.893 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) 1552126587.893 * * [simplify]: iters left: 4 (8 enodes) 1552126587.897 * * [simplify]: iters left: 3 (26 enodes) 1552126587.906 * * [simplify]: iters left: 2 (53 enodes) 1552126587.927 * * [simplify]: iters left: 1 (91 enodes) 1552126587.954 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126587.954 * * [simplify]: Extracting #1: cost 24 inf + 0 1552126587.954 * * [simplify]: Extracting #2: cost 31 inf + 0 1552126587.954 * * [simplify]: Extracting #3: cost 26 inf + 366 1552126587.955 * * [simplify]: Extracting #4: cost 9 inf + 8250 1552126587.956 * * [simplify]: Extracting #5: cost 0 inf + 15077 1552126587.958 * [simplify]: Simplified to (+.p16 (*.p16 alpha (+.p16 beta i)) (*.p16 (+.p16 beta i) i)) 1552126587.958 * [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)))))) 1552126587.958 * * * * [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)))))> 1552126587.959 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1552126587.959 * * [simplify]: iters left: 4 (9 enodes) 1552126587.963 * * [simplify]: iters left: 3 (21 enodes) 1552126587.970 * * [simplify]: iters left: 2 (27 enodes) 1552126587.978 * * [simplify]: iters left: 1 (28 enodes) 1552126587.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126587.986 * * [simplify]: Extracting #1: cost 3 inf + 0 1552126587.986 * * [simplify]: Extracting #2: cost 8 inf + 1 1552126587.986 * * [simplify]: Extracting #3: cost 6 inf + 45 1552126587.986 * * [simplify]: Extracting #4: cost 7 inf + 45 1552126587.986 * * [simplify]: Extracting #5: cost 1 inf + 1499 1552126587.987 * * [simplify]: Extracting #6: cost 0 inf + 2343 1552126587.987 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1552126587.987 * [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))))) 1552126587.987 * * * * [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)))))> 1552126587.988 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1552126587.988 * * [simplify]: iters left: 4 (9 enodes) 1552126587.992 * * [simplify]: iters left: 3 (21 enodes) 1552126587.999 * * [simplify]: iters left: 2 (27 enodes) 1552126588.008 * * [simplify]: iters left: 1 (28 enodes) 1552126588.015 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126588.015 * * [simplify]: Extracting #1: cost 3 inf + 0 1552126588.015 * * [simplify]: Extracting #2: cost 8 inf + 1 1552126588.015 * * [simplify]: Extracting #3: cost 6 inf + 45 1552126588.016 * * [simplify]: Extracting #4: cost 7 inf + 45 1552126588.016 * * [simplify]: Extracting #5: cost 1 inf + 1499 1552126588.016 * * [simplify]: Extracting #6: cost 0 inf + 2343 1552126588.016 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1552126588.017 * [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))))) 1552126588.017 * * * * [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)))))> 1552126588.017 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1552126588.017 * * [simplify]: iters left: 4 (9 enodes) 1552126588.020 * * [simplify]: iters left: 3 (21 enodes) 1552126588.024 * * [simplify]: iters left: 2 (27 enodes) 1552126588.029 * * [simplify]: iters left: 1 (28 enodes) 1552126588.033 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126588.033 * * [simplify]: Extracting #1: cost 3 inf + 0 1552126588.033 * * [simplify]: Extracting #2: cost 8 inf + 1 1552126588.033 * * [simplify]: Extracting #3: cost 6 inf + 45 1552126588.033 * * [simplify]: Extracting #4: cost 7 inf + 45 1552126588.033 * * [simplify]: Extracting #5: cost 1 inf + 1499 1552126588.033 * * [simplify]: Extracting #6: cost 0 inf + 2343 1552126588.033 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1552126588.033 * [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))))) 1552126588.033 * * * * [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)))))> 1552126588.034 * [simplify]: Simplifying (/.p16 i (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1552126588.034 * * [simplify]: iters left: 4 (9 enodes) 1552126588.036 * * [simplify]: iters left: 3 (21 enodes) 1552126588.039 * * [simplify]: iters left: 2 (27 enodes) 1552126588.043 * * [simplify]: iters left: 1 (28 enodes) 1552126588.049 * * [simplify]: Extracting #0: cost 1 inf + 0 1552126588.049 * * [simplify]: Extracting #1: cost 3 inf + 0 1552126588.049 * * [simplify]: Extracting #2: cost 8 inf + 1 1552126588.049 * * [simplify]: Extracting #3: cost 6 inf + 45 1552126588.049 * * [simplify]: Extracting #4: cost 7 inf + 45 1552126588.049 * * [simplify]: Extracting #5: cost 1 inf + 1499 1552126588.049 * * [simplify]: Extracting #6: cost 0 inf + 2343 1552126588.049 * [simplify]: Simplified to (/.p16 i (+.p16 beta (+.p16 alpha (*.p16 i (real->posit16 2))))) 1552126588.049 * [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))))) 1552126588.050 * * * [progress]: adding candidates to table 1552126588.274 * [progress]: [Phase 3 of 3] Extracting. 1552126588.274 * * [regime]: Finding splitpoints for: (#posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.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)) (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 (+.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)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 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 (+.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) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (-.p16 (*.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 (*.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))))>) 1552126588.290 * * * [regime-changes]: Trying 3 branch expressions: (beta alpha i) 1552126588.290 * * * * [regimes]: Trying to branch on beta from (#posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.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)) (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 (+.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)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 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 (+.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) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (-.p16 (*.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 (*.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))))>) 1552126588.979 * * * * [regimes]: Trying to branch on alpha from (#posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.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)) (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 (+.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)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 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 (+.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) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (-.p16 (*.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 (*.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))))>) 1552126589.841 * * * * [regimes]: Trying to branch on i from (#posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) i))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i))) (+.p16 (+.p16 (+.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)) (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 (+.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)))) (-.p16 (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 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 (+.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) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (-.p16 (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha)) (+.p16 beta (+.p16 (*.p16 (real->posit16 2) i) alpha))) (real->posit16 1.0)))))> #posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (*.p16 (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))))> #posit16 2) i)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (/.p16 (/.p16 (+.p16 (*.p16 beta alpha) (*.p16 i (+.p16 (+.p16 alpha beta) i))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))> #posit16 2) i))) (/.p16 (-.p16 (*.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 (*.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))))>) 1552126590.483 * * * [regime]: Found split indices: #