0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.004 * * * * [points]: Setting MPFR precision to 64 0.005 * * * * [points]: Setting MPFR precision to 320 0.005 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.014 * * * * [points]: Setting MPFR precision to 320 0.017 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.020 * * * * [points]: Setting MPFR precision to 64 0.025 * * * * [points]: Setting MPFR precision to 320 0.029 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.032 * * * * [points]: Setting MPFR precision to 64 0.040 * * * * [points]: Setting MPFR precision to 320 0.048 * * * * [points]: Computing exacts for 256 points 0.051 * * * * [points]: Setting MPFR precision to 64 0.073 * * * * [points]: Setting MPFR precision to 320 0.097 * * * * [points]: Filtering points with unrepresentable outputs 0.098 * * * * [points]: Sampled 256 points with exact outputs 0.098 * * * [progress]: [2/2] Setting up program. 0.121 * [progress]: [Phase 2 of 3] Improving. 0.121 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> 0.121 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 (real->posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))) 0.121 * * [simplify]: iters left: 4 (11 enodes) 0.128 * * [simplify]: iters left: 3 (26 enodes) 0.138 * * [simplify]: iters left: 2 (41 enodes) 0.153 * * [simplify]: iters left: 1 (58 enodes) 0.172 * * [simplify]: Extracting #0: cost 1 inf + 0 0.173 * * [simplify]: Extracting #1: cost 10 inf + 0 0.173 * * [simplify]: Extracting #2: cost 15 inf + 1 0.173 * * [simplify]: Extracting #3: cost 15 inf + 324 0.173 * * [simplify]: Extracting #4: cost 13 inf + 326 0.174 * * [simplify]: Extracting #5: cost 5 inf + 1822 0.175 * * [simplify]: Extracting #6: cost 0 inf + 3037 0.175 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 20) (+.p16 (real->posit16 10) d2)) d1) 0.175 * [simplify]: Simplified (2) to (λ (d1 d2) (*.p16 (+.p16 (real->posit16 20) (+.p16 (real->posit16 10) d2)) d1)) 0.234 * * [progress]: iteration 1 / 4 0.234 * * * [progress]: picking best candidate 0.258 * * * * [pick]: Picked #posit16 20) (+.p16 (real->posit16 10) d2)) d1))> 0.258 * * * [progress]: localizing error 0.348 * * * [progress]: generating rewritten candidates 0.348 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.353 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.357 * * * [progress]: generating series expansions 0.357 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.357 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.357 * * * [progress]: simplifying candidates 0.357 * * * * [progress]: [ 1 / 5 ] simplifiying candidate #posit16 20) (+.p16 (real->posit16 10) d2))))> 0.357 * * * * [progress]: [ 2 / 5 ] simplifiying candidate #posit16 20) (real->posit16 10)) d2) d1))> 0.357 * * * * [progress]: [ 3 / 5 ] simplifiying candidate #posit16 10) d2) (real->posit16 20)) d1))> 0.357 * * * * [progress]: [ 4 / 5 ] simplifiying candidate #posit16 20) (+.p16 (real->posit16 10) d2)) d1))> 0.357 * [simplify]: Simplifying (*.p16 (+.p16 (real->posit16 20) (+.p16 (real->posit16 10) d2)) d1) 0.357 * * [simplify]: iters left: 4 (9 enodes) 0.360 * * [simplify]: iters left: 3 (20 enodes) 0.363 * * [simplify]: iters left: 2 (40 enodes) 0.370 * * [simplify]: iters left: 1 (59 enodes) 0.380 * * [simplify]: Extracting #0: cost 1 inf + 0 0.380 * * [simplify]: Extracting #1: cost 9 inf + 0 0.380 * * [simplify]: Extracting #2: cost 14 inf + 1 0.380 * * [simplify]: Extracting #3: cost 14 inf + 324 0.380 * * [simplify]: Extracting #4: cost 9 inf + 732 0.380 * * [simplify]: Extracting #5: cost 6 inf + 1097 0.381 * * [simplify]: Extracting #6: cost 1 inf + 2311 0.381 * * [simplify]: Extracting #7: cost 0 inf + 2674 0.381 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 d2 (real->posit16 10)) (real->posit16 20)) d1) 0.381 * [simplify]: Simplified (2) to (λ (d1 d2) (*.p16 (+.p16 (+.p16 d2 (real->posit16 10)) (real->posit16 20)) d1)) 0.381 * * * * [progress]: [ 5 / 5 ] simplifiying candidate #posit16 20) (+.p16 (real->posit16 10) d2)) d1))> 0.382 * [simplify]: Simplifying (*.p16 (+.p16 (real->posit16 20) (+.p16 (real->posit16 10) d2)) d1) 0.382 * * [simplify]: iters left: 4 (9 enodes) 0.385 * * [simplify]: iters left: 3 (20 enodes) 0.388 * * [simplify]: iters left: 2 (40 enodes) 0.396 * * [simplify]: iters left: 1 (59 enodes) 0.405 * * [simplify]: Extracting #0: cost 1 inf + 0 0.405 * * [simplify]: Extracting #1: cost 9 inf + 0 0.405 * * [simplify]: Extracting #2: cost 14 inf + 1 0.405 * * [simplify]: Extracting #3: cost 14 inf + 324 0.406 * * [simplify]: Extracting #4: cost 9 inf + 732 0.406 * * [simplify]: Extracting #5: cost 6 inf + 1097 0.406 * * [simplify]: Extracting #6: cost 1 inf + 2311 0.406 * * [simplify]: Extracting #7: cost 0 inf + 2674 0.407 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 d2 (real->posit16 10)) (real->posit16 20)) d1) 0.407 * [simplify]: Simplified (2) to (λ (d1 d2) (*.p16 (+.p16 (+.p16 d2 (real->posit16 10)) (real->posit16 20)) d1)) 0.407 * * * [progress]: adding candidates to table 0.563 * * [progress]: iteration 2 / 4 0.564 * * * [progress]: picking best candidate 0.589 * * * * [pick]: Picked #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> 0.589 * * * [progress]: localizing error 0.803 * * * [progress]: generating rewritten candidates 0.803 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.810 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.831 * * * [progress]: generating series expansions 0.831 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.831 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.831 * * * [progress]: simplifying candidates 0.831 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #posit16 10) d2)) (*.p16 d1 (real->posit16 20))))> 0.832 * [simplify]: Simplifying (+.p16 (real->posit16 10) d2) 0.832 * * [simplify]: iters left: 2 (4 enodes) 0.834 * * [simplify]: iters left: 1 (8 enodes) 0.836 * * [simplify]: Extracting #0: cost 1 inf + 0 0.837 * * [simplify]: Extracting #1: cost 3 inf + 0 0.837 * * [simplify]: Extracting #2: cost 3 inf + 1 0.837 * * [simplify]: Extracting #3: cost 2 inf + 2 0.837 * * [simplify]: Extracting #4: cost 0 inf + 45 0.837 * [simplify]: Simplified to (+.p16 (real->posit16 10) d2) 0.837 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (+.p16 (*.p16 d1 (+.p16 (real->posit16 10) d2)) (*.p16 d1 (real->posit16 20)))) 0.837 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #posit16 10) d2)) (*.p16 d1 (real->posit16 20))))> 0.837 * [simplify]: Simplifying (+.p16 (real->posit16 10) d2) 0.837 * * [simplify]: iters left: 2 (4 enodes) 0.839 * * [simplify]: iters left: 1 (8 enodes) 0.842 * * [simplify]: Extracting #0: cost 1 inf + 0 0.842 * * [simplify]: Extracting #1: cost 3 inf + 0 0.842 * * [simplify]: Extracting #2: cost 3 inf + 1 0.842 * * [simplify]: Extracting #3: cost 2 inf + 2 0.842 * * [simplify]: Extracting #4: cost 0 inf + 45 0.842 * [simplify]: Simplified to (+.p16 (real->posit16 10) d2) 0.842 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (+.p16 (*.p16 d1 (+.p16 (real->posit16 10) d2)) (*.p16 d1 (real->posit16 20)))) 0.842 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #posit16 10))) (*.p16 d1 (real->posit16 20))))> 0.842 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #posit16 10) d2) (real->posit16 20))))> 0.843 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 10) d2) (real->posit16 20)) 0.843 * * [simplify]: iters left: 3 (7 enodes) 0.846 * * [simplify]: iters left: 2 (15 enodes) 0.852 * * [simplify]: iters left: 1 (21 enodes) 0.859 * * [simplify]: Extracting #0: cost 1 inf + 0 0.859 * * [simplify]: Extracting #1: cost 7 inf + 0 0.859 * * [simplify]: Extracting #2: cost 8 inf + 1 0.859 * * [simplify]: Extracting #3: cost 6 inf + 3 0.859 * * [simplify]: Extracting #4: cost 3 inf + 47 0.859 * * [simplify]: Extracting #5: cost 0 inf + 214 0.860 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2) 0.860 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2))) 0.860 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #posit16 10) d2) (real->posit16 20))))> 0.860 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 10) d2) (real->posit16 20)) 0.860 * * [simplify]: iters left: 3 (7 enodes) 0.864 * * [simplify]: iters left: 2 (15 enodes) 0.867 * * [simplify]: iters left: 1 (21 enodes) 0.871 * * [simplify]: Extracting #0: cost 1 inf + 0 0.871 * * [simplify]: Extracting #1: cost 7 inf + 0 0.871 * * [simplify]: Extracting #2: cost 8 inf + 1 0.871 * * [simplify]: Extracting #3: cost 6 inf + 3 0.871 * * [simplify]: Extracting #4: cost 3 inf + 47 0.871 * * [simplify]: Extracting #5: cost 0 inf + 214 0.871 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2) 0.871 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2))) 0.871 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20)))))> 0.871 * [simplify]: Simplifying (*.p16 d1 (real->posit16 10)) 0.871 * * [simplify]: iters left: 2 (4 enodes) 0.872 * * [simplify]: iters left: 1 (8 enodes) 0.874 * * [simplify]: Extracting #0: cost 1 inf + 0 0.874 * * [simplify]: Extracting #1: cost 3 inf + 0 0.874 * * [simplify]: Extracting #2: cost 3 inf + 1 0.874 * * [simplify]: Extracting #3: cost 0 inf + 325 0.874 * [simplify]: Simplified to (*.p16 d1 (real->posit16 10)) 0.874 * [simplify]: Simplified (2 1) to (λ (d1 d2) (+.p16 (*.p16 d1 (real->posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20))))) 0.874 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #posit16 10) d2) (real->posit16 20))))> 0.874 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 10) d2) (real->posit16 20)) 0.874 * * [simplify]: iters left: 3 (7 enodes) 0.876 * * [simplify]: iters left: 2 (15 enodes) 0.878 * * [simplify]: iters left: 1 (21 enodes) 0.881 * * [simplify]: Extracting #0: cost 1 inf + 0 0.881 * * [simplify]: Extracting #1: cost 7 inf + 0 0.881 * * [simplify]: Extracting #2: cost 8 inf + 1 0.881 * * [simplify]: Extracting #3: cost 6 inf + 3 0.882 * * [simplify]: Extracting #4: cost 3 inf + 47 0.882 * * [simplify]: Extracting #5: cost 0 inf + 214 0.882 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2) 0.882 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2))) 0.882 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #posit16 10) d2) (real->posit16 20))))> 0.882 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 10) d2) (real->posit16 20)) 0.882 * * [simplify]: iters left: 3 (7 enodes) 0.884 * * [simplify]: iters left: 2 (15 enodes) 0.889 * * [simplify]: iters left: 1 (21 enodes) 0.896 * * [simplify]: Extracting #0: cost 1 inf + 0 0.896 * * [simplify]: Extracting #1: cost 7 inf + 0 0.896 * * [simplify]: Extracting #2: cost 8 inf + 1 0.896 * * [simplify]: Extracting #3: cost 6 inf + 3 0.896 * * [simplify]: Extracting #4: cost 3 inf + 47 0.896 * * [simplify]: Extracting #5: cost 0 inf + 214 0.897 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2) 0.897 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2))) 0.897 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #posit16 20)) (+.p16 (*.p16 d1 (real->posit16 10)) (*.p16 d1 d2))))> 0.897 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> 0.897 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 (real->posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))) 0.897 * * [simplify]: iters left: 4 (11 enodes) 0.903 * * [simplify]: iters left: 3 (26 enodes) 0.912 * * [simplify]: iters left: 2 (41 enodes) 0.928 * * [simplify]: iters left: 1 (58 enodes) 0.946 * * [simplify]: Extracting #0: cost 1 inf + 0 0.947 * * [simplify]: Extracting #1: cost 10 inf + 0 0.947 * * [simplify]: Extracting #2: cost 15 inf + 1 0.947 * * [simplify]: Extracting #3: cost 15 inf + 324 0.947 * * [simplify]: Extracting #4: cost 13 inf + 326 0.947 * * [simplify]: Extracting #5: cost 5 inf + 1822 0.948 * * [simplify]: Extracting #6: cost 0 inf + 3037 0.949 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 20) (+.p16 (real->posit16 10) d2)) d1) 0.949 * [simplify]: Simplified (2) to (λ (d1 d2) (*.p16 (+.p16 (real->posit16 20) (+.p16 (real->posit16 10) d2)) d1)) 0.949 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> 0.949 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 (real->posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))) 0.950 * * [simplify]: iters left: 4 (11 enodes) 0.955 * * [simplify]: iters left: 3 (26 enodes) 0.968 * * [simplify]: iters left: 2 (41 enodes) 0.983 * * [simplify]: iters left: 1 (58 enodes) 1.003 * * [simplify]: Extracting #0: cost 1 inf + 0 1.003 * * [simplify]: Extracting #1: cost 10 inf + 0 1.003 * * [simplify]: Extracting #2: cost 15 inf + 1 1.003 * * [simplify]: Extracting #3: cost 15 inf + 324 1.004 * * [simplify]: Extracting #4: cost 13 inf + 326 1.004 * * [simplify]: Extracting #5: cost 5 inf + 1822 1.005 * * [simplify]: Extracting #6: cost 0 inf + 3037 1.005 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 20) (+.p16 (real->posit16 10) d2)) d1) 1.006 * [simplify]: Simplified (2) to (λ (d1 d2) (*.p16 (+.p16 (real->posit16 20) (+.p16 (real->posit16 10) d2)) d1)) 1.006 * * * [progress]: adding candidates to table 1.543 * * [progress]: iteration 3 / 4 1.543 * * * [progress]: picking best candidate 1.592 * * * * [pick]: Picked #posit16 10) d2)) (*.p16 d1 (real->posit16 20))))> 1.592 * * * [progress]: localizing error 1.694 * * * [progress]: generating rewritten candidates 1.694 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.697 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.707 * * * [progress]: generating series expansions 1.707 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.707 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.707 * * * [progress]: simplifying candidates 1.708 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 10) d2) (real->posit16 20))))> 1.708 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 10) d2) (real->posit16 20)) 1.708 * * [simplify]: iters left: 3 (7 enodes) 1.711 * * [simplify]: iters left: 2 (15 enodes) 1.713 * * [simplify]: iters left: 1 (21 enodes) 1.717 * * [simplify]: Extracting #0: cost 1 inf + 0 1.717 * * [simplify]: Extracting #1: cost 7 inf + 0 1.717 * * [simplify]: Extracting #2: cost 8 inf + 1 1.717 * * [simplify]: Extracting #3: cost 6 inf + 3 1.717 * * [simplify]: Extracting #4: cost 3 inf + 47 1.717 * * [simplify]: Extracting #5: cost 0 inf + 214 1.717 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2) 1.717 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2))) 1.717 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20)))))> 1.718 * [simplify]: Simplifying (*.p16 d1 (real->posit16 10)) 1.718 * * [simplify]: iters left: 2 (4 enodes) 1.719 * * [simplify]: iters left: 1 (8 enodes) 1.720 * * [simplify]: Extracting #0: cost 1 inf + 0 1.720 * * [simplify]: Extracting #1: cost 3 inf + 0 1.720 * * [simplify]: Extracting #2: cost 3 inf + 1 1.720 * * [simplify]: Extracting #3: cost 0 inf + 325 1.720 * [simplify]: Simplified to (*.p16 d1 (real->posit16 10)) 1.720 * [simplify]: Simplified (2 1) to (λ (d1 d2) (+.p16 (*.p16 d1 (real->posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20))))) 1.721 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 10) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 20)))))> 1.721 * [simplify]: Simplifying (*.p16 (real->posit16 10) d1) 1.721 * * [simplify]: iters left: 2 (4 enodes) 1.723 * * [simplify]: iters left: 1 (8 enodes) 1.725 * * [simplify]: Extracting #0: cost 1 inf + 0 1.725 * * [simplify]: Extracting #1: cost 3 inf + 0 1.725 * * [simplify]: Extracting #2: cost 3 inf + 1 1.725 * * [simplify]: Extracting #3: cost 2 inf + 2 1.725 * * [simplify]: Extracting #4: cost 0 inf + 325 1.726 * [simplify]: Simplified to (*.p16 d1 (real->posit16 10)) 1.726 * [simplify]: Simplified (2 1) to (λ (d1 d2) (+.p16 (*.p16 d1 (real->posit16 10)) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 20))))) 1.726 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 10) d2) (real->posit16 20))))> 1.726 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 10) d2) (real->posit16 20)) 1.726 * * [simplify]: iters left: 3 (7 enodes) 1.729 * * [simplify]: iters left: 2 (15 enodes) 1.735 * * [simplify]: iters left: 1 (21 enodes) 1.741 * * [simplify]: Extracting #0: cost 1 inf + 0 1.741 * * [simplify]: Extracting #1: cost 7 inf + 0 1.741 * * [simplify]: Extracting #2: cost 8 inf + 1 1.742 * * [simplify]: Extracting #3: cost 6 inf + 3 1.742 * * [simplify]: Extracting #4: cost 3 inf + 47 1.742 * * [simplify]: Extracting #5: cost 0 inf + 214 1.742 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2) 1.742 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 (real->posit16 20) (real->posit16 10)) d2))) 1.742 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 20)) (*.p16 d1 (+.p16 (real->posit16 10) d2))))> 1.742 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> 1.743 * [simplify]: Simplifying (*.p16 d1 d2) 1.743 * * [simplify]: iters left: 1 (3 enodes) 1.744 * * [simplify]: Extracting #0: cost 1 inf + 0 1.744 * * [simplify]: Extracting #1: cost 3 inf + 0 1.744 * * [simplify]: Extracting #2: cost 1 inf + 2 1.744 * * [simplify]: Extracting #3: cost 0 inf + 324 1.744 * [simplify]: Simplified to (*.p16 d2 d1) 1.744 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (+.p16 (+.p16 (*.p16 d1 (real->posit16 10)) (*.p16 d2 d1)) (*.p16 d1 (real->posit16 20)))) 1.744 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 10) d1) (*.p16 d2 d1)) (*.p16 d1 (real->posit16 20))))> 1.745 * [simplify]: Simplifying (*.p16 d2 d1) 1.745 * * [simplify]: iters left: 1 (3 enodes) 1.746 * * [simplify]: Extracting #0: cost 1 inf + 0 1.746 * * [simplify]: Extracting #1: cost 3 inf + 0 1.746 * * [simplify]: Extracting #2: cost 1 inf + 2 1.746 * * [simplify]: Extracting #3: cost 0 inf + 324 1.746 * [simplify]: Simplified to (*.p16 d1 d2) 1.746 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (+.p16 (+.p16 (*.p16 (real->posit16 10) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20)))) 1.746 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 10) d2) d1) (*.p16 d1 (real->posit16 20))))> 1.746 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 10) d2)) (*.p16 d1 (real->posit16 20))))> 1.747 * [simplify]: Simplifying (+.p16 (real->posit16 10) d2) 1.747 * * [simplify]: iters left: 2 (4 enodes) 1.749 * * [simplify]: iters left: 1 (8 enodes) 1.751 * * [simplify]: Extracting #0: cost 1 inf + 0 1.751 * * [simplify]: Extracting #1: cost 3 inf + 0 1.751 * * [simplify]: Extracting #2: cost 3 inf + 1 1.751 * * [simplify]: Extracting #3: cost 2 inf + 2 1.752 * * [simplify]: Extracting #4: cost 0 inf + 45 1.752 * [simplify]: Simplified to (+.p16 (real->posit16 10) d2) 1.752 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (+.p16 (*.p16 d1 (+.p16 (real->posit16 10) d2)) (*.p16 d1 (real->posit16 20)))) 1.752 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 10) d2)) (*.p16 d1 (real->posit16 20))))> 1.752 * [simplify]: Simplifying (+.p16 (real->posit16 10) d2) 1.752 * * [simplify]: iters left: 2 (4 enodes) 1.754 * * [simplify]: iters left: 1 (8 enodes) 1.757 * * [simplify]: Extracting #0: cost 1 inf + 0 1.757 * * [simplify]: Extracting #1: cost 3 inf + 0 1.757 * * [simplify]: Extracting #2: cost 3 inf + 1 1.757 * * [simplify]: Extracting #3: cost 2 inf + 2 1.757 * * [simplify]: Extracting #4: cost 0 inf + 45 1.757 * [simplify]: Simplified to (+.p16 (real->posit16 10) d2) 1.757 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (+.p16 (*.p16 d1 (+.p16 (real->posit16 10) d2)) (*.p16 d1 (real->posit16 20)))) 1.757 * * * [progress]: adding candidates to table 2.029 * * [progress]: iteration 4 / 4 2.029 * * * [progress]: picking best candidate 2.044 * * * * [pick]: Picked #posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20)))))> 2.044 * * * [progress]: localizing error 2.165 * * * [progress]: generating rewritten candidates 2.165 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.169 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.173 * * * [progress]: generating series expansions 2.173 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.173 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.173 * * * [progress]: simplifying candidates 2.173 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #posit16 10)) (*.p16 d1 (+.p16 d2 (real->posit16 20)))))> 2.173 * [simplify]: Simplifying (+.p16 d2 (real->posit16 20)) 2.173 * * [simplify]: iters left: 2 (4 enodes) 2.174 * * [simplify]: iters left: 1 (8 enodes) 2.176 * * [simplify]: Extracting #0: cost 1 inf + 0 2.176 * * [simplify]: Extracting #1: cost 3 inf + 0 2.176 * * [simplify]: Extracting #2: cost 3 inf + 1 2.176 * * [simplify]: Extracting #3: cost 0 inf + 45 2.176 * [simplify]: Simplified to (+.p16 (real->posit16 20) d2) 2.176 * [simplify]: Simplified (2 2 2) to (λ (d1 d2) (+.p16 (*.p16 d1 (real->posit16 10)) (*.p16 d1 (+.p16 (real->posit16 20) d2)))) 2.176 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #posit16 10)) (*.p16 d1 (+.p16 d2 (real->posit16 20)))))> 2.176 * [simplify]: Simplifying (+.p16 d2 (real->posit16 20)) 2.176 * * [simplify]: iters left: 2 (4 enodes) 2.177 * * [simplify]: iters left: 1 (8 enodes) 2.178 * * [simplify]: Extracting #0: cost 1 inf + 0 2.178 * * [simplify]: Extracting #1: cost 3 inf + 0 2.178 * * [simplify]: Extracting #2: cost 3 inf + 1 2.178 * * [simplify]: Extracting #3: cost 0 inf + 45 2.178 * [simplify]: Simplified to (+.p16 (real->posit16 20) d2) 2.178 * [simplify]: Simplified (2 2 2) to (λ (d1 d2) (+.p16 (*.p16 d1 (real->posit16 10)) (*.p16 d1 (+.p16 (real->posit16 20) d2)))) 2.179 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #posit16 10)) (+.p16 (*.p16 d1 (real->posit16 20)) (*.p16 d1 d2))))> 2.179 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #posit16 10) (+.p16 d2 (real->posit16 20)))))> 2.179 * [simplify]: Simplifying (+.p16 (real->posit16 10) (+.p16 d2 (real->posit16 20))) 2.179 * * [simplify]: iters left: 3 (7 enodes) 2.181 * * [simplify]: iters left: 2 (15 enodes) 2.183 * * [simplify]: iters left: 1 (21 enodes) 2.186 * * [simplify]: Extracting #0: cost 1 inf + 0 2.186 * * [simplify]: Extracting #1: cost 7 inf + 0 2.186 * * [simplify]: Extracting #2: cost 8 inf + 1 2.187 * * [simplify]: Extracting #3: cost 6 inf + 3 2.187 * * [simplify]: Extracting #4: cost 1 inf + 172 2.187 * * [simplify]: Extracting #5: cost 0 inf + 214 2.187 * [simplify]: Simplified to (+.p16 (+.p16 d2 (real->posit16 20)) (real->posit16 10)) 2.187 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 d2 (real->posit16 20)) (real->posit16 10)))) 2.187 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #posit16 10) (+.p16 d2 (real->posit16 20)))))> 2.187 * [simplify]: Simplifying (+.p16 (real->posit16 10) (+.p16 d2 (real->posit16 20))) 2.187 * * [simplify]: iters left: 3 (7 enodes) 2.189 * * [simplify]: iters left: 2 (15 enodes) 2.192 * * [simplify]: iters left: 1 (21 enodes) 2.202 * * [simplify]: Extracting #0: cost 1 inf + 0 2.202 * * [simplify]: Extracting #1: cost 7 inf + 0 2.202 * * [simplify]: Extracting #2: cost 8 inf + 1 2.202 * * [simplify]: Extracting #3: cost 6 inf + 3 2.202 * * [simplify]: Extracting #4: cost 1 inf + 172 2.202 * * [simplify]: Extracting #5: cost 0 inf + 214 2.202 * [simplify]: Simplified to (+.p16 (+.p16 d2 (real->posit16 20)) (real->posit16 10)) 2.202 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 d2 (real->posit16 20)) (real->posit16 10)))) 2.202 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> 2.203 * [simplify]: Simplifying (*.p16 d1 (real->posit16 20)) 2.203 * * [simplify]: iters left: 2 (4 enodes) 2.204 * * [simplify]: iters left: 1 (8 enodes) 2.205 * * [simplify]: Extracting #0: cost 1 inf + 0 2.205 * * [simplify]: Extracting #1: cost 3 inf + 0 2.205 * * [simplify]: Extracting #2: cost 3 inf + 1 2.205 * * [simplify]: Extracting #3: cost 0 inf + 325 2.205 * [simplify]: Simplified to (*.p16 d1 (real->posit16 20)) 2.205 * [simplify]: Simplified (2 2) to (λ (d1 d2) (+.p16 (+.p16 (*.p16 d1 (real->posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20)))) 2.205 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #posit16 10) (+.p16 d2 (real->posit16 20)))))> 2.205 * [simplify]: Simplifying (+.p16 (real->posit16 10) (+.p16 d2 (real->posit16 20))) 2.205 * * [simplify]: iters left: 3 (7 enodes) 2.207 * * [simplify]: iters left: 2 (15 enodes) 2.210 * * [simplify]: iters left: 1 (21 enodes) 2.213 * * [simplify]: Extracting #0: cost 1 inf + 0 2.213 * * [simplify]: Extracting #1: cost 7 inf + 0 2.213 * * [simplify]: Extracting #2: cost 8 inf + 1 2.213 * * [simplify]: Extracting #3: cost 6 inf + 3 2.213 * * [simplify]: Extracting #4: cost 1 inf + 172 2.214 * * [simplify]: Extracting #5: cost 0 inf + 214 2.214 * [simplify]: Simplified to (+.p16 (+.p16 d2 (real->posit16 20)) (real->posit16 10)) 2.214 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 d2 (real->posit16 20)) (real->posit16 10)))) 2.214 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #posit16 10) (+.p16 d2 (real->posit16 20)))))> 2.214 * [simplify]: Simplifying (+.p16 (real->posit16 10) (+.p16 d2 (real->posit16 20))) 2.214 * * [simplify]: iters left: 3 (7 enodes) 2.216 * * [simplify]: iters left: 2 (15 enodes) 2.218 * * [simplify]: iters left: 1 (21 enodes) 2.222 * * [simplify]: Extracting #0: cost 1 inf + 0 2.222 * * [simplify]: Extracting #1: cost 7 inf + 0 2.222 * * [simplify]: Extracting #2: cost 8 inf + 1 2.222 * * [simplify]: Extracting #3: cost 6 inf + 3 2.222 * * [simplify]: Extracting #4: cost 1 inf + 172 2.222 * * [simplify]: Extracting #5: cost 0 inf + 214 2.222 * [simplify]: Simplified to (+.p16 (+.p16 d2 (real->posit16 20)) (real->posit16 10)) 2.222 * [simplify]: Simplified (2 2) to (λ (d1 d2) (*.p16 d1 (+.p16 (+.p16 d2 (real->posit16 20)) (real->posit16 10)))) 2.222 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #posit16 20))) (*.p16 d1 (real->posit16 10))))> 2.223 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20)))))> 2.223 * [simplify]: Simplifying (*.p16 d1 (real->posit16 10)) 2.223 * * [simplify]: iters left: 2 (4 enodes) 2.224 * * [simplify]: iters left: 1 (8 enodes) 2.225 * * [simplify]: Extracting #0: cost 1 inf + 0 2.225 * * [simplify]: Extracting #1: cost 3 inf + 0 2.225 * * [simplify]: Extracting #2: cost 3 inf + 1 2.226 * * [simplify]: Extracting #3: cost 0 inf + 325 2.226 * [simplify]: Simplified to (*.p16 d1 (real->posit16 10)) 2.226 * [simplify]: Simplified (2 1) to (λ (d1 d2) (+.p16 (*.p16 d1 (real->posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20))))) 2.226 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20)))))> 2.226 * [simplify]: Simplifying (*.p16 d1 (real->posit16 10)) 2.226 * * [simplify]: iters left: 2 (4 enodes) 2.227 * * [simplify]: iters left: 1 (8 enodes) 2.229 * * [simplify]: Extracting #0: cost 1 inf + 0 2.229 * * [simplify]: Extracting #1: cost 3 inf + 0 2.229 * * [simplify]: Extracting #2: cost 3 inf + 1 2.229 * * [simplify]: Extracting #3: cost 0 inf + 325 2.229 * [simplify]: Simplified to (*.p16 d1 (real->posit16 10)) 2.229 * [simplify]: Simplified (2 1) to (λ (d1 d2) (+.p16 (*.p16 d1 (real->posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20))))) 2.229 * * * [progress]: adding candidates to table 2.519 * [progress]: [Phase 3 of 3] Extracting. 2.519 * * [regime]: Finding splitpoints for: (#posit16 20) (+.p16 (real->posit16 10) d2)) d1))> #posit16 10) d2)) (*.p16 d1 (real->posit16 20))))> #posit16 10)) (*.p16 d1 (+.p16 d2 (real->posit16 20)))))> #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> #posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20)))))>) 2.520 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1) 2.520 * * * * [regimes]: Trying to branch on d2 from (#posit16 20) (+.p16 (real->posit16 10) d2)) d1))> #posit16 10) d2)) (*.p16 d1 (real->posit16 20))))> #posit16 10)) (*.p16 d1 (+.p16 d2 (real->posit16 20)))))> #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> #posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20)))))>) 2.708 * * * * [regimes]: Trying to branch on d1 from (#posit16 20) (+.p16 (real->posit16 10) d2)) d1))> #posit16 10) d2)) (*.p16 d1 (real->posit16 20))))> #posit16 10)) (*.p16 d1 (+.p16 d2 (real->posit16 20)))))> #posit16 10)) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 20))))> #posit16 10)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 20)))))>) 2.816 * * * [regime]: Found split indices: #