1554043278.160 * [progress]: [Phase 1 of 3] Setting up. 1554043278.160 * * * [progress]: [1/2] Preparing points 1554043278.162 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554043278.164 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1554043278.172 * * * * [points]: Setting MPFR precision to 64 1554043278.175 * * * * [points]: Setting MPFR precision to 320 1554043278.177 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1554043278.186 * * * * [points]: Setting MPFR precision to 64 1554043278.190 * * * * [points]: Setting MPFR precision to 320 1554043278.194 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1554043278.211 * * * * [points]: Setting MPFR precision to 64 1554043278.218 * * * * [points]: Setting MPFR precision to 320 1554043278.225 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1554043278.234 * * * * [points]: Setting MPFR precision to 64 1554043278.246 * * * * [points]: Setting MPFR precision to 320 1554043278.258 * * * * [points]: Computing exacts for 256 points 1554043278.267 * * * * [points]: Setting MPFR precision to 64 1554043278.301 * * * * [points]: Setting MPFR precision to 320 1554043278.339 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.347 * * * * [points]: Sampling 193 additional inputs, on iter 1 have 63 / 256 1554043278.349 * * * * [points]: Computing exacts on every 12 of 193 points to ramp up precision 1554043278.358 * * * * [points]: Setting MPFR precision to 64 1554043278.360 * * * * [points]: Setting MPFR precision to 320 1554043278.362 * * * * [points]: Computing exacts on every 6 of 193 points to ramp up precision 1554043278.371 * * * * [points]: Setting MPFR precision to 64 1554043278.375 * * * * [points]: Setting MPFR precision to 320 1554043278.379 * * * * [points]: Computing exacts on every 3 of 193 points to ramp up precision 1554043278.419 * * * * [points]: Setting MPFR precision to 64 1554043278.426 * * * * [points]: Setting MPFR precision to 320 1554043278.433 * * * * [points]: Computing exacts for 193 points 1554043278.441 * * * * [points]: Setting MPFR precision to 64 1554043278.467 * * * * [points]: Setting MPFR precision to 320 1554043278.495 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.503 * * * * [points]: Sampling 137 additional inputs, on iter 2 have 119 / 256 1554043278.504 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision 1554043278.513 * * * * [points]: Setting MPFR precision to 64 1554043278.514 * * * * [points]: Setting MPFR precision to 320 1554043278.515 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision 1554043278.519 * * * * [points]: Setting MPFR precision to 64 1554043278.522 * * * * [points]: Setting MPFR precision to 320 1554043278.524 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision 1554043278.528 * * * * [points]: Setting MPFR precision to 64 1554043278.532 * * * * [points]: Setting MPFR precision to 320 1554043278.536 * * * * [points]: Computing exacts for 137 points 1554043278.540 * * * * [points]: Setting MPFR precision to 64 1554043278.550 * * * * [points]: Setting MPFR precision to 320 1554043278.589 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.597 * * * * [points]: Sampling 99 additional inputs, on iter 3 have 157 / 256 1554043278.598 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision 1554043278.606 * * * * [points]: Setting MPFR precision to 64 1554043278.608 * * * * [points]: Setting MPFR precision to 320 1554043278.610 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision 1554043278.618 * * * * [points]: Setting MPFR precision to 64 1554043278.622 * * * * [points]: Setting MPFR precision to 320 1554043278.625 * * * * [points]: Computing exacts for 99 points 1554043278.633 * * * * [points]: Setting MPFR precision to 64 1554043278.644 * * * * [points]: Setting MPFR precision to 320 1554043278.651 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.653 * * * * [points]: Sampling 77 additional inputs, on iter 4 have 179 / 256 1554043278.653 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision 1554043278.658 * * * * [points]: Setting MPFR precision to 64 1554043278.659 * * * * [points]: Setting MPFR precision to 320 1554043278.661 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision 1554043278.665 * * * * [points]: Setting MPFR precision to 64 1554043278.667 * * * * [points]: Setting MPFR precision to 320 1554043278.669 * * * * [points]: Computing exacts for 77 points 1554043278.673 * * * * [points]: Setting MPFR precision to 64 1554043278.679 * * * * [points]: Setting MPFR precision to 320 1554043278.685 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.686 * * * * [points]: Sampling 54 additional inputs, on iter 5 have 202 / 256 1554043278.687 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision 1554043278.691 * * * * [points]: Setting MPFR precision to 64 1554043278.692 * * * * [points]: Setting MPFR precision to 320 1554043278.693 * * * * [points]: Computing exacts for 54 points 1554043278.713 * * * * [points]: Setting MPFR precision to 64 1554043278.718 * * * * [points]: Setting MPFR precision to 320 1554043278.722 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.724 * * * * [points]: Sampling 37 additional inputs, on iter 6 have 219 / 256 1554043278.724 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision 1554043278.728 * * * * [points]: Setting MPFR precision to 64 1554043278.729 * * * * [points]: Setting MPFR precision to 320 1554043278.730 * * * * [points]: Computing exacts for 37 points 1554043278.734 * * * * [points]: Setting MPFR precision to 64 1554043278.737 * * * * [points]: Setting MPFR precision to 320 1554043278.740 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.741 * * * * [points]: Sampling 23 additional inputs, on iter 7 have 233 / 256 1554043278.741 * * * * [points]: Computing exacts for 23 points 1554043278.746 * * * * [points]: Setting MPFR precision to 64 1554043278.747 * * * * [points]: Setting MPFR precision to 320 1554043278.750 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.751 * * * * [points]: Sampling 15 additional inputs, on iter 8 have 241 / 256 1554043278.751 * * * * [points]: Computing exacts for 15 points 1554043278.760 * * * * [points]: Setting MPFR precision to 64 1554043278.762 * * * * [points]: Setting MPFR precision to 320 1554043278.764 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.765 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 248 / 256 1554043278.765 * * * * [points]: Computing exacts for 8 points 1554043278.774 * * * * [points]: Setting MPFR precision to 64 1554043278.775 * * * * [points]: Setting MPFR precision to 320 1554043278.776 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.776 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 249 / 256 1554043278.776 * * * * [points]: Computing exacts for 7 points 1554043278.785 * * * * [points]: Setting MPFR precision to 64 1554043278.787 * * * * [points]: Setting MPFR precision to 320 1554043278.788 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.788 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 251 / 256 1554043278.788 * * * * [points]: Computing exacts for 5 points 1554043278.797 * * * * [points]: Setting MPFR precision to 64 1554043278.798 * * * * [points]: Setting MPFR precision to 320 1554043278.799 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.799 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 253 / 256 1554043278.799 * * * * [points]: Computing exacts for 4 points 1554043278.807 * * * * [points]: Setting MPFR precision to 64 1554043278.808 * * * * [points]: Setting MPFR precision to 320 1554043278.809 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.809 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 254 / 256 1554043278.809 * * * * [points]: Computing exacts for 4 points 1554043278.818 * * * * [points]: Setting MPFR precision to 64 1554043278.819 * * * * [points]: Setting MPFR precision to 320 1554043278.819 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.820 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 254 / 256 1554043278.820 * * * * [points]: Computing exacts for 4 points 1554043278.845 * * * * [points]: Setting MPFR precision to 64 1554043278.846 * * * * [points]: Setting MPFR precision to 320 1554043278.847 * * * * [points]: Filtering points with unrepresentable outputs 1554043278.847 * * * * [points]: Sampled 256 points with exact outputs 1554043278.847 * * * [progress]: [2/2] Setting up program. 1554043278.898 * [progress]: [Phase 2 of 3] Improving. 1554043278.898 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043278.898 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1554043278.899 * * [simplify]: iters left: 6 (19 enodes) 1554043278.908 * * [simplify]: iters left: 5 (48 enodes) 1554043278.925 * * [simplify]: iters left: 4 (124 enodes) 1554043279.003 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043279.003 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043279.003 * * [simplify]: Extracting #2: cost 6 inf + 0 1554043279.003 * * [simplify]: Extracting #3: cost 31 inf + 2 1554043279.003 * * [simplify]: Extracting #4: cost 126 inf + 4 1554043279.005 * * [simplify]: Extracting #5: cost 211 inf + 2985 1554043279.008 * * [simplify]: Extracting #6: cost 160 inf + 31488 1554043279.015 * * [simplify]: Extracting #7: cost 101 inf + 88177 1554043279.033 * * [simplify]: Extracting #8: cost 1 inf + 172697 1554043279.052 * * [simplify]: Extracting #9: cost 0 inf + 173382 1554043279.071 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554043279.071 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043279.167 * * [progress]: iteration 1 / 4 1554043279.167 * * * [progress]: picking best candidate 1554043279.236 * * * * [pick]: Picked #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043279.236 * * * [progress]: localizing error 1554043279.675 * * * [progress]: generating rewritten candidates 1554043279.675 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1554043279.679 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 1554043279.692 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1) 1554043279.696 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1554043279.703 * * * [progress]: generating series expansions 1554043279.703 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1554043279.703 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 1554043279.703 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1) 1554043279.703 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 1554043279.703 * * * [progress]: simplifying candidates 1554043279.703 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043279.704 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) 1554043279.704 * * [simplify]: iters left: 4 (11 enodes) 1554043279.707 * * [simplify]: iters left: 3 (27 enodes) 1554043279.718 * * [simplify]: iters left: 2 (46 enodes) 1554043279.733 * * [simplify]: iters left: 1 (66 enodes) 1554043279.754 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043279.754 * * [simplify]: Extracting #1: cost 16 inf + 0 1554043279.754 * * [simplify]: Extracting #2: cost 17 inf + 2 1554043279.754 * * [simplify]: Extracting #3: cost 14 inf + 47 1554043279.755 * * [simplify]: Extracting #4: cost 7 inf + 942 1554043279.756 * * [simplify]: Extracting #5: cost 1 inf + 3284 1554043279.757 * * [simplify]: Extracting #6: cost 0 inf + 3688 1554043279.758 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha)) 1554043279.758 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043279.758 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043279.758 * [simplify]: Simplifying (-.p16 beta alpha) 1554043279.758 * * [simplify]: iters left: 1 (3 enodes) 1554043279.760 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043279.760 * * [simplify]: Extracting #1: cost 6 inf + 0 1554043279.760 * * [simplify]: Extracting #2: cost 5 inf + 44 1554043279.760 * * [simplify]: Extracting #3: cost 0 inf + 1571 1554043279.760 * [simplify]: Simplified to (-.p16 beta alpha) 1554043279.760 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043279.760 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043279.761 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha)) 1554043279.761 * * [simplify]: iters left: 3 (7 enodes) 1554043279.764 * * [simplify]: iters left: 2 (28 enodes) 1554043279.775 * * [simplify]: iters left: 1 (91 enodes) 1554043279.816 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043279.816 * * [simplify]: Extracting #1: cost 27 inf + 0 1554043279.817 * * [simplify]: Extracting #2: cost 76 inf + 0 1554043279.817 * * [simplify]: Extracting #3: cost 90 inf + 1126 1554043279.818 * * [simplify]: Extracting #4: cost 76 inf + 20412 1554043279.823 * * [simplify]: Extracting #5: cost 14 inf + 82238 1554043279.829 * * [simplify]: Extracting #6: cost 1 inf + 104423 1554043279.837 * * [simplify]: Extracting #7: cost 0 inf + 106745 1554043279.844 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) 1554043279.844 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043279.844 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043279.845 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554043279.845 * * [simplify]: iters left: 4 (10 enodes) 1554043279.851 * * [simplify]: iters left: 3 (28 enodes) 1554043279.860 * * [simplify]: iters left: 2 (45 enodes) 1554043279.875 * * [simplify]: iters left: 1 (95 enodes) 1554043279.918 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043279.918 * * [simplify]: Extracting #1: cost 20 inf + 0 1554043279.918 * * [simplify]: Extracting #2: cost 91 inf + 0 1554043279.919 * * [simplify]: Extracting #3: cost 119 inf + 2 1554043279.920 * * [simplify]: Extracting #4: cost 108 inf + 13203 1554043279.924 * * [simplify]: Extracting #5: cost 35 inf + 85388 1554043279.932 * * [simplify]: Extracting #6: cost 8 inf + 108558 1554043279.941 * * [simplify]: Extracting #7: cost 0 inf + 118029 1554043279.950 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554043279.950 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043279.951 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554043279.951 * * [simplify]: iters left: 5 (13 enodes) 1554043279.957 * * [simplify]: iters left: 4 (29 enodes) 1554043279.966 * * [simplify]: iters left: 3 (48 enodes) 1554043279.981 * * [simplify]: iters left: 2 (68 enodes) 1554043279.994 * * [simplify]: iters left: 1 (85 enodes) 1554043280.005 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043280.005 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043280.005 * * [simplify]: Extracting #2: cost 16 inf + 0 1554043280.005 * * [simplify]: Extracting #3: cost 17 inf + 2 1554043280.005 * * [simplify]: Extracting #4: cost 15 inf + 46 1554043280.005 * * [simplify]: Extracting #5: cost 10 inf + 215 1554043280.006 * * [simplify]: Extracting #6: cost 1 inf + 3284 1554043280.006 * * [simplify]: Extracting #7: cost 0 inf + 4169 1554043280.007 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554043280.007 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043280.007 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.007 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.007 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.007 * [simplify]: Simplifying (real->posit16 2.0) 1554043280.007 * * [simplify]: iters left: 1 (2 enodes) 1554043280.008 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043280.008 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043280.008 * * [simplify]: Extracting #2: cost 1 inf + 1 1554043280.008 * * [simplify]: Extracting #3: cost 0 inf + 2 1554043280.008 * [simplify]: Simplified to (real->posit16 2.0) 1554043280.008 * [simplify]: Simplified (2 1 1 2 2 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043280.008 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.008 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #posit16 2) i) beta) alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.008 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #posit16 2) i)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.008 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.008 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554043280.009 * * [simplify]: iters left: 6 (21 enodes) 1554043280.014 * * [simplify]: iters left: 5 (69 enodes) 1554043280.028 * * [simplify]: iters left: 4 (218 enodes) 1554043280.099 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043280.099 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043280.099 * * [simplify]: Extracting #2: cost 6 inf + 0 1554043280.100 * * [simplify]: Extracting #3: cost 44 inf + 2 1554043280.100 * * [simplify]: Extracting #4: cost 162 inf + 3 1554043280.101 * * [simplify]: Extracting #5: cost 312 inf + 2340 1554043280.103 * * [simplify]: Extracting #6: cost 261 inf + 38236 1554043280.108 * * [simplify]: Extracting #7: cost 173 inf + 106010 1554043280.123 * * [simplify]: Extracting #8: cost 35 inf + 236229 1554043280.140 * * [simplify]: Extracting #9: cost 0 inf + 267735 1554043280.156 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)) 1554043280.156 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))) 1554043280.157 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.157 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554043280.157 * * [simplify]: iters left: 6 (21 enodes) 1554043280.162 * * [simplify]: iters left: 5 (69 enodes) 1554043280.176 * * [simplify]: iters left: 4 (218 enodes) 1554043280.281 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043280.281 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043280.281 * * [simplify]: Extracting #2: cost 6 inf + 0 1554043280.281 * * [simplify]: Extracting #3: cost 44 inf + 2 1554043280.282 * * [simplify]: Extracting #4: cost 162 inf + 3 1554043280.284 * * [simplify]: Extracting #5: cost 312 inf + 2340 1554043280.293 * * [simplify]: Extracting #6: cost 261 inf + 38236 1554043280.303 * * [simplify]: Extracting #7: cost 173 inf + 106010 1554043280.327 * * [simplify]: Extracting #8: cost 35 inf + 236229 1554043280.359 * * [simplify]: Extracting #9: cost 0 inf + 267735 1554043280.391 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)) 1554043280.391 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))) 1554043280.392 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.392 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554043280.392 * * [simplify]: iters left: 6 (21 enodes) 1554043280.402 * * [simplify]: iters left: 5 (69 enodes) 1554043280.432 * * [simplify]: iters left: 4 (218 enodes) 1554043280.569 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043280.569 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043280.569 * * [simplify]: Extracting #2: cost 6 inf + 0 1554043280.569 * * [simplify]: Extracting #3: cost 44 inf + 2 1554043280.570 * * [simplify]: Extracting #4: cost 162 inf + 3 1554043280.572 * * [simplify]: Extracting #5: cost 312 inf + 2340 1554043280.576 * * [simplify]: Extracting #6: cost 261 inf + 38236 1554043280.585 * * [simplify]: Extracting #7: cost 173 inf + 106010 1554043280.609 * * [simplify]: Extracting #8: cost 35 inf + 236229 1554043280.642 * * [simplify]: Extracting #9: cost 0 inf + 267735 1554043280.674 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)) 1554043280.675 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))) 1554043280.675 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043280.675 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554043280.675 * * [simplify]: iters left: 6 (21 enodes) 1554043280.688 * * [simplify]: iters left: 5 (69 enodes) 1554043280.713 * * [simplify]: iters left: 4 (218 enodes) 1554043280.788 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043280.789 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043280.789 * * [simplify]: Extracting #2: cost 6 inf + 0 1554043280.789 * * [simplify]: Extracting #3: cost 44 inf + 2 1554043280.789 * * [simplify]: Extracting #4: cost 162 inf + 3 1554043280.790 * * [simplify]: Extracting #5: cost 312 inf + 2340 1554043280.792 * * [simplify]: Extracting #6: cost 261 inf + 38236 1554043280.797 * * [simplify]: Extracting #7: cost 173 inf + 106010 1554043280.818 * * [simplify]: Extracting #8: cost 35 inf + 236229 1554043280.850 * * [simplify]: Extracting #9: cost 0 inf + 267735 1554043280.887 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)) 1554043280.887 * [simplify]: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))) 1554043280.887 * * * [progress]: adding candidates to table 1554043282.203 * * [progress]: iteration 2 / 4 1554043282.203 * * * [progress]: picking best candidate 1554043282.450 * * * * [pick]: Picked #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043282.450 * * * [progress]: localizing error 1554043283.162 * * * [progress]: generating rewritten candidates 1554043283.162 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1554043283.174 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1554043283.181 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2) 1554043283.200 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1554043283.204 * * * [progress]: generating series expansions 1554043283.204 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1554043283.204 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1554043283.204 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2) 1554043283.204 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1554043283.204 * * * [progress]: simplifying candidates 1554043283.204 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.205 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1554043283.205 * * [simplify]: iters left: 2 (5 enodes) 1554043283.208 * * [simplify]: iters left: 1 (19 enodes) 1554043283.215 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043283.215 * * [simplify]: Extracting #1: cost 8 inf + 0 1554043283.215 * * [simplify]: Extracting #2: cost 16 inf + 0 1554043283.215 * * [simplify]: Extracting #3: cost 16 inf + 1766 1554043283.216 * * [simplify]: Extracting #4: cost 6 inf + 6819 1554043283.216 * * [simplify]: Extracting #5: cost 1 inf + 12227 1554043283.217 * * [simplify]: Extracting #6: cost 0 inf + 13549 1554043283.218 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1554043283.218 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043283.218 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.218 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.218 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.219 * [simplify]: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) 1554043283.219 * * [simplify]: iters left: 4 (11 enodes) 1554043283.224 * * [simplify]: iters left: 3 (27 enodes) 1554043283.233 * * [simplify]: iters left: 2 (46 enodes) 1554043283.247 * * [simplify]: iters left: 1 (66 enodes) 1554043283.268 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043283.269 * * [simplify]: Extracting #1: cost 16 inf + 0 1554043283.269 * * [simplify]: Extracting #2: cost 17 inf + 2 1554043283.269 * * [simplify]: Extracting #3: cost 14 inf + 47 1554043283.269 * * [simplify]: Extracting #4: cost 7 inf + 942 1554043283.270 * * [simplify]: Extracting #5: cost 1 inf + 3284 1554043283.271 * * [simplify]: Extracting #6: cost 0 inf + 3688 1554043283.272 * [simplify]: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha)) 1554043283.272 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043283.273 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.273 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) 1554043283.273 * * [simplify]: iters left: 6 (15 enodes) 1554043283.280 * * [simplify]: iters left: 5 (40 enodes) 1554043283.294 * * [simplify]: iters left: 4 (91 enodes) 1554043283.333 * * [simplify]: iters left: 3 (251 enodes) 1554043283.495 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043283.495 * * [simplify]: Extracting #1: cost 43 inf + 0 1554043283.496 * * [simplify]: Extracting #2: cost 207 inf + 0 1554043283.498 * * [simplify]: Extracting #3: cost 235 inf + 13570 1554043283.506 * * [simplify]: Extracting #4: cost 144 inf + 98572 1554043283.521 * * [simplify]: Extracting #5: cost 69 inf + 198082 1554043283.552 * * [simplify]: Extracting #6: cost 6 inf + 292506 1554043283.581 * * [simplify]: Extracting #7: cost 0 inf + 302696 1554043283.611 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) 1554043283.611 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043283.612 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 2.0))) (*.p16 (real->posit16 2) i))) (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.612 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.612 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554043283.612 * * [simplify]: iters left: 4 (10 enodes) 1554043283.617 * * [simplify]: iters left: 3 (28 enodes) 1554043283.627 * * [simplify]: iters left: 2 (45 enodes) 1554043283.642 * * [simplify]: iters left: 1 (95 enodes) 1554043283.685 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043283.685 * * [simplify]: Extracting #1: cost 20 inf + 0 1554043283.685 * * [simplify]: Extracting #2: cost 91 inf + 0 1554043283.688 * * [simplify]: Extracting #3: cost 119 inf + 2 1554043283.689 * * [simplify]: Extracting #4: cost 108 inf + 13203 1554043283.693 * * [simplify]: Extracting #5: cost 35 inf + 85388 1554043283.702 * * [simplify]: Extracting #6: cost 8 inf + 108558 1554043283.711 * * [simplify]: Extracting #7: cost 0 inf + 118029 1554043283.720 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554043283.720 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043283.720 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554043283.720 * * [simplify]: iters left: 5 (13 enodes) 1554043283.727 * * [simplify]: iters left: 4 (29 enodes) 1554043283.736 * * [simplify]: iters left: 3 (48 enodes) 1554043283.751 * * [simplify]: iters left: 2 (68 enodes) 1554043283.771 * * [simplify]: iters left: 1 (85 enodes) 1554043283.793 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043283.793 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043283.793 * * [simplify]: Extracting #2: cost 16 inf + 0 1554043283.793 * * [simplify]: Extracting #3: cost 17 inf + 2 1554043283.793 * * [simplify]: Extracting #4: cost 15 inf + 46 1554043283.793 * * [simplify]: Extracting #5: cost 10 inf + 215 1554043283.794 * * [simplify]: Extracting #6: cost 1 inf + 3284 1554043283.796 * * [simplify]: Extracting #7: cost 0 inf + 4169 1554043283.797 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554043283.797 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043283.797 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.797 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554043283.797 * * [simplify]: iters left: 4 (10 enodes) 1554043283.802 * * [simplify]: iters left: 3 (28 enodes) 1554043283.811 * * [simplify]: iters left: 2 (45 enodes) 1554043283.829 * * [simplify]: iters left: 1 (95 enodes) 1554043283.854 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043283.855 * * [simplify]: Extracting #1: cost 20 inf + 0 1554043283.855 * * [simplify]: Extracting #2: cost 91 inf + 0 1554043283.855 * * [simplify]: Extracting #3: cost 119 inf + 2 1554043283.856 * * [simplify]: Extracting #4: cost 108 inf + 13203 1554043283.858 * * [simplify]: Extracting #5: cost 35 inf + 85388 1554043283.862 * * [simplify]: Extracting #6: cost 8 inf + 108558 1554043283.867 * * [simplify]: Extracting #7: cost 0 inf + 118029 1554043283.871 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554043283.872 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043283.872 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554043283.872 * * [simplify]: iters left: 5 (13 enodes) 1554043283.875 * * [simplify]: iters left: 4 (29 enodes) 1554043283.880 * * [simplify]: iters left: 3 (48 enodes) 1554043283.887 * * [simplify]: iters left: 2 (68 enodes) 1554043283.898 * * [simplify]: iters left: 1 (85 enodes) 1554043283.921 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043283.922 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043283.922 * * [simplify]: Extracting #2: cost 16 inf + 0 1554043283.922 * * [simplify]: Extracting #3: cost 17 inf + 2 1554043283.922 * * [simplify]: Extracting #4: cost 15 inf + 46 1554043283.922 * * [simplify]: Extracting #5: cost 10 inf + 215 1554043283.923 * * [simplify]: Extracting #6: cost 1 inf + 3284 1554043283.924 * * [simplify]: Extracting #7: cost 0 inf + 4169 1554043283.926 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554043283.926 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043283.926 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043283.926 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554043283.926 * * [simplify]: iters left: 4 (10 enodes) 1554043283.931 * * [simplify]: iters left: 3 (28 enodes) 1554043283.940 * * [simplify]: iters left: 2 (45 enodes) 1554043283.955 * * [simplify]: iters left: 1 (95 enodes) 1554043283.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043283.998 * * [simplify]: Extracting #1: cost 20 inf + 0 1554043283.999 * * [simplify]: Extracting #2: cost 91 inf + 0 1554043283.999 * * [simplify]: Extracting #3: cost 119 inf + 2 1554043284.001 * * [simplify]: Extracting #4: cost 108 inf + 13203 1554043284.006 * * [simplify]: Extracting #5: cost 35 inf + 85388 1554043284.014 * * [simplify]: Extracting #6: cost 8 inf + 108558 1554043284.023 * * [simplify]: Extracting #7: cost 0 inf + 118029 1554043284.032 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554043284.032 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043284.032 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554043284.032 * * [simplify]: iters left: 5 (13 enodes) 1554043284.038 * * [simplify]: iters left: 4 (29 enodes) 1554043284.050 * * [simplify]: iters left: 3 (48 enodes) 1554043284.065 * * [simplify]: iters left: 2 (68 enodes) 1554043284.085 * * [simplify]: iters left: 1 (85 enodes) 1554043284.105 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043284.105 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043284.105 * * [simplify]: Extracting #2: cost 16 inf + 0 1554043284.105 * * [simplify]: Extracting #3: cost 17 inf + 2 1554043284.105 * * [simplify]: Extracting #4: cost 15 inf + 46 1554043284.106 * * [simplify]: Extracting #5: cost 10 inf + 215 1554043284.107 * * [simplify]: Extracting #6: cost 1 inf + 3284 1554043284.108 * * [simplify]: Extracting #7: cost 0 inf + 4169 1554043284.109 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554043284.109 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043284.109 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043284.109 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554043284.109 * * [simplify]: iters left: 4 (10 enodes) 1554043284.114 * * [simplify]: iters left: 3 (28 enodes) 1554043284.122 * * [simplify]: iters left: 2 (45 enodes) 1554043284.136 * * [simplify]: iters left: 1 (95 enodes) 1554043284.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043284.177 * * [simplify]: Extracting #1: cost 20 inf + 0 1554043284.179 * * [simplify]: Extracting #2: cost 91 inf + 0 1554043284.180 * * [simplify]: Extracting #3: cost 119 inf + 2 1554043284.181 * * [simplify]: Extracting #4: cost 108 inf + 13203 1554043284.186 * * [simplify]: Extracting #5: cost 35 inf + 85388 1554043284.195 * * [simplify]: Extracting #6: cost 8 inf + 108558 1554043284.204 * * [simplify]: Extracting #7: cost 0 inf + 118029 1554043284.213 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554043284.213 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043284.214 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554043284.214 * * [simplify]: iters left: 5 (13 enodes) 1554043284.220 * * [simplify]: iters left: 4 (29 enodes) 1554043284.230 * * [simplify]: iters left: 3 (48 enodes) 1554043284.245 * * [simplify]: iters left: 2 (68 enodes) 1554043284.256 * * [simplify]: iters left: 1 (85 enodes) 1554043284.266 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043284.266 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043284.266 * * [simplify]: Extracting #2: cost 16 inf + 0 1554043284.266 * * [simplify]: Extracting #3: cost 17 inf + 2 1554043284.266 * * [simplify]: Extracting #4: cost 15 inf + 46 1554043284.266 * * [simplify]: Extracting #5: cost 10 inf + 215 1554043284.267 * * [simplify]: Extracting #6: cost 1 inf + 3284 1554043284.267 * * [simplify]: Extracting #7: cost 0 inf + 4169 1554043284.268 * [simplify]: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554043284.268 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043284.268 * * * [progress]: adding candidates to table 1554043285.145 * * [progress]: iteration 3 / 4 1554043285.145 * * * [progress]: picking best candidate 1554043285.378 * * * * [pick]: Picked #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043285.378 * * * [progress]: localizing error 1554043285.826 * * * [progress]: generating rewritten candidates 1554043285.826 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1554043285.835 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1554043285.848 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2) 1554043285.857 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1554043285.861 * * * [progress]: generating series expansions 1554043285.861 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1554043285.861 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1554043285.861 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2) 1554043285.861 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1554043285.861 * * * [progress]: simplifying candidates 1554043285.862 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043285.862 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1554043285.862 * * [simplify]: iters left: 2 (5 enodes) 1554043285.863 * * [simplify]: iters left: 1 (19 enodes) 1554043285.866 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043285.866 * * [simplify]: Extracting #1: cost 8 inf + 0 1554043285.866 * * [simplify]: Extracting #2: cost 16 inf + 0 1554043285.866 * * [simplify]: Extracting #3: cost 16 inf + 1766 1554043285.867 * * [simplify]: Extracting #4: cost 6 inf + 6819 1554043285.867 * * [simplify]: Extracting #5: cost 1 inf + 12227 1554043285.867 * * [simplify]: Extracting #6: cost 0 inf + 13549 1554043285.868 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1554043285.868 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043285.868 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043285.868 * [simplify]: Simplifying (*.p16 (real->posit16 2) i) 1554043285.868 * * [simplify]: iters left: 2 (4 enodes) 1554043285.870 * * [simplify]: iters left: 1 (8 enodes) 1554043285.872 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043285.872 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043285.872 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043285.872 * * [simplify]: Extracting #3: cost 2 inf + 2 1554043285.872 * * [simplify]: Extracting #4: cost 0 inf + 325 1554043285.872 * [simplify]: Simplified to (*.p16 i (real->posit16 2)) 1554043285.872 * [simplify]: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 i (real->posit16 2))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043285.872 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)) beta))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043285.872 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043285.872 * [simplify]: Simplifying (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))) 1554043285.872 * * [simplify]: iters left: 4 (11 enodes) 1554043285.875 * * [simplify]: iters left: 3 (27 enodes) 1554043285.879 * * [simplify]: iters left: 2 (46 enodes) 1554043285.887 * * [simplify]: iters left: 1 (71 enodes) 1554043285.898 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043285.899 * * [simplify]: Extracting #1: cost 15 inf + 0 1554043285.899 * * [simplify]: Extracting #2: cost 16 inf + 2 1554043285.899 * * [simplify]: Extracting #3: cost 11 inf + 172 1554043285.899 * * [simplify]: Extracting #4: cost 9 inf + 215 1554043285.899 * * [simplify]: Extracting #5: cost 6 inf + 901 1554043285.900 * * [simplify]: Extracting #6: cost 0 inf + 3284 1554043285.901 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 (real->posit16 2.0) (*.p16 (real->posit16 2) i)) beta) alpha) 1554043285.901 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 (real->posit16 2.0) (*.p16 (real->posit16 2) i)) beta) alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1554043285.901 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043285.901 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) 1554043285.901 * * [simplify]: iters left: 6 (15 enodes) 1554043285.905 * * [simplify]: iters left: 5 (41 enodes) 1554043285.912 * * [simplify]: iters left: 4 (91 enodes) 1554043285.931 * * [simplify]: iters left: 3 (255 enodes) 1554043286.032 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043286.032 * * [simplify]: Extracting #1: cost 44 inf + 0 1554043286.033 * * [simplify]: Extracting #2: cost 201 inf + 0 1554043286.035 * * [simplify]: Extracting #3: cost 257 inf + 8516 1554043286.043 * * [simplify]: Extracting #4: cost 160 inf + 100329 1554043286.062 * * [simplify]: Extracting #5: cost 76 inf + 206298 1554043286.090 * * [simplify]: Extracting #6: cost 9 inf + 308852 1554043286.121 * * [simplify]: Extracting #7: cost 0 inf + 323894 1554043286.152 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) 1554043286.152 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043286.152 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i)))) (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043286.152 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043286.152 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043286.152 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043286.152 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043286.152 * * * [progress]: adding candidates to table 1554043286.698 * * [progress]: iteration 4 / 4 1554043286.698 * * * [progress]: picking best candidate 1554043286.889 * * * * [pick]: Picked #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043286.889 * * * [progress]: localizing error 1554043287.555 * * * [progress]: generating rewritten candidates 1554043287.555 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2) 1554043287.572 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1554043287.593 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1554043287.600 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 2) 1554043287.616 * * * [progress]: generating series expansions 1554043287.616 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2) 1554043287.616 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1554043287.616 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1554043287.616 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 2) 1554043287.616 * * * [progress]: simplifying candidates 1554043287.616 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043287.617 * [simplify]: Simplifying (-.p16 beta alpha) 1554043287.617 * * [simplify]: iters left: 1 (3 enodes) 1554043287.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043287.618 * * [simplify]: Extracting #1: cost 6 inf + 0 1554043287.618 * * [simplify]: Extracting #2: cost 5 inf + 44 1554043287.618 * * [simplify]: Extracting #3: cost 0 inf + 1571 1554043287.618 * [simplify]: Simplified to (-.p16 beta alpha) 1554043287.618 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043287.618 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043287.623 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) 1554043287.624 * * [simplify]: iters left: 2 (5 enodes) 1554043287.626 * * [simplify]: iters left: 1 (23 enodes) 1554043287.633 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043287.634 * * [simplify]: Extracting #1: cost 16 inf + 0 1554043287.634 * * [simplify]: Extracting #2: cost 31 inf + 0 1554043287.634 * * [simplify]: Extracting #3: cost 28 inf + 323 1554043287.634 * * [simplify]: Extracting #4: cost 10 inf + 7833 1554043287.635 * * [simplify]: Extracting #5: cost 0 inf + 14252 1554043287.636 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) 1554043287.636 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043287.636 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043287.636 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) 1554043287.637 * * [simplify]: iters left: 6 (17 enodes) 1554043287.645 * * [simplify]: iters left: 5 (46 enodes) 1554043287.659 * * [simplify]: iters left: 4 (115 enodes) 1554043287.686 * * [simplify]: iters left: 3 (321 enodes) 1554043287.894 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043287.894 * * [simplify]: Extracting #1: cost 82 inf + 0 1554043287.898 * * [simplify]: Extracting #2: cost 357 inf + 0 1554043287.900 * * [simplify]: Extracting #3: cost 416 inf + 18449 1554043287.909 * * [simplify]: Extracting #4: cost 342 inf + 121074 1554043287.942 * * [simplify]: Extracting #5: cost 132 inf + 433121 1554043287.976 * * [simplify]: Extracting #6: cost 3 inf + 690311 1554043288.024 * * [simplify]: Extracting #7: cost 0 inf + 697403 1554043288.065 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)))) 1554043288.065 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043288.065 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043288.065 * [simplify]: Simplifying (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))) 1554043288.065 * * [simplify]: iters left: 4 (11 enodes) 1554043288.069 * * [simplify]: iters left: 3 (27 enodes) 1554043288.074 * * [simplify]: iters left: 2 (46 enodes) 1554043288.082 * * [simplify]: iters left: 1 (71 enodes) 1554043288.093 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043288.093 * * [simplify]: Extracting #1: cost 15 inf + 0 1554043288.093 * * [simplify]: Extracting #2: cost 16 inf + 2 1554043288.094 * * [simplify]: Extracting #3: cost 11 inf + 172 1554043288.094 * * [simplify]: Extracting #4: cost 9 inf + 215 1554043288.094 * * [simplify]: Extracting #5: cost 6 inf + 901 1554043288.095 * * [simplify]: Extracting #6: cost 0 inf + 3284 1554043288.096 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 (real->posit16 2.0) (*.p16 (real->posit16 2) i)) beta) alpha) 1554043288.096 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 (real->posit16 2.0) (*.p16 (real->posit16 2) i)) beta) alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043288.096 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043288.097 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) 1554043288.097 * * [simplify]: iters left: 6 (17 enodes) 1554043288.105 * * [simplify]: iters left: 5 (46 enodes) 1554043288.124 * * [simplify]: iters left: 4 (115 enodes) 1554043288.170 * * [simplify]: iters left: 3 (321 enodes) 1554043288.403 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043288.404 * * [simplify]: Extracting #1: cost 82 inf + 0 1554043288.405 * * [simplify]: Extracting #2: cost 357 inf + 0 1554043288.409 * * [simplify]: Extracting #3: cost 416 inf + 18449 1554043288.419 * * [simplify]: Extracting #4: cost 342 inf + 121074 1554043288.454 * * [simplify]: Extracting #5: cost 132 inf + 433121 1554043288.511 * * [simplify]: Extracting #6: cost 3 inf + 690311 1554043288.571 * * [simplify]: Extracting #7: cost 0 inf + 697403 1554043288.632 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)))) 1554043288.632 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (*.p16 (real->posit16 2) i)))) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043288.632 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043288.632 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043288.632 * [simplify]: Simplifying (*.p16 (real->posit16 2) i) 1554043288.632 * * [simplify]: iters left: 2 (4 enodes) 1554043288.635 * * [simplify]: iters left: 1 (8 enodes) 1554043288.637 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043288.637 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043288.637 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043288.637 * * [simplify]: Extracting #3: cost 2 inf + 2 1554043288.638 * * [simplify]: Extracting #4: cost 0 inf + 325 1554043288.638 * [simplify]: Simplified to (*.p16 i (real->posit16 2)) 1554043288.638 * [simplify]: Simplified (2 1 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 i (real->posit16 2))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043288.638 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i)) beta))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043288.638 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043288.638 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) 1554043288.638 * * [simplify]: iters left: 6 (15 enodes) 1554043288.646 * * [simplify]: iters left: 5 (41 enodes) 1554043288.661 * * [simplify]: iters left: 4 (91 enodes) 1554043288.685 * * [simplify]: iters left: 3 (255 enodes) 1554043288.809 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043288.809 * * [simplify]: Extracting #1: cost 44 inf + 0 1554043288.810 * * [simplify]: Extracting #2: cost 201 inf + 0 1554043288.812 * * [simplify]: Extracting #3: cost 257 inf + 8516 1554043288.821 * * [simplify]: Extracting #4: cost 160 inf + 100329 1554043288.837 * * [simplify]: Extracting #5: cost 76 inf + 206298 1554043288.866 * * [simplify]: Extracting #6: cost 9 inf + 308852 1554043288.897 * * [simplify]: Extracting #7: cost 0 inf + 323894 1554043288.931 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) 1554043288.931 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043288.931 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043288.931 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) 1554043288.932 * * [simplify]: iters left: 6 (15 enodes) 1554043288.939 * * [simplify]: iters left: 5 (41 enodes) 1554043288.953 * * [simplify]: iters left: 4 (91 enodes) 1554043288.989 * * [simplify]: iters left: 3 (255 enodes) 1554043289.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043289.175 * * [simplify]: Extracting #1: cost 44 inf + 0 1554043289.176 * * [simplify]: Extracting #2: cost 201 inf + 0 1554043289.178 * * [simplify]: Extracting #3: cost 257 inf + 8516 1554043289.185 * * [simplify]: Extracting #4: cost 160 inf + 100329 1554043289.201 * * [simplify]: Extracting #5: cost 76 inf + 206298 1554043289.223 * * [simplify]: Extracting #6: cost 9 inf + 308852 1554043289.238 * * [simplify]: Extracting #7: cost 0 inf + 323894 1554043289.254 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) 1554043289.254 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043289.254 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043289.255 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) 1554043289.255 * * [simplify]: iters left: 6 (15 enodes) 1554043289.259 * * [simplify]: iters left: 5 (41 enodes) 1554043289.271 * * [simplify]: iters left: 4 (91 enodes) 1554043289.310 * * [simplify]: iters left: 3 (255 enodes) 1554043289.494 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043289.494 * * [simplify]: Extracting #1: cost 44 inf + 0 1554043289.495 * * [simplify]: Extracting #2: cost 201 inf + 0 1554043289.497 * * [simplify]: Extracting #3: cost 257 inf + 8516 1554043289.505 * * [simplify]: Extracting #4: cost 160 inf + 100329 1554043289.525 * * [simplify]: Extracting #5: cost 76 inf + 206298 1554043289.553 * * [simplify]: Extracting #6: cost 9 inf + 308852 1554043289.584 * * [simplify]: Extracting #7: cost 0 inf + 323894 1554043289.615 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) 1554043289.615 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043289.616 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554043289.616 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) 1554043289.616 * * [simplify]: iters left: 6 (15 enodes) 1554043289.623 * * [simplify]: iters left: 5 (41 enodes) 1554043289.638 * * [simplify]: iters left: 4 (91 enodes) 1554043289.677 * * [simplify]: iters left: 3 (255 enodes) 1554043289.862 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043289.862 * * [simplify]: Extracting #1: cost 44 inf + 0 1554043289.863 * * [simplify]: Extracting #2: cost 201 inf + 0 1554043289.865 * * [simplify]: Extracting #3: cost 257 inf + 8516 1554043289.872 * * [simplify]: Extracting #4: cost 160 inf + 100329 1554043289.888 * * [simplify]: Extracting #5: cost 76 inf + 206298 1554043289.920 * * [simplify]: Extracting #6: cost 9 inf + 308852 1554043289.952 * * [simplify]: Extracting #7: cost 0 inf + 323894 1554043289.983 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) 1554043289.983 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (real->posit16 2.0) alpha)) beta)) (-.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554043289.983 * * * [progress]: adding candidates to table 1554043290.991 * [progress]: [Phase 3 of 3] Extracting. 1554043290.991 * * [regime]: Finding splitpoints for: (#posit16 2.0)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1554043290.997 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha) 1554043290.997 * * * * [regimes]: Trying to branch on i from (#posit16 2.0)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1554043291.644 * * * * [regimes]: Trying to branch on beta from (#posit16 2.0)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1554043292.242 * * * * [regimes]: Trying to branch on alpha from (#posit16 2.0)) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)) (*.p16 (real->posit16 2) i))))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1554043293.016 * * * [regime]: Found split indices: #