1554305012.725 * [misc]progress: [Phase 1 of 3] Setting up. 1554305012.725 * * * [misc]progress: [1/2] Preparing points 1554305012.725 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554305012.728 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1554305012.731 * * * * [misc]points: Setting MPFR precision to 64 1554305012.733 * * * * [misc]points: Setting MPFR precision to 320 1554305012.734 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1554305012.738 * * * * [misc]points: Setting MPFR precision to 64 1554305012.739 * * * * [misc]points: Setting MPFR precision to 320 1554305012.741 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1554305012.743 * * * * [misc]points: Setting MPFR precision to 64 1554305012.746 * * * * [misc]points: Setting MPFR precision to 320 1554305012.750 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1554305012.753 * * * * [misc]points: Setting MPFR precision to 64 1554305012.758 * * * * [misc]points: Setting MPFR precision to 320 1554305012.763 * * * * [misc]points: Computing exacts for 256 points 1554305012.765 * * * * [misc]points: Setting MPFR precision to 64 1554305012.782 * * * * [misc]points: Setting MPFR precision to 320 1554305012.796 * * * * [misc]points: Filtering points with unrepresentable outputs 1554305012.798 * * * * [exit]points: Sampled 256 points with exact outputs 1554305012.798 * * * [misc]progress: [2/2] Setting up program. 1554305012.812 * [misc]progress: [Phase 2 of 3] Improving. 1554305012.812 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554305012.812 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1554305012.812 * * [misc]simplify: iters left: 5 (13 enodes) 1554305012.815 * * [misc]simplify: iters left: 4 (29 enodes) 1554305012.820 * * [misc]simplify: iters left: 3 (49 enodes) 1554305012.849 * * [misc]simplify: iters left: 2 (122 enodes) 1554305012.878 * * [misc]simplify: iters left: 1 (228 enodes) 1554305012.971 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305012.971 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554305012.971 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554305012.972 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1554305012.973 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1554305012.975 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1554305012.979 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1554305012.983 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554305012.983 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1554305013.028 * * [misc]progress: iteration 1 / 4 1554305013.029 * * * [misc]progress: picking best candidate 1554305013.083 * * * * [misc]pick: Picked #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554305013.083 * * * [misc]progress: localizing error 1554305013.309 * * * [misc]progress: generating rewritten candidates 1554305013.309 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1) 1554305013.314 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1554305013.324 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 2) 1554305013.326 * * * [misc]progress: generating series expansions 1554305013.326 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1) 1554305013.327 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1554305013.327 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 2) 1554305013.327 * * * [misc]progress: simplifying candidates 1554305013.327 * * * * [misc]progress: [ 1 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))> 1554305013.327 * * * * [misc]progress: [ 2 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554305013.327 * [enter]simplify: Simplifying (*.p16 d1 d2) 1554305013.327 * * [misc]simplify: iters left: 1 (3 enodes) 1554305013.328 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305013.328 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554305013.329 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1554305013.329 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1554305013.329 * [exit]simplify: Simplified to (*.p16 d2 d1) 1554305013.329 * [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))))) 1554305013.329 * * * * [misc]progress: [ 3 / 7 ] simplifiying candidate #posit16 32)) (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))> 1554305013.329 * * * * [misc]progress: [ 4 / 7 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1554305013.329 * * * * [misc]progress: [ 5 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554305013.329 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1554305013.329 * * [misc]simplify: iters left: 5 (13 enodes) 1554305013.336 * * [misc]simplify: iters left: 4 (29 enodes) 1554305013.345 * * [misc]simplify: iters left: 3 (49 enodes) 1554305013.368 * * [misc]simplify: iters left: 2 (122 enodes) 1554305013.422 * * [misc]simplify: iters left: 1 (228 enodes) 1554305013.543 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305013.543 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554305013.544 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554305013.544 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1554305013.545 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1554305013.548 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1554305013.552 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1554305013.556 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554305013.556 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1554305013.556 * * * * [misc]progress: [ 6 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554305013.557 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1554305013.557 * * [misc]simplify: iters left: 5 (13 enodes) 1554305013.563 * * [misc]simplify: iters left: 4 (29 enodes) 1554305013.573 * * [misc]simplify: iters left: 3 (49 enodes) 1554305013.595 * * [misc]simplify: iters left: 2 (122 enodes) 1554305013.643 * * [misc]simplify: iters left: 1 (228 enodes) 1554305013.760 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305013.760 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554305013.761 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554305013.761 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1554305013.762 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1554305013.765 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1554305013.769 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1554305013.772 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554305013.772 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1554305013.773 * * * * [misc]progress: [ 7 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554305013.773 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1554305013.773 * * [misc]simplify: iters left: 5 (13 enodes) 1554305013.779 * * [misc]simplify: iters left: 4 (29 enodes) 1554305013.788 * * [misc]simplify: iters left: 3 (49 enodes) 1554305013.809 * * [misc]simplify: iters left: 2 (122 enodes) 1554305013.847 * * [misc]simplify: iters left: 1 (228 enodes) 1554305013.934 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305013.934 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554305013.934 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554305013.935 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1554305013.935 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1554305013.936 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1554305013.938 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1554305013.940 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554305013.940 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1554305013.941 * * * [misc]progress: adding candidates to table 1554305014.210 * * [misc]progress: iteration 2 / 4 1554305014.210 * * * [misc]progress: picking best candidate 1554305014.236 * * * * [misc]pick: Picked #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1554305014.236 * * * [misc]progress: localizing error 1554305014.330 * * * [misc]progress: generating rewritten candidates 1554305014.330 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1554305014.344 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) 1554305014.348 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1554305014.356 * * * [misc]progress: generating series expansions 1554305014.356 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1554305014.356 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) 1554305014.356 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1554305014.356 * * * [misc]progress: simplifying candidates 1554305014.356 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32))))> 1554305014.356 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 5) d3) d2) (real->posit16 32)) d1))> 1554305014.356 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 5)) (real->posit16 32)) d1))> 1554305014.356 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> 1554305014.357 * [enter]simplify: Simplifying (real->posit16 5) 1554305014.357 * * [misc]simplify: iters left: 1 (2 enodes) 1554305014.358 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305014.358 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554305014.358 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1554305014.358 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1554305014.358 * [exit]simplify: Simplified to (real->posit16 5) 1554305014.358 * [misc]simplify: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1)) 1554305014.358 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))> 1554305014.358 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1554305014.358 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554305014.358 * * [misc]simplify: iters left: 4 (11 enodes) 1554305014.361 * * [misc]simplify: iters left: 3 (27 enodes) 1554305014.366 * * [misc]simplify: iters left: 2 (60 enodes) 1554305014.386 * * [misc]simplify: iters left: 1 (128 enodes) 1554305014.448 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305014.448 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554305014.449 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1554305014.449 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1554305014.450 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1554305014.452 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1554305014.455 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1554305014.459 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1554305014.459 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1554305014.459 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1554305014.460 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554305014.460 * * [misc]simplify: iters left: 4 (11 enodes) 1554305014.465 * * [misc]simplify: iters left: 3 (27 enodes) 1554305014.474 * * [misc]simplify: iters left: 2 (60 enodes) 1554305014.497 * * [misc]simplify: iters left: 1 (128 enodes) 1554305014.557 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305014.557 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554305014.560 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1554305014.560 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1554305014.561 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1554305014.563 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1554305014.566 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1554305014.570 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1554305014.570 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1554305014.570 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1554305014.570 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1554305014.570 * * [misc]simplify: iters left: 4 (11 enodes) 1554305014.575 * * [misc]simplify: iters left: 3 (27 enodes) 1554305014.583 * * [misc]simplify: iters left: 2 (60 enodes) 1554305014.603 * * [misc]simplify: iters left: 1 (128 enodes) 1554305014.661 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305014.661 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554305014.661 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1554305014.662 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1554305014.662 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1554305014.664 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1554305014.669 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1554305014.672 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1554305014.673 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1554305014.673 * * * [misc]progress: adding candidates to table 1554305014.885 * * [misc]progress: iteration 3 / 4 1554305014.885 * * * [misc]progress: picking best candidate 1554305014.911 * * * * [misc]pick: Picked #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554305014.911 * * * [misc]progress: localizing error 1554305014.967 * * * [misc]progress: generating rewritten candidates 1554305014.967 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 2) 1554305014.970 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1554305014.973 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2 1) 1554305014.974 * * * [misc]progress: generating series expansions 1554305014.974 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 2) 1554305014.975 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1554305014.975 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2 1) 1554305014.975 * * * [misc]progress: simplifying candidates 1554305014.975 * * * * [misc]progress: [ 1 / 7 ] simplifiying candidate #posit16 32)) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))> 1554305014.975 * * * * [misc]progress: [ 2 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1554305014.975 * [enter]simplify: Simplifying (*.p16 d1 (real->posit16 32)) 1554305014.975 * * [misc]simplify: iters left: 2 (4 enodes) 1554305014.976 * * [misc]simplify: iters left: 1 (8 enodes) 1554305014.977 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305014.977 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554305014.977 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554305014.977 * * [misc]simplify: Extracting #3: cost 0 inf + 325 1554305014.978 * [exit]simplify: Simplified to (*.p16 d1 (real->posit16 32)) 1554305014.978 * [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)))) 1554305014.978 * * * * [misc]progress: [ 3 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32))) (*.p16 d1 d2)))> 1554305014.978 * * * * [misc]progress: [ 4 / 7 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32)))))> 1554305014.978 * * * * [misc]progress: [ 5 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554305014.978 * [enter]simplify: Simplifying (*.p16 d1 d2) 1554305014.978 * * [misc]simplify: iters left: 1 (3 enodes) 1554305014.978 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305014.979 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554305014.979 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1554305014.979 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1554305014.979 * [exit]simplify: Simplified to (*.p16 d2 d1) 1554305014.979 * [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))))) 1554305014.979 * * * * [misc]progress: [ 6 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554305014.979 * [enter]simplify: Simplifying (*.p16 d1 d2) 1554305014.979 * * [misc]simplify: iters left: 1 (3 enodes) 1554305014.979 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305014.979 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554305014.980 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1554305014.980 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1554305014.980 * [exit]simplify: Simplified to (*.p16 d2 d1) 1554305014.980 * [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))))) 1554305014.980 * * * * [misc]progress: [ 7 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1554305014.980 * [enter]simplify: Simplifying (*.p16 d1 d2) 1554305014.980 * * [misc]simplify: iters left: 1 (3 enodes) 1554305014.980 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554305014.980 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554305014.980 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1554305014.981 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1554305014.981 * [exit]simplify: Simplified to (*.p16 d2 d1) 1554305014.981 * [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))))) 1554305014.981 * * * [misc]progress: adding candidates to table 1554305015.226 * [misc]progress: [Phase 3 of 3] Extracting. 1554305015.226 * * [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))))>) 1554305015.227 * * * [misc]regime-changes: Trying 3 branch expressions: (d3 d2 d1) 1554305015.227 * * * * [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))))>) 1554305015.674 * * * * [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))))>) 1554305015.805 * * * * [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))))>) 1554305015.904 * * * [misc]regime: Found split indices: #