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.016 * * * * [points]: Setting MPFR precision to 320 0.018 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.027 * * * * [points]: Setting MPFR precision to 64 0.031 * * * * [points]: Setting MPFR precision to 320 0.034 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.043 * * * * [points]: Setting MPFR precision to 64 0.050 * * * * [points]: Setting MPFR precision to 320 0.057 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.066 * * * * [points]: Setting MPFR precision to 64 0.079 * * * * [points]: Setting MPFR precision to 320 0.090 * * * * [points]: Computing exacts for 256 points 0.099 * * * * [points]: Setting MPFR precision to 64 0.133 * * * * [points]: Setting MPFR precision to 320 0.197 * * * * [points]: Filtering points with unrepresentable outputs 0.197 * * * * [points]: Sampling 191 additional inputs, on iter 1 have 65 / 256 0.199 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision 0.208 * * * * [points]: Setting MPFR precision to 64 0.210 * * * * [points]: Setting MPFR precision to 320 0.212 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision 0.221 * * * * [points]: Setting MPFR precision to 64 0.225 * * * * [points]: Setting MPFR precision to 320 0.229 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision 0.238 * * * * [points]: Setting MPFR precision to 64 0.247 * * * * [points]: Setting MPFR precision to 320 0.255 * * * * [points]: Computing exacts for 191 points 0.264 * * * * [points]: Setting MPFR precision to 64 0.290 * * * * [points]: Setting MPFR precision to 320 0.316 * * * * [points]: Filtering points with unrepresentable outputs 0.316 * * * * [points]: Sampling 144 additional inputs, on iter 2 have 112 / 256 0.317 * * * * [points]: Computing exacts on every 9 of 144 points to ramp up precision 0.326 * * * * [points]: Setting MPFR precision to 64 0.329 * * * * [points]: Setting MPFR precision to 320 0.331 * * * * [points]: Computing exacts on every 4 of 144 points to ramp up precision 0.339 * * * * [points]: Setting MPFR precision to 64 0.343 * * * * [points]: Setting MPFR precision to 320 0.346 * * * * [points]: Computing exacts on every 2 of 144 points to ramp up precision 0.381 * * * * [points]: Setting MPFR precision to 64 0.390 * * * * [points]: Setting MPFR precision to 320 0.397 * * * * [points]: Computing exacts for 144 points 0.406 * * * * [points]: Setting MPFR precision to 64 0.425 * * * * [points]: Setting MPFR precision to 320 0.444 * * * * [points]: Filtering points with unrepresentable outputs 0.445 * * * * [points]: Sampling 106 additional inputs, on iter 3 have 150 / 256 0.446 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision 0.454 * * * * [points]: Setting MPFR precision to 64 0.456 * * * * [points]: Setting MPFR precision to 320 0.459 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision 0.467 * * * * [points]: Setting MPFR precision to 64 0.471 * * * * [points]: Setting MPFR precision to 320 0.474 * * * * [points]: Computing exacts for 106 points 0.483 * * * * [points]: Setting MPFR precision to 64 0.497 * * * * [points]: Setting MPFR precision to 320 0.510 * * * * [points]: Filtering points with unrepresentable outputs 0.511 * * * * [points]: Sampling 78 additional inputs, on iter 4 have 178 / 256 0.511 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision 0.521 * * * * [points]: Setting MPFR precision to 64 0.523 * * * * [points]: Setting MPFR precision to 320 0.525 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision 0.534 * * * * [points]: Setting MPFR precision to 64 0.537 * * * * [points]: Setting MPFR precision to 320 0.541 * * * * [points]: Computing exacts for 78 points 0.829 * * * * [points]: Setting MPFR precision to 64 0.835 * * * * [points]: Setting MPFR precision to 320 0.843 * * * * [points]: Filtering points with unrepresentable outputs 0.843 * * * * [points]: Sampling 59 additional inputs, on iter 5 have 197 / 256 0.844 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision 0.848 * * * * [points]: Setting MPFR precision to 64 0.849 * * * * [points]: Setting MPFR precision to 320 0.850 * * * * [points]: Computing exacts for 59 points 0.855 * * * * [points]: Setting MPFR precision to 64 0.859 * * * * [points]: Setting MPFR precision to 320 0.863 * * * * [points]: Filtering points with unrepresentable outputs 0.864 * * * * [points]: Sampling 42 additional inputs, on iter 6 have 214 / 256 0.864 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision 0.868 * * * * [points]: Setting MPFR precision to 64 0.869 * * * * [points]: Setting MPFR precision to 320 0.871 * * * * [points]: Computing exacts for 42 points 0.875 * * * * [points]: Setting MPFR precision to 64 0.878 * * * * [points]: Setting MPFR precision to 320 0.881 * * * * [points]: Filtering points with unrepresentable outputs 0.881 * * * * [points]: Sampling 31 additional inputs, on iter 7 have 225 / 256 0.881 * * * * [points]: Computing exacts for 31 points 0.886 * * * * [points]: Setting MPFR precision to 64 0.888 * * * * [points]: Setting MPFR precision to 320 0.890 * * * * [points]: Filtering points with unrepresentable outputs 0.890 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 239 / 256 0.890 * * * * [points]: Computing exacts for 17 points 0.895 * * * * [points]: Setting MPFR precision to 64 0.896 * * * * [points]: Setting MPFR precision to 320 0.897 * * * * [points]: Filtering points with unrepresentable outputs 0.897 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 246 / 256 0.897 * * * * [points]: Computing exacts for 10 points 0.902 * * * * [points]: Setting MPFR precision to 64 0.903 * * * * [points]: Setting MPFR precision to 320 0.903 * * * * [points]: Filtering points with unrepresentable outputs 0.903 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 247 / 256 0.903 * * * * [points]: Computing exacts for 9 points 0.908 * * * * [points]: Setting MPFR precision to 64 0.908 * * * * [points]: Setting MPFR precision to 320 0.909 * * * * [points]: Filtering points with unrepresentable outputs 0.909 * * * * [points]: Sampling 7 additional inputs, on iter 11 have 249 / 256 0.909 * * * * [points]: Computing exacts for 7 points 0.932 * * * * [points]: Setting MPFR precision to 64 0.933 * * * * [points]: Setting MPFR precision to 320 0.933 * * * * [points]: Filtering points with unrepresentable outputs 0.933 * * * * [points]: Sampling 6 additional inputs, on iter 12 have 250 / 256 0.933 * * * * [points]: Computing exacts for 6 points 0.938 * * * * [points]: Setting MPFR precision to 64 0.938 * * * * [points]: Setting MPFR precision to 320 0.939 * * * * [points]: Filtering points with unrepresentable outputs 0.939 * * * * [points]: Sampling 5 additional inputs, on iter 13 have 251 / 256 0.939 * * * * [points]: Computing exacts for 5 points 0.944 * * * * [points]: Setting MPFR precision to 64 0.944 * * * * [points]: Setting MPFR precision to 320 0.945 * * * * [points]: Filtering points with unrepresentable outputs 0.945 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 253 / 256 0.945 * * * * [points]: Computing exacts for 4 points 0.949 * * * * [points]: Setting MPFR precision to 64 0.949 * * * * [points]: Setting MPFR precision to 320 0.950 * * * * [points]: Filtering points with unrepresentable outputs 0.950 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 254 / 256 0.950 * * * * [points]: Computing exacts for 4 points 0.954 * * * * [points]: Setting MPFR precision to 64 0.954 * * * * [points]: Setting MPFR precision to 320 0.955 * * * * [points]: Filtering points with unrepresentable outputs 0.955 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 255 / 256 0.955 * * * * [points]: Computing exacts for 4 points 0.959 * * * * [points]: Setting MPFR precision to 64 0.959 * * * * [points]: Setting MPFR precision to 320 0.960 * * * * [points]: Filtering points with unrepresentable outputs 0.960 * * * * [points]: Sampled 258 points with exact outputs 0.960 * * * [progress]: [2/2] Setting up program. 0.974 * [progress]: [Phase 2 of 3] Improving. 0.974 * * * * [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.974 * [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.974 * * [simplify]: iters left: 6 (19 enodes) 0.979 * * [simplify]: iters left: 5 (48 enodes) 0.988 * * [simplify]: iters left: 4 (124 enodes) 1.030 * * [simplify]: Extracting #0: cost 1 inf + 0 1.030 * * [simplify]: Extracting #1: cost 3 inf + 0 1.030 * * [simplify]: Extracting #2: cost 6 inf + 0 1.030 * * [simplify]: Extracting #3: cost 31 inf + 2 1.030 * * [simplify]: Extracting #4: cost 126 inf + 4 1.031 * * [simplify]: Extracting #5: cost 211 inf + 2985 1.032 * * [simplify]: Extracting #6: cost 160 inf + 31488 1.036 * * [simplify]: Extracting #7: cost 100 inf + 88984 1.045 * * [simplify]: Extracting #8: cost 1 inf + 172697 1.054 * * [simplify]: Extracting #9: cost 0 inf + 173382 1.064 * [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)) 1.064 * [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))) 1.098 * * [progress]: iteration 1 / 4 1.098 * * * [progress]: picking best candidate 1.125 * * * * [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.126 * * * [progress]: localizing error 1.384 * * * [progress]: generating rewritten candidates 1.384 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.398 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.444 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.474 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1.489 * * * [progress]: generating series expansions 1.489 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.489 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.490 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.490 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 1.490 * * * [progress]: simplifying candidates 1.490 * * * * [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.490 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 1.490 * * [simplify]: iters left: 4 (10 enodes) 1.494 * * [simplify]: iters left: 3 (28 enodes) 1.502 * * [simplify]: iters left: 2 (45 enodes) 1.510 * * [simplify]: iters left: 1 (94 enodes) 1.532 * * [simplify]: Extracting #0: cost 1 inf + 0 1.532 * * [simplify]: Extracting #1: cost 22 inf + 0 1.532 * * [simplify]: Extracting #2: cost 75 inf + 0 1.532 * * [simplify]: Extracting #3: cost 107 inf + 2 1.533 * * [simplify]: Extracting #4: cost 96 inf + 15851 1.535 * * [simplify]: Extracting #5: cost 36 inf + 72598 1.539 * * [simplify]: Extracting #6: cost 4 inf + 121509 1.543 * * [simplify]: Extracting #7: cost 0 inf + 127325 1.547 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 1.547 * [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.548 * * * * [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.548 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha)) 1.548 * * [simplify]: iters left: 4 (10 enodes) 1.550 * * [simplify]: iters left: 3 (28 enodes) 1.556 * * [simplify]: iters left: 2 (74 enodes) 1.575 * * [simplify]: iters left: 1 (216 enodes) 1.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1.632 * * [simplify]: Extracting #1: cost 35 inf + 0 1.633 * * [simplify]: Extracting #2: cost 150 inf + 0 1.633 * * [simplify]: Extracting #3: cost 144 inf + 1051 1.634 * * [simplify]: Extracting #4: cost 116 inf + 17595 1.638 * * [simplify]: Extracting #5: cost 26 inf + 102685 1.647 * * [simplify]: Extracting #6: cost 0 inf + 130349 1.653 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1.654 * [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.654 * * * * [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.654 * [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.654 * * [simplify]: iters left: 5 (12 enodes) 1.657 * * [simplify]: iters left: 4 (35 enodes) 1.665 * * [simplify]: iters left: 3 (115 enodes) 1.702 * * [simplify]: Extracting #0: cost 1 inf + 0 1.702 * * [simplify]: Extracting #1: cost 43 inf + 0 1.702 * * [simplify]: Extracting #2: cost 175 inf + 0 1.703 * * [simplify]: Extracting #3: cost 202 inf + 2097 1.707 * * [simplify]: Extracting #4: cost 138 inf + 34491 1.714 * * [simplify]: Extracting #5: cost 11 inf + 120299 1.724 * * [simplify]: Extracting #6: cost 0 inf + 129350 1.733 * [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.733 * [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.734 * * * * [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.734 * * * * [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.734 * [simplify]: Simplifying (+.p16 beta (*.p16 (real->posit16 2) i)) 1.734 * * [simplify]: iters left: 3 (6 enodes) 1.735 * * [simplify]: iters left: 2 (13 enodes) 1.737 * * [simplify]: Extracting #0: cost 1 inf + 0 1.737 * * [simplify]: Extracting #1: cost 3 inf + 0 1.737 * * [simplify]: Extracting #2: cost 4 inf + 1 1.737 * * [simplify]: Extracting #3: cost 4 inf + 2 1.737 * * [simplify]: Extracting #4: cost 0 inf + 689 1.737 * [simplify]: Simplified to (+.p16 beta (*.p16 i (real->posit16 2))) 1.738 * [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.738 * * * * [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.738 * * * * [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.738 * [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.738 * * [simplify]: iters left: 6 (19 enodes) 1.744 * * [simplify]: iters left: 5 (48 enodes) 1.758 * * [simplify]: iters left: 4 (124 enodes) 1.819 * * [simplify]: Extracting #0: cost 1 inf + 0 1.819 * * [simplify]: Extracting #1: cost 3 inf + 0 1.819 * * [simplify]: Extracting #2: cost 6 inf + 0 1.819 * * [simplify]: Extracting #3: cost 31 inf + 2 1.819 * * [simplify]: Extracting #4: cost 126 inf + 4 1.821 * * [simplify]: Extracting #5: cost 211 inf + 2985 1.823 * * [simplify]: Extracting #6: cost 160 inf + 31488 1.829 * * [simplify]: Extracting #7: cost 100 inf + 88984 1.843 * * [simplify]: Extracting #8: cost 1 inf + 172697 1.855 * * [simplify]: Extracting #9: cost 0 inf + 173382 1.869 * [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)) 1.869 * [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))) 1.869 * * * * [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)))> 1.869 * [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.870 * * [simplify]: iters left: 6 (19 enodes) 1.878 * * [simplify]: iters left: 5 (48 enodes) 1.890 * * [simplify]: iters left: 4 (124 enodes) 1.929 * * [simplify]: Extracting #0: cost 1 inf + 0 1.929 * * [simplify]: Extracting #1: cost 3 inf + 0 1.929 * * [simplify]: Extracting #2: cost 6 inf + 0 1.929 * * [simplify]: Extracting #3: cost 31 inf + 2 1.929 * * [simplify]: Extracting #4: cost 126 inf + 4 1.930 * * [simplify]: Extracting #5: cost 211 inf + 2985 1.932 * * [simplify]: Extracting #6: cost 160 inf + 31488 1.935 * * [simplify]: Extracting #7: cost 100 inf + 88984 1.953 * * [simplify]: Extracting #8: cost 1 inf + 172697 1.968 * * [simplify]: Extracting #9: cost 0 inf + 173382 1.977 * [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)) 1.978 * [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))) 1.978 * * * * [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)))> 1.978 * [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.978 * * [simplify]: iters left: 6 (19 enodes) 1.983 * * [simplify]: iters left: 5 (48 enodes) 1.992 * * [simplify]: iters left: 4 (124 enodes) 2.028 * * [simplify]: Extracting #0: cost 1 inf + 0 2.028 * * [simplify]: Extracting #1: cost 3 inf + 0 2.028 * * [simplify]: Extracting #2: cost 6 inf + 0 2.028 * * [simplify]: Extracting #3: cost 31 inf + 2 2.028 * * [simplify]: Extracting #4: cost 126 inf + 4 2.029 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.030 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.034 * * [simplify]: Extracting #7: cost 100 inf + 88984 2.043 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.053 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.075 * [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.075 * [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.075 * * * * [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.075 * [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.075 * * [simplify]: iters left: 6 (19 enodes) 2.084 * * [simplify]: iters left: 5 (48 enodes) 2.099 * * [simplify]: iters left: 4 (124 enodes) 2.135 * * [simplify]: Extracting #0: cost 1 inf + 0 2.135 * * [simplify]: Extracting #1: cost 3 inf + 0 2.135 * * [simplify]: Extracting #2: cost 6 inf + 0 2.135 * * [simplify]: Extracting #3: cost 31 inf + 2 2.135 * * [simplify]: Extracting #4: cost 126 inf + 4 2.137 * * [simplify]: Extracting #5: cost 211 inf + 2985 2.140 * * [simplify]: Extracting #6: cost 160 inf + 31488 2.147 * * [simplify]: Extracting #7: cost 100 inf + 88984 2.163 * * [simplify]: Extracting #8: cost 1 inf + 172697 2.184 * * [simplify]: Extracting #9: cost 0 inf + 173382 2.201 * [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.202 * [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.202 * * * [progress]: adding candidates to table 2.563 * * [progress]: iteration 2 / 4 2.563 * * * [progress]: picking best candidate 2.623 * * * * [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)))> 2.623 * * * [progress]: localizing error 2.871 * * * [progress]: generating rewritten candidates 2.871 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2) 2.882 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 2.970 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.986 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.210 * * * [progress]: generating series expansions 3.210 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2) 3.210 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.210 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.210 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.210 * * * [progress]: simplifying candidates 3.210 * * * * [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.210 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 3.211 * * [simplify]: iters left: 4 (12 enodes) 3.213 * * [simplify]: iters left: 3 (33 enodes) 3.219 * * [simplify]: iters left: 2 (62 enodes) 3.230 * * [simplify]: iters left: 1 (143 enodes) 3.271 * * [simplify]: Extracting #0: cost 1 inf + 0 3.271 * * [simplify]: Extracting #1: cost 35 inf + 0 3.271 * * [simplify]: Extracting #2: cost 147 inf + 0 3.272 * * [simplify]: Extracting #3: cost 193 inf + 767 3.273 * * [simplify]: Extracting #4: cost 191 inf + 24547 3.279 * * [simplify]: Extracting #5: cost 67 inf + 209165 3.289 * * [simplify]: Extracting #6: cost 6 inf + 313170 3.301 * * [simplify]: Extracting #7: cost 1 inf + 324060 3.312 * * [simplify]: Extracting #8: cost 0 inf + 327342 3.323 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) 3.323 * [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.324 * * * * [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.324 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 3.324 * * [simplify]: iters left: 5 (13 enodes) 3.327 * * [simplify]: iters left: 4 (35 enodes) 3.333 * * [simplify]: iters left: 3 (66 enodes) 3.345 * * [simplify]: iters left: 2 (141 enodes) 3.379 * * [simplify]: iters left: 1 (369 enodes) 3.593 * * [simplify]: Extracting #0: cost 1 inf + 0 3.594 * * [simplify]: Extracting #1: cost 71 inf + 0 3.596 * * [simplify]: Extracting #2: cost 394 inf + 0 3.600 * * [simplify]: Extracting #3: cost 562 inf + 21399 3.609 * * [simplify]: Extracting #4: cost 392 inf + 228087 3.631 * * [simplify]: Extracting #5: cost 143 inf + 611949 3.687 * * [simplify]: Extracting #6: cost 3 inf + 877497 3.735 * * [simplify]: Extracting #7: cost 0 inf + 883992 3.776 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 3.776 * [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))) 3.776 * * * * [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)))> 3.776 * [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))) 3.776 * * [simplify]: iters left: 5 (14 enodes) 3.780 * * [simplify]: iters left: 4 (39 enodes) 3.787 * * [simplify]: iters left: 3 (104 enodes) 3.822 * * [simplify]: Extracting #0: cost 1 inf + 0 3.822 * * [simplify]: Extracting #1: cost 40 inf + 0 3.822 * * [simplify]: Extracting #2: cost 137 inf + 0 3.823 * * [simplify]: Extracting #3: cost 197 inf + 1489 3.825 * * [simplify]: Extracting #4: cost 175 inf + 14585 3.830 * * [simplify]: Extracting #5: cost 101 inf + 64936 3.846 * * [simplify]: Extracting #6: cost 1 inf + 165850 3.864 * * [simplify]: Extracting #7: cost 0 inf + 167815 3.881 * [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))) 3.881 * [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))) 3.882 * * * * [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)))> 3.882 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) 3.882 * * [simplify]: iters left: 5 (13 enodes) 3.887 * * [simplify]: iters left: 4 (36 enodes) 3.898 * * [simplify]: iters left: 3 (76 enodes) 3.924 * * [simplify]: iters left: 2 (195 enodes) 4.015 * * [simplify]: Extracting #0: cost 1 inf + 0 4.015 * * [simplify]: Extracting #1: cost 39 inf + 0 4.016 * * [simplify]: Extracting #2: cost 198 inf + 0 4.017 * * [simplify]: Extracting #3: cost 261 inf + 11162 4.020 * * [simplify]: Extracting #4: cost 217 inf + 89510 4.031 * * [simplify]: Extracting #5: cost 111 inf + 241343 4.045 * * [simplify]: Extracting #6: cost 17 inf + 435067 4.063 * * [simplify]: Extracting #7: cost 0 inf + 475326 4.081 * * [simplify]: Extracting #8: cost 0 inf + 475206 4.099 * [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.099 * [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.099 * * * * [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.099 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 4.099 * * [simplify]: iters left: 4 (9 enodes) 4.102 * * [simplify]: iters left: 3 (21 enodes) 4.105 * * [simplify]: iters left: 2 (27 enodes) 4.109 * * [simplify]: iters left: 1 (29 enodes) 4.114 * * [simplify]: Extracting #0: cost 1 inf + 0 4.114 * * [simplify]: Extracting #1: cost 3 inf + 0 4.114 * * [simplify]: Extracting #2: cost 8 inf + 0 4.114 * * [simplify]: Extracting #3: cost 8 inf + 2 4.114 * * [simplify]: Extracting #4: cost 7 inf + 45 4.114 * * [simplify]: Extracting #5: cost 1 inf + 1980 4.114 * * [simplify]: Extracting #6: cost 0 inf + 2343 4.115 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 4.115 * [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.115 * * * * [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.115 * * * * [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.115 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.115 * * [simplify]: iters left: 4 (10 enodes) 4.117 * * [simplify]: iters left: 3 (28 enodes) 4.122 * * [simplify]: iters left: 2 (45 enodes) 4.130 * * [simplify]: iters left: 1 (94 enodes) 4.150 * * [simplify]: Extracting #0: cost 1 inf + 0 4.150 * * [simplify]: Extracting #1: cost 22 inf + 0 4.151 * * [simplify]: Extracting #2: cost 75 inf + 0 4.151 * * [simplify]: Extracting #3: cost 107 inf + 2 4.152 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.154 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.157 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.162 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.167 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.167 * [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))) 4.167 * * * * [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)))> 4.167 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.167 * * [simplify]: iters left: 4 (10 enodes) 4.170 * * [simplify]: iters left: 3 (28 enodes) 4.174 * * [simplify]: iters left: 2 (45 enodes) 4.182 * * [simplify]: iters left: 1 (94 enodes) 4.204 * * [simplify]: Extracting #0: cost 1 inf + 0 4.204 * * [simplify]: Extracting #1: cost 22 inf + 0 4.205 * * [simplify]: Extracting #2: cost 75 inf + 0 4.205 * * [simplify]: Extracting #3: cost 107 inf + 2 4.206 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.208 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.212 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.216 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.220 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.221 * [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))) 4.221 * * * * [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)))> 4.221 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.221 * * [simplify]: iters left: 4 (10 enodes) 4.223 * * [simplify]: iters left: 3 (28 enodes) 4.228 * * [simplify]: iters left: 2 (45 enodes) 4.236 * * [simplify]: iters left: 1 (94 enodes) 4.258 * * [simplify]: Extracting #0: cost 1 inf + 0 4.259 * * [simplify]: Extracting #1: cost 22 inf + 0 4.259 * * [simplify]: Extracting #2: cost 75 inf + 0 4.259 * * [simplify]: Extracting #3: cost 107 inf + 2 4.260 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.262 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.266 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.270 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.275 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.275 * [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))) 4.275 * * * * [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)))> 4.275 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.275 * * [simplify]: iters left: 4 (10 enodes) 4.278 * * [simplify]: iters left: 3 (28 enodes) 4.282 * * [simplify]: iters left: 2 (45 enodes) 4.290 * * [simplify]: iters left: 1 (94 enodes) 4.311 * * [simplify]: Extracting #0: cost 1 inf + 0 4.311 * * [simplify]: Extracting #1: cost 22 inf + 0 4.311 * * [simplify]: Extracting #2: cost 75 inf + 0 4.312 * * [simplify]: Extracting #3: cost 107 inf + 2 4.312 * * [simplify]: Extracting #4: cost 96 inf + 15851 4.314 * * [simplify]: Extracting #5: cost 36 inf + 72598 4.318 * * [simplify]: Extracting #6: cost 4 inf + 121509 4.323 * * [simplify]: Extracting #7: cost 0 inf + 127325 4.327 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 4.327 * [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))) 4.328 * * * [progress]: adding candidates to table 4.653 * * [progress]: iteration 3 / 4 4.653 * * * [progress]: picking best candidate 4.813 * * * * [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)))> 4.813 * * * [progress]: localizing error 5.151 * * * [progress]: generating rewritten candidates 5.151 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 5.168 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 5.222 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 5.252 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 5.261 * * * [progress]: generating series expansions 5.261 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 5.261 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 5.261 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 5.261 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 5.261 * * * [progress]: simplifying candidates 5.261 * * * * [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)))> 5.261 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 5.261 * * [simplify]: iters left: 5 (15 enodes) 5.265 * * [simplify]: iters left: 4 (40 enodes) 5.272 * * [simplify]: iters left: 3 (83 enodes) 5.289 * * [simplify]: iters left: 2 (187 enodes) 5.338 * * [simplify]: Extracting #0: cost 1 inf + 0 5.338 * * [simplify]: Extracting #1: cost 35 inf + 0 5.338 * * [simplify]: Extracting #2: cost 155 inf + 0 5.339 * * [simplify]: Extracting #3: cost 202 inf + 969 5.340 * * [simplify]: Extracting #4: cost 201 inf + 17581 5.345 * * [simplify]: Extracting #5: cost 87 inf + 150198 5.357 * * [simplify]: Extracting #6: cost 12 inf + 289840 5.369 * * [simplify]: Extracting #7: cost 0 inf + 323608 5.381 * * [simplify]: Extracting #8: cost 0 inf + 323328 5.394 * [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))) 5.394 * [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))) 5.394 * * * * [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)))> 5.394 * [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)))) 5.394 * * [simplify]: iters left: 6 (17 enodes) 5.399 * * [simplify]: iters left: 5 (46 enodes) 5.407 * * [simplify]: iters left: 4 (120 enodes) 5.435 * * [simplify]: iters left: 3 (388 enodes) 5.610 * * [simplify]: Extracting #0: cost 1 inf + 0 5.610 * * [simplify]: Extracting #1: cost 49 inf + 0 5.611 * * [simplify]: Extracting #2: cost 326 inf + 0 5.613 * * [simplify]: Extracting #3: cost 698 inf + 9473 5.621 * * [simplify]: Extracting #4: cost 699 inf + 51525 5.629 * * [simplify]: Extracting #5: cost 593 inf + 186237 5.647 * * [simplify]: Extracting #6: cost 331 inf + 506288 5.692 * * [simplify]: Extracting #7: cost 49 inf + 1088111 5.754 * * [simplify]: Extracting #8: cost 0 inf + 1193036 5.813 * * [simplify]: Extracting #9: cost 0 inf + 1191316 5.872 * [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)))) 5.873 * [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))) 5.873 * * * * [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)))> 5.873 * [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))) 5.873 * * [simplify]: iters left: 5 (13 enodes) 5.876 * * [simplify]: iters left: 4 (31 enodes) 5.882 * * [simplify]: iters left: 3 (68 enodes) 5.911 * * [simplify]: iters left: 2 (351 enodes) 6.333 * * [simplify]: Extracting #0: cost 1 inf + 0 6.333 * * [simplify]: Extracting #1: cost 7 inf + 0 6.334 * * [simplify]: Extracting #2: cost 182 inf + 0 6.337 * * [simplify]: Extracting #3: cost 416 inf + 1773 6.342 * * [simplify]: Extracting #4: cost 409 inf + 5969 6.360 * * [simplify]: Extracting #5: cost 231 inf + 120140 6.387 * * [simplify]: Extracting #6: cost 5 inf + 325968 6.434 * * [simplify]: Extracting #7: cost 0 inf + 329273 6.499 * [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)))) 6.499 * [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))) 6.500 * * * * [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)))> 6.500 * [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))) 6.500 * * [simplify]: iters left: 6 (14 enodes) 6.507 * * [simplify]: iters left: 5 (45 enodes) 6.524 * * [simplify]: iters left: 4 (122 enodes) 6.596 * * [simplify]: Extracting #0: cost 1 inf + 0 6.596 * * [simplify]: Extracting #1: cost 29 inf + 0 6.596 * * [simplify]: Extracting #2: cost 113 inf + 0 6.597 * * [simplify]: Extracting #3: cost 190 inf + 1493 6.599 * * [simplify]: Extracting #4: cost 161 inf + 18699 6.607 * * [simplify]: Extracting #5: cost 79 inf + 85479 6.625 * * [simplify]: Extracting #6: cost 3 inf + 156378 6.644 * * [simplify]: Extracting #7: cost 0 inf + 158313 6.659 * [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))) 6.659 * [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))) 6.659 * * * * [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)))> 6.659 * * * * [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)))> 6.659 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 6.659 * * [simplify]: iters left: 5 (13 enodes) 6.663 * * [simplify]: iters left: 4 (35 enodes) 6.669 * * [simplify]: iters left: 3 (66 enodes) 6.681 * * [simplify]: iters left: 2 (141 enodes) 6.730 * * [simplify]: iters left: 1 (369 enodes) 6.968 * * [simplify]: Extracting #0: cost 1 inf + 0 6.968 * * [simplify]: Extracting #1: cost 71 inf + 0 6.970 * * [simplify]: Extracting #2: cost 394 inf + 0 6.975 * * [simplify]: Extracting #3: cost 562 inf + 21399 6.991 * * [simplify]: Extracting #4: cost 392 inf + 228087 7.019 * * [simplify]: Extracting #5: cost 143 inf + 611949 7.072 * * [simplify]: Extracting #6: cost 3 inf + 877497 7.117 * * [simplify]: Extracting #7: cost 0 inf + 883992 7.175 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 7.175 * [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))) 7.175 * * * * [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)))> 7.175 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 7.175 * * [simplify]: iters left: 5 (13 enodes) 7.179 * * [simplify]: iters left: 4 (35 enodes) 7.184 * * [simplify]: iters left: 3 (66 enodes) 7.198 * * [simplify]: iters left: 2 (141 enodes) 7.249 * * [simplify]: iters left: 1 (369 enodes) 7.544 * * [simplify]: Extracting #0: cost 1 inf + 0 7.544 * * [simplify]: Extracting #1: cost 71 inf + 0 7.545 * * [simplify]: Extracting #2: cost 394 inf + 0 7.548 * * [simplify]: Extracting #3: cost 562 inf + 21399 7.556 * * [simplify]: Extracting #4: cost 392 inf + 228087 7.579 * * [simplify]: Extracting #5: cost 143 inf + 611949 7.656 * * [simplify]: Extracting #6: cost 3 inf + 877497 7.736 * * [simplify]: Extracting #7: cost 0 inf + 883992 7.803 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 7.803 * [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))) 7.803 * * * * [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)))> 7.803 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 7.803 * * [simplify]: iters left: 5 (13 enodes) 7.807 * * [simplify]: iters left: 4 (35 enodes) 7.814 * * [simplify]: iters left: 3 (66 enodes) 7.834 * * [simplify]: iters left: 2 (141 enodes) 7.893 * * [simplify]: iters left: 1 (369 enodes) 8.239 * * [simplify]: Extracting #0: cost 1 inf + 0 8.240 * * [simplify]: Extracting #1: cost 71 inf + 0 8.242 * * [simplify]: Extracting #2: cost 394 inf + 0 8.247 * * [simplify]: Extracting #3: cost 562 inf + 21399 8.268 * * [simplify]: Extracting #4: cost 392 inf + 228087 8.311 * * [simplify]: Extracting #5: cost 143 inf + 611949 8.387 * * [simplify]: Extracting #6: cost 3 inf + 877497 8.470 * * [simplify]: Extracting #7: cost 0 inf + 883992 8.533 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 8.533 * [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.533 * * * * [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)))> 8.534 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) 8.534 * * [simplify]: iters left: 5 (13 enodes) 8.539 * * [simplify]: iters left: 4 (35 enodes) 8.551 * * [simplify]: iters left: 3 (66 enodes) 8.567 * * [simplify]: iters left: 2 (141 enodes) 8.597 * * [simplify]: iters left: 1 (369 enodes) 8.952 * * [simplify]: Extracting #0: cost 1 inf + 0 8.952 * * [simplify]: Extracting #1: cost 71 inf + 0 8.954 * * [simplify]: Extracting #2: cost 394 inf + 0 8.959 * * [simplify]: Extracting #3: cost 562 inf + 21399 8.977 * * [simplify]: Extracting #4: cost 392 inf + 228087 9.026 * * [simplify]: Extracting #5: cost 143 inf + 611949 9.098 * * [simplify]: Extracting #6: cost 3 inf + 877497 9.178 * * [simplify]: Extracting #7: cost 0 inf + 883992 9.227 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 alpha (+.p16 (real->posit16 2.0) beta)) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)) 9.228 * [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.228 * * * [progress]: adding candidates to table 9.531 * * [progress]: iteration 4 / 4 9.531 * * * [progress]: picking best candidate 9.714 * * * * [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)))> 9.714 * * * [progress]: localizing error 10.070 * * * [progress]: generating rewritten candidates 10.070 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 10.075 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 10.089 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 10.108 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 10.161 * * * [progress]: generating series expansions 10.161 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 10.161 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 10.161 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 10.161 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 10.161 * * * [progress]: simplifying candidates 10.161 * * * * [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)))> 10.161 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) 10.161 * * [simplify]: iters left: 5 (12 enodes) 10.165 * * [simplify]: iters left: 4 (28 enodes) 10.171 * * [simplify]: iters left: 3 (48 enodes) 10.186 * * [simplify]: iters left: 2 (76 enodes) 10.212 * * [simplify]: iters left: 1 (93 enodes) 10.240 * * [simplify]: Extracting #0: cost 1 inf + 0 10.240 * * [simplify]: Extracting #1: cost 3 inf + 0 10.240 * * [simplify]: Extracting #2: cost 16 inf + 0 10.240 * * [simplify]: Extracting #3: cost 17 inf + 2 10.241 * * [simplify]: Extracting #4: cost 15 inf + 46 10.241 * * [simplify]: Extracting #5: cost 12 inf + 131 10.242 * * [simplify]: Extracting #6: cost 2 inf + 3402 10.243 * * [simplify]: Extracting #7: cost 0 inf + 4169 10.244 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) 10.244 * [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))) 10.244 * * * * [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)))> 10.245 * [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)))) 10.245 * * [simplify]: iters left: 6 (13 enodes) 10.251 * * [simplify]: iters left: 5 (38 enodes) 10.267 * * [simplify]: iters left: 4 (118 enodes) 10.348 * * [simplify]: Extracting #0: cost 1 inf + 0 10.348 * * [simplify]: Extracting #1: cost 5 inf + 0 10.348 * * [simplify]: Extracting #2: cost 51 inf + 0 10.349 * * [simplify]: Extracting #3: cost 173 inf + 2 10.351 * * [simplify]: Extracting #4: cost 203 inf + 2418 10.355 * * [simplify]: Extracting #5: cost 141 inf + 36617 10.369 * * [simplify]: Extracting #6: cost 18 inf + 118321 10.379 * * [simplify]: Extracting #7: cost 0 inf + 131358 10.388 * [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))))) 10.388 * [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))) 10.388 * * * * [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)))> 10.389 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 10.389 * * [simplify]: iters left: 4 (12 enodes) 10.392 * * [simplify]: iters left: 3 (33 enodes) 10.398 * * [simplify]: iters left: 2 (62 enodes) 10.410 * * [simplify]: iters left: 1 (143 enodes) 10.463 * * [simplify]: Extracting #0: cost 1 inf + 0 10.464 * * [simplify]: Extracting #1: cost 35 inf + 0 10.464 * * [simplify]: Extracting #2: cost 147 inf + 0 10.465 * * [simplify]: Extracting #3: cost 193 inf + 767 10.467 * * [simplify]: Extracting #4: cost 191 inf + 24547 10.477 * * [simplify]: Extracting #5: cost 67 inf + 209165 10.495 * * [simplify]: Extracting #6: cost 6 inf + 313170 10.515 * * [simplify]: Extracting #7: cost 1 inf + 324060 10.536 * * [simplify]: Extracting #8: cost 0 inf + 327342 10.556 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (*.p16 (-.p16 beta alpha) (+.p16 beta alpha))) 10.556 * [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))) 10.556 * * * * [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)))> 10.556 * * * * [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)))> 10.557 * [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)))) 10.557 * * [simplify]: iters left: 5 (16 enodes) 10.564 * * [simplify]: iters left: 4 (44 enodes) 10.582 * * [simplify]: iters left: 3 (121 enodes) 10.642 * * [simplify]: Extracting #0: cost 1 inf + 0 10.642 * * [simplify]: Extracting #1: cost 46 inf + 0 10.643 * * [simplify]: Extracting #2: cost 140 inf + 0 10.644 * * [simplify]: Extracting #3: cost 227 inf + 44 10.645 * * [simplify]: Extracting #4: cost 216 inf + 8492 10.652 * * [simplify]: Extracting #5: cost 110 inf + 111003 10.671 * * [simplify]: Extracting #6: cost 3 inf + 233283 10.694 * * [simplify]: Extracting #7: cost 0 inf + 240694 10.719 * [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)))) 10.719 * [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))) 10.719 * * * * [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)))> 10.719 * [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))) 10.720 * * [simplify]: iters left: 5 (12 enodes) 10.725 * * [simplify]: iters left: 4 (35 enodes) 10.738 * * [simplify]: iters left: 3 (115 enodes) 10.786 * * [simplify]: Extracting #0: cost 1 inf + 0 10.786 * * [simplify]: Extracting #1: cost 43 inf + 0 10.786 * * [simplify]: Extracting #2: cost 175 inf + 0 10.787 * * [simplify]: Extracting #3: cost 202 inf + 2097 10.789 * * [simplify]: Extracting #4: cost 138 inf + 34491 10.799 * * [simplify]: Extracting #5: cost 11 inf + 120299 10.813 * * [simplify]: Extracting #6: cost 0 inf + 129350 10.833 * [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)))) 10.833 * [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))) 10.834 * * * * [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)))> 10.834 * * * * [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)))> 10.834 * [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))) 10.834 * * [simplify]: iters left: 5 (14 enodes) 10.840 * * [simplify]: iters left: 4 (39 enodes) 10.848 * * [simplify]: iters left: 3 (104 enodes) 10.879 * * [simplify]: Extracting #0: cost 1 inf + 0 10.879 * * [simplify]: Extracting #1: cost 40 inf + 0 10.881 * * [simplify]: Extracting #2: cost 137 inf + 0 10.882 * * [simplify]: Extracting #3: cost 197 inf + 1489 10.883 * * [simplify]: Extracting #4: cost 175 inf + 14585 10.886 * * [simplify]: Extracting #5: cost 101 inf + 64936 10.895 * * [simplify]: Extracting #6: cost 1 inf + 165850 10.905 * * [simplify]: Extracting #7: cost 0 inf + 167815 10.923 * [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))) 10.924 * [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))) 10.924 * * * * [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)))> 10.924 * [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))) 10.924 * * [simplify]: iters left: 5 (14 enodes) 10.931 * * [simplify]: iters left: 4 (39 enodes) 10.946 * * [simplify]: iters left: 3 (104 enodes) 11.013 * * [simplify]: Extracting #0: cost 1 inf + 0 11.013 * * [simplify]: Extracting #1: cost 40 inf + 0 11.013 * * [simplify]: Extracting #2: cost 137 inf + 0 11.015 * * [simplify]: Extracting #3: cost 197 inf + 1489 11.017 * * [simplify]: Extracting #4: cost 175 inf + 14585 11.022 * * [simplify]: Extracting #5: cost 101 inf + 64936 11.041 * * [simplify]: Extracting #6: cost 1 inf + 165850 11.061 * * [simplify]: Extracting #7: cost 0 inf + 167815 11.081 * [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))) 11.081 * [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))) 11.082 * * * * [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)))> 11.082 * [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))) 11.083 * * [simplify]: iters left: 5 (14 enodes) 11.091 * * [simplify]: iters left: 4 (39 enodes) 11.106 * * [simplify]: iters left: 3 (104 enodes) 11.174 * * [simplify]: Extracting #0: cost 1 inf + 0 11.174 * * [simplify]: Extracting #1: cost 40 inf + 0 11.175 * * [simplify]: Extracting #2: cost 137 inf + 0 11.176 * * [simplify]: Extracting #3: cost 197 inf + 1489 11.178 * * [simplify]: Extracting #4: cost 175 inf + 14585 11.184 * * [simplify]: Extracting #5: cost 101 inf + 64936 11.203 * * [simplify]: Extracting #6: cost 1 inf + 165850 11.221 * * [simplify]: Extracting #7: cost 0 inf + 167815 11.242 * [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))) 11.243 * [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))) 11.243 * * * * [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)))> 11.243 * [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))) 11.243 * * [simplify]: iters left: 5 (14 enodes) 11.251 * * [simplify]: iters left: 4 (39 enodes) 11.266 * * [simplify]: iters left: 3 (104 enodes) 11.333 * * [simplify]: Extracting #0: cost 1 inf + 0 11.333 * * [simplify]: Extracting #1: cost 40 inf + 0 11.333 * * [simplify]: Extracting #2: cost 137 inf + 0 11.334 * * [simplify]: Extracting #3: cost 197 inf + 1489 11.335 * * [simplify]: Extracting #4: cost 175 inf + 14585 11.338 * * [simplify]: Extracting #5: cost 101 inf + 64936 11.347 * * [simplify]: Extracting #6: cost 1 inf + 165850 11.357 * * [simplify]: Extracting #7: cost 0 inf + 167815 11.367 * [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))) 11.367 * [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))) 11.368 * * * [progress]: adding candidates to table 11.882 * [progress]: [Phase 3 of 3] Extracting. 11.882 * * [regime]: Finding splitpoints for: (#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)) (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 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (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)))> #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 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.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) (+.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.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)))>) 11.889 * * * [regime-changes]: Trying 3 branch expressions: (i beta alpha) 11.889 * * * * [regimes]: Trying to branch on i from (#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)) (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 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (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)))> #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 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.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) (+.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.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)))>) 12.265 * * * * [regimes]: Trying to branch on beta from (#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)) (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 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (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)))> #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 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.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) (+.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.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)))>) 12.619 * * * * [regimes]: Trying to branch on alpha from (#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)) (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 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (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)))> #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 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.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) (+.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.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)))>) 12.964 * * * [regime]: Found split indices: #