1550699609.282 * [misc]progress: [Phase 1 of 3] Setting up. 1550699609.282 * * * [misc]progress: [1/2] Preparing points 1550699609.282 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550699609.284 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550699609.288 * * * * [misc]points: Setting MPFR precision to 64 1550699609.291 * * * * [misc]points: Setting MPFR precision to 320 1550699609.293 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550699609.298 * * * * [misc]points: Setting MPFR precision to 64 1550699609.301 * * * * [misc]points: Setting MPFR precision to 320 1550699609.305 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550699609.310 * * * * [misc]points: Setting MPFR precision to 64 1550699609.317 * * * * [misc]points: Setting MPFR precision to 320 1550699609.324 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550699609.329 * * * * [misc]points: Setting MPFR precision to 64 1550699609.339 * * * * [misc]points: Setting MPFR precision to 320 1550699609.351 * * * * [misc]points: Computing exacts for 256 points 1550699609.356 * * * * [misc]points: Setting MPFR precision to 64 1550699609.402 * * * * [misc]points: Setting MPFR precision to 320 1550699609.438 * * * * [misc]points: Filtering points with unrepresentable outputs 1550699609.473 * * * * [exit]points: Sampled 256 points with exact outputs 1550699609.474 * * * [misc]progress: [2/2] Setting up program. 1550699609.502 * [misc]progress: [Phase 2 of 3] Improving. 1550699609.502 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1550699609.502 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1550699609.503 * * [misc]simplify: iters left: 5 (13 enodes) 1550699609.506 * * [misc]simplify: iters left: 4 (29 enodes) 1550699609.512 * * [misc]simplify: iters left: 3 (49 enodes) 1550699609.524 * * [misc]simplify: iters left: 2 (122 enodes) 1550699609.565 * * [misc]simplify: iters left: 1 (228 enodes) 1550699609.652 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699609.652 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699609.653 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1550699609.653 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1550699609.654 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1550699609.657 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1550699609.661 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1550699609.665 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1550699609.665 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1550699609.748 * * [misc]progress: iteration 1 / 4 1550699609.749 * * * [misc]progress: picking best candidate 1550699609.839 * * * * [misc]pick: Picked #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1550699609.839 * * * [misc]progress: localizing error 1550699610.240 * * * [misc]progress: generating rewritten candidates 1550699610.240 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1) 1550699610.245 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1550699610.255 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 2) 1550699610.273 * * * [misc]progress: generating series expansions 1550699610.273 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1) 1550699610.274 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1550699610.274 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 2) 1550699610.274 * * * [misc]progress: simplifying candidates 1550699610.274 * * * * [misc]progress: [ 1 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))> 1550699610.274 * * * * [misc]progress: [ 2 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1550699610.274 * [enter]simplify: Simplifying (*.p16 d1 d2) 1550699610.274 * * [misc]simplify: iters left: 1 (3 enodes) 1550699610.276 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699610.276 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699610.276 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550699610.276 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1550699610.276 * [exit]simplify: Simplified to (*.p16 d2 d1) 1550699610.276 * [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))))) 1550699610.276 * * * * [misc]progress: [ 3 / 7 ] simplifiying candidate #posit16 32)) (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))> 1550699610.276 * * * * [misc]progress: [ 4 / 7 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1550699610.276 * * * * [misc]progress: [ 5 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1550699610.276 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1550699610.277 * * [misc]simplify: iters left: 5 (13 enodes) 1550699610.286 * * [misc]simplify: iters left: 4 (29 enodes) 1550699610.296 * * [misc]simplify: iters left: 3 (49 enodes) 1550699610.319 * * [misc]simplify: iters left: 2 (122 enodes) 1550699610.366 * * [misc]simplify: iters left: 1 (228 enodes) 1550699610.492 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699610.493 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699610.493 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1550699610.494 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1550699610.494 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1550699610.497 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1550699610.501 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1550699610.506 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1550699610.506 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1550699610.506 * * * * [misc]progress: [ 6 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1550699610.506 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1550699610.506 * * [misc]simplify: iters left: 5 (13 enodes) 1550699610.513 * * [misc]simplify: iters left: 4 (29 enodes) 1550699610.527 * * [misc]simplify: iters left: 3 (49 enodes) 1550699610.550 * * [misc]simplify: iters left: 2 (122 enodes) 1550699610.602 * * [misc]simplify: iters left: 1 (228 enodes) 1550699610.712 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699610.712 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699610.712 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1550699610.713 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1550699610.714 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1550699610.717 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1550699610.722 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1550699610.726 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1550699610.726 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1550699610.726 * * * * [misc]progress: [ 7 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1550699610.727 * [enter]simplify: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1550699610.727 * * [misc]simplify: iters left: 5 (13 enodes) 1550699610.734 * * [misc]simplify: iters left: 4 (29 enodes) 1550699610.745 * * [misc]simplify: iters left: 3 (49 enodes) 1550699610.773 * * [misc]simplify: iters left: 2 (122 enodes) 1550699610.824 * * [misc]simplify: iters left: 1 (228 enodes) 1550699610.961 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699610.961 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699610.962 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1550699610.962 * * [misc]simplify: Extracting #3: cost 49 inf + 325 1550699610.963 * * [misc]simplify: Extracting #4: cost 29 inf + 4935 1550699610.967 * * [misc]simplify: Extracting #5: cost 5 inf + 11608 1550699610.971 * * [misc]simplify: Extracting #6: cost 0 inf + 11542 1550699610.975 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1550699610.975 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1550699610.976 * * * [misc]progress: adding candidates to table 1550699611.631 * * [misc]progress: iteration 2 / 4 1550699611.631 * * * [misc]progress: picking best candidate 1550699611.714 * * * * [misc]pick: Picked #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1550699611.714 * * * [misc]progress: localizing error 1550699611.833 * * * [misc]progress: generating rewritten candidates 1550699611.834 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1550699611.841 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 2) 1550699611.848 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2 1) 1550699611.851 * * * [misc]progress: generating series expansions 1550699611.851 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1550699611.851 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 2) 1550699611.851 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2 1) 1550699611.851 * * * [misc]progress: simplifying candidates 1550699611.851 * * * * [misc]progress: [ 1 / 7 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1550699611.852 * [enter]simplify: Simplifying (*.p16 d1 (real->posit16 32)) 1550699611.852 * * [misc]simplify: iters left: 2 (4 enodes) 1550699611.854 * * [misc]simplify: iters left: 1 (8 enodes) 1550699611.857 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699611.857 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699611.858 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550699611.858 * * [misc]simplify: Extracting #3: cost 0 inf + 325 1550699611.858 * [exit]simplify: Simplified to (*.p16 d1 (real->posit16 32)) 1550699611.858 * [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)))) 1550699611.858 * * * * [misc]progress: [ 2 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32))) (*.p16 d1 d2)))> 1550699611.858 * * * * [misc]progress: [ 3 / 7 ] simplifiying candidate #posit16 32)) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))> 1550699611.858 * * * * [misc]progress: [ 4 / 7 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32)))))> 1550699611.858 * * * * [misc]progress: [ 5 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1550699611.859 * [enter]simplify: Simplifying (*.p16 d1 d2) 1550699611.859 * * [misc]simplify: iters left: 1 (3 enodes) 1550699611.860 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699611.860 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699611.860 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550699611.860 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1550699611.860 * [exit]simplify: Simplified to (*.p16 d2 d1) 1550699611.860 * [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))))) 1550699611.860 * * * * [misc]progress: [ 6 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1550699611.861 * [enter]simplify: Simplifying (*.p16 d1 d2) 1550699611.861 * * [misc]simplify: iters left: 1 (3 enodes) 1550699611.862 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699611.862 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699611.862 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550699611.862 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1550699611.862 * [exit]simplify: Simplified to (*.p16 d2 d1) 1550699611.863 * [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))))) 1550699611.863 * * * * [misc]progress: [ 7 / 7 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1550699611.863 * [enter]simplify: Simplifying (*.p16 d1 d2) 1550699611.863 * * [misc]simplify: iters left: 1 (3 enodes) 1550699611.864 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699611.864 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699611.865 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550699611.865 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1550699611.865 * [exit]simplify: Simplified to (*.p16 d2 d1) 1550699611.865 * [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))))) 1550699611.865 * * * [misc]progress: adding candidates to table 1550699612.345 * * [misc]progress: iteration 3 / 4 1550699612.345 * * * [misc]progress: picking best candidate 1550699612.391 * * * * [misc]pick: Picked #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1550699612.391 * * * [misc]progress: localizing error 1550699612.603 * * * [misc]progress: generating rewritten candidates 1550699612.603 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1550699612.616 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) 1550699612.621 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1550699612.638 * * * [misc]progress: generating series expansions 1550699612.638 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1550699612.638 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) 1550699612.638 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1550699612.638 * * * [misc]progress: simplifying candidates 1550699612.638 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32))))> 1550699612.638 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 5) d3) d2) (real->posit16 32)) d1))> 1550699612.638 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 5)) (real->posit16 32)) d1))> 1550699612.638 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> 1550699612.639 * [enter]simplify: Simplifying (real->posit16 5) 1550699612.639 * * [misc]simplify: iters left: 1 (2 enodes) 1550699612.641 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699612.641 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550699612.641 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550699612.641 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1550699612.641 * [exit]simplify: Simplified to (real->posit16 5) 1550699612.641 * [misc]simplify: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1)) 1550699612.641 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))> 1550699612.641 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1550699612.641 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1550699612.642 * * [misc]simplify: iters left: 4 (11 enodes) 1550699612.647 * * [misc]simplify: iters left: 3 (27 enodes) 1550699612.674 * * [misc]simplify: iters left: 2 (60 enodes) 1550699612.697 * * [misc]simplify: iters left: 1 (128 enodes) 1550699612.764 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699612.764 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699612.764 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1550699612.765 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1550699612.765 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1550699612.768 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1550699612.772 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1550699612.776 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1550699612.776 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1550699612.776 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1550699612.776 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1550699612.777 * * [misc]simplify: iters left: 4 (11 enodes) 1550699612.782 * * [misc]simplify: iters left: 3 (27 enodes) 1550699612.792 * * [misc]simplify: iters left: 2 (60 enodes) 1550699612.818 * * [misc]simplify: iters left: 1 (128 enodes) 1550699612.888 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699612.888 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699612.889 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1550699612.889 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1550699612.890 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1550699612.893 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1550699612.896 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1550699612.900 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1550699612.900 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1550699612.900 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1550699612.901 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1550699612.901 * * [misc]simplify: iters left: 4 (11 enodes) 1550699612.908 * * [misc]simplify: iters left: 3 (27 enodes) 1550699612.918 * * [misc]simplify: iters left: 2 (60 enodes) 1550699612.939 * * [misc]simplify: iters left: 1 (128 enodes) 1550699612.974 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699612.974 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699612.975 * * [misc]simplify: Extracting #2: cost 52 inf + 1 1550699612.975 * * [misc]simplify: Extracting #3: cost 48 inf + 1052 1550699612.975 * * [misc]simplify: Extracting #4: cost 43 inf + 1098 1550699612.977 * * [misc]simplify: Extracting #5: cost 8 inf + 10482 1550699612.981 * * [misc]simplify: Extracting #6: cost 0 inf + 13753 1550699612.985 * [exit]simplify: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1) 1550699612.985 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)) 1550699612.985 * * * [misc]progress: adding candidates to table 1550699613.478 * * [misc]progress: iteration 4 / 4 1550699613.478 * * * [misc]progress: picking best candidate 1550699613.532 * * * * [misc]pick: Picked #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> 1550699613.532 * * * [misc]progress: localizing error 1550699613.702 * * * [misc]progress: generating rewritten candidates 1550699613.703 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1550699613.710 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 2) 1550699613.715 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1550699613.724 * * * [misc]progress: generating series expansions 1550699613.724 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1550699613.724 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 2) 1550699613.724 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1550699613.724 * * * [misc]progress: simplifying candidates 1550699613.724 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))> 1550699613.724 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))> 1550699613.724 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 5) (+.p16 (real->posit16 32) (+.p16 d3 d2))) d1))> 1550699613.724 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))> 1550699613.724 * [enter]simplify: Simplifying (real->posit16 32) 1550699613.725 * * [misc]simplify: iters left: 1 (2 enodes) 1550699613.727 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699613.727 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550699613.727 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550699613.727 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1550699613.727 * [exit]simplify: Simplified to (real->posit16 32) 1550699613.727 * [misc]simplify: Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1550699613.727 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 32)) (real->posit16 5)) d1))> 1550699613.727 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> 1550699613.727 * [enter]simplify: Simplifying (real->posit16 5) 1550699613.727 * * [misc]simplify: iters left: 1 (2 enodes) 1550699613.729 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699613.729 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550699613.729 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550699613.729 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1550699613.729 * [exit]simplify: Simplified to (real->posit16 5) 1550699613.729 * [misc]simplify: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1)) 1550699613.729 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> 1550699613.730 * [enter]simplify: Simplifying (real->posit16 5) 1550699613.730 * * [misc]simplify: iters left: 1 (2 enodes) 1550699613.731 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699613.731 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550699613.731 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550699613.732 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1550699613.732 * [exit]simplify: Simplified to (real->posit16 5) 1550699613.732 * [misc]simplify: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1)) 1550699613.732 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> 1550699613.732 * [enter]simplify: Simplifying (real->posit16 5) 1550699613.732 * * [misc]simplify: iters left: 1 (2 enodes) 1550699613.734 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699613.734 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550699613.734 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550699613.734 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1550699613.734 * [exit]simplify: Simplified to (real->posit16 5) 1550699613.734 * [misc]simplify: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1)) 1550699613.734 * * * [misc]progress: adding candidates to table 1550699614.342 * [misc]progress: [Phase 3 of 3] Extracting. 1550699614.342 * * [misc]regime: Finding splitpoints for: (#posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))> #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>) 1550699614.343 * * * [misc]regime-changes: Trying 3 branch expressions: (d3 d2 d1) 1550699614.343 * * * * [misc]regimes: Trying to branch on d3 from (#posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))> #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>) 1550699614.865 * * * * [misc]regimes: Trying to branch on d2 from (#posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))> #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>) 1550699615.408 * * * * [misc]regimes: Trying to branch on d1 from (#posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))> #posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>) 1550699615.935 * * * [misc]regime: Found split indices: #