0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.009 * * * * [points]: Setting MPFR precision to 64 0.011 * * * * [points]: Setting MPFR precision to 320 0.013 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.018 * * * * [points]: Setting MPFR precision to 64 0.021 * * * * [points]: Setting MPFR precision to 320 0.022 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.025 * * * * [points]: Setting MPFR precision to 64 0.035 * * * * [points]: Setting MPFR precision to 320 0.038 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.041 * * * * [points]: Setting MPFR precision to 64 0.045 * * * * [points]: Setting MPFR precision to 320 0.050 * * * * [points]: Computing exacts for 256 points 0.053 * * * * [points]: Setting MPFR precision to 64 0.068 * * * * [points]: Setting MPFR precision to 320 0.082 * * * * [points]: Filtering points with unrepresentable outputs 0.083 * * * * [points]: Sampled 256 points with exact outputs 0.083 * * * [progress]: [2/2] Setting up program. 0.105 * [progress]: [Phase 2 of 3] Improving. 0.105 * * * * [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.105 * [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.105 * * [simplify]: iters left: 6 (14 enodes) 0.111 * * [simplify]: iters left: 5 (29 enodes) 0.122 * * [simplify]: iters left: 4 (49 enodes) 0.140 * * [simplify]: iters left: 3 (121 enodes) 0.224 * * [simplify]: iters left: 2 (476 enodes) 0.954 * * [simplify]: Extracting #0: cost 1 inf + 0 0.954 * * [simplify]: Extracting #1: cost 3 inf + 0 0.954 * * [simplify]: Extracting #2: cost 5 inf + 0 0.954 * * [simplify]: Extracting #3: cost 89 inf + 1 0.955 * * [simplify]: Extracting #4: cost 456 inf + 2 0.958 * * [simplify]: Extracting #5: cost 590 inf + 29084 0.971 * * [simplify]: Extracting #6: cost 512 inf + 285351 1.016 * * [simplify]: Extracting #7: cost 159 inf + 842146 1.070 * * [simplify]: Extracting #8: cost 11 inf + 1120113 1.155 * * [simplify]: Extracting #9: cost 0 inf + 1147578 1.245 * [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.245 * [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.258 * * [progress]: iteration 1 / 4 1.259 * * * [progress]: picking best candidate 1.272 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1.272 * * * [progress]: localizing error 1.468 * * * [progress]: generating rewritten candidates 1.468 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 1.480 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 1.480 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.480 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 1.485 * * * [progress]: generating series expansions 1.485 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 1.485 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 1.485 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.485 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 1.485 * * * [progress]: simplifying candidates 1.485 * * * * [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.485 * [simplify]: Simplifying (neg.p16 re) 1.485 * * [simplify]: iters left: 1 (2 enodes) 1.486 * * [simplify]: Extracting #0: cost 1 inf + 0 1.486 * * [simplify]: Extracting #1: cost 2 inf + 0 1.486 * * [simplify]: Extracting #2: cost 1 inf + 1 1.486 * * [simplify]: Extracting #3: cost 0 inf + 82 1.486 * [simplify]: Simplified to (neg.p16 re) 1.486 * [simplify]: Simplified (2 2 1 2 2) 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))) (neg.p16 re)))))) 1.486 * * * * [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.486 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) 1.486 * * [simplify]: iters left: 5 (8 enodes) 1.488 * * [simplify]: iters left: 4 (23 enodes) 1.492 * * [simplify]: iters left: 3 (64 enodes) 1.517 * * [simplify]: iters left: 2 (249 enodes) 1.685 * * [simplify]: Extracting #0: cost 1 inf + 0 1.685 * * [simplify]: Extracting #1: cost 40 inf + 0 1.686 * * [simplify]: Extracting #2: cost 248 inf + 322 1.687 * * [simplify]: Extracting #3: cost 377 inf + 21733 1.700 * * [simplify]: Extracting #4: cost 120 inf + 399949 1.747 * * [simplify]: Extracting #5: cost 1 inf + 592747 1.804 * * [simplify]: Extracting #6: cost 0 inf + 594029 1.853 * [simplify]: Simplified to (*.p16 im im) 1.853 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))) 1.854 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1.854 * * [simplify]: iters left: 4 (7 enodes) 1.857 * * [simplify]: iters left: 3 (13 enodes) 1.861 * * [simplify]: Extracting #0: cost 1 inf + 0 1.861 * * [simplify]: Extracting #1: cost 3 inf + 0 1.861 * * [simplify]: Extracting #2: cost 3 inf + 1 1.861 * * [simplify]: Extracting #3: cost 5 inf + 1 1.861 * * [simplify]: Extracting #4: cost 5 inf + 322 1.861 * * [simplify]: Extracting #5: cost 0 inf + 2810 1.862 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1.862 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))))))) 1.862 * * * * [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.862 * * * * [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.862 * [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.862 * * [simplify]: iters left: 6 (14 enodes) 1.869 * * [simplify]: iters left: 5 (29 enodes) 1.874 * * [simplify]: iters left: 4 (49 enodes) 1.883 * * [simplify]: iters left: 3 (121 enodes) 1.915 * * [simplify]: iters left: 2 (476 enodes) 2.325 * * [simplify]: Extracting #0: cost 1 inf + 0 2.325 * * [simplify]: Extracting #1: cost 3 inf + 0 2.325 * * [simplify]: Extracting #2: cost 5 inf + 0 2.325 * * [simplify]: Extracting #3: cost 89 inf + 1 2.327 * * [simplify]: Extracting #4: cost 456 inf + 2 2.332 * * [simplify]: Extracting #5: cost 590 inf + 29084 2.365 * * [simplify]: Extracting #6: cost 512 inf + 285351 2.411 * * [simplify]: Extracting #7: cost 159 inf + 842146 2.472 * * [simplify]: Extracting #8: cost 11 inf + 1120113 2.538 * * [simplify]: Extracting #9: cost 0 inf + 1147578 2.648 * [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.648 * [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.648 * * * * [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)))))> 2.649 * [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.649 * * [simplify]: iters left: 6 (14 enodes) 2.652 * * [simplify]: iters left: 5 (29 enodes) 2.657 * * [simplify]: iters left: 4 (49 enodes) 2.666 * * [simplify]: iters left: 3 (121 enodes) 2.718 * * [simplify]: iters left: 2 (476 enodes) 3.197 * * [simplify]: Extracting #0: cost 1 inf + 0 3.197 * * [simplify]: Extracting #1: cost 3 inf + 0 3.197 * * [simplify]: Extracting #2: cost 5 inf + 0 3.197 * * [simplify]: Extracting #3: cost 89 inf + 1 3.200 * * [simplify]: Extracting #4: cost 456 inf + 2 3.205 * * [simplify]: Extracting #5: cost 590 inf + 29084 3.230 * * [simplify]: Extracting #6: cost 512 inf + 285351 3.306 * * [simplify]: Extracting #7: cost 159 inf + 842146 3.369 * * [simplify]: Extracting #8: cost 11 inf + 1120113 3.478 * * [simplify]: Extracting #9: cost 0 inf + 1147578 3.570 * [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.570 * [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.570 * * * * [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)))))> 3.570 * [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.570 * * [simplify]: iters left: 6 (14 enodes) 3.574 * * [simplify]: iters left: 5 (29 enodes) 3.579 * * [simplify]: iters left: 4 (49 enodes) 3.589 * * [simplify]: iters left: 3 (121 enodes) 3.634 * * [simplify]: iters left: 2 (476 enodes) 3.996 * * [simplify]: Extracting #0: cost 1 inf + 0 3.997 * * [simplify]: Extracting #1: cost 3 inf + 0 3.997 * * [simplify]: Extracting #2: cost 5 inf + 0 3.997 * * [simplify]: Extracting #3: cost 89 inf + 1 3.998 * * [simplify]: Extracting #4: cost 456 inf + 2 4.000 * * [simplify]: Extracting #5: cost 590 inf + 29084 4.013 * * [simplify]: Extracting #6: cost 512 inf + 285351 4.088 * * [simplify]: Extracting #7: cost 159 inf + 842146 4.193 * * [simplify]: Extracting #8: cost 11 inf + 1120113 4.306 * * [simplify]: Extracting #9: cost 0 inf + 1147578 4.423 * [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.423 * [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.423 * * * * [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)))))> 4.424 * [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)))) 4.424 * * [simplify]: iters left: 6 (14 enodes) 4.430 * * [simplify]: iters left: 5 (29 enodes) 4.441 * * [simplify]: iters left: 4 (49 enodes) 4.461 * * [simplify]: iters left: 3 (121 enodes) 4.524 * * [simplify]: iters left: 2 (476 enodes) 4.986 * * [simplify]: Extracting #0: cost 1 inf + 0 4.986 * * [simplify]: Extracting #1: cost 3 inf + 0 4.986 * * [simplify]: Extracting #2: cost 5 inf + 0 4.986 * * [simplify]: Extracting #3: cost 89 inf + 1 4.988 * * [simplify]: Extracting #4: cost 456 inf + 2 4.994 * * [simplify]: Extracting #5: cost 590 inf + 29084 5.019 * * [simplify]: Extracting #6: cost 512 inf + 285351 5.063 * * [simplify]: Extracting #7: cost 159 inf + 842146 5.121 * * [simplify]: Extracting #8: cost 11 inf + 1120113 5.178 * * [simplify]: Extracting #9: cost 0 inf + 1147578 5.238 * [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)) 5.238 * [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))) 5.239 * * * [progress]: adding candidates to table 5.524 * * [progress]: iteration 2 / 4 5.524 * * * [progress]: picking best candidate 5.550 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.550 * * * [progress]: localizing error 5.901 * * * [progress]: generating rewritten candidates 5.901 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 5.906 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 5.915 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1) 5.915 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 5.916 * * * [progress]: generating series expansions 5.916 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 5.916 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 5.916 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1) 5.916 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 5.916 * * * [progress]: simplifying candidates 5.916 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))))))))> 5.916 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> 5.916 * [simplify]: Simplifying (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im) 5.917 * * [simplify]: iters left: 5 (8 enodes) 5.919 * * [simplify]: iters left: 4 (14 enodes) 5.924 * * [simplify]: Extracting #0: cost 1 inf + 0 5.924 * * [simplify]: Extracting #1: cost 3 inf + 0 5.924 * * [simplify]: Extracting #2: cost 4 inf + 1 5.924 * * [simplify]: Extracting #3: cost 4 inf + 2 5.924 * * [simplify]: Extracting #4: cost 6 inf + 2 5.924 * * [simplify]: Extracting #5: cost 0 inf + 4012 5.925 * [simplify]: Simplified to (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im) 5.925 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im)))))) 5.925 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.925 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))) 5.926 * * [simplify]: iters left: 6 (15 enodes) 5.933 * * [simplify]: iters left: 5 (29 enodes) 5.943 * * [simplify]: iters left: 4 (40 enodes) 5.961 * * [simplify]: iters left: 3 (52 enodes) 5.968 * * [simplify]: iters left: 2 (66 enodes) 5.977 * * [simplify]: iters left: 1 (72 enodes) 5.986 * * [simplify]: Extracting #0: cost 1 inf + 0 5.986 * * [simplify]: Extracting #1: cost 3 inf + 0 5.987 * * [simplify]: Extracting #2: cost 5 inf + 0 5.987 * * [simplify]: Extracting #3: cost 18 inf + 1 5.987 * * [simplify]: Extracting #4: cost 18 inf + 324 5.987 * * [simplify]: Extracting #5: cost 15 inf + 969 5.987 * * [simplify]: Extracting #6: cost 15 inf + 1291 5.987 * * [simplify]: Extracting #7: cost 12 inf + 3016 5.988 * * [simplify]: Extracting #8: cost 3 inf + 14399 5.989 * * [simplify]: Extracting #9: cost 0 inf + 19008 5.990 * [simplify]: Simplified to (*.p16 (sqrt.p16 (/.p16 (*.p16 (*.p16 im im) (real->posit16 2.0)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (real->posit16 0.5)) 5.990 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (/.p16 (*.p16 (*.p16 im im) (real->posit16 2.0)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (real->posit16 0.5))) 5.990 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 5.990 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))) 5.990 * * [simplify]: iters left: 6 (15 enodes) 5.993 * * [simplify]: iters left: 5 (29 enodes) 5.997 * * [simplify]: iters left: 4 (40 enodes) 6.003 * * [simplify]: iters left: 3 (52 enodes) 6.010 * * [simplify]: iters left: 2 (66 enodes) 6.020 * * [simplify]: iters left: 1 (72 enodes) 6.030 * * [simplify]: Extracting #0: cost 1 inf + 0 6.030 * * [simplify]: Extracting #1: cost 3 inf + 0 6.030 * * [simplify]: Extracting #2: cost 5 inf + 0 6.030 * * [simplify]: Extracting #3: cost 18 inf + 1 6.030 * * [simplify]: Extracting #4: cost 18 inf + 324 6.031 * * [simplify]: Extracting #5: cost 15 inf + 969 6.031 * * [simplify]: Extracting #6: cost 15 inf + 1291 6.031 * * [simplify]: Extracting #7: cost 12 inf + 3016 6.031 * * [simplify]: Extracting #8: cost 3 inf + 14399 6.032 * * [simplify]: Extracting #9: cost 0 inf + 19008 6.033 * [simplify]: Simplified to (*.p16 (sqrt.p16 (/.p16 (*.p16 (*.p16 im im) (real->posit16 2.0)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (real->posit16 0.5)) 6.033 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (/.p16 (*.p16 (*.p16 im im) (real->posit16 2.0)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (real->posit16 0.5))) 6.033 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 6.033 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))) 6.033 * * [simplify]: iters left: 6 (15 enodes) 6.037 * * [simplify]: iters left: 5 (29 enodes) 6.042 * * [simplify]: iters left: 4 (40 enodes) 6.048 * * [simplify]: iters left: 3 (52 enodes) 6.055 * * [simplify]: iters left: 2 (66 enodes) 6.064 * * [simplify]: iters left: 1 (72 enodes) 6.073 * * [simplify]: Extracting #0: cost 1 inf + 0 6.073 * * [simplify]: Extracting #1: cost 3 inf + 0 6.073 * * [simplify]: Extracting #2: cost 5 inf + 0 6.073 * * [simplify]: Extracting #3: cost 18 inf + 1 6.074 * * [simplify]: Extracting #4: cost 18 inf + 324 6.074 * * [simplify]: Extracting #5: cost 15 inf + 969 6.074 * * [simplify]: Extracting #6: cost 15 inf + 1291 6.074 * * [simplify]: Extracting #7: cost 12 inf + 3016 6.075 * * [simplify]: Extracting #8: cost 3 inf + 14399 6.075 * * [simplify]: Extracting #9: cost 0 inf + 19008 6.076 * [simplify]: Simplified to (*.p16 (sqrt.p16 (/.p16 (*.p16 (*.p16 im im) (real->posit16 2.0)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (real->posit16 0.5)) 6.076 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (/.p16 (*.p16 (*.p16 im im) (real->posit16 2.0)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (real->posit16 0.5))) 6.076 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 6.077 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))) 6.077 * * [simplify]: iters left: 6 (15 enodes) 6.080 * * [simplify]: iters left: 5 (29 enodes) 6.085 * * [simplify]: iters left: 4 (40 enodes) 6.091 * * [simplify]: iters left: 3 (52 enodes) 6.105 * * [simplify]: iters left: 2 (66 enodes) 6.125 * * [simplify]: iters left: 1 (72 enodes) 6.145 * * [simplify]: Extracting #0: cost 1 inf + 0 6.146 * * [simplify]: Extracting #1: cost 3 inf + 0 6.146 * * [simplify]: Extracting #2: cost 5 inf + 0 6.146 * * [simplify]: Extracting #3: cost 18 inf + 1 6.146 * * [simplify]: Extracting #4: cost 18 inf + 324 6.146 * * [simplify]: Extracting #5: cost 15 inf + 969 6.147 * * [simplify]: Extracting #6: cost 15 inf + 1291 6.147 * * [simplify]: Extracting #7: cost 12 inf + 3016 6.148 * * [simplify]: Extracting #8: cost 3 inf + 14399 6.150 * * [simplify]: Extracting #9: cost 0 inf + 19008 6.151 * [simplify]: Simplified to (*.p16 (sqrt.p16 (/.p16 (*.p16 (*.p16 im im) (real->posit16 2.0)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (real->posit16 0.5)) 6.151 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (/.p16 (*.p16 (*.p16 im im) (real->posit16 2.0)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (real->posit16 0.5))) 6.152 * * * [progress]: adding candidates to table 6.278 * * [progress]: iteration 3 / 4 6.278 * * * [progress]: picking best candidate 6.292 * * * * [pick]: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> 6.292 * * * [progress]: localizing error 6.520 * * * [progress]: generating rewritten candidates 6.520 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1) 6.523 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 1 1) 6.523 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 6.526 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 6.526 * * * [progress]: generating series expansions 6.526 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1) 6.526 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 1 1) 6.526 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 6.526 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 6.526 * * * [progress]: simplifying candidates 6.526 * * * * [progress]: [ 1 / 5 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) im))))))> 6.527 * * * * [progress]: [ 2 / 5 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> 6.527 * [simplify]: Simplifying (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im) 6.527 * * [simplify]: iters left: 5 (8 enodes) 6.528 * * [simplify]: iters left: 4 (14 enodes) 6.530 * * [simplify]: Extracting #0: cost 1 inf + 0 6.530 * * [simplify]: Extracting #1: cost 3 inf + 0 6.530 * * [simplify]: Extracting #2: cost 4 inf + 1 6.530 * * [simplify]: Extracting #3: cost 4 inf + 2 6.530 * * [simplify]: Extracting #4: cost 6 inf + 2 6.530 * * [simplify]: Extracting #5: cost 0 inf + 4012 6.531 * [simplify]: Simplified to (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im) 6.531 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im)))))) 6.531 * * * * [progress]: [ 3 / 5 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> 6.531 * [simplify]: Simplifying (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im) 6.531 * * [simplify]: iters left: 5 (8 enodes) 6.533 * * [simplify]: iters left: 4 (14 enodes) 6.535 * * [simplify]: Extracting #0: cost 1 inf + 0 6.535 * * [simplify]: Extracting #1: cost 3 inf + 0 6.535 * * [simplify]: Extracting #2: cost 4 inf + 1 6.535 * * [simplify]: Extracting #3: cost 4 inf + 2 6.535 * * [simplify]: Extracting #4: cost 6 inf + 2 6.535 * * [simplify]: Extracting #5: cost 0 inf + 4012 6.535 * [simplify]: Simplified to (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im) 6.535 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im)))))) 6.535 * * * * [progress]: [ 4 / 5 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> 6.535 * [simplify]: Simplifying (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im) 6.535 * * [simplify]: iters left: 5 (8 enodes) 6.537 * * [simplify]: iters left: 4 (14 enodes) 6.539 * * [simplify]: Extracting #0: cost 1 inf + 0 6.539 * * [simplify]: Extracting #1: cost 3 inf + 0 6.539 * * [simplify]: Extracting #2: cost 4 inf + 1 6.539 * * [simplify]: Extracting #3: cost 4 inf + 2 6.539 * * [simplify]: Extracting #4: cost 6 inf + 2 6.539 * * [simplify]: Extracting #5: cost 0 inf + 4012 6.539 * [simplify]: Simplified to (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im) 6.539 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im)))))) 6.539 * * * * [progress]: [ 5 / 5 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> 6.540 * [simplify]: Simplifying (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im) 6.540 * * [simplify]: iters left: 5 (8 enodes) 6.541 * * [simplify]: iters left: 4 (14 enodes) 6.543 * * [simplify]: Extracting #0: cost 1 inf + 0 6.543 * * [simplify]: Extracting #1: cost 3 inf + 0 6.543 * * [simplify]: Extracting #2: cost 4 inf + 1 6.543 * * [simplify]: Extracting #3: cost 4 inf + 2 6.543 * * [simplify]: Extracting #4: cost 6 inf + 2 6.543 * * [simplify]: Extracting #5: cost 0 inf + 4012 6.543 * [simplify]: Simplified to (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im) 6.543 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) im)))))) 6.543 * * * [progress]: adding candidates to table 6.633 * [progress]: [Phase 3 of 3] Extracting. 6.633 * * [regime]: Finding splitpoints for: (#posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> #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 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>) 6.634 * * * [regime-changes]: Trying 2 branch expressions: (im re) 6.634 * * * * [regimes]: Trying to branch on im from (#posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> #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 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>) 6.719 * * * * [regimes]: Trying to branch on re from (#posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))))> #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 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>) 6.805 * * * [regime]: Found split indices: #