1554043198.775 * [progress]: [Phase 1 of 3] Setting up. 1554043198.775 * * * [progress]: [1/2] Preparing points 1554043198.775 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554043198.777 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1554043198.781 * * * * [points]: Setting MPFR precision to 64 1554043198.783 * * * * [points]: Setting MPFR precision to 320 1554043198.785 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1554043198.790 * * * * [points]: Setting MPFR precision to 64 1554043198.793 * * * * [points]: Setting MPFR precision to 320 1554043198.797 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1554043198.801 * * * * [points]: Setting MPFR precision to 64 1554043198.807 * * * * [points]: Setting MPFR precision to 320 1554043198.815 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1554043198.820 * * * * [points]: Setting MPFR precision to 64 1554043198.829 * * * * [points]: Setting MPFR precision to 320 1554043198.841 * * * * [points]: Computing exacts for 256 points 1554043198.846 * * * * [points]: Setting MPFR precision to 64 1554043198.861 * * * * [points]: Setting MPFR precision to 320 1554043198.881 * * * * [points]: Filtering points with unrepresentable outputs 1554043198.894 * * * * [points]: Sampled 256 points with exact outputs 1554043198.894 * * * [progress]: [2/2] Setting up program. 1554043198.943 * [progress]: [Phase 2 of 3] Improving. 1554043198.943 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1554043198.943 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))) 1554043198.943 * * [simplify]: iters left: 6 (14 enodes) 1554043198.947 * * [simplify]: iters left: 5 (30 enodes) 1554043198.953 * * [simplify]: iters left: 4 (32 enodes) 1554043198.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043198.957 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043198.957 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043198.958 * * [simplify]: Extracting #3: cost 8 inf + 1 1554043198.958 * * [simplify]: Extracting #4: cost 10 inf + 2 1554043198.958 * * [simplify]: Extracting #5: cost 9 inf + 4 1554043198.958 * * [simplify]: Extracting #6: cost 10 inf + 5 1554043198.958 * * [simplify]: Extracting #7: cost 9 inf + 648 1554043198.958 * * [simplify]: Extracting #8: cost 7 inf + 970 1554043198.958 * * [simplify]: Extracting #9: cost 5 inf + 2374 1554043198.958 * * [simplify]: Extracting #10: cost 2 inf + 5262 1554043198.958 * * [simplify]: Extracting #11: cost 0 inf + 7829 1554043198.959 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)) 1554043198.959 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))) 1554043198.981 * * [progress]: iteration 1 / 4 1554043198.981 * * * [progress]: picking best candidate 1554043199.001 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1554043199.002 * * * [progress]: localizing error 1554043199.494 * * * [progress]: generating rewritten candidates 1554043199.494 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 1554043199.499 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 1554043199.499 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1554043199.499 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1554043199.505 * * * [progress]: generating series expansions 1554043199.506 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 1554043199.506 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 1554043199.506 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1554043199.506 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1554043199.506 * * * [progress]: simplifying candidates 1554043199.506 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))))))> 1554043199.506 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))> 1554043199.506 * [simplify]: Simplifying (*.p16 (real->posit16 2.0) re) 1554043199.507 * * [simplify]: iters left: 2 (4 enodes) 1554043199.509 * * [simplify]: iters left: 1 (8 enodes) 1554043199.512 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043199.512 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043199.512 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043199.512 * * [simplify]: Extracting #3: cost 2 inf + 2 1554043199.512 * * [simplify]: Extracting #4: cost 0 inf + 325 1554043199.512 * [simplify]: Simplified to (*.p16 re (real->posit16 2.0)) 1554043199.512 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re (real->posit16 2.0)))))) 1554043199.512 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (real->posit16 2.0)) (*.p16 re (real->posit16 2.0))))))> 1554043199.512 * [simplify]: Simplifying (*.p16 re (real->posit16 2.0)) 1554043199.512 * * [simplify]: iters left: 2 (4 enodes) 1554043199.514 * * [simplify]: iters left: 1 (8 enodes) 1554043199.517 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043199.517 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043199.517 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043199.517 * * [simplify]: Extracting #3: cost 0 inf + 325 1554043199.517 * [simplify]: Simplified to (*.p16 re (real->posit16 2.0)) 1554043199.517 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (real->posit16 2.0)) (*.p16 re (real->posit16 2.0)))))) 1554043199.517 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (real->posit16 2.0)))))> 1554043199.517 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1554043199.518 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))) 1554043199.518 * * [simplify]: iters left: 6 (14 enodes) 1554043199.524 * * [simplify]: iters left: 5 (30 enodes) 1554043199.532 * * [simplify]: iters left: 4 (32 enodes) 1554043199.537 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043199.537 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043199.537 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043199.537 * * [simplify]: Extracting #3: cost 8 inf + 1 1554043199.537 * * [simplify]: Extracting #4: cost 10 inf + 2 1554043199.537 * * [simplify]: Extracting #5: cost 9 inf + 4 1554043199.537 * * [simplify]: Extracting #6: cost 10 inf + 5 1554043199.537 * * [simplify]: Extracting #7: cost 9 inf + 648 1554043199.537 * * [simplify]: Extracting #8: cost 7 inf + 970 1554043199.537 * * [simplify]: Extracting #9: cost 5 inf + 2374 1554043199.537 * * [simplify]: Extracting #10: cost 2 inf + 5262 1554043199.538 * * [simplify]: Extracting #11: cost 0 inf + 7829 1554043199.538 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)) 1554043199.538 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))) 1554043199.538 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1554043199.538 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))) 1554043199.538 * * [simplify]: iters left: 6 (14 enodes) 1554043199.542 * * [simplify]: iters left: 5 (30 enodes) 1554043199.552 * * [simplify]: iters left: 4 (32 enodes) 1554043199.557 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043199.557 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043199.557 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043199.557 * * [simplify]: Extracting #3: cost 8 inf + 1 1554043199.557 * * [simplify]: Extracting #4: cost 10 inf + 2 1554043199.557 * * [simplify]: Extracting #5: cost 9 inf + 4 1554043199.557 * * [simplify]: Extracting #6: cost 10 inf + 5 1554043199.557 * * [simplify]: Extracting #7: cost 9 inf + 648 1554043199.557 * * [simplify]: Extracting #8: cost 7 inf + 970 1554043199.557 * * [simplify]: Extracting #9: cost 5 inf + 2374 1554043199.557 * * [simplify]: Extracting #10: cost 2 inf + 5262 1554043199.558 * * [simplify]: Extracting #11: cost 0 inf + 7829 1554043199.558 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)) 1554043199.558 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))) 1554043199.558 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1554043199.558 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))) 1554043199.558 * * [simplify]: iters left: 6 (14 enodes) 1554043199.562 * * [simplify]: iters left: 5 (30 enodes) 1554043199.570 * * [simplify]: iters left: 4 (32 enodes) 1554043199.580 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043199.580 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043199.580 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043199.580 * * [simplify]: Extracting #3: cost 8 inf + 1 1554043199.580 * * [simplify]: Extracting #4: cost 10 inf + 2 1554043199.580 * * [simplify]: Extracting #5: cost 9 inf + 4 1554043199.580 * * [simplify]: Extracting #6: cost 10 inf + 5 1554043199.580 * * [simplify]: Extracting #7: cost 9 inf + 648 1554043199.580 * * [simplify]: Extracting #8: cost 7 inf + 970 1554043199.581 * * [simplify]: Extracting #9: cost 5 inf + 2374 1554043199.581 * * [simplify]: Extracting #10: cost 2 inf + 5262 1554043199.582 * * [simplify]: Extracting #11: cost 0 inf + 7829 1554043199.582 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)) 1554043199.582 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))) 1554043199.583 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1554043199.583 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))) 1554043199.583 * * [simplify]: iters left: 6 (14 enodes) 1554043199.587 * * [simplify]: iters left: 5 (30 enodes) 1554043199.592 * * [simplify]: iters left: 4 (32 enodes) 1554043199.597 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043199.597 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043199.597 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043199.597 * * [simplify]: Extracting #3: cost 8 inf + 1 1554043199.597 * * [simplify]: Extracting #4: cost 10 inf + 2 1554043199.597 * * [simplify]: Extracting #5: cost 9 inf + 4 1554043199.597 * * [simplify]: Extracting #6: cost 10 inf + 5 1554043199.597 * * [simplify]: Extracting #7: cost 9 inf + 648 1554043199.597 * * [simplify]: Extracting #8: cost 7 inf + 970 1554043199.598 * * [simplify]: Extracting #9: cost 5 inf + 2374 1554043199.598 * * [simplify]: Extracting #10: cost 2 inf + 5262 1554043199.598 * * [simplify]: Extracting #11: cost 0 inf + 7829 1554043199.598 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)) 1554043199.598 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))) 1554043199.599 * * * [progress]: adding candidates to table 1554043200.024 * * [progress]: iteration 2 / 4 1554043200.024 * * * [progress]: picking best candidate 1554043200.066 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))> 1554043200.066 * * * [progress]: localizing error 1554043200.572 * * * [progress]: generating rewritten candidates 1554043200.572 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1554043200.578 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2) 1554043200.578 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1554043200.579 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1) 1554043200.585 * * * [progress]: generating series expansions 1554043200.586 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1554043200.586 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2) 1554043200.586 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1554043200.586 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1) 1554043200.586 * * * [progress]: simplifying candidates 1554043200.586 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1554043200.586 * [simplify]: Simplifying (real->posit16 2.0) 1554043200.586 * * [simplify]: iters left: 1 (2 enodes) 1554043200.588 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043200.588 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043200.588 * * [simplify]: Extracting #2: cost 1 inf + 1 1554043200.588 * * [simplify]: Extracting #3: cost 0 inf + 2 1554043200.588 * [simplify]: Simplified to (real->posit16 2.0) 1554043200.588 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))) 1554043200.588 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1554043200.588 * * [simplify]: iters left: 4 (7 enodes) 1554043200.591 * * [simplify]: iters left: 3 (13 enodes) 1554043200.594 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043200.594 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043200.594 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043200.594 * * [simplify]: Extracting #3: cost 5 inf + 1 1554043200.594 * * [simplify]: Extracting #4: cost 5 inf + 322 1554043200.595 * * [simplify]: Extracting #5: cost 0 inf + 2810 1554043200.595 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1554043200.595 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))))))) 1554043200.595 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1554043200.595 * [simplify]: Simplifying (real->posit16 2.0) 1554043200.595 * * [simplify]: iters left: 1 (2 enodes) 1554043200.597 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043200.597 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043200.597 * * [simplify]: Extracting #2: cost 1 inf + 1 1554043200.597 * * [simplify]: Extracting #3: cost 0 inf + 2 1554043200.597 * [simplify]: Simplified to (real->posit16 2.0) 1554043200.597 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))) 1554043200.597 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1554043200.597 * * [simplify]: iters left: 4 (7 enodes) 1554043200.600 * * [simplify]: iters left: 3 (13 enodes) 1554043200.603 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043200.603 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043200.603 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043200.604 * * [simplify]: Extracting #3: cost 5 inf + 1 1554043200.604 * * [simplify]: Extracting #4: cost 5 inf + 322 1554043200.604 * * [simplify]: Extracting #5: cost 0 inf + 2810 1554043200.604 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1554043200.604 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))))))) 1554043200.604 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) re) (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))))))> 1554043200.604 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 (real->posit16 2.0) re)))))> 1554043200.604 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))> 1554043200.604 * [simplify]: Simplifying (*.p16 (real->posit16 2.0) re) 1554043200.605 * * [simplify]: iters left: 2 (4 enodes) 1554043200.606 * * [simplify]: iters left: 1 (8 enodes) 1554043200.609 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043200.609 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043200.609 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043200.609 * * [simplify]: Extracting #3: cost 2 inf + 2 1554043200.609 * * [simplify]: Extracting #4: cost 0 inf + 325 1554043200.609 * [simplify]: Simplified to (*.p16 re (real->posit16 2.0)) 1554043200.609 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re (real->posit16 2.0)))))) 1554043200.609 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))> 1554043200.610 * [simplify]: Simplifying (*.p16 (real->posit16 2.0) re) 1554043200.610 * * [simplify]: iters left: 2 (4 enodes) 1554043200.612 * * [simplify]: iters left: 1 (8 enodes) 1554043200.614 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043200.614 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043200.614 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043200.614 * * [simplify]: Extracting #3: cost 2 inf + 2 1554043200.614 * * [simplify]: Extracting #4: cost 0 inf + 325 1554043200.614 * [simplify]: Simplified to (*.p16 re (real->posit16 2.0)) 1554043200.614 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re (real->posit16 2.0)))))) 1554043200.614 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))> 1554043200.615 * [simplify]: Simplifying (*.p16 (real->posit16 2.0) re) 1554043200.615 * * [simplify]: iters left: 2 (4 enodes) 1554043200.617 * * [simplify]: iters left: 1 (8 enodes) 1554043200.619 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043200.619 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043200.619 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043200.619 * * [simplify]: Extracting #3: cost 2 inf + 2 1554043200.619 * * [simplify]: Extracting #4: cost 0 inf + 325 1554043200.619 * [simplify]: Simplified to (*.p16 re (real->posit16 2.0)) 1554043200.619 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re (real->posit16 2.0)))))) 1554043200.619 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))> 1554043200.620 * [simplify]: Simplifying (*.p16 (real->posit16 2.0) re) 1554043200.620 * * [simplify]: iters left: 2 (4 enodes) 1554043200.622 * * [simplify]: iters left: 1 (8 enodes) 1554043200.624 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043200.624 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043200.624 * * [simplify]: Extracting #2: cost 3 inf + 1 1554043200.624 * * [simplify]: Extracting #3: cost 2 inf + 2 1554043200.624 * * [simplify]: Extracting #4: cost 0 inf + 325 1554043200.624 * [simplify]: Simplified to (*.p16 re (real->posit16 2.0)) 1554043200.625 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re (real->posit16 2.0)))))) 1554043200.625 * * * [progress]: adding candidates to table 1554043201.114 * [progress]: [Phase 3 of 3] Extracting. 1554043201.114 * * [regime]: Finding splitpoints for: (#posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))>) 1554043201.115 * * * [regime-changes]: Trying 2 branch expressions: (im re) 1554043201.115 * * * * [regimes]: Trying to branch on im from (#posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))>) 1554043201.431 * * * * [regimes]: Trying to branch on re from (#posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> #posit16 0.5) (sqrt.p16 (+.p16 (*.p16 (real->posit16 2.0) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (real->posit16 2.0) re)))))>) 1554043201.730 * * * [regime]: Found split indices: #