1552470003.073 * [progress]: [Phase 1 of 3] Setting up. 1552470003.073 * * * [progress]: [1/2] Preparing points 1552470003.073 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1552470003.074 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1552470003.077 * * * * [points]: Setting MPFR precision to 64 1552470003.078 * * * * [points]: Setting MPFR precision to 320 1552470003.079 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1552470003.082 * * * * [points]: Setting MPFR precision to 64 1552470003.083 * * * * [points]: Setting MPFR precision to 320 1552470003.085 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1552470003.088 * * * * [points]: Setting MPFR precision to 64 1552470003.091 * * * * [points]: Setting MPFR precision to 320 1552470003.094 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1552470003.097 * * * * [points]: Setting MPFR precision to 64 1552470003.101 * * * * [points]: Setting MPFR precision to 320 1552470003.108 * * * * [points]: Computing exacts for 256 points 1552470003.110 * * * * [points]: Setting MPFR precision to 64 1552470003.137 * * * * [points]: Setting MPFR precision to 320 1552470003.161 * * * * [points]: Filtering points with unrepresentable outputs 1552470003.191 * * * * [points]: Sampled 256 points with exact outputs 1552470003.191 * * * [progress]: [2/2] Setting up program. 1552470003.222 * [progress]: [Phase 2 of 3] Improving. 1552470003.222 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552470003.222 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1552470003.222 * * [simplify]: iters left: 5 (13 enodes) 1552470003.228 * * [simplify]: iters left: 4 (29 enodes) 1552470003.239 * * [simplify]: iters left: 3 (49 enodes) 1552470003.260 * * [simplify]: iters left: 2 (122 enodes) 1552470003.321 * * [simplify]: iters left: 1 (228 enodes) 1552470003.426 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.426 * * [simplify]: Extracting #1: cost 23 inf + 0 1552470003.426 * * [simplify]: Extracting #2: cost 50 inf + 1 1552470003.427 * * [simplify]: Extracting #3: cost 49 inf + 325 1552470003.427 * * [simplify]: Extracting #4: cost 29 inf + 4935 1552470003.429 * * [simplify]: Extracting #5: cost 5 inf + 11608 1552470003.431 * * [simplify]: Extracting #6: cost 0 inf + 11542 1552470003.433 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1552470003.433 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1552470003.475 * * [progress]: iteration 1 / 4 1552470003.475 * * * [progress]: picking best candidate 1552470003.521 * * * * [pick]: Picked #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552470003.521 * * * [progress]: localizing error 1552470003.726 * * * [progress]: generating rewritten candidates 1552470003.726 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1552470003.730 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1552470003.754 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1552470003.823 * * * [progress]: generating series expansions 1552470003.823 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1552470003.823 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1552470003.823 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1552470003.823 * * * [progress]: simplifying candidates 1552470003.823 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470003.823 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470003.824 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552470003.824 * * [simplify]: iters left: 3 (6 enodes) 1552470003.827 * * [simplify]: iters left: 2 (15 enodes) 1552470003.831 * * [simplify]: iters left: 1 (21 enodes) 1552470003.838 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.838 * * [simplify]: Extracting #1: cost 7 inf + 0 1552470003.838 * * [simplify]: Extracting #2: cost 6 inf + 2 1552470003.838 * * [simplify]: Extracting #3: cost 4 inf + 45 1552470003.838 * * [simplify]: Extracting #4: cost 1 inf + 171 1552470003.838 * * [simplify]: Extracting #5: cost 0 inf + 213 1552470003.839 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552470003.839 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470003.839 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470003.839 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552470003.839 * * [simplify]: iters left: 3 (6 enodes) 1552470003.844 * * [simplify]: iters left: 2 (15 enodes) 1552470003.849 * * [simplify]: iters left: 1 (21 enodes) 1552470003.854 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.854 * * [simplify]: Extracting #1: cost 7 inf + 0 1552470003.855 * * [simplify]: Extracting #2: cost 6 inf + 2 1552470003.855 * * [simplify]: Extracting #3: cost 4 inf + 45 1552470003.855 * * [simplify]: Extracting #4: cost 1 inf + 171 1552470003.855 * * [simplify]: Extracting #5: cost 0 inf + 213 1552470003.855 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552470003.855 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470003.855 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470003.856 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552470003.856 * * [simplify]: iters left: 3 (6 enodes) 1552470003.858 * * [simplify]: iters left: 2 (15 enodes) 1552470003.863 * * [simplify]: iters left: 1 (21 enodes) 1552470003.868 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.868 * * [simplify]: Extracting #1: cost 7 inf + 0 1552470003.868 * * [simplify]: Extracting #2: cost 6 inf + 2 1552470003.868 * * [simplify]: Extracting #3: cost 4 inf + 45 1552470003.869 * * [simplify]: Extracting #4: cost 1 inf + 171 1552470003.869 * * [simplify]: Extracting #5: cost 0 inf + 213 1552470003.869 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552470003.869 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470003.869 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))> 1552470003.869 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470003.870 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470003.870 * * [simplify]: iters left: 4 (9 enodes) 1552470003.874 * * [simplify]: iters left: 3 (22 enodes) 1552470003.881 * * [simplify]: iters left: 2 (41 enodes) 1552470003.889 * * [simplify]: iters left: 1 (59 enodes) 1552470003.898 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.898 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470003.898 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470003.898 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470003.898 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470003.899 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470003.899 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470003.899 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470003.899 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470003.899 * * [simplify]: iters left: 4 (9 enodes) 1552470003.902 * * [simplify]: iters left: 3 (22 enodes) 1552470003.906 * * [simplify]: iters left: 2 (41 enodes) 1552470003.913 * * [simplify]: iters left: 1 (59 enodes) 1552470003.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.922 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470003.922 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470003.922 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470003.922 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470003.923 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470003.923 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470003.923 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470003.923 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470003.923 * * [simplify]: iters left: 4 (9 enodes) 1552470003.925 * * [simplify]: iters left: 3 (22 enodes) 1552470003.929 * * [simplify]: iters left: 2 (41 enodes) 1552470003.937 * * [simplify]: iters left: 1 (59 enodes) 1552470003.951 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.951 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470003.951 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470003.951 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470003.951 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470003.952 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470003.952 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470003.952 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1552470003.952 * [simplify]: Simplifying (*.p16 d1 d2) 1552470003.952 * * [simplify]: iters left: 1 (3 enodes) 1552470003.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.953 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470003.953 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470003.953 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470003.953 * [simplify]: Simplified to (*.p16 d2 d1) 1552470003.953 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d2 d1) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))))) 1552470003.953 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470003.953 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552470003.953 * * [simplify]: iters left: 3 (6 enodes) 1552470003.955 * * [simplify]: iters left: 2 (13 enodes) 1552470003.957 * * [simplify]: iters left: 1 (21 enodes) 1552470003.961 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.961 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470003.961 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470003.961 * * [simplify]: Extracting #3: cost 6 inf + 2 1552470003.961 * * [simplify]: Extracting #4: cost 4 inf + 325 1552470003.961 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552470003.961 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470003.961 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470003.961 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470003.961 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470003.961 * * [simplify]: iters left: 4 (9 enodes) 1552470003.963 * * [simplify]: iters left: 3 (22 enodes) 1552470003.967 * * [simplify]: iters left: 2 (41 enodes) 1552470003.974 * * [simplify]: iters left: 1 (59 enodes) 1552470003.983 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470003.983 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470003.983 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470003.984 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470003.984 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470003.985 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470003.985 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470003.985 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470003.985 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470003.985 * * [simplify]: iters left: 4 (9 enodes) 1552470003.989 * * [simplify]: iters left: 3 (22 enodes) 1552470003.996 * * [simplify]: iters left: 2 (41 enodes) 1552470004.006 * * [simplify]: iters left: 1 (59 enodes) 1552470004.016 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470004.016 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470004.016 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470004.016 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470004.016 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470004.017 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470004.017 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470004.017 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470004.017 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470004.017 * * [simplify]: iters left: 4 (9 enodes) 1552470004.021 * * [simplify]: iters left: 3 (22 enodes) 1552470004.025 * * [simplify]: iters left: 2 (41 enodes) 1552470004.032 * * [simplify]: iters left: 1 (59 enodes) 1552470004.041 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470004.042 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470004.042 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470004.042 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470004.042 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470004.043 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470004.043 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470004.043 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #posit16 32)) (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))> 1552470004.043 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552470004.043 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1552470004.043 * * [simplify]: iters left: 5 (13 enodes) 1552470004.046 * * [simplify]: iters left: 4 (29 enodes) 1552470004.051 * * [simplify]: iters left: 3 (49 enodes) 1552470004.062 * * [simplify]: iters left: 2 (122 enodes) 1552470004.086 * * [simplify]: iters left: 1 (228 enodes) 1552470004.172 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470004.172 * * [simplify]: Extracting #1: cost 23 inf + 0 1552470004.172 * * [simplify]: Extracting #2: cost 50 inf + 1 1552470004.172 * * [simplify]: Extracting #3: cost 49 inf + 325 1552470004.173 * * [simplify]: Extracting #4: cost 29 inf + 4935 1552470004.174 * * [simplify]: Extracting #5: cost 5 inf + 11608 1552470004.176 * * [simplify]: Extracting #6: cost 0 inf + 11542 1552470004.178 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1552470004.178 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1552470004.178 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552470004.179 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1552470004.179 * * [simplify]: iters left: 5 (13 enodes) 1552470004.182 * * [simplify]: iters left: 4 (29 enodes) 1552470004.187 * * [simplify]: iters left: 3 (49 enodes) 1552470004.198 * * [simplify]: iters left: 2 (122 enodes) 1552470004.222 * * [simplify]: iters left: 1 (228 enodes) 1552470004.285 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470004.285 * * [simplify]: Extracting #1: cost 23 inf + 0 1552470004.285 * * [simplify]: Extracting #2: cost 50 inf + 1 1552470004.286 * * [simplify]: Extracting #3: cost 49 inf + 325 1552470004.286 * * [simplify]: Extracting #4: cost 29 inf + 4935 1552470004.288 * * [simplify]: Extracting #5: cost 5 inf + 11608 1552470004.290 * * [simplify]: Extracting #6: cost 0 inf + 11542 1552470004.292 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1552470004.292 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1552470004.292 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552470004.292 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1552470004.292 * * [simplify]: iters left: 5 (13 enodes) 1552470004.295 * * [simplify]: iters left: 4 (29 enodes) 1552470004.301 * * [simplify]: iters left: 3 (49 enodes) 1552470004.313 * * [simplify]: iters left: 2 (122 enodes) 1552470004.336 * * [simplify]: iters left: 1 (228 enodes) 1552470004.419 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470004.420 * * [simplify]: Extracting #1: cost 23 inf + 0 1552470004.420 * * [simplify]: Extracting #2: cost 50 inf + 1 1552470004.420 * * [simplify]: Extracting #3: cost 49 inf + 325 1552470004.421 * * [simplify]: Extracting #4: cost 29 inf + 4935 1552470004.423 * * [simplify]: Extracting #5: cost 5 inf + 11608 1552470004.426 * * [simplify]: Extracting #6: cost 0 inf + 11542 1552470004.428 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1552470004.428 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1552470004.428 * * * [progress]: adding candidates to table 1552470005.254 * * [progress]: iteration 2 / 4 1552470005.254 * * * [progress]: picking best candidate 1552470005.363 * * * * [pick]: Picked #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470005.364 * * * [progress]: localizing error 1552470005.450 * * * [progress]: generating rewritten candidates 1552470005.450 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1552470005.458 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1552470005.465 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1552470005.497 * * * [progress]: generating series expansions 1552470005.497 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1552470005.497 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1552470005.497 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1552470005.497 * * * [progress]: simplifying candidates 1552470005.497 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32))))> 1552470005.497 * [simplify]: Simplifying (real->posit16 5) 1552470005.497 * * [simplify]: iters left: 1 (2 enodes) 1552470005.498 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.498 * * [simplify]: Extracting #1: cost 2 inf + 0 1552470005.499 * * [simplify]: Extracting #2: cost 1 inf + 1 1552470005.499 * * [simplify]: Extracting #3: cost 0 inf + 2 1552470005.499 * [simplify]: Simplified to (real->posit16 5) 1552470005.499 * [simplify]: Simplified (2 1 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d2 d3) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470005.499 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552470005.499 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #posit16 5)) d2)) (*.p16 d1 (real->posit16 32))))> 1552470005.499 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470005.499 * [simplify]: Simplifying (*.p16 d1 (+.p16 d3 (real->posit16 5))) 1552470005.499 * * [simplify]: iters left: 3 (6 enodes) 1552470005.500 * * [simplify]: iters left: 2 (19 enodes) 1552470005.504 * * [simplify]: iters left: 1 (21 enodes) 1552470005.506 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.506 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470005.506 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470005.506 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470005.507 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470005.507 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470005.507 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) d3))) (*.p16 d1 (real->posit16 32)))) 1552470005.507 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32))))> 1552470005.507 * [simplify]: Simplifying (*.p16 d1 (real->posit16 5)) 1552470005.507 * * [simplify]: iters left: 2 (4 enodes) 1552470005.508 * * [simplify]: iters left: 1 (8 enodes) 1552470005.509 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.509 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470005.509 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470005.509 * * [simplify]: Extracting #3: cost 0 inf + 325 1552470005.509 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552470005.510 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d2 d3)) (*.p16 d1 (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470005.510 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 d3)) (*.p16 d1 (real->posit16 32))))> 1552470005.510 * [simplify]: Simplifying (*.p16 d1 d3) 1552470005.510 * * [simplify]: iters left: 1 (3 enodes) 1552470005.510 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.510 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470005.510 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470005.511 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470005.511 * [simplify]: Simplified to (*.p16 d3 d1) 1552470005.511 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d2 (real->posit16 5))) (*.p16 d3 d1)) (*.p16 d1 (real->posit16 32)))) 1552470005.511 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))> 1552470005.511 * [simplify]: Simplifying (*.p16 d1 d2) 1552470005.511 * * [simplify]: iters left: 1 (3 enodes) 1552470005.511 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.511 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470005.511 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470005.512 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470005.512 * [simplify]: Simplified to (*.p16 d2 d1) 1552470005.512 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d2 d1)) (*.p16 d1 (real->posit16 32)))) 1552470005.512 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552470005.512 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552470005.512 * * [simplify]: iters left: 3 (6 enodes) 1552470005.514 * * [simplify]: iters left: 2 (13 enodes) 1552470005.516 * * [simplify]: iters left: 1 (21 enodes) 1552470005.519 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.519 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470005.519 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470005.519 * * [simplify]: Extracting #3: cost 6 inf + 2 1552470005.519 * * [simplify]: Extracting #4: cost 4 inf + 325 1552470005.519 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552470005.519 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470005.519 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (real->posit16 5) d3))) (*.p16 d1 (real->posit16 32)))) 1552470005.519 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #posit16 5) d1)) (*.p16 d1 (real->posit16 32))))> 1552470005.520 * [simplify]: Simplifying (*.p16 (real->posit16 5) d1) 1552470005.520 * * [simplify]: iters left: 2 (4 enodes) 1552470005.521 * * [simplify]: iters left: 1 (8 enodes) 1552470005.522 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.522 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470005.522 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470005.522 * * [simplify]: Extracting #3: cost 2 inf + 2 1552470005.522 * * [simplify]: Extracting #4: cost 0 inf + 325 1552470005.522 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552470005.522 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470005.522 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d3 d1)) (*.p16 d1 (real->posit16 32))))> 1552470005.522 * [simplify]: Simplifying (*.p16 d3 d1) 1552470005.523 * * [simplify]: iters left: 1 (3 enodes) 1552470005.523 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.523 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470005.523 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470005.523 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470005.523 * [simplify]: Simplified to (*.p16 d1 d3) 1552470005.523 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d2 (real->posit16 5)) d1) (*.p16 d1 d3)) (*.p16 d1 (real->posit16 32)))) 1552470005.523 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d2 d1)) (*.p16 d1 (real->posit16 32))))> 1552470005.524 * [simplify]: Simplifying (*.p16 d2 d1) 1552470005.524 * * [simplify]: iters left: 1 (3 enodes) 1552470005.524 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.524 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470005.524 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470005.524 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470005.524 * [simplify]: Simplified to (*.p16 d1 d2) 1552470005.524 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32)))) 1552470005.524 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #posit16 5))) d1) (*.p16 d1 (real->posit16 32))))> 1552470005.525 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470005.525 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470005.525 * * [simplify]: iters left: 4 (9 enodes) 1552470005.527 * * [simplify]: iters left: 3 (22 enodes) 1552470005.533 * * [simplify]: iters left: 2 (41 enodes) 1552470005.549 * * [simplify]: iters left: 1 (59 enodes) 1552470005.565 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.565 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470005.565 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470005.565 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470005.565 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470005.566 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470005.566 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470005.566 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470005.566 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470005.566 * * [simplify]: iters left: 4 (9 enodes) 1552470005.568 * * [simplify]: iters left: 3 (22 enodes) 1552470005.572 * * [simplify]: iters left: 2 (41 enodes) 1552470005.579 * * [simplify]: iters left: 1 (59 enodes) 1552470005.588 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.588 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470005.588 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470005.588 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470005.589 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470005.589 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470005.589 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470005.589 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32)))))> 1552470005.590 * [simplify]: Simplifying (*.p16 d1 d2) 1552470005.590 * * [simplify]: iters left: 1 (3 enodes) 1552470005.590 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.590 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470005.590 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470005.590 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470005.590 * [simplify]: Simplified to (*.p16 d2 d1) 1552470005.590 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d2 d1) (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 (real->posit16 32))))) 1552470005.590 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #posit16 5)) (*.p16 d1 (real->posit16 32)))))> 1552470005.591 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 d3)) 1552470005.591 * * [simplify]: iters left: 2 (5 enodes) 1552470005.592 * * [simplify]: iters left: 1 (19 enodes) 1552470005.596 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.596 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470005.596 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470005.596 * * [simplify]: Extracting #3: cost 0 inf + 1052 1552470005.596 * [simplify]: Simplified to (*.p16 (+.p16 d2 d3) d1) 1552470005.596 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 (+.p16 d2 d3) d1) (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 d1 (real->posit16 32))))) 1552470005.596 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> 1552470005.597 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 (real->posit16 5))) 1552470005.597 * * [simplify]: iters left: 3 (6 enodes) 1552470005.600 * * [simplify]: iters left: 2 (19 enodes) 1552470005.606 * * [simplify]: iters left: 1 (21 enodes) 1552470005.609 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.609 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470005.609 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470005.609 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470005.609 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470005.609 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552470005.609 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32))))) 1552470005.609 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470005.609 * [simplify]: Simplifying (*.p16 d1 (+.p16 d3 (real->posit16 5))) 1552470005.609 * * [simplify]: iters left: 3 (6 enodes) 1552470005.611 * * [simplify]: iters left: 2 (19 enodes) 1552470005.614 * * [simplify]: iters left: 1 (21 enodes) 1552470005.617 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.617 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470005.617 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470005.617 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470005.617 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470005.617 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470005.617 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470005.617 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1552470005.617 * [simplify]: Simplifying (*.p16 d2 d1) 1552470005.617 * * [simplify]: iters left: 1 (3 enodes) 1552470005.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.618 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470005.618 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470005.618 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470005.618 * [simplify]: Simplified to (*.p16 d1 d2) 1552470005.618 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))))) 1552470005.618 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #posit16 5) d1) (*.p16 d1 (real->posit16 32)))))> 1552470005.618 * [simplify]: Simplifying (*.p16 (+.p16 d2 d3) d1) 1552470005.618 * * [simplify]: iters left: 2 (5 enodes) 1552470005.619 * * [simplify]: iters left: 1 (13 enodes) 1552470005.621 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.621 * * [simplify]: Extracting #1: cost 7 inf + 0 1552470005.621 * * [simplify]: Extracting #2: cost 8 inf + 1 1552470005.621 * * [simplify]: Extracting #3: cost 5 inf + 325 1552470005.621 * * [simplify]: Extracting #4: cost 0 inf + 2016 1552470005.621 * * [simplify]: Extracting #5: cost 0 inf + 1696 1552470005.621 * [simplify]: Simplified to (*.p16 d1 (+.p16 d3 d2)) 1552470005.622 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 d3 d2)) (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 d1 (real->posit16 32))))) 1552470005.622 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 32)))))> 1552470005.622 * [simplify]: Simplifying (*.p16 (+.p16 d2 (real->posit16 5)) d1) 1552470005.622 * * [simplify]: iters left: 3 (6 enodes) 1552470005.623 * * [simplify]: iters left: 2 (13 enodes) 1552470005.625 * * [simplify]: iters left: 1 (21 enodes) 1552470005.629 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.629 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470005.629 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470005.629 * * [simplify]: Extracting #3: cost 6 inf + 2 1552470005.629 * * [simplify]: Extracting #4: cost 4 inf + 325 1552470005.629 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552470005.629 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552470005.629 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 32))))) 1552470005.629 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> 1552470005.629 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552470005.629 * * [simplify]: iters left: 3 (6 enodes) 1552470005.631 * * [simplify]: iters left: 2 (13 enodes) 1552470005.633 * * [simplify]: iters left: 1 (21 enodes) 1552470005.639 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.639 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470005.639 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470005.639 * * [simplify]: Extracting #3: cost 6 inf + 2 1552470005.639 * * [simplify]: Extracting #4: cost 4 inf + 325 1552470005.639 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552470005.639 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470005.640 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32))))) 1552470005.640 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552470005.640 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552470005.640 * * [simplify]: iters left: 4 (9 enodes) 1552470005.645 * * [simplify]: iters left: 3 (22 enodes) 1552470005.651 * * [simplify]: iters left: 2 (41 enodes) 1552470005.658 * * [simplify]: iters left: 1 (59 enodes) 1552470005.667 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.667 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470005.667 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470005.667 * * [simplify]: Extracting #3: cost 9 inf + 173 1552470005.668 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470005.668 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552470005.668 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552470005.668 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #posit16 32)) (*.p16 d1 (+.p16 d2 (+.p16 d3 (real->posit16 5))))))> 1552470005.668 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470005.668 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552470005.668 * * [simplify]: iters left: 3 (6 enodes) 1552470005.670 * * [simplify]: iters left: 2 (15 enodes) 1552470005.672 * * [simplify]: iters left: 1 (21 enodes) 1552470005.675 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.675 * * [simplify]: Extracting #1: cost 7 inf + 0 1552470005.675 * * [simplify]: Extracting #2: cost 6 inf + 2 1552470005.675 * * [simplify]: Extracting #3: cost 4 inf + 45 1552470005.676 * * [simplify]: Extracting #4: cost 1 inf + 171 1552470005.676 * * [simplify]: Extracting #5: cost 0 inf + 213 1552470005.676 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552470005.676 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470005.676 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470005.676 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552470005.676 * * [simplify]: iters left: 3 (6 enodes) 1552470005.678 * * [simplify]: iters left: 2 (15 enodes) 1552470005.680 * * [simplify]: iters left: 1 (21 enodes) 1552470005.683 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.683 * * [simplify]: Extracting #1: cost 7 inf + 0 1552470005.683 * * [simplify]: Extracting #2: cost 6 inf + 2 1552470005.683 * * [simplify]: Extracting #3: cost 4 inf + 45 1552470005.683 * * [simplify]: Extracting #4: cost 1 inf + 171 1552470005.683 * * [simplify]: Extracting #5: cost 0 inf + 213 1552470005.683 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552470005.683 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470005.683 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470005.684 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552470005.684 * * [simplify]: iters left: 3 (6 enodes) 1552470005.685 * * [simplify]: iters left: 2 (15 enodes) 1552470005.688 * * [simplify]: iters left: 1 (21 enodes) 1552470005.691 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470005.691 * * [simplify]: Extracting #1: cost 7 inf + 0 1552470005.691 * * [simplify]: Extracting #2: cost 6 inf + 2 1552470005.691 * * [simplify]: Extracting #3: cost 4 inf + 45 1552470005.691 * * [simplify]: Extracting #4: cost 1 inf + 171 1552470005.691 * * [simplify]: Extracting #5: cost 0 inf + 213 1552470005.691 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552470005.691 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552470005.691 * * * [progress]: adding candidates to table 1552470007.531 * * [progress]: iteration 3 / 4 1552470007.531 * * * [progress]: picking best candidate 1552470007.682 * * * * [pick]: Picked #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552470007.683 * * * [progress]: localizing error 1552470007.811 * * * [progress]: generating rewritten candidates 1552470007.811 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1552470007.820 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 1552470007.830 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1552470007.878 * * * [progress]: generating series expansions 1552470007.879 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1552470007.879 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 1552470007.879 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1552470007.879 * * * [progress]: simplifying candidates 1552470007.879 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 d3)) (*.p16 d1 (real->posit16 32))))> 1552470007.879 * [simplify]: Simplifying (*.p16 d1 d3) 1552470007.879 * * [simplify]: iters left: 1 (3 enodes) 1552470007.880 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.880 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470007.880 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470007.881 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470007.881 * [simplify]: Simplified to (*.p16 d3 d1) 1552470007.881 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d2 (real->posit16 5))) (*.p16 d3 d1)) (*.p16 d1 (real->posit16 32)))) 1552470007.881 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #posit16 5) d3))) (*.p16 d1 (real->posit16 32))))> 1552470007.881 * [simplify]: Simplifying (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470007.881 * * [simplify]: iters left: 3 (6 enodes) 1552470007.885 * * [simplify]: iters left: 2 (19 enodes) 1552470007.892 * * [simplify]: iters left: 1 (21 enodes) 1552470007.897 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.897 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470007.898 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470007.898 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470007.898 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470007.898 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470007.898 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) d3))) (*.p16 d1 (real->posit16 32)))) 1552470007.898 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #posit16 5)) (*.p16 d1 (+.p16 d2 d3))) (*.p16 d1 (real->posit16 32))))> 1552470007.898 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 d3)) 1552470007.899 * * [simplify]: iters left: 2 (5 enodes) 1552470007.901 * * [simplify]: iters left: 1 (19 enodes) 1552470007.906 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.906 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470007.906 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470007.907 * * [simplify]: Extracting #3: cost 0 inf + 1052 1552470007.907 * [simplify]: Simplified to (*.p16 (+.p16 d2 d3) d1) 1552470007.907 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 (+.p16 d2 d3) d1)) (*.p16 d1 (real->posit16 32)))) 1552470007.907 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470007.907 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 (real->posit16 5))) 1552470007.907 * * [simplify]: iters left: 3 (6 enodes) 1552470007.910 * * [simplify]: iters left: 2 (19 enodes) 1552470007.917 * * [simplify]: iters left: 1 (21 enodes) 1552470007.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.922 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470007.922 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470007.922 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470007.922 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470007.923 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552470007.923 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d3) (*.p16 d1 (+.p16 (real->posit16 5) d2))) (*.p16 d1 (real->posit16 32)))) 1552470007.923 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d3 d1)) (*.p16 d1 (real->posit16 32))))> 1552470007.923 * [simplify]: Simplifying (*.p16 d3 d1) 1552470007.923 * * [simplify]: iters left: 1 (3 enodes) 1552470007.924 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.924 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470007.924 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470007.924 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470007.924 * [simplify]: Simplified to (*.p16 d1 d3) 1552470007.925 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d2 (real->posit16 5)) d1) (*.p16 d1 d3)) (*.p16 d1 (real->posit16 32)))) 1552470007.925 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #posit16 5) d3) d1)) (*.p16 d1 (real->posit16 32))))> 1552470007.925 * [simplify]: Simplifying (*.p16 (+.p16 (real->posit16 5) d3) d1) 1552470007.925 * * [simplify]: iters left: 3 (6 enodes) 1552470007.928 * * [simplify]: iters left: 2 (13 enodes) 1552470007.932 * * [simplify]: iters left: 1 (21 enodes) 1552470007.938 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.939 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470007.939 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470007.939 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470007.939 * * [simplify]: Extracting #4: cost 4 inf + 325 1552470007.939 * * [simplify]: Extracting #5: cost 1 inf + 731 1552470007.939 * * [simplify]: Extracting #6: cost 0 inf + 1053 1552470007.940 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470007.940 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (real->posit16 5) d3))) (*.p16 d1 (real->posit16 32)))) 1552470007.940 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #posit16 5) d1) (*.p16 (+.p16 d2 d3) d1)) (*.p16 d1 (real->posit16 32))))> 1552470007.940 * [simplify]: Simplifying (*.p16 (+.p16 d2 d3) d1) 1552470007.940 * * [simplify]: iters left: 2 (5 enodes) 1552470007.942 * * [simplify]: iters left: 1 (13 enodes) 1552470007.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.946 * * [simplify]: Extracting #1: cost 7 inf + 0 1552470007.946 * * [simplify]: Extracting #2: cost 8 inf + 1 1552470007.946 * * [simplify]: Extracting #3: cost 5 inf + 325 1552470007.946 * * [simplify]: Extracting #4: cost 0 inf + 2016 1552470007.946 * * [simplify]: Extracting #5: cost 0 inf + 1696 1552470007.946 * [simplify]: Simplified to (*.p16 d1 (+.p16 d3 d2)) 1552470007.946 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 d1 (+.p16 d3 d2))) (*.p16 d1 (real->posit16 32)))) 1552470007.946 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552470007.947 * [simplify]: Simplifying (*.p16 (+.p16 d2 (real->posit16 5)) d1) 1552470007.947 * * [simplify]: iters left: 3 (6 enodes) 1552470007.950 * * [simplify]: iters left: 2 (13 enodes) 1552470007.954 * * [simplify]: iters left: 1 (21 enodes) 1552470007.960 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.960 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470007.960 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470007.961 * * [simplify]: Extracting #3: cost 6 inf + 2 1552470007.961 * * [simplify]: Extracting #4: cost 4 inf + 325 1552470007.961 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552470007.961 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552470007.961 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d3 d1) (*.p16 d1 (+.p16 (real->posit16 5) d2))) (*.p16 d1 (real->posit16 32)))) 1552470007.961 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #posit16 5)) d3) d1) (*.p16 d1 (real->posit16 32))))> 1552470007.961 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #posit16 5) d3))) (*.p16 d1 (real->posit16 32))))> 1552470007.961 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #posit16 5) (+.p16 d2 d3))) (*.p16 d1 (real->posit16 32))))> 1552470007.962 * [simplify]: Simplifying (real->posit16 5) 1552470007.962 * * [simplify]: iters left: 1 (2 enodes) 1552470007.963 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470007.963 * * [simplify]: Extracting #1: cost 2 inf + 0 1552470007.963 * * [simplify]: Extracting #2: cost 1 inf + 1 1552470007.963 * * [simplify]: Extracting #3: cost 0 inf + 2 1552470007.963 * [simplify]: Simplified to (real->posit16 5) 1552470007.963 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d2 d3))) (*.p16 d1 (real->posit16 32)))) 1552470007.963 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552470007.963 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #posit16 5)) d3) (real->posit16 32))))> 1552470007.964 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 d2 (real->posit16 5)) d3) (real->posit16 32)) 1552470007.964 * * [simplify]: iters left: 4 (9 enodes) 1552470007.968 * * [simplify]: iters left: 3 (22 enodes) 1552470007.975 * * [simplify]: iters left: 2 (42 enodes) 1552470007.990 * * [simplify]: iters left: 1 (66 enodes) 1552470008.012 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.012 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470008.013 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470008.013 * * [simplify]: Extracting #3: cost 9 inf + 214 1552470008.014 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470008.015 * [simplify]: Simplified to (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))) 1552470008.015 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))))) 1552470008.015 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #posit16 5)) d3) (real->posit16 32))))> 1552470008.015 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 d2 (real->posit16 5)) d3) (real->posit16 32)) 1552470008.015 * * [simplify]: iters left: 4 (9 enodes) 1552470008.020 * * [simplify]: iters left: 3 (22 enodes) 1552470008.028 * * [simplify]: iters left: 2 (42 enodes) 1552470008.042 * * [simplify]: iters left: 1 (66 enodes) 1552470008.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.061 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470008.061 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470008.062 * * [simplify]: Extracting #3: cost 9 inf + 214 1552470008.062 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470008.063 * [simplify]: Simplified to (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))) 1552470008.063 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))))) 1552470008.063 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> 1552470008.064 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 (real->posit16 5))) 1552470008.064 * * [simplify]: iters left: 3 (6 enodes) 1552470008.066 * * [simplify]: iters left: 2 (19 enodes) 1552470008.073 * * [simplify]: iters left: 1 (21 enodes) 1552470008.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.078 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470008.079 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470008.079 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470008.079 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470008.079 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552470008.079 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32))))) 1552470008.079 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #posit16 5) d3)) (*.p16 d1 (real->posit16 32)))))> 1552470008.079 * [simplify]: Simplifying (*.p16 d1 d2) 1552470008.080 * * [simplify]: iters left: 1 (3 enodes) 1552470008.081 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.081 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470008.081 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470008.081 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470008.081 * [simplify]: Simplified to (*.p16 d2 d1) 1552470008.081 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d2 d1) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (*.p16 d1 (real->posit16 32))))) 1552470008.081 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #posit16 5)) (+.p16 (*.p16 d1 (+.p16 d2 d3)) (*.p16 d1 (real->posit16 32)))))> 1552470008.081 * [simplify]: Simplifying (*.p16 d1 (real->posit16 5)) 1552470008.081 * * [simplify]: iters left: 2 (4 enodes) 1552470008.084 * * [simplify]: iters left: 1 (8 enodes) 1552470008.086 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.086 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470008.086 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470008.086 * * [simplify]: Extracting #3: cost 0 inf + 325 1552470008.087 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552470008.087 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 5)) (+.p16 (*.p16 d1 (+.p16 d2 d3)) (*.p16 d1 (real->posit16 32))))) 1552470008.087 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32)))))> 1552470008.087 * [simplify]: Simplifying (*.p16 d1 d3) 1552470008.087 * * [simplify]: iters left: 1 (3 enodes) 1552470008.088 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.088 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470008.088 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470008.088 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470008.089 * [simplify]: Simplified to (*.p16 d3 d1) 1552470008.089 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d3 d1) (+.p16 (*.p16 d1 (+.p16 d2 (real->posit16 5))) (*.p16 d1 (real->posit16 32))))) 1552470008.089 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 32)))))> 1552470008.089 * [simplify]: Simplifying (*.p16 (+.p16 d2 (real->posit16 5)) d1) 1552470008.089 * * [simplify]: iters left: 3 (6 enodes) 1552470008.092 * * [simplify]: iters left: 2 (13 enodes) 1552470008.096 * * [simplify]: iters left: 1 (21 enodes) 1552470008.103 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.103 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470008.103 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470008.103 * * [simplify]: Extracting #3: cost 6 inf + 2 1552470008.103 * * [simplify]: Extracting #4: cost 4 inf + 325 1552470008.103 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552470008.104 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552470008.104 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 32))))) 1552470008.104 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #posit16 5) d3) d1) (*.p16 d1 (real->posit16 32)))))> 1552470008.104 * [simplify]: Simplifying (*.p16 d2 d1) 1552470008.104 * * [simplify]: iters left: 1 (3 enodes) 1552470008.105 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.105 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470008.105 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470008.106 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470008.106 * [simplify]: Simplified to (*.p16 d1 d2) 1552470008.106 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 (real->posit16 5) d3) d1) (*.p16 d1 (real->posit16 32))))) 1552470008.106 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> 1552470008.106 * [simplify]: Simplifying (*.p16 (real->posit16 5) d1) 1552470008.106 * * [simplify]: iters left: 2 (4 enodes) 1552470008.108 * * [simplify]: iters left: 1 (8 enodes) 1552470008.111 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.111 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470008.111 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470008.111 * * [simplify]: Extracting #3: cost 2 inf + 2 1552470008.111 * * [simplify]: Extracting #4: cost 0 inf + 325 1552470008.111 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552470008.111 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 5)) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32))))) 1552470008.111 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1552470008.112 * [simplify]: Simplifying (*.p16 d3 d1) 1552470008.112 * * [simplify]: iters left: 1 (3 enodes) 1552470008.113 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.113 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470008.113 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470008.113 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470008.113 * [simplify]: Simplified to (*.p16 d1 d3) 1552470008.113 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d3) (+.p16 (*.p16 (+.p16 d2 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))))) 1552470008.113 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #posit16 5)) d3) (real->posit16 32))))> 1552470008.114 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 d2 (real->posit16 5)) d3) (real->posit16 32)) 1552470008.114 * * [simplify]: iters left: 4 (9 enodes) 1552470008.118 * * [simplify]: iters left: 3 (22 enodes) 1552470008.126 * * [simplify]: iters left: 2 (42 enodes) 1552470008.140 * * [simplify]: iters left: 1 (66 enodes) 1552470008.162 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470008.162 * * [simplify]: Extracting #1: cost 16 inf + 0 1552470008.162 * * [simplify]: Extracting #2: cost 15 inf + 44 1552470008.163 * * [simplify]: Extracting #3: cost 9 inf + 214 1552470008.163 * * [simplify]: Extracting #4: cost 0 inf + 797 1552470008.164 * [simplify]: Simplified to (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))) 1552470008.164 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))))) 1552470008.164 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #posit16 32)) (*.p16 d1 (+.p16 (+.p16 d2 (real->posit16 5)) d3))))> 1552470008.164 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552470008.165 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552470008.165 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552470008.165 * * * [progress]: adding candidates to table 1552470010.116 * * [progress]: iteration 4 / 4 1552470010.116 * * * [progress]: picking best candidate 1552470010.341 * * * * [pick]: Picked #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.341 * * * [progress]: localizing error 1552470010.504 * * * [progress]: generating rewritten candidates 1552470010.504 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1552470010.512 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1552470010.527 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1552470010.595 * * * [progress]: generating series expansions 1552470010.595 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1552470010.595 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1552470010.595 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1552470010.595 * * * [progress]: simplifying candidates 1552470010.595 * * * * [progress]: [ 1 / 25 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.596 * [simplify]: Simplifying (*.p16 d1 (real->posit16 5)) 1552470010.596 * * [simplify]: iters left: 2 (4 enodes) 1552470010.598 * * [simplify]: iters left: 1 (8 enodes) 1552470010.601 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.601 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.601 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470010.601 * * [simplify]: Extracting #3: cost 0 inf + 325 1552470010.601 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552470010.601 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470010.601 * * * * [progress]: [ 2 / 25 ] simplifiying candidate #posit16 5)) (*.p16 d1 d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.602 * [simplify]: Simplifying (*.p16 d1 d3) 1552470010.602 * * [simplify]: iters left: 1 (3 enodes) 1552470010.603 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.603 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.603 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470010.603 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470010.603 * [simplify]: Simplified to (*.p16 d3 d1) 1552470010.603 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 d3 d1)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470010.603 * * * * [progress]: [ 3 / 25 ] simplifiying candidate #posit16 5) d1)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.604 * [simplify]: Simplifying (*.p16 (real->posit16 5) d1) 1552470010.604 * * [simplify]: iters left: 2 (4 enodes) 1552470010.606 * * [simplify]: iters left: 1 (8 enodes) 1552470010.607 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.607 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.607 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470010.607 * * [simplify]: Extracting #3: cost 2 inf + 2 1552470010.607 * * [simplify]: Extracting #4: cost 0 inf + 325 1552470010.607 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552470010.607 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470010.607 * * * * [progress]: [ 4 / 25 ] simplifiying candidate #posit16 5) d1) (*.p16 d3 d1)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.608 * [simplify]: Simplifying (*.p16 d3 d1) 1552470010.608 * * [simplify]: iters left: 1 (3 enodes) 1552470010.608 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.608 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.608 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470010.608 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470010.608 * [simplify]: Simplified to (*.p16 d1 d3) 1552470010.608 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 d1 d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470010.608 * * * * [progress]: [ 5 / 25 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.609 * * * * [progress]: [ 6 / 25 ] simplifiying candidate #posit16 5))) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> 1552470010.609 * [simplify]: Simplifying (+.p16 d2 (real->posit16 32)) 1552470010.609 * * [simplify]: iters left: 2 (4 enodes) 1552470010.610 * * [simplify]: iters left: 1 (8 enodes) 1552470010.611 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.611 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.612 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470010.612 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470010.612 * [simplify]: Simplified to (+.p16 (real->posit16 32) d2) 1552470010.612 * [simplify]: Simplified (2 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 (+.p16 (real->posit16 32) d2)))) 1552470010.612 * * * * [progress]: [ 7 / 25 ] simplifiying candidate #posit16 5))) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> 1552470010.612 * [simplify]: Simplifying (+.p16 d2 (real->posit16 32)) 1552470010.612 * * [simplify]: iters left: 2 (4 enodes) 1552470010.613 * * [simplify]: iters left: 1 (8 enodes) 1552470010.614 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.615 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.615 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470010.615 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470010.615 * [simplify]: Simplified to (+.p16 (real->posit16 32) d2) 1552470010.615 * [simplify]: Simplified (2 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 (+.p16 (real->posit16 32) d2)))) 1552470010.615 * * * * [progress]: [ 8 / 25 ] simplifiying candidate #posit16 5))) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> 1552470010.615 * [simplify]: Simplifying (+.p16 d2 (real->posit16 32)) 1552470010.615 * * [simplify]: iters left: 2 (4 enodes) 1552470010.616 * * [simplify]: iters left: 1 (8 enodes) 1552470010.617 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.617 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.617 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470010.617 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470010.618 * [simplify]: Simplified to (+.p16 (real->posit16 32) d2) 1552470010.618 * [simplify]: Simplified (2 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 (+.p16 (real->posit16 32) d2)))) 1552470010.618 * * * * [progress]: [ 9 / 25 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 (real->posit16 32)) (*.p16 d1 d2))))> 1552470010.618 * * * * [progress]: [ 10 / 25 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552470010.618 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552470010.618 * * [simplify]: iters left: 3 (9 enodes) 1552470010.620 * * [simplify]: iters left: 2 (22 enodes) 1552470010.624 * * [simplify]: iters left: 1 (41 enodes) 1552470010.631 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.631 * * [simplify]: Extracting #1: cost 15 inf + 0 1552470010.631 * * [simplify]: Extracting #2: cost 16 inf + 2 1552470010.632 * * [simplify]: Extracting #3: cost 13 inf + 46 1552470010.632 * * [simplify]: Extracting #4: cost 1 inf + 632 1552470010.632 * * [simplify]: Extracting #5: cost 0 inf + 756 1552470010.633 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552470010.633 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552470010.633 * * * * [progress]: [ 11 / 25 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552470010.633 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552470010.633 * * [simplify]: iters left: 3 (9 enodes) 1552470010.635 * * [simplify]: iters left: 2 (22 enodes) 1552470010.640 * * [simplify]: iters left: 1 (41 enodes) 1552470010.651 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.651 * * [simplify]: Extracting #1: cost 15 inf + 0 1552470010.651 * * [simplify]: Extracting #2: cost 16 inf + 2 1552470010.651 * * [simplify]: Extracting #3: cost 13 inf + 46 1552470010.651 * * [simplify]: Extracting #4: cost 1 inf + 632 1552470010.652 * * [simplify]: Extracting #5: cost 0 inf + 756 1552470010.653 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552470010.653 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552470010.653 * * * * [progress]: [ 12 / 25 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552470010.653 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552470010.653 * * [simplify]: iters left: 3 (9 enodes) 1552470010.657 * * [simplify]: iters left: 2 (22 enodes) 1552470010.661 * * [simplify]: iters left: 1 (41 enodes) 1552470010.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.671 * * [simplify]: Extracting #1: cost 15 inf + 0 1552470010.671 * * [simplify]: Extracting #2: cost 16 inf + 2 1552470010.671 * * [simplify]: Extracting #3: cost 13 inf + 46 1552470010.671 * * [simplify]: Extracting #4: cost 1 inf + 632 1552470010.671 * * [simplify]: Extracting #5: cost 0 inf + 756 1552470010.672 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552470010.672 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552470010.672 * * * * [progress]: [ 13 / 25 ] simplifiying candidate #posit16 5))) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))> 1552470010.672 * [simplify]: Simplifying (*.p16 d1 (real->posit16 32)) 1552470010.672 * * [simplify]: iters left: 2 (4 enodes) 1552470010.673 * * [simplify]: iters left: 1 (8 enodes) 1552470010.675 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.675 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.675 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470010.675 * * [simplify]: Extracting #3: cost 0 inf + 325 1552470010.675 * [simplify]: Simplified to (*.p16 d1 (real->posit16 32)) 1552470010.675 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32)))) 1552470010.675 * * * * [progress]: [ 14 / 25 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32))) (*.p16 d1 d2)))> 1552470010.675 * [simplify]: Simplifying (*.p16 d1 d2) 1552470010.675 * * [simplify]: iters left: 1 (3 enodes) 1552470010.676 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.676 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.676 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470010.676 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470010.676 * [simplify]: Simplified to (*.p16 d2 d1) 1552470010.676 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 (real->posit16 32))) (*.p16 d2 d1))) 1552470010.676 * * * * [progress]: [ 15 / 25 ] simplifiying candidate #posit16 5)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))))> 1552470010.676 * [simplify]: Simplifying (*.p16 d1 d3) 1552470010.676 * * [simplify]: iters left: 1 (3 enodes) 1552470010.677 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.677 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.677 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470010.677 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470010.677 * [simplify]: Simplified to (*.p16 d3 d1) 1552470010.677 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d3 d1) (+.p16 (*.p16 d1 (real->posit16 5)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))) 1552470010.677 * * * * [progress]: [ 16 / 25 ] simplifiying candidate #posit16 5)) (+.p16 (*.p16 d1 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))))> 1552470010.677 * [simplify]: Simplifying (*.p16 d1 (real->posit16 5)) 1552470010.678 * * [simplify]: iters left: 2 (4 enodes) 1552470010.679 * * [simplify]: iters left: 1 (8 enodes) 1552470010.680 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.680 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.680 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470010.680 * * [simplify]: Extracting #3: cost 0 inf + 325 1552470010.680 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552470010.680 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 5)) (+.p16 (*.p16 d1 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))) 1552470010.680 * * * * [progress]: [ 17 / 25 ] simplifiying candidate #posit16 5) d1) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))))> 1552470010.681 * [simplify]: Simplifying (*.p16 d3 d1) 1552470010.681 * * [simplify]: iters left: 1 (3 enodes) 1552470010.681 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.681 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.681 * * [simplify]: Extracting #2: cost 1 inf + 2 1552470010.681 * * [simplify]: Extracting #3: cost 0 inf + 324 1552470010.681 * [simplify]: Simplified to (*.p16 d1 d3) 1552470010.681 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d3) (+.p16 (*.p16 (real->posit16 5) d1) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))) 1552470010.682 * * * * [progress]: [ 18 / 25 ] simplifiying candidate #posit16 5) d1) (+.p16 (*.p16 d3 d1) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))))> 1552470010.682 * [simplify]: Simplifying (*.p16 (real->posit16 5) d1) 1552470010.682 * * [simplify]: iters left: 2 (4 enodes) 1552470010.683 * * [simplify]: iters left: 1 (8 enodes) 1552470010.684 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.684 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470010.684 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470010.684 * * [simplify]: Extracting #3: cost 2 inf + 2 1552470010.684 * * [simplify]: Extracting #4: cost 0 inf + 325 1552470010.685 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552470010.685 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 5)) (+.p16 (*.p16 d3 d1) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))) 1552470010.685 * * * * [progress]: [ 19 / 25 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552470010.685 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552470010.685 * * [simplify]: iters left: 3 (9 enodes) 1552470010.690 * * [simplify]: iters left: 2 (22 enodes) 1552470010.697 * * [simplify]: iters left: 1 (41 enodes) 1552470010.710 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.711 * * [simplify]: Extracting #1: cost 15 inf + 0 1552470010.711 * * [simplify]: Extracting #2: cost 16 inf + 2 1552470010.711 * * [simplify]: Extracting #3: cost 13 inf + 46 1552470010.711 * * [simplify]: Extracting #4: cost 1 inf + 632 1552470010.711 * * [simplify]: Extracting #5: cost 0 inf + 756 1552470010.712 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552470010.712 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552470010.712 * * * * [progress]: [ 20 / 25 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552470010.712 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552470010.712 * * [simplify]: iters left: 3 (9 enodes) 1552470010.715 * * [simplify]: iters left: 2 (22 enodes) 1552470010.719 * * [simplify]: iters left: 1 (41 enodes) 1552470010.727 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.727 * * [simplify]: Extracting #1: cost 15 inf + 0 1552470010.727 * * [simplify]: Extracting #2: cost 16 inf + 2 1552470010.728 * * [simplify]: Extracting #3: cost 13 inf + 46 1552470010.728 * * [simplify]: Extracting #4: cost 1 inf + 632 1552470010.728 * * [simplify]: Extracting #5: cost 0 inf + 756 1552470010.729 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552470010.729 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552470010.729 * * * * [progress]: [ 21 / 25 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552470010.729 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552470010.729 * * [simplify]: iters left: 3 (9 enodes) 1552470010.731 * * [simplify]: iters left: 2 (22 enodes) 1552470010.736 * * [simplify]: iters left: 1 (41 enodes) 1552470010.743 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.743 * * [simplify]: Extracting #1: cost 15 inf + 0 1552470010.744 * * [simplify]: Extracting #2: cost 16 inf + 2 1552470010.744 * * [simplify]: Extracting #3: cost 13 inf + 46 1552470010.744 * * [simplify]: Extracting #4: cost 1 inf + 632 1552470010.744 * * [simplify]: Extracting #5: cost 0 inf + 756 1552470010.745 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552470010.745 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552470010.745 * * * * [progress]: [ 22 / 25 ] simplifiying candidate #posit16 32))) (*.p16 d1 (+.p16 d3 (real->posit16 5)))))> 1552470010.745 * * * * [progress]: [ 23 / 25 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.745 * [simplify]: Simplifying (*.p16 d1 (+.p16 d3 (real->posit16 5))) 1552470010.745 * * [simplify]: iters left: 3 (6 enodes) 1552470010.748 * * [simplify]: iters left: 2 (19 enodes) 1552470010.755 * * [simplify]: iters left: 1 (21 enodes) 1552470010.760 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.760 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470010.760 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470010.761 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470010.761 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470010.761 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470010.761 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470010.761 * * * * [progress]: [ 24 / 25 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.761 * [simplify]: Simplifying (*.p16 d1 (+.p16 d3 (real->posit16 5))) 1552470010.762 * * [simplify]: iters left: 3 (6 enodes) 1552470010.764 * * [simplify]: iters left: 2 (19 enodes) 1552470010.772 * * [simplify]: iters left: 1 (21 enodes) 1552470010.778 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.778 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470010.778 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470010.778 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470010.778 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470010.779 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470010.779 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470010.779 * * * * [progress]: [ 25 / 25 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552470010.779 * [simplify]: Simplifying (*.p16 d1 (+.p16 d3 (real->posit16 5))) 1552470010.779 * * [simplify]: iters left: 3 (6 enodes) 1552470010.782 * * [simplify]: iters left: 2 (19 enodes) 1552470010.788 * * [simplify]: iters left: 1 (21 enodes) 1552470010.794 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470010.794 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470010.794 * * [simplify]: Extracting #2: cost 6 inf + 1 1552470010.794 * * [simplify]: Extracting #3: cost 5 inf + 324 1552470010.794 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552470010.794 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552470010.794 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552470010.795 * * * [progress]: adding candidates to table 1552470012.839 * [progress]: [Phase 3 of 3] Extracting. 1552470012.839 * * [regime]: Finding splitpoints for: (#posit16 5))) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d3) (real->posit16 32))))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))>) 1552470012.840 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1) 1552470012.840 * * * * [regimes]: Trying to branch on d3 from (#posit16 5))) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d3) (real->posit16 32))))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))>) 1552470013.312 * * * * [regimes]: Trying to branch on d2 from (#posit16 5))) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d3) (real->posit16 32))))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))>) 1552470013.859 * * * * [regimes]: Trying to branch on d1 from (#posit16 5))) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d3) (real->posit16 32))))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))>) 1552470014.254 * * * [regime]: Found split indices: #