1554300853.762 * [misc]progress: [Phase 1 of 3] Setting up. 1554300853.762 * * * [misc]progress: [1/2] Preparing points 1554300853.762 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554300853.765 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1554300853.768 * * * * [misc]points: Setting MPFR precision to 64 1554300853.770 * * * * [misc]points: Setting MPFR precision to 320 1554300853.772 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1554300853.776 * * * * [misc]points: Setting MPFR precision to 64 1554300853.779 * * * * [misc]points: Setting MPFR precision to 320 1554300853.783 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1554300853.788 * * * * [misc]points: Setting MPFR precision to 64 1554300853.799 * * * * [misc]points: Setting MPFR precision to 320 1554300853.805 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1554300853.809 * * * * [misc]points: Setting MPFR precision to 64 1554300853.819 * * * * [misc]points: Setting MPFR precision to 320 1554300853.829 * * * * [misc]points: Computing exacts for 256 points 1554300853.833 * * * * [misc]points: Setting MPFR precision to 64 1554300853.861 * * * * [misc]points: Setting MPFR precision to 320 1554300853.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300853.877 * * * * [exit]points: Sampled 256 points with exact outputs 1554300853.877 * * * [misc]progress: [2/2] Setting up program. 1554300853.900 * [misc]progress: [Phase 2 of 3] Improving. 1554300853.900 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554300853.900 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1554300853.900 * * [misc]simplify: iters left: 5 (13 enodes) 1554300853.906 * * [misc]simplify: iters left: 4 (29 enodes) 1554300853.916 * * [misc]simplify: iters left: 3 (49 enodes) 1554300853.939 * * [misc]simplify: iters left: 2 (122 enodes) 1554300854.000 * * [misc]simplify: iters left: 1 (228 enodes) 1554300854.100 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300854.100 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554300854.101 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554300854.101 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1554300854.102 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1554300854.105 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1554300854.108 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1554300854.112 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554300854.112 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1554300854.154 * * [misc]progress: iteration 1 / 4 1554300854.154 * * * [misc]progress: picking best candidate 1554300854.199 * * * * [misc]pick: Picked #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554300854.199 * * * [misc]progress: localizing error 1554300854.397 * * * [misc]progress: generating rewritten candidates 1554300854.397 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1) 1554300854.399 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1554300854.403 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 2) 1554300854.405 * * * [misc]progress: generating series expansions 1554300854.405 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1) 1554300854.405 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1554300854.405 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 2) 1554300854.405 * * * [misc]progress: simplifying candidates 1554300854.405 * * * * [misc]progress: [ 1 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))> 1554300854.405 * * * * [misc]progress: [ 2 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554300854.405 * [enter]simplify: Simplifying (*.p16 d1 d2) 1554300854.405 * * [misc]simplify: iters left: 1 (3 enodes) 1554300854.406 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300854.406 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300854.406 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1554300854.406 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1554300854.406 * [exit]simplify: Simplified to (*.p16 d2 d1) 1554300854.406 * [misc]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))))) 1554300854.406 * * * * [misc]progress: [ 3 / 7 ] simplifiying candidate #posit16 32)) (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))> 1554300854.406 * * * * [misc]progress: [ 4 / 7 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1554300854.406 * * * * [misc]progress: [ 5 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554300854.406 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1554300854.406 * * [misc]simplify: iters left: 5 (13 enodes) 1554300854.409 * * [misc]simplify: iters left: 4 (29 enodes) 1554300854.415 * * [misc]simplify: iters left: 3 (49 enodes) 1554300854.430 * * [misc]simplify: iters left: 2 (122 enodes) 1554300854.477 * * [misc]simplify: iters left: 1 (228 enodes) 1554300854.558 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300854.558 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554300854.559 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554300854.559 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1554300854.559 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1554300854.561 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1554300854.563 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1554300854.565 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554300854.565 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1554300854.565 * * * * [misc]progress: [ 6 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554300854.565 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1554300854.565 * * [misc]simplify: iters left: 5 (13 enodes) 1554300854.571 * * [misc]simplify: iters left: 4 (29 enodes) 1554300854.581 * * [misc]simplify: iters left: 3 (49 enodes) 1554300854.603 * * [misc]simplify: iters left: 2 (122 enodes) 1554300854.632 * * [misc]simplify: iters left: 1 (228 enodes) 1554300854.750 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300854.750 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554300854.750 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554300854.751 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1554300854.752 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1554300854.758 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1554300854.762 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1554300854.766 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554300854.767 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1554300854.767 * * * * [misc]progress: [ 7 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554300854.767 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1554300854.767 * * [misc]simplify: iters left: 5 (13 enodes) 1554300854.774 * * [misc]simplify: iters left: 4 (29 enodes) 1554300854.785 * * [misc]simplify: iters left: 3 (49 enodes) 1554300854.807 * * [misc]simplify: iters left: 2 (122 enodes) 1554300854.833 * * [misc]simplify: iters left: 1 (228 enodes) 1554300854.939 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300854.939 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554300854.940 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554300854.940 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1554300854.941 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1554300854.944 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1554300854.948 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1554300854.951 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554300854.952 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1554300854.952 * * * [misc]progress: adding candidates to table 1554300855.262 * * [misc]progress: iteration 2 / 4 1554300855.262 * * * [misc]progress: picking best candidate 1554300855.311 * * * * [misc]pick: Picked #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1554300855.311 * * * [misc]progress: localizing error 1554300855.420 * * * [misc]progress: generating rewritten candidates 1554300855.420 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1554300855.432 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) 1554300855.436 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1554300855.452 * * * [misc]progress: generating series expansions 1554300855.452 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1554300855.452 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) 1554300855.452 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1554300855.452 * * * [misc]progress: simplifying candidates 1554300855.453 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32))))> 1554300855.453 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 5) d3) d2) (real->posit16 32)) d1))> 1554300855.453 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 5)) (real->posit16 32)) d1))> 1554300855.453 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> 1554300855.453 * [enter]simplify: Simplifying (real->posit16 5) 1554300855.453 * * [misc]simplify: iters left: 1 (2 enodes) 1554300855.455 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300855.455 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554300855.455 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1554300855.455 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1554300855.455 * [exit]simplify: Simplified to (real->posit16 5) 1554300855.455 * [misc]simplify: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1)) 1554300855.455 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))> 1554300855.455 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1554300855.455 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554300855.456 * * [misc]simplify: iters left: 4 (11 enodes) 1554300855.461 * * [misc]simplify: iters left: 3 (27 enodes) 1554300855.477 * * [misc]simplify: iters left: 2 (60 enodes) 1554300855.499 * * [misc]simplify: iters left: 1 (128 enodes) 1554300855.563 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300855.563 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554300855.563 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1554300855.564 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1554300855.564 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1554300855.567 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1554300855.570 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1554300855.574 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1554300855.574 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1554300855.574 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1554300855.575 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554300855.575 * * [misc]simplify: iters left: 4 (11 enodes) 1554300855.580 * * [misc]simplify: iters left: 3 (27 enodes) 1554300855.585 * * [misc]simplify: iters left: 2 (60 enodes) 1554300855.599 * * [misc]simplify: iters left: 1 (128 enodes) 1554300855.634 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300855.634 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554300855.634 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1554300855.635 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1554300855.635 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1554300855.638 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1554300855.641 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1554300855.644 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1554300855.644 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1554300855.645 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1554300855.645 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554300855.645 * * [misc]simplify: iters left: 4 (11 enodes) 1554300855.650 * * [misc]simplify: iters left: 3 (27 enodes) 1554300855.661 * * [misc]simplify: iters left: 2 (60 enodes) 1554300855.687 * * [misc]simplify: iters left: 1 (128 enodes) 1554300855.749 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300855.749 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554300855.749 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1554300855.750 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1554300855.750 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1554300855.751 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1554300855.753 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1554300855.755 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1554300855.755 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1554300855.755 * * * [misc]progress: adding candidates to table 1554300855.944 * * [misc]progress: iteration 3 / 4 1554300855.944 * * * [misc]progress: picking best candidate 1554300855.958 * * * * [misc]pick: Picked #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554300855.958 * * * [misc]progress: localizing error 1554300855.995 * * * [misc]progress: generating rewritten candidates 1554300855.995 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 2) 1554300855.998 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1554300856.001 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2 1) 1554300856.002 * * * [misc]progress: generating series expansions 1554300856.002 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 2) 1554300856.002 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1554300856.002 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2 1) 1554300856.002 * * * [misc]progress: simplifying candidates 1554300856.003 * * * * [misc]progress: [ 1 / 7 ] simplifiying candidate #posit16 32)) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))> 1554300856.003 * * * * [misc]progress: [ 2 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554300856.003 * [enter]simplify: Simplifying (*.p16 d1 (real->posit16 32)) 1554300856.003 * * [misc]simplify: iters left: 2 (4 enodes) 1554300856.004 * * [misc]simplify: iters left: 1 (8 enodes) 1554300856.005 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300856.005 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300856.005 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554300856.006 * * [misc]simplify: Extracting #3: cost 0 inf + 325 1554300856.006 * [exit]simplify: Simplified to (*.p16 d1 (real->posit16 32)) 1554300856.006 * [misc]simplify: Simplified (2 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))) 1554300856.006 * * * * [misc]progress: [ 3 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32))) (*.p16 d1 d2)))> 1554300856.006 * * * * [misc]progress: [ 4 / 7 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32)))))> 1554300856.006 * * * * [misc]progress: [ 5 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554300856.006 * [enter]simplify: Simplifying (*.p16 d1 d2) 1554300856.006 * * [misc]simplify: iters left: 1 (3 enodes) 1554300856.007 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300856.007 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300856.007 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1554300856.007 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1554300856.007 * [exit]simplify: Simplified to (*.p16 d2 d1) 1554300856.007 * [misc]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))))) 1554300856.007 * * * * [misc]progress: [ 6 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554300856.007 * [enter]simplify: Simplifying (*.p16 d1 d2) 1554300856.007 * * [misc]simplify: iters left: 1 (3 enodes) 1554300856.013 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300856.014 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300856.014 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1554300856.014 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1554300856.014 * [exit]simplify: Simplified to (*.p16 d2 d1) 1554300856.014 * [misc]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))))) 1554300856.014 * * * * [misc]progress: [ 7 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554300856.014 * [enter]simplify: Simplifying (*.p16 d1 d2) 1554300856.014 * * [misc]simplify: iters left: 1 (3 enodes) 1554300856.015 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300856.015 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300856.015 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1554300856.015 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1554300856.015 * [exit]simplify: Simplified to (*.p16 d2 d1) 1554300856.015 * [misc]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))))) 1554300856.015 * * * [misc]progress: adding candidates to table 1554300856.171 * [misc]progress: [Phase 3 of 3] Extracting. 1554300856.171 * * [misc]regime: Finding splitpoints for: (#posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>) 1554300856.172 * * * [misc]regime-changes: Trying 3 branch expressions: (d3 d2 d1) 1554300856.172 * * * * [misc]regimes: Trying to branch on d3 from (#posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>) 1554300856.257 * * * * [misc]regimes: Trying to branch on d2 from (#posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>) 1554300856.386 * * * * [misc]regimes: Trying to branch on d1 from (#posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>) 1554300856.559 * * * [misc]regime: Found split indices: #