0.001 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.002 * * * * [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.005 * * * * [points]: Setting MPFR precision to 64 0.006 * * * * [points]: Setting MPFR precision to 320 0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.009 * * * * [points]: Setting MPFR precision to 64 0.010 * * * * [points]: Setting MPFR precision to 320 0.012 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.014 * * * * [points]: Setting MPFR precision to 64 0.020 * * * * [points]: Setting MPFR precision to 320 0.024 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.026 * * * * [points]: Setting MPFR precision to 64 0.031 * * * * [points]: Setting MPFR precision to 320 0.036 * * * * [points]: Computing exacts for 256 points 0.038 * * * * [points]: Setting MPFR precision to 64 0.052 * * * * [points]: Setting MPFR precision to 320 0.067 * * * * [points]: Filtering points with unrepresentable outputs 0.067 * * * * [points]: Sampled 256 points with exact outputs 0.067 * * * [progress]: [2/2] Setting up program. 0.081 * [progress]: [Phase 2 of 3] Improving. 0.081 * * * * [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)))))> 0.081 * [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)))) 0.081 * * [simplify]: iters left: 6 (14 enodes) 0.085 * * [simplify]: iters left: 5 (29 enodes) 0.091 * * [simplify]: iters left: 4 (49 enodes) 0.101 * * [simplify]: iters left: 3 (120 enodes) 0.156 * * [simplify]: iters left: 2 (464 enodes) 0.519 * * [simplify]: Extracting #0: cost 1 inf + 0 0.519 * * [simplify]: Extracting #1: cost 3 inf + 0 0.519 * * [simplify]: Extracting #2: cost 5 inf + 0 0.519 * * [simplify]: Extracting #3: cost 80 inf + 1 0.520 * * [simplify]: Extracting #4: cost 345 inf + 2 0.522 * * [simplify]: Extracting #5: cost 580 inf + 7991 0.536 * * [simplify]: Extracting #6: cost 562 inf + 201841 0.572 * * [simplify]: Extracting #7: cost 164 inf + 841241 0.669 * * [simplify]: Extracting #8: cost 7 inf + 1102755 0.753 * * [simplify]: Extracting #9: cost 0 inf + 1117051 0.819 * [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)) 0.819 * [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))) 0.833 * * [progress]: iteration 1 / 4 0.833 * * * [progress]: picking best candidate 0.847 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 0.847 * * * [progress]: localizing error 1.023 * * * [progress]: generating rewritten candidates 1.023 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 1.025 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 1.025 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.026 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 1.030 * * * [progress]: generating series expansions 1.030 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 1.030 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 1.030 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.030 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 1.030 * * * [progress]: simplifying candidates 1.030 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (neg.p16 re))))))> 1.030 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 1.030 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)))))> 1.030 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1.030 * [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)))) 1.030 * * [simplify]: iters left: 6 (14 enodes) 1.034 * * [simplify]: iters left: 5 (29 enodes) 1.039 * * [simplify]: iters left: 4 (49 enodes) 1.058 * * [simplify]: iters left: 3 (120 enodes) 1.092 * * [simplify]: iters left: 2 (464 enodes) 1.380 * * [simplify]: Extracting #0: cost 1 inf + 0 1.380 * * [simplify]: Extracting #1: cost 3 inf + 0 1.380 * * [simplify]: Extracting #2: cost 5 inf + 0 1.380 * * [simplify]: Extracting #3: cost 80 inf + 1 1.381 * * [simplify]: Extracting #4: cost 345 inf + 2 1.384 * * [simplify]: Extracting #5: cost 580 inf + 7991 1.393 * * [simplify]: Extracting #6: cost 562 inf + 201841 1.427 * * [simplify]: Extracting #7: cost 164 inf + 841241 1.484 * * [simplify]: Extracting #8: cost 7 inf + 1102755 1.539 * * [simplify]: Extracting #9: cost 0 inf + 1117051 1.595 * [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)) 1.596 * [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))) 1.596 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1.596 * [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)))) 1.596 * * [simplify]: iters left: 6 (14 enodes) 1.599 * * [simplify]: iters left: 5 (29 enodes) 1.605 * * [simplify]: iters left: 4 (49 enodes) 1.614 * * [simplify]: iters left: 3 (120 enodes) 1.649 * * [simplify]: iters left: 2 (464 enodes) 2.139 * * [simplify]: Extracting #0: cost 1 inf + 0 2.139 * * [simplify]: Extracting #1: cost 3 inf + 0 2.139 * * [simplify]: Extracting #2: cost 5 inf + 0 2.139 * * [simplify]: Extracting #3: cost 80 inf + 1 2.141 * * [simplify]: Extracting #4: cost 345 inf + 2 2.145 * * [simplify]: Extracting #5: cost 580 inf + 7991 2.162 * * [simplify]: Extracting #6: cost 562 inf + 201841 2.234 * * [simplify]: Extracting #7: cost 164 inf + 841241 2.335 * * [simplify]: Extracting #8: cost 7 inf + 1102755 2.441 * * [simplify]: Extracting #9: cost 0 inf + 1117051 2.547 * [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)) 2.547 * [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))) 2.548 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 2.548 * [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)))) 2.548 * * [simplify]: iters left: 6 (14 enodes) 2.555 * * [simplify]: iters left: 5 (29 enodes) 2.567 * * [simplify]: iters left: 4 (49 enodes) 2.586 * * [simplify]: iters left: 3 (120 enodes) 2.650 * * [simplify]: iters left: 2 (464 enodes) 3.177 * * [simplify]: Extracting #0: cost 1 inf + 0 3.177 * * [simplify]: Extracting #1: cost 3 inf + 0 3.177 * * [simplify]: Extracting #2: cost 5 inf + 0 3.178 * * [simplify]: Extracting #3: cost 80 inf + 1 3.179 * * [simplify]: Extracting #4: cost 345 inf + 2 3.183 * * [simplify]: Extracting #5: cost 580 inf + 7991 3.200 * * [simplify]: Extracting #6: cost 562 inf + 201841 3.267 * * [simplify]: Extracting #7: cost 164 inf + 841241 3.373 * * [simplify]: Extracting #8: cost 7 inf + 1102755 3.477 * * [simplify]: Extracting #9: cost 0 inf + 1117051 3.549 * [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)) 3.549 * [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))) 3.549 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 3.549 * [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)))) 3.550 * * [simplify]: iters left: 6 (14 enodes) 3.556 * * [simplify]: iters left: 5 (29 enodes) 3.567 * * [simplify]: iters left: 4 (49 enodes) 3.586 * * [simplify]: iters left: 3 (120 enodes) 3.656 * * [simplify]: iters left: 2 (464 enodes) 4.070 * * [simplify]: Extracting #0: cost 1 inf + 0 4.070 * * [simplify]: Extracting #1: cost 3 inf + 0 4.070 * * [simplify]: Extracting #2: cost 5 inf + 0 4.070 * * [simplify]: Extracting #3: cost 80 inf + 1 4.071 * * [simplify]: Extracting #4: cost 345 inf + 2 4.073 * * [simplify]: Extracting #5: cost 580 inf + 7991 4.082 * * [simplify]: Extracting #6: cost 562 inf + 201841 4.140 * * [simplify]: Extracting #7: cost 164 inf + 841241 4.241 * * [simplify]: Extracting #8: cost 7 inf + 1102755 4.305 * * [simplify]: Extracting #9: cost 0 inf + 1117051 4.361 * [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)) 4.361 * [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))) 4.361 * * * [progress]: adding candidates to table 4.559 * * [progress]: iteration 2 / 4 4.559 * * * [progress]: picking best candidate 4.574 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 4.574 * * * [progress]: localizing error 4.888 * * * [progress]: generating rewritten candidates 4.888 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1) 4.894 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 4.898 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 4.907 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1) 4.908 * * * [progress]: generating series expansions 4.908 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1) 4.908 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 4.908 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 4.908 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1) 4.908 * * * [progress]: simplifying candidates 4.908 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 4.909 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 4.909 * * [simplify]: iters left: 4 (7 enodes) 4.911 * * [simplify]: iters left: 3 (13 enodes) 4.915 * * [simplify]: Extracting #0: cost 1 inf + 0 4.915 * * [simplify]: Extracting #1: cost 3 inf + 0 4.915 * * [simplify]: Extracting #2: cost 3 inf + 1 4.915 * * [simplify]: Extracting #3: cost 5 inf + 1 4.916 * * [simplify]: Extracting #4: cost 5 inf + 322 4.916 * * [simplify]: Extracting #5: cost 0 inf + 2810 4.916 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 4.916 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 4.916 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 4.916 * * [simplify]: iters left: 4 (7 enodes) 4.919 * * [simplify]: iters left: 3 (18 enodes) 4.925 * * [simplify]: iters left: 2 (28 enodes) 4.936 * * [simplify]: iters left: 1 (86 enodes) 4.987 * * [simplify]: Extracting #0: cost 1 inf + 0 4.987 * * [simplify]: Extracting #1: cost 12 inf + 0 4.987 * * [simplify]: Extracting #2: cost 53 inf + 1 4.987 * * [simplify]: Extracting #3: cost 103 inf + 804 4.989 * * [simplify]: Extracting #4: cost 94 inf + 17486 4.995 * * [simplify]: Extracting #5: cost 15 inf + 109680 5.006 * * [simplify]: Extracting #6: cost 0 inf + 133154 5.017 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 5.017 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 5.017 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (neg.p16 (*.p16 re re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.017 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))) (*.p16 (*.p16 re re) (*.p16 re re))) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.017 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))))))))> 5.018 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 5.018 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 5.018 * * [simplify]: iters left: 4 (7 enodes) 5.021 * * [simplify]: iters left: 3 (13 enodes) 5.025 * * [simplify]: Extracting #0: cost 1 inf + 0 5.025 * * [simplify]: Extracting #1: cost 3 inf + 0 5.025 * * [simplify]: Extracting #2: cost 3 inf + 1 5.025 * * [simplify]: Extracting #3: cost 5 inf + 1 5.025 * * [simplify]: Extracting #4: cost 5 inf + 322 5.025 * * [simplify]: Extracting #5: cost 0 inf + 2810 5.025 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 5.025 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))) 5.026 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))) (*.p16 (*.p16 re re) (*.p16 re re))) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> 5.026 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))) (*.p16 (*.p16 re re) (*.p16 re re))) 5.026 * * [simplify]: iters left: 6 (10 enodes) 5.030 * * [simplify]: iters left: 5 (33 enodes) 5.043 * * [simplify]: iters left: 4 (93 enodes) 5.104 * * [simplify]: iters left: 3 (450 enodes) 5.609 * * [simplify]: Extracting #0: cost 1 inf + 0 5.609 * * [simplify]: Extracting #1: cost 60 inf + 0 5.610 * * [simplify]: Extracting #2: cost 374 inf + 963 5.620 * * [simplify]: Extracting #3: cost 459 inf + 130109 5.650 * * [simplify]: Extracting #4: cost 338 inf + 699471 5.711 * * [simplify]: Extracting #5: cost 9 inf + 1277945 5.781 * * [simplify]: Extracting #6: cost 0 inf + 1301041 5.849 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) 5.849 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)))))))) 5.849 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.849 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.849 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.850 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.850 * * * [progress]: adding candidates to table 6.122 * * [progress]: iteration 3 / 4 6.122 * * * [progress]: picking best candidate 6.167 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 6.167 * * * [progress]: localizing error 6.416 * * * [progress]: generating rewritten candidates 6.416 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 6.419 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1) 6.421 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 2) 6.423 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 6.427 * * * [progress]: generating series expansions 6.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 6.428 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1) 6.428 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 2) 6.428 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 6.428 * * * [progress]: simplifying candidates 6.428 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))))))))> 6.428 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 6.428 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (neg.p16 re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 6.428 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 6.428 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 6.428 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 6.428 * * [simplify]: iters left: 4 (7 enodes) 6.430 * * [simplify]: iters left: 3 (13 enodes) 6.431 * * [simplify]: Extracting #0: cost 1 inf + 0 6.431 * * [simplify]: Extracting #1: cost 3 inf + 0 6.431 * * [simplify]: Extracting #2: cost 3 inf + 1 6.431 * * [simplify]: Extracting #3: cost 5 inf + 1 6.432 * * [simplify]: Extracting #4: cost 5 inf + 322 6.432 * * [simplify]: Extracting #5: cost 0 inf + 2810 6.432 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 6.432 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))) 6.432 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 6.432 * [simplify]: Simplifying (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))) 6.432 * * [simplify]: iters left: 6 (10 enodes) 6.434 * * [simplify]: iters left: 5 (26 enodes) 6.439 * * [simplify]: iters left: 4 (87 enodes) 6.477 * * [simplify]: iters left: 3 (403 enodes) 6.836 * * [simplify]: Extracting #0: cost 1 inf + 0 6.836 * * [simplify]: Extracting #1: cost 69 inf + 0 6.837 * * [simplify]: Extracting #2: cost 394 inf + 322 6.841 * * [simplify]: Extracting #3: cost 516 inf + 48772 6.866 * * [simplify]: Extracting #4: cost 194 inf + 561674 6.922 * * [simplify]: Extracting #5: cost 7 inf + 868789 6.967 * * [simplify]: Extracting #6: cost 0 inf + 881522 7.025 * [simplify]: Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) 7.026 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))) 7.026 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 7.026 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 7.026 * * [simplify]: iters left: 4 (7 enodes) 7.027 * * [simplify]: iters left: 3 (13 enodes) 7.029 * * [simplify]: Extracting #0: cost 1 inf + 0 7.029 * * [simplify]: Extracting #1: cost 3 inf + 0 7.029 * * [simplify]: Extracting #2: cost 3 inf + 1 7.029 * * [simplify]: Extracting #3: cost 5 inf + 1 7.029 * * [simplify]: Extracting #4: cost 5 inf + 322 7.029 * * [simplify]: Extracting #5: cost 0 inf + 2810 7.030 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 7.030 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 7.030 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 7.030 * * [simplify]: iters left: 4 (7 enodes) 7.031 * * [simplify]: iters left: 3 (18 enodes) 7.034 * * [simplify]: iters left: 2 (28 enodes) 7.040 * * [simplify]: iters left: 1 (86 enodes) 7.064 * * [simplify]: Extracting #0: cost 1 inf + 0 7.064 * * [simplify]: Extracting #1: cost 12 inf + 0 7.064 * * [simplify]: Extracting #2: cost 53 inf + 1 7.065 * * [simplify]: Extracting #3: cost 103 inf + 804 7.066 * * [simplify]: Extracting #4: cost 94 inf + 17486 7.069 * * [simplify]: Extracting #5: cost 15 inf + 109680 7.075 * * [simplify]: Extracting #6: cost 0 inf + 133154 7.080 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 7.080 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 7.080 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 7.081 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 7.081 * * [simplify]: iters left: 4 (7 enodes) 7.082 * * [simplify]: iters left: 3 (13 enodes) 7.084 * * [simplify]: Extracting #0: cost 1 inf + 0 7.084 * * [simplify]: Extracting #1: cost 3 inf + 0 7.084 * * [simplify]: Extracting #2: cost 3 inf + 1 7.084 * * [simplify]: Extracting #3: cost 5 inf + 1 7.084 * * [simplify]: Extracting #4: cost 5 inf + 322 7.084 * * [simplify]: Extracting #5: cost 0 inf + 2810 7.084 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 7.084 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 7.085 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 7.085 * * [simplify]: iters left: 4 (7 enodes) 7.086 * * [simplify]: iters left: 3 (18 enodes) 7.089 * * [simplify]: iters left: 2 (28 enodes) 7.095 * * [simplify]: iters left: 1 (86 enodes) 7.118 * * [simplify]: Extracting #0: cost 1 inf + 0 7.118 * * [simplify]: Extracting #1: cost 12 inf + 0 7.119 * * [simplify]: Extracting #2: cost 53 inf + 1 7.119 * * [simplify]: Extracting #3: cost 103 inf + 804 7.119 * * [simplify]: Extracting #4: cost 94 inf + 17486 7.123 * * [simplify]: Extracting #5: cost 15 inf + 109680 7.128 * * [simplify]: Extracting #6: cost 0 inf + 133154 7.134 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 7.134 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 7.134 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 7.134 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 7.134 * * [simplify]: iters left: 4 (7 enodes) 7.136 * * [simplify]: iters left: 3 (13 enodes) 7.137 * * [simplify]: Extracting #0: cost 1 inf + 0 7.137 * * [simplify]: Extracting #1: cost 3 inf + 0 7.138 * * [simplify]: Extracting #2: cost 3 inf + 1 7.138 * * [simplify]: Extracting #3: cost 5 inf + 1 7.138 * * [simplify]: Extracting #4: cost 5 inf + 322 7.138 * * [simplify]: Extracting #5: cost 0 inf + 2810 7.138 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 7.138 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 7.138 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 7.138 * * [simplify]: iters left: 4 (7 enodes) 7.140 * * [simplify]: iters left: 3 (18 enodes) 7.143 * * [simplify]: iters left: 2 (28 enodes) 7.148 * * [simplify]: iters left: 1 (86 enodes) 7.172 * * [simplify]: Extracting #0: cost 1 inf + 0 7.172 * * [simplify]: Extracting #1: cost 12 inf + 0 7.172 * * [simplify]: Extracting #2: cost 53 inf + 1 7.172 * * [simplify]: Extracting #3: cost 103 inf + 804 7.173 * * [simplify]: Extracting #4: cost 94 inf + 17486 7.177 * * [simplify]: Extracting #5: cost 15 inf + 109680 7.182 * * [simplify]: Extracting #6: cost 0 inf + 133154 7.187 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 7.187 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 7.188 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 7.188 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 7.188 * * [simplify]: iters left: 4 (7 enodes) 7.189 * * [simplify]: iters left: 3 (13 enodes) 7.191 * * [simplify]: Extracting #0: cost 1 inf + 0 7.191 * * [simplify]: Extracting #1: cost 3 inf + 0 7.192 * * [simplify]: Extracting #2: cost 3 inf + 1 7.192 * * [simplify]: Extracting #3: cost 5 inf + 1 7.192 * * [simplify]: Extracting #4: cost 5 inf + 322 7.192 * * [simplify]: Extracting #5: cost 0 inf + 2810 7.192 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 7.192 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 7.192 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 7.192 * * [simplify]: iters left: 4 (7 enodes) 7.194 * * [simplify]: iters left: 3 (18 enodes) 7.196 * * [simplify]: iters left: 2 (28 enodes) 7.202 * * [simplify]: iters left: 1 (86 enodes) 7.227 * * [simplify]: Extracting #0: cost 1 inf + 0 7.227 * * [simplify]: Extracting #1: cost 12 inf + 0 7.227 * * [simplify]: Extracting #2: cost 53 inf + 1 7.227 * * [simplify]: Extracting #3: cost 103 inf + 804 7.228 * * [simplify]: Extracting #4: cost 94 inf + 17486 7.232 * * [simplify]: Extracting #5: cost 15 inf + 109680 7.237 * * [simplify]: Extracting #6: cost 0 inf + 133154 7.242 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 7.242 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 7.243 * * * [progress]: adding candidates to table 7.691 * * [progress]: iteration 4 / 4 7.692 * * * [progress]: picking best candidate 7.729 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 7.729 * * * [progress]: localizing error 8.029 * * * [progress]: generating rewritten candidates 8.029 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 8.035 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 2) 8.037 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1) 8.039 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 8.042 * * * [progress]: generating series expansions 8.042 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 8.042 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 2) 8.042 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1) 8.042 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 8.042 * * * [progress]: simplifying candidates 8.042 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 8.042 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 8.043 * * [simplify]: iters left: 4 (7 enodes) 8.044 * * [simplify]: iters left: 3 (13 enodes) 8.051 * * [simplify]: Extracting #0: cost 1 inf + 0 8.051 * * [simplify]: Extracting #1: cost 3 inf + 0 8.051 * * [simplify]: Extracting #2: cost 3 inf + 1 8.051 * * [simplify]: Extracting #3: cost 5 inf + 1 8.051 * * [simplify]: Extracting #4: cost 5 inf + 322 8.051 * * [simplify]: Extracting #5: cost 0 inf + 2810 8.052 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 8.052 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))))))) 8.052 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (*.p16 im im)))))))> 8.052 * [simplify]: Simplifying (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 8.052 * * [simplify]: iters left: 4 (7 enodes) 8.053 * * [simplify]: iters left: 3 (13 enodes) 8.055 * * [simplify]: Extracting #0: cost 1 inf + 0 8.055 * * [simplify]: Extracting #1: cost 3 inf + 0 8.055 * * [simplify]: Extracting #2: cost 3 inf + 1 8.055 * * [simplify]: Extracting #3: cost 5 inf + 1 8.055 * * [simplify]: Extracting #4: cost 5 inf + 322 8.055 * * [simplify]: Extracting #5: cost 0 inf + 2810 8.056 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 8.056 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (*.p16 im im))))))) 8.056 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (*.p16 (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 8.056 * [simplify]: Simplifying (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) 8.056 * * [simplify]: iters left: 5 (11 enodes) 8.058 * * [simplify]: iters left: 4 (16 enodes) 8.060 * * [simplify]: Extracting #0: cost 1 inf + 0 8.060 * * [simplify]: Extracting #1: cost 2 inf + 0 8.060 * * [simplify]: Extracting #2: cost 4 inf + 0 8.060 * * [simplify]: Extracting #3: cost 4 inf + 1 8.060 * * [simplify]: Extracting #4: cost 6 inf + 1 8.060 * * [simplify]: Extracting #5: cost 6 inf + 322 8.060 * * [simplify]: Extracting #6: cost 0 inf + 4012 8.061 * [simplify]: Simplified to (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))) 8.061 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (*.p16 (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))) 8.061 * [simplify]: Simplifying (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) 8.061 * * [simplify]: iters left: 5 (8 enodes) 8.062 * * [simplify]: iters left: 4 (16 enodes) 8.065 * * [simplify]: iters left: 3 (18 enodes) 8.067 * * [simplify]: iters left: 2 (19 enodes) 8.070 * * [simplify]: Extracting #0: cost 1 inf + 0 8.070 * * [simplify]: Extracting #1: cost 6 inf + 0 8.070 * * [simplify]: Extracting #2: cost 6 inf + 322 8.070 * * [simplify]: Extracting #3: cost 6 inf + 323 8.070 * * [simplify]: Extracting #4: cost 7 inf + 323 8.070 * * [simplify]: Extracting #5: cost 1 inf + 5214 8.070 * * [simplify]: Extracting #6: cost 0 inf + 6416 8.071 * [simplify]: Simplified to (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) 8.071 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (*.p16 (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))) 8.071 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))))))))> 8.071 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 8.071 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 8.071 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 8.071 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 8.071 * * [simplify]: iters left: 6 (20 enodes) 8.077 * * [simplify]: iters left: 5 (48 enodes) 8.088 * * [simplify]: iters left: 4 (164 enodes) 8.140 * * [simplify]: Extracting #0: cost 1 inf + 0 8.140 * * [simplify]: Extracting #1: cost 3 inf + 0 8.140 * * [simplify]: Extracting #2: cost 5 inf + 0 8.140 * * [simplify]: Extracting #3: cost 48 inf + 1 8.140 * * [simplify]: Extracting #4: cost 129 inf + 324 8.141 * * [simplify]: Extracting #5: cost 149 inf + 3456 8.145 * * [simplify]: Extracting #6: cost 31 inf + 143917 8.154 * * [simplify]: Extracting #7: cost 1 inf + 189514 8.163 * * [simplify]: Extracting #8: cost 0 inf + 188443 8.172 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (/.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5)) 8.172 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (/.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5))) 8.172 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 8.172 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 8.172 * * [simplify]: iters left: 6 (20 enodes) 8.177 * * [simplify]: iters left: 5 (48 enodes) 8.187 * * [simplify]: iters left: 4 (164 enodes) 8.240 * * [simplify]: Extracting #0: cost 1 inf + 0 8.240 * * [simplify]: Extracting #1: cost 3 inf + 0 8.240 * * [simplify]: Extracting #2: cost 5 inf + 0 8.240 * * [simplify]: Extracting #3: cost 48 inf + 1 8.241 * * [simplify]: Extracting #4: cost 129 inf + 324 8.241 * * [simplify]: Extracting #5: cost 149 inf + 3456 8.246 * * [simplify]: Extracting #6: cost 31 inf + 143917 8.255 * * [simplify]: Extracting #7: cost 1 inf + 189514 8.263 * * [simplify]: Extracting #8: cost 0 inf + 188443 8.274 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (/.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5)) 8.274 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (/.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5))) 8.275 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 8.275 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 8.275 * * [simplify]: iters left: 6 (20 enodes) 8.280 * * [simplify]: iters left: 5 (48 enodes) 8.291 * * [simplify]: iters left: 4 (164 enodes) 8.344 * * [simplify]: Extracting #0: cost 1 inf + 0 8.344 * * [simplify]: Extracting #1: cost 3 inf + 0 8.344 * * [simplify]: Extracting #2: cost 5 inf + 0 8.344 * * [simplify]: Extracting #3: cost 48 inf + 1 8.344 * * [simplify]: Extracting #4: cost 129 inf + 324 8.345 * * [simplify]: Extracting #5: cost 149 inf + 3456 8.349 * * [simplify]: Extracting #6: cost 31 inf + 143917 8.358 * * [simplify]: Extracting #7: cost 1 inf + 189514 8.367 * * [simplify]: Extracting #8: cost 0 inf + 188443 8.375 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (/.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5)) 8.376 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (/.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5))) 8.376 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 8.376 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 8.376 * * [simplify]: iters left: 6 (20 enodes) 8.383 * * [simplify]: iters left: 5 (48 enodes) 8.403 * * [simplify]: iters left: 4 (164 enodes) 8.471 * * [simplify]: Extracting #0: cost 1 inf + 0 8.471 * * [simplify]: Extracting #1: cost 3 inf + 0 8.471 * * [simplify]: Extracting #2: cost 5 inf + 0 8.471 * * [simplify]: Extracting #3: cost 48 inf + 1 8.471 * * [simplify]: Extracting #4: cost 129 inf + 324 8.472 * * [simplify]: Extracting #5: cost 149 inf + 3456 8.476 * * [simplify]: Extracting #6: cost 31 inf + 143917 8.485 * * [simplify]: Extracting #7: cost 1 inf + 189514 8.495 * * [simplify]: Extracting #8: cost 0 inf + 188443 8.504 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (/.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5)) 8.504 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (/.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5))) 8.504 * * * [progress]: adding candidates to table 8.849 * [progress]: [Phase 3 of 3] Extracting. 8.849 * * [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 (real->posit16 2.0) (/.p16 (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (*.p16 (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (*.p16 im im)))))))> #posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5)))>) 8.858 * * * [regime-changes]: Trying 2 branch expressions: (im re) 8.858 * * * * [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 (real->posit16 2.0) (/.p16 (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (*.p16 (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (*.p16 im im)))))))> #posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5)))>) 9.006 * * * * [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 (real->posit16 2.0) (/.p16 (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (*.p16 (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (*.p16 im im)))))))> #posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (*.p16 (real->posit16 1.0) (*.p16 im im)))) (real->posit16 0.5)))>) 9.163 * * * [regime]: Found split indices: #