0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.013 * * * * [points]: Setting MPFR precision to 64 0.015 * * * * [points]: Setting MPFR precision to 320 0.017 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.025 * * * * [points]: Setting MPFR precision to 64 0.029 * * * * [points]: Setting MPFR precision to 320 0.033 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.042 * * * * [points]: Setting MPFR precision to 64 0.049 * * * * [points]: Setting MPFR precision to 320 0.064 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.073 * * * * [points]: Setting MPFR precision to 64 0.084 * * * * [points]: Setting MPFR precision to 320 0.096 * * * * [points]: Computing exacts for 256 points 0.104 * * * * [points]: Setting MPFR precision to 64 0.138 * * * * [points]: Setting MPFR precision to 320 0.172 * * * * [points]: Filtering points with unrepresentable outputs 0.172 * * * * [points]: Sampling 191 additional inputs, on iter 1 have 65 / 256 0.174 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision 0.182 * * * * [points]: Setting MPFR precision to 64 0.184 * * * * [points]: Setting MPFR precision to 320 0.186 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision 0.195 * * * * [points]: Setting MPFR precision to 64 0.199 * * * * [points]: Setting MPFR precision to 320 0.203 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision 0.210 * * * * [points]: Setting MPFR precision to 64 0.218 * * * * [points]: Setting MPFR precision to 320 0.227 * * * * [points]: Computing exacts for 191 points 0.266 * * * * [points]: Setting MPFR precision to 64 0.294 * * * * [points]: Setting MPFR precision to 320 0.320 * * * * [points]: Filtering points with unrepresentable outputs 0.321 * * * * [points]: Sampling 144 additional inputs, on iter 2 have 112 / 256 0.322 * * * * [points]: Computing exacts on every 9 of 144 points to ramp up precision 0.331 * * * * [points]: Setting MPFR precision to 64 0.333 * * * * [points]: Setting MPFR precision to 320 0.335 * * * * [points]: Computing exacts on every 4 of 144 points to ramp up precision 0.343 * * * * [points]: Setting MPFR precision to 64 0.347 * * * * [points]: Setting MPFR precision to 320 0.350 * * * * [points]: Computing exacts on every 2 of 144 points to ramp up precision 0.358 * * * * [points]: Setting MPFR precision to 64 0.365 * * * * [points]: Setting MPFR precision to 320 0.371 * * * * [points]: Computing exacts for 144 points 0.379 * * * * [points]: Setting MPFR precision to 64 0.396 * * * * [points]: Setting MPFR precision to 320 0.413 * * * * [points]: Filtering points with unrepresentable outputs 0.413 * * * * [points]: Sampling 106 additional inputs, on iter 3 have 150 / 256 0.414 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision 0.421 * * * * [points]: Setting MPFR precision to 64 0.423 * * * * [points]: Setting MPFR precision to 320 0.425 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision 0.433 * * * * [points]: Setting MPFR precision to 64 0.470 * * * * [points]: Setting MPFR precision to 320 0.474 * * * * [points]: Computing exacts for 106 points 0.481 * * * * [points]: Setting MPFR precision to 64 0.489 * * * * [points]: Setting MPFR precision to 320 0.497 * * * * [points]: Filtering points with unrepresentable outputs 0.497 * * * * [points]: Sampling 78 additional inputs, on iter 4 have 178 / 256 0.497 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision 0.501 * * * * [points]: Setting MPFR precision to 64 0.503 * * * * [points]: Setting MPFR precision to 320 0.504 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision 0.508 * * * * [points]: Setting MPFR precision to 64 0.510 * * * * [points]: Setting MPFR precision to 320 0.512 * * * * [points]: Computing exacts for 78 points 0.516 * * * * [points]: Setting MPFR precision to 64 0.522 * * * * [points]: Setting MPFR precision to 320 0.531 * * * * [points]: Filtering points with unrepresentable outputs 0.532 * * * * [points]: Sampling 59 additional inputs, on iter 5 have 197 / 256 0.532 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision 0.541 * * * * [points]: Setting MPFR precision to 64 0.543 * * * * [points]: Setting MPFR precision to 320 0.545 * * * * [points]: Computing exacts for 59 points 0.553 * * * * [points]: Setting MPFR precision to 64 0.561 * * * * [points]: Setting MPFR precision to 320 0.569 * * * * [points]: Filtering points with unrepresentable outputs 0.569 * * * * [points]: Sampling 42 additional inputs, on iter 6 have 214 / 256 0.569 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision 0.577 * * * * [points]: Setting MPFR precision to 64 0.579 * * * * [points]: Setting MPFR precision to 320 0.581 * * * * [points]: Computing exacts for 42 points 0.589 * * * * [points]: Setting MPFR precision to 64 0.620 * * * * [points]: Setting MPFR precision to 320 0.626 * * * * [points]: Filtering points with unrepresentable outputs 0.626 * * * * [points]: Sampling 31 additional inputs, on iter 7 have 225 / 256 0.626 * * * * [points]: Computing exacts for 31 points 0.638 * * * * [points]: Setting MPFR precision to 64 0.643 * * * * [points]: Setting MPFR precision to 320 0.647 * * * * [points]: Filtering points with unrepresentable outputs 0.647 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 239 / 256 0.648 * * * * [points]: Computing exacts for 17 points 0.656 * * * * [points]: Setting MPFR precision to 64 0.658 * * * * [points]: Setting MPFR precision to 320 0.661 * * * * [points]: Filtering points with unrepresentable outputs 0.661 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 246 / 256 0.661 * * * * [points]: Computing exacts for 10 points 0.669 * * * * [points]: Setting MPFR precision to 64 0.671 * * * * [points]: Setting MPFR precision to 320 0.672 * * * * [points]: Filtering points with unrepresentable outputs 0.672 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 247 / 256 0.672 * * * * [points]: Computing exacts for 9 points 0.680 * * * * [points]: Setting MPFR precision to 64 0.682 * * * * [points]: Setting MPFR precision to 320 0.683 * * * * [points]: Filtering points with unrepresentable outputs 0.683 * * * * [points]: Sampling 7 additional inputs, on iter 11 have 249 / 256 0.683 * * * * [points]: Computing exacts for 7 points 0.691 * * * * [points]: Setting MPFR precision to 64 0.693 * * * * [points]: Setting MPFR precision to 320 0.694 * * * * [points]: Filtering points with unrepresentable outputs 0.694 * * * * [points]: Sampling 6 additional inputs, on iter 12 have 250 / 256 0.694 * * * * [points]: Computing exacts for 6 points 0.702 * * * * [points]: Setting MPFR precision to 64 0.703 * * * * [points]: Setting MPFR precision to 320 0.704 * * * * [points]: Filtering points with unrepresentable outputs 0.704 * * * * [points]: Sampling 5 additional inputs, on iter 13 have 251 / 256 0.704 * * * * [points]: Computing exacts for 5 points 0.712 * * * * [points]: Setting MPFR precision to 64 0.713 * * * * [points]: Setting MPFR precision to 320 0.714 * * * * [points]: Filtering points with unrepresentable outputs 0.714 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 253 / 256 0.714 * * * * [points]: Computing exacts for 4 points 0.722 * * * * [points]: Setting MPFR precision to 64 0.723 * * * * [points]: Setting MPFR precision to 320 0.724 * * * * [points]: Filtering points with unrepresentable outputs 0.724 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 254 / 256 0.724 * * * * [points]: Computing exacts for 4 points 0.732 * * * * [points]: Setting MPFR precision to 64 0.733 * * * * [points]: Setting MPFR precision to 320 0.733 * * * * [points]: Filtering points with unrepresentable outputs 0.733 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 255 / 256 0.733 * * * * [points]: Computing exacts for 4 points 0.741 * * * * [points]: Setting MPFR precision to 64 0.742 * * * * [points]: Setting MPFR precision to 320 0.743 * * * * [points]: Filtering points with unrepresentable outputs 0.743 * * * * [points]: Sampled 258 points with exact outputs 0.743 * * * [progress]: [2/2] Setting up program. 0.781 * [progress]: [Phase 2 of 3] Improving. 0.781 * * * * [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)))> 0.782 * [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)) 0.782 * * [simplify]: iters left: 6 (19 enodes) 0.787 * * [simplify]: iters left: 5 (48 enodes) 0.796 * * [simplify]: iters left: 4 (124 enodes) 0.843 * * [simplify]: Extracting #0: cost 1 inf + 0 0.844 * * [simplify]: Extracting #1: cost 3 inf + 0 0.844 * * [simplify]: Extracting #2: cost 6 inf + 0 0.844 * * [simplify]: Extracting #3: cost 31 inf + 2 0.844 * * [simplify]: Extracting #4: cost 126 inf + 4 0.846 * * [simplify]: Extracting #5: cost 211 inf + 2985 0.849 * * [simplify]: Extracting #6: cost 160 inf + 31488 0.856 * * [simplify]: Extracting #7: cost 100 inf + 88984 0.873 * * [simplify]: Extracting #8: cost 1 inf + 172697 0.897 * * [simplify]: Extracting #9: cost 0 inf + 173382 0.918 * [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)) 0.918 * [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))) 0.982 * * [progress]: iteration 1 / 4 0.982 * * * [progress]: picking best candidate 1.038 * * * * [pick]: Picked #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)))> 1.038 * * * [progress]: localizing error 1.465 * * * [progress]: generating rewritten candidates 1.465 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.490 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.574 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.617 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1.634 * * * [progress]: generating series expansions 1.634 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.634 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.634 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.635 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 1.635 * * * [progress]: simplifying candidates 1.635 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.635 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 1.635 * * [simplify]: iters left: 4 (10 enodes) 1.640 * * [simplify]: iters left: 3 (28 enodes) 1.649 * * [simplify]: iters left: 2 (45 enodes) 1.656 * * [simplify]: iters left: 1 (94 enodes) 1.678 * * [simplify]: Extracting #0: cost 1 inf + 0 1.678 * * [simplify]: Extracting #1: cost 22 inf + 0 1.678 * * [simplify]: Extracting #2: cost 75 inf + 0 1.678 * * [simplify]: Extracting #3: cost 107 inf + 2 1.679 * * [simplify]: Extracting #4: cost 96 inf + 15851 1.681 * * [simplify]: Extracting #5: cost 36 inf + 72598 1.685 * * [simplify]: Extracting #6: cost 4 inf + 121509 1.690 * * [simplify]: Extracting #7: cost 0 inf + 127325 1.695 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 1.695 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1.695 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.695 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha)) 1.695 * * [simplify]: iters left: 4 (10 enodes) 1.698 * * [simplify]: iters left: 3 (28 enodes) 1.709 * * [simplify]: iters left: 2 (74 enodes) 1.738 * * [simplify]: iters left: 1 (216 enodes) 1.808 * * [simplify]: Extracting #0: cost 1 inf + 0 1.808 * * [simplify]: Extracting #1: cost 35 inf + 0 1.809 * * [simplify]: Extracting #2: cost 150 inf + 0 1.810 * * [simplify]: Extracting #3: cost 144 inf + 1051 1.812 * * [simplify]: Extracting #4: cost 116 inf + 17595 1.819 * * [simplify]: Extracting #5: cost 26 inf + 102685 1.828 * * [simplify]: Extracting #6: cost 0 inf + 130349 1.835 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1.835 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.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))) 1.835 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.836 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1.836 * * [simplify]: iters left: 5 (12 enodes) 1.839 * * [simplify]: iters left: 4 (35 enodes) 1.847 * * [simplify]: iters left: 3 (115 enodes) 1.897 * * [simplify]: Extracting #0: cost 1 inf + 0 1.897 * * [simplify]: Extracting #1: cost 43 inf + 0 1.898 * * [simplify]: Extracting #2: cost 175 inf + 0 1.898 * * [simplify]: Extracting #3: cost 202 inf + 2097 1.900 * * [simplify]: Extracting #4: cost 138 inf + 34491 1.908 * * [simplify]: Extracting #5: cost 11 inf + 120299 1.918 * * [simplify]: Extracting #6: cost 0 inf + 129350 1.928 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) 1.928 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))) 1.928 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 1.0) (/.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 2.0)))> 1.928 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.928 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 1.928 * * [simplify]: iters left: 3 (6 enodes) 1.930 * * [simplify]: iters left: 2 (13 enodes) 1.932 * * [simplify]: Extracting #0: cost 1 inf + 0 1.932 * * [simplify]: Extracting #1: cost 3 inf + 0 1.932 * * [simplify]: Extracting #2: cost 4 inf + 1 1.932 * * [simplify]: Extracting #3: cost 4 inf + 2 1.932 * * [simplify]: Extracting #4: cost 0 inf + 689 1.932 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 1.932 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 i (real->posit16 2)))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1.932 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1.932 * * * * [progress]: [ 7 / 10 ] 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)))> 1.933 * [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)) 1.933 * * [simplify]: iters left: 6 (19 enodes) 1.938 * * [simplify]: iters left: 5 (48 enodes) 1.952 * * [simplify]: iters left: 4 (124 enodes) 1.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1.986 * * [simplify]: Extracting #1: cost 3 inf + 0 1.986 * * [simplify]: Extracting #2: cost 6 inf + 0 1.986 * * [simplify]: Extracting #3: cost 31 inf + 2 1.986 * * [simplify]: Extracting #4: cost 126 inf + 4 1.987 * * [simplify]: Extracting #5: cost 211 inf + 2985 1.989 * * [simplify]: Extracting #6: cost 160 inf + 31488 1.993 * * [simplify]: Extracting #7: cost 100 inf + 88984 2.009 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.028 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.037 * [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)) 2.037 * [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))) 2.038 * * * * [progress]: [ 8 / 10 ] 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)))> 2.038 * [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)) 2.038 * * [simplify]: iters left: 6 (19 enodes) 2.042 * * [simplify]: iters left: 5 (48 enodes) 2.051 * * [simplify]: iters left: 4 (124 enodes) 2.092 * * [simplify]: Extracting #0: cost 1 inf + 0 2.092 * * [simplify]: Extracting #1: cost 3 inf + 0 2.092 * * [simplify]: Extracting #2: cost 6 inf + 0 2.092 * * [simplify]: Extracting #3: cost 31 inf + 2 2.093 * * [simplify]: Extracting #4: cost 126 inf + 4 2.094 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.097 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.104 * * [simplify]: Extracting #7: cost 100 inf + 88984 2.124 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.143 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.162 * [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)) 2.162 * [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))) 2.163 * * * * [progress]: [ 9 / 10 ] 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)))> 2.163 * [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)) 2.163 * * [simplify]: iters left: 6 (19 enodes) 2.172 * * [simplify]: iters left: 5 (48 enodes) 2.190 * * [simplify]: iters left: 4 (124 enodes) 2.263 * * [simplify]: Extracting #0: cost 1 inf + 0 2.264 * * [simplify]: Extracting #1: cost 3 inf + 0 2.264 * * [simplify]: Extracting #2: cost 6 inf + 0 2.264 * * [simplify]: Extracting #3: cost 31 inf + 2 2.264 * * [simplify]: Extracting #4: cost 126 inf + 4 2.266 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.269 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.276 * * [simplify]: Extracting #7: cost 100 inf + 88984 2.294 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.313 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.332 * [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)) 2.332 * [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))) 2.333 * * * * [progress]: [ 10 / 10 ] 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)))> 2.333 * [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)) 2.333 * * [simplify]: iters left: 6 (19 enodes) 2.342 * * [simplify]: iters left: 5 (48 enodes) 2.354 * * [simplify]: iters left: 4 (124 enodes) 2.401 * * [simplify]: Extracting #0: cost 1 inf + 0 2.401 * * [simplify]: Extracting #1: cost 3 inf + 0 2.401 * * [simplify]: Extracting #2: cost 6 inf + 0 2.402 * * [simplify]: Extracting #3: cost 31 inf + 2 2.402 * * [simplify]: Extracting #4: cost 126 inf + 4 2.403 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.407 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.414 * * [simplify]: Extracting #7: cost 100 inf + 88984 2.431 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.450 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.468 * [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)) 2.468 * [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))) 2.469 * * * [progress]: adding candidates to table 2.969 * * [progress]: iteration 2 / 4 2.969 * * * [progress]: picking best candidate 3.063 * * * * [pick]: Picked #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 3.063 * * * [progress]: localizing error 3.398 * * * [progress]: generating rewritten candidates 3.398 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2) 3.410 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.482 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 3.491 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.722 * * * [progress]: generating series expansions 3.723 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2) 3.723 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.723 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.723 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.723 * * * [progress]: simplifying candidates 3.723 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 3.723 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 3.723 * * [simplify]: iters left: 4 (12 enodes) 3.726 * * [simplify]: iters left: 3 (33 enodes) 3.732 * * [simplify]: iters left: 2 (62 enodes) 3.744 * * [simplify]: iters left: 1 (143 enodes) 3.818 * * [simplify]: Extracting #0: cost 1 inf + 0 3.818 * * [simplify]: Extracting #1: cost 35 inf + 0 3.819 * * [simplify]: Extracting #2: cost 147 inf + 0 3.820 * * [simplify]: Extracting #3: cost 193 inf + 767 3.822 * * [simplify]: Extracting #4: cost 191 inf + 24547 3.834 * * [simplify]: Extracting #5: cost 67 inf + 209165 3.855 * * [simplify]: Extracting #6: cost 6 inf + 313170 3.880 * * [simplify]: Extracting #7: cost 1 inf + 324060 3.903 * * [simplify]: Extracting #8: cost 0 inf + 327342 3.923 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) 3.923 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 3.923 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 3.923 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 3.923 * * [simplify]: iters left: 5 (13 enodes) 3.927 * * [simplify]: iters left: 4 (35 enodes) 3.933 * * [simplify]: iters left: 3 (66 enodes) 3.946 * * [simplify]: iters left: 2 (141 enodes) 3.977 * * [simplify]: iters left: 1 (369 enodes) 4.286 * * [simplify]: Extracting #0: cost 1 inf + 0 4.287 * * [simplify]: Extracting #1: cost 71 inf + 0 4.288 * * [simplify]: Extracting #2: cost 394 inf + 0 4.290 * * [simplify]: Extracting #3: cost 562 inf + 21399 4.298 * * [simplify]: Extracting #4: cost 392 inf + 228087 4.320 * * [simplify]: Extracting #5: cost 143 inf + 611949 4.370 * * [simplify]: Extracting #6: cost 3 inf + 877497 4.452 * * [simplify]: Extracting #7: cost 0 inf + 883992 4.534 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.534 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 4.534 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.534 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) 4.534 * * [simplify]: iters left: 5 (14 enodes) 4.541 * * [simplify]: iters left: 4 (39 enodes) 4.556 * * [simplify]: iters left: 3 (104 enodes) 4.614 * * [simplify]: Extracting #0: cost 1 inf + 0 4.614 * * [simplify]: Extracting #1: cost 40 inf + 0 4.614 * * [simplify]: Extracting #2: cost 137 inf + 0 4.615 * * [simplify]: Extracting #3: cost 197 inf + 1489 4.616 * * [simplify]: Extracting #4: cost 175 inf + 14585 4.619 * * [simplify]: Extracting #5: cost 101 inf + 64936 4.629 * * [simplify]: Extracting #6: cost 1 inf + 165850 4.643 * * [simplify]: Extracting #7: cost 0 inf + 167815 4.659 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i))) 4.659 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.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))) 4.659 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.660 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) 4.660 * * [simplify]: iters left: 5 (13 enodes) 4.666 * * [simplify]: iters left: 4 (36 enodes) 4.680 * * [simplify]: iters left: 3 (76 enodes) 4.703 * * [simplify]: iters left: 2 (195 enodes) 4.787 * * [simplify]: Extracting #0: cost 1 inf + 0 4.787 * * [simplify]: Extracting #1: cost 39 inf + 0 4.787 * * [simplify]: Extracting #2: cost 198 inf + 0 4.789 * * [simplify]: Extracting #3: cost 261 inf + 11162 4.792 * * [simplify]: Extracting #4: cost 217 inf + 89510 4.799 * * [simplify]: Extracting #5: cost 111 inf + 241343 4.814 * * [simplify]: Extracting #6: cost 17 inf + 435067 4.849 * * [simplify]: Extracting #7: cost 0 inf + 475326 4.887 * * [simplify]: Extracting #8: cost 0 inf + 475206 4.925 * [simplify]: Simplified to (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 4.925 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.926 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.926 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 4.926 * * [simplify]: iters left: 4 (9 enodes) 4.930 * * [simplify]: iters left: 3 (21 enodes) 4.937 * * [simplify]: iters left: 2 (27 enodes) 4.946 * * [simplify]: iters left: 1 (29 enodes) 4.954 * * [simplify]: Extracting #0: cost 1 inf + 0 4.954 * * [simplify]: Extracting #1: cost 3 inf + 0 4.954 * * [simplify]: Extracting #2: cost 8 inf + 0 4.954 * * [simplify]: Extracting #3: cost 8 inf + 2 4.954 * * [simplify]: Extracting #4: cost 7 inf + 45 4.955 * * [simplify]: Extracting #5: cost 1 inf + 1980 4.955 * * [simplify]: Extracting #6: cost 0 inf + 2343 4.955 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 4.955 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 4.955 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))> 4.956 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 4.956 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.956 * * [simplify]: iters left: 4 (10 enodes) 4.961 * * [simplify]: iters left: 3 (28 enodes) 4.969 * * [simplify]: iters left: 2 (45 enodes) 4.985 * * [simplify]: iters left: 1 (94 enodes) 5.028 * * [simplify]: Extracting #0: cost 1 inf + 0 5.028 * * [simplify]: Extracting #1: cost 22 inf + 0 5.029 * * [simplify]: Extracting #2: cost 75 inf + 0 5.029 * * [simplify]: Extracting #3: cost 107 inf + 2 5.031 * * [simplify]: Extracting #4: cost 96 inf + 15851 5.035 * * [simplify]: Extracting #5: cost 36 inf + 72598 5.043 * * [simplify]: Extracting #6: cost 4 inf + 121509 5.052 * * [simplify]: Extracting #7: cost 0 inf + 127325 5.061 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.061 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 5.061 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 5.061 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.061 * * [simplify]: iters left: 4 (10 enodes) 5.066 * * [simplify]: iters left: 3 (28 enodes) 5.075 * * [simplify]: iters left: 2 (45 enodes) 5.092 * * [simplify]: iters left: 1 (94 enodes) 5.134 * * [simplify]: Extracting #0: cost 1 inf + 0 5.135 * * [simplify]: Extracting #1: cost 22 inf + 0 5.135 * * [simplify]: Extracting #2: cost 75 inf + 0 5.135 * * [simplify]: Extracting #3: cost 107 inf + 2 5.139 * * [simplify]: Extracting #4: cost 96 inf + 15851 5.144 * * [simplify]: Extracting #5: cost 36 inf + 72598 5.152 * * [simplify]: Extracting #6: cost 4 inf + 121509 5.161 * * [simplify]: Extracting #7: cost 0 inf + 127325 5.171 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.171 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 5.171 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 5.172 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.172 * * [simplify]: iters left: 4 (10 enodes) 5.177 * * [simplify]: iters left: 3 (28 enodes) 5.186 * * [simplify]: iters left: 2 (45 enodes) 5.196 * * [simplify]: iters left: 1 (94 enodes) 5.218 * * [simplify]: Extracting #0: cost 1 inf + 0 5.218 * * [simplify]: Extracting #1: cost 22 inf + 0 5.218 * * [simplify]: Extracting #2: cost 75 inf + 0 5.218 * * [simplify]: Extracting #3: cost 107 inf + 2 5.220 * * [simplify]: Extracting #4: cost 96 inf + 15851 5.223 * * [simplify]: Extracting #5: cost 36 inf + 72598 5.230 * * [simplify]: Extracting #6: cost 4 inf + 121509 5.238 * * [simplify]: Extracting #7: cost 0 inf + 127325 5.246 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.247 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 5.247 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 5.247 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.247 * * [simplify]: iters left: 4 (10 enodes) 5.251 * * [simplify]: iters left: 3 (28 enodes) 5.261 * * [simplify]: iters left: 2 (45 enodes) 5.276 * * [simplify]: iters left: 1 (94 enodes) 5.313 * * [simplify]: Extracting #0: cost 1 inf + 0 5.313 * * [simplify]: Extracting #1: cost 22 inf + 0 5.313 * * [simplify]: Extracting #2: cost 75 inf + 0 5.314 * * [simplify]: Extracting #3: cost 107 inf + 2 5.315 * * [simplify]: Extracting #4: cost 96 inf + 15851 5.319 * * [simplify]: Extracting #5: cost 36 inf + 72598 5.326 * * [simplify]: Extracting #6: cost 4 inf + 121509 5.333 * * [simplify]: Extracting #7: cost 0 inf + 127325 5.341 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 5.341 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 5.342 * * * [progress]: adding candidates to table 5.738 * * [progress]: iteration 3 / 4 5.738 * * * [progress]: picking best candidate 5.913 * * * * [pick]: Picked #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 5.913 * * * [progress]: localizing error 6.359 * * * [progress]: generating rewritten candidates 6.360 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 6.378 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 6.490 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 6.551 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 6.570 * * * [progress]: generating series expansions 6.570 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 6.571 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 6.571 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 6.571 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 6.571 * * * [progress]: simplifying candidates 6.571 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 6.571 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 6.571 * * [simplify]: iters left: 5 (15 enodes) 6.579 * * [simplify]: iters left: 4 (40 enodes) 6.594 * * [simplify]: iters left: 3 (83 enodes) 6.627 * * [simplify]: iters left: 2 (187 enodes) 6.725 * * [simplify]: Extracting #0: cost 1 inf + 0 6.725 * * [simplify]: Extracting #1: cost 35 inf + 0 6.726 * * [simplify]: Extracting #2: cost 155 inf + 0 6.727 * * [simplify]: Extracting #3: cost 202 inf + 969 6.730 * * [simplify]: Extracting #4: cost 201 inf + 17581 6.739 * * [simplify]: Extracting #5: cost 87 inf + 150198 6.758 * * [simplify]: Extracting #6: cost 12 inf + 289840 6.783 * * [simplify]: Extracting #7: cost 0 inf + 323608 6.811 * * [simplify]: Extracting #8: cost 0 inf + 323328 6.836 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) 6.836 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 6.837 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 6.837 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) 6.837 * * [simplify]: iters left: 6 (17 enodes) 6.846 * * [simplify]: iters left: 5 (46 enodes) 6.862 * * [simplify]: iters left: 4 (120 enodes) 6.914 * * [simplify]: iters left: 3 (388 enodes) 7.234 * * [simplify]: Extracting #0: cost 1 inf + 0 7.234 * * [simplify]: Extracting #1: cost 49 inf + 0 7.236 * * [simplify]: Extracting #2: cost 326 inf + 0 7.241 * * [simplify]: Extracting #3: cost 698 inf + 9473 7.249 * * [simplify]: Extracting #4: cost 699 inf + 51525 7.264 * * [simplify]: Extracting #5: cost 593 inf + 186237 7.307 * * [simplify]: Extracting #6: cost 331 inf + 506288 7.356 * * [simplify]: Extracting #7: cost 49 inf + 1088111 7.466 * * [simplify]: Extracting #8: cost 0 inf + 1193036 7.538 * * [simplify]: Extracting #9: cost 0 inf + 1191316 7.625 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)))) 7.625 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 7.625 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 7.626 * [simplify]: Simplifying (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) 7.626 * * [simplify]: iters left: 5 (13 enodes) 7.632 * * [simplify]: iters left: 4 (31 enodes) 7.644 * * [simplify]: iters left: 3 (68 enodes) 7.684 * * [simplify]: iters left: 2 (351 enodes) 8.033 * * [simplify]: Extracting #0: cost 1 inf + 0 8.033 * * [simplify]: Extracting #1: cost 7 inf + 0 8.033 * * [simplify]: Extracting #2: cost 182 inf + 0 8.035 * * [simplify]: Extracting #3: cost 416 inf + 1773 8.037 * * [simplify]: Extracting #4: cost 409 inf + 5969 8.049 * * [simplify]: Extracting #5: cost 231 inf + 120140 8.077 * * [simplify]: Extracting #6: cost 5 inf + 325968 8.129 * * [simplify]: Extracting #7: cost 0 inf + 329273 8.197 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) 8.197 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 8.197 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 8.197 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 8.198 * * [simplify]: iters left: 6 (14 enodes) 8.205 * * [simplify]: iters left: 5 (45 enodes) 8.221 * * [simplify]: iters left: 4 (122 enodes) 8.267 * * [simplify]: Extracting #0: cost 1 inf + 0 8.267 * * [simplify]: Extracting #1: cost 29 inf + 0 8.268 * * [simplify]: Extracting #2: cost 113 inf + 0 8.268 * * [simplify]: Extracting #3: cost 190 inf + 1493 8.269 * * [simplify]: Extracting #4: cost 161 inf + 18699 8.273 * * [simplify]: Extracting #5: cost 79 inf + 85479 8.294 * * [simplify]: Extracting #6: cost 3 inf + 156378 8.314 * * [simplify]: Extracting #7: cost 0 inf + 158313 8.335 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) 8.335 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0))) 8.335 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))) (real->posit16 2.0)))> 8.335 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 8.336 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 8.336 * * [simplify]: iters left: 5 (13 enodes) 8.343 * * [simplify]: iters left: 4 (35 enodes) 8.355 * * [simplify]: iters left: 3 (66 enodes) 8.379 * * [simplify]: iters left: 2 (141 enodes) 8.432 * * [simplify]: iters left: 1 (369 enodes) 8.689 * * [simplify]: Extracting #0: cost 1 inf + 0 8.689 * * [simplify]: Extracting #1: cost 71 inf + 0 8.691 * * [simplify]: Extracting #2: cost 394 inf + 0 8.696 * * [simplify]: Extracting #3: cost 562 inf + 21399 8.713 * * [simplify]: Extracting #4: cost 392 inf + 228087 8.756 * * [simplify]: Extracting #5: cost 143 inf + 611949 8.839 * * [simplify]: Extracting #6: cost 3 inf + 877497 8.922 * * [simplify]: Extracting #7: cost 0 inf + 883992 8.970 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 8.970 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 8.970 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 8.971 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 8.971 * * [simplify]: iters left: 5 (13 enodes) 8.977 * * [simplify]: iters left: 4 (35 enodes) 8.989 * * [simplify]: iters left: 3 (66 enodes) 9.013 * * [simplify]: iters left: 2 (141 enodes) 9.071 * * [simplify]: iters left: 1 (369 enodes) 9.336 * * [simplify]: Extracting #0: cost 1 inf + 0 9.337 * * [simplify]: Extracting #1: cost 71 inf + 0 9.341 * * [simplify]: Extracting #2: cost 394 inf + 0 9.343 * * [simplify]: Extracting #3: cost 562 inf + 21399 9.351 * * [simplify]: Extracting #4: cost 392 inf + 228087 9.379 * * [simplify]: Extracting #5: cost 143 inf + 611949 9.448 * * [simplify]: Extracting #6: cost 3 inf + 877497 9.511 * * [simplify]: Extracting #7: cost 0 inf + 883992 9.554 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 9.554 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 9.554 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 9.554 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 9.554 * * [simplify]: iters left: 5 (13 enodes) 9.558 * * [simplify]: iters left: 4 (35 enodes) 9.565 * * [simplify]: iters left: 3 (66 enodes) 9.578 * * [simplify]: iters left: 2 (141 enodes) 9.626 * * [simplify]: iters left: 1 (369 enodes) 9.877 * * [simplify]: Extracting #0: cost 1 inf + 0 9.877 * * [simplify]: Extracting #1: cost 71 inf + 0 9.879 * * [simplify]: Extracting #2: cost 394 inf + 0 9.884 * * [simplify]: Extracting #3: cost 562 inf + 21399 9.900 * * [simplify]: Extracting #4: cost 392 inf + 228087 9.929 * * [simplify]: Extracting #5: cost 143 inf + 611949 9.978 * * [simplify]: Extracting #6: cost 3 inf + 877497 10.046 * * [simplify]: Extracting #7: cost 0 inf + 883992 10.089 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 10.089 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 10.089 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 10.089 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 10.089 * * [simplify]: iters left: 5 (13 enodes) 10.093 * * [simplify]: iters left: 4 (35 enodes) 10.100 * * [simplify]: iters left: 3 (66 enodes) 10.122 * * [simplify]: iters left: 2 (141 enodes) 10.155 * * [simplify]: iters left: 1 (369 enodes) 10.448 * * [simplify]: Extracting #0: cost 1 inf + 0 10.448 * * [simplify]: Extracting #1: cost 71 inf + 0 10.449 * * [simplify]: Extracting #2: cost 394 inf + 0 10.452 * * [simplify]: Extracting #3: cost 562 inf + 21399 10.460 * * [simplify]: Extracting #4: cost 392 inf + 228087 10.497 * * [simplify]: Extracting #5: cost 143 inf + 611949 10.543 * * [simplify]: Extracting #6: cost 3 inf + 877497 10.624 * * [simplify]: Extracting #7: cost 0 inf + 883992 10.679 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 10.679 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 10.679 * * * [progress]: adding candidates to table 11.057 * * [progress]: iteration 4 / 4 11.057 * * * [progress]: picking best candidate 11.180 * * * * [pick]: Picked #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 11.180 * * * [progress]: localizing error 11.541 * * * [progress]: generating rewritten candidates 11.541 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 11.550 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 11.574 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 11.590 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 11.630 * * * [progress]: generating series expansions 11.630 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 11.630 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 11.631 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 11.631 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 11.631 * * * [progress]: simplifying candidates 11.631 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 11.631 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) 11.631 * * [simplify]: iters left: 5 (12 enodes) 11.637 * * [simplify]: iters left: 4 (28 enodes) 11.643 * * [simplify]: iters left: 3 (48 enodes) 11.652 * * [simplify]: iters left: 2 (76 enodes) 11.665 * * [simplify]: iters left: 1 (93 enodes) 11.688 * * [simplify]: Extracting #0: cost 1 inf + 0 11.688 * * [simplify]: Extracting #1: cost 3 inf + 0 11.688 * * [simplify]: Extracting #2: cost 16 inf + 0 11.689 * * [simplify]: Extracting #3: cost 17 inf + 2 11.689 * * [simplify]: Extracting #4: cost 15 inf + 46 11.689 * * [simplify]: Extracting #5: cost 12 inf + 131 11.690 * * [simplify]: Extracting #6: cost 2 inf + 3402 11.691 * * [simplify]: Extracting #7: cost 0 inf + 4169 11.692 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) 11.692 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 11.692 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 11.694 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) 11.694 * * [simplify]: iters left: 6 (13 enodes) 11.701 * * [simplify]: iters left: 5 (38 enodes) 11.717 * * [simplify]: iters left: 4 (118 enodes) 11.797 * * [simplify]: Extracting #0: cost 1 inf + 0 11.797 * * [simplify]: Extracting #1: cost 5 inf + 0 11.798 * * [simplify]: Extracting #2: cost 51 inf + 0 11.799 * * [simplify]: Extracting #3: cost 173 inf + 2 11.800 * * [simplify]: Extracting #4: cost 203 inf + 2418 11.804 * * [simplify]: Extracting #5: cost 141 inf + 36617 11.816 * * [simplify]: Extracting #6: cost 18 inf + 118321 11.839 * * [simplify]: Extracting #7: cost 0 inf + 131358 11.860 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))) 11.860 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 11.860 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 11.860 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 11.860 * * [simplify]: iters left: 4 (12 enodes) 11.866 * * [simplify]: iters left: 3 (33 enodes) 11.879 * * [simplify]: iters left: 2 (62 enodes) 11.899 * * [simplify]: iters left: 1 (143 enodes) 11.955 * * [simplify]: Extracting #0: cost 1 inf + 0 11.956 * * [simplify]: Extracting #1: cost 35 inf + 0 11.956 * * [simplify]: Extracting #2: cost 147 inf + 0 11.957 * * [simplify]: Extracting #3: cost 193 inf + 767 11.959 * * [simplify]: Extracting #4: cost 191 inf + 24547 11.971 * * [simplify]: Extracting #5: cost 67 inf + 209165 11.991 * * [simplify]: Extracting #6: cost 6 inf + 313170 12.014 * * [simplify]: Extracting #7: cost 1 inf + 324060 12.037 * * [simplify]: Extracting #8: cost 0 inf + 327342 12.060 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) 12.060 * [simplify]: Simplified (2 1 1 2 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0))) 12.061 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #posit16 1.0) (/.p16 (+.p16 alpha beta) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))))) (real->posit16 2.0)))> 12.061 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 12.061 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) 12.061 * * [simplify]: iters left: 5 (16 enodes) 12.069 * * [simplify]: iters left: 4 (44 enodes) 12.086 * * [simplify]: iters left: 3 (121 enodes) 12.137 * * [simplify]: Extracting #0: cost 1 inf + 0 12.137 * * [simplify]: Extracting #1: cost 46 inf + 0 12.138 * * [simplify]: Extracting #2: cost 140 inf + 0 12.138 * * [simplify]: Extracting #3: cost 227 inf + 44 12.139 * * [simplify]: Extracting #4: cost 216 inf + 8492 12.144 * * [simplify]: Extracting #5: cost 110 inf + 111003 12.165 * * [simplify]: Extracting #6: cost 3 inf + 233283 12.191 * * [simplify]: Extracting #7: cost 0 inf + 240694 12.220 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) 12.220 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 12.221 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 12.221 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 12.221 * * [simplify]: iters left: 5 (12 enodes) 12.227 * * [simplify]: iters left: 4 (35 enodes) 12.242 * * [simplify]: iters left: 3 (115 enodes) 12.305 * * [simplify]: Extracting #0: cost 1 inf + 0 12.306 * * [simplify]: Extracting #1: cost 43 inf + 0 12.306 * * [simplify]: Extracting #2: cost 175 inf + 0 12.307 * * [simplify]: Extracting #3: cost 202 inf + 2097 12.309 * * [simplify]: Extracting #4: cost 138 inf + 34491 12.319 * * [simplify]: Extracting #5: cost 11 inf + 120299 12.338 * * [simplify]: Extracting #6: cost 0 inf + 129350 12.357 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) 12.357 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 12.358 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 12.358 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 12.358 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) 12.358 * * [simplify]: iters left: 5 (14 enodes) 12.365 * * [simplify]: iters left: 4 (39 enodes) 12.380 * * [simplify]: iters left: 3 (104 enodes) 12.419 * * [simplify]: Extracting #0: cost 1 inf + 0 12.419 * * [simplify]: Extracting #1: cost 40 inf + 0 12.420 * * [simplify]: Extracting #2: cost 137 inf + 0 12.421 * * [simplify]: Extracting #3: cost 197 inf + 1489 12.426 * * [simplify]: Extracting #4: cost 175 inf + 14585 12.432 * * [simplify]: Extracting #5: cost 101 inf + 64936 12.445 * * [simplify]: Extracting #6: cost 1 inf + 165850 12.456 * * [simplify]: Extracting #7: cost 0 inf + 167815 12.466 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i))) 12.466 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.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))) 12.466 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 12.467 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) 12.467 * * [simplify]: iters left: 5 (14 enodes) 12.473 * * [simplify]: iters left: 4 (39 enodes) 12.488 * * [simplify]: iters left: 3 (104 enodes) 12.552 * * [simplify]: Extracting #0: cost 1 inf + 0 12.552 * * [simplify]: Extracting #1: cost 40 inf + 0 12.553 * * [simplify]: Extracting #2: cost 137 inf + 0 12.554 * * [simplify]: Extracting #3: cost 197 inf + 1489 12.556 * * [simplify]: Extracting #4: cost 175 inf + 14585 12.562 * * [simplify]: Extracting #5: cost 101 inf + 64936 12.582 * * [simplify]: Extracting #6: cost 1 inf + 165850 12.605 * * [simplify]: Extracting #7: cost 0 inf + 167815 12.616 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i))) 12.616 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.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))) 12.616 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 12.617 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) 12.617 * * [simplify]: iters left: 5 (14 enodes) 12.620 * * [simplify]: iters left: 4 (39 enodes) 12.628 * * [simplify]: iters left: 3 (104 enodes) 12.660 * * [simplify]: Extracting #0: cost 1 inf + 0 12.660 * * [simplify]: Extracting #1: cost 40 inf + 0 12.661 * * [simplify]: Extracting #2: cost 137 inf + 0 12.661 * * [simplify]: Extracting #3: cost 197 inf + 1489 12.662 * * [simplify]: Extracting #4: cost 175 inf + 14585 12.665 * * [simplify]: Extracting #5: cost 101 inf + 64936 12.675 * * [simplify]: Extracting #6: cost 1 inf + 165850 12.685 * * [simplify]: Extracting #7: cost 0 inf + 167815 12.696 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i))) 12.696 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.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))) 12.696 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 12.696 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) 12.696 * * [simplify]: iters left: 5 (14 enodes) 12.700 * * [simplify]: iters left: 4 (39 enodes) 12.707 * * [simplify]: iters left: 3 (104 enodes) 12.740 * * [simplify]: Extracting #0: cost 1 inf + 0 12.741 * * [simplify]: Extracting #1: cost 40 inf + 0 12.741 * * [simplify]: Extracting #2: cost 137 inf + 0 12.742 * * [simplify]: Extracting #3: cost 197 inf + 1489 12.743 * * [simplify]: Extracting #4: cost 175 inf + 14585 12.746 * * [simplify]: Extracting #5: cost 101 inf + 64936 12.757 * * [simplify]: Extracting #6: cost 1 inf + 165850 12.767 * * [simplify]: Extracting #7: cost 0 inf + 167815 12.778 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i))) 12.778 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 beta alpha) (*.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))) 12.778 * * * [progress]: adding candidates to table 13.104 * [progress]: [Phase 3 of 3] Extracting. 13.104 * * [regime]: Finding splitpoints for: (#posit16 2.0) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (*.p16 (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (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)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>) 13.108 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha) 13.108 * * * * [regimes]: Trying to branch on i from (#posit16 2.0) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (*.p16 (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (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)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>) 13.403 * * * * [regimes]: Trying to branch on beta from (#posit16 2.0) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (*.p16 (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (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)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>) 13.847 * * * * [regimes]: Trying to branch on alpha from (#posit16 2.0) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)) (+.p16 (+.p16 alpha (*.p16 (real->posit16 2) i)) beta)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (*.p16 (/.p16 (+.p16 (real->posit16 2.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (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)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>) 14.274 * * * [regime]: Found split indices: #