1550842798.307 * [misc]progress: [Phase 1 of 3] Setting up. 1550842798.307 * * * [misc]progress: [1/2] Preparing points 1550842798.307 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550842798.309 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550842798.314 * * * * [misc]points: Setting MPFR precision to 64 1550842798.316 * * * * [misc]points: Setting MPFR precision to 320 1550842798.318 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550842798.322 * * * * [misc]points: Setting MPFR precision to 64 1550842798.325 * * * * [misc]points: Setting MPFR precision to 320 1550842798.330 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550842798.334 * * * * [misc]points: Setting MPFR precision to 64 1550842798.340 * * * * [misc]points: Setting MPFR precision to 320 1550842798.347 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550842798.352 * * * * [misc]points: Setting MPFR precision to 64 1550842798.368 * * * * [misc]points: Setting MPFR precision to 320 1550842798.380 * * * * [misc]points: Computing exacts for 256 points 1550842798.384 * * * * [misc]points: Setting MPFR precision to 64 1550842798.411 * * * * [misc]points: Setting MPFR precision to 320 1550842798.448 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842798.473 * * * * [misc]points: Sampling 4 additional inputs, on iter 1 have 255 / 256 1550842798.474 * * * * [misc]points: Computing exacts for 4 points 1550842798.478 * * * * [misc]points: Setting MPFR precision to 64 1550842798.478 * * * * [misc]points: Setting MPFR precision to 320 1550842798.479 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842798.479 * * * * [exit]points: Sampled 259 points with exact outputs 1550842798.480 * * * [misc]progress: [2/2] Setting up program. 1550842798.523 * [misc]progress: [Phase 2 of 3] Improving. 1550842798.523 * * * * [misc]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)))))> 1550842798.523 * [enter]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)))) 1550842798.523 * * [misc]simplify: iters left: 6 (14 enodes) 1550842798.530 * * [misc]simplify: iters left: 5 (29 enodes) 1550842798.540 * * [misc]simplify: iters left: 4 (49 enodes) 1550842798.559 * * [misc]simplify: iters left: 3 (120 enodes) 1550842798.653 * * [misc]simplify: iters left: 2 (464 enodes) 1550842799.029 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842799.029 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842799.029 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550842799.029 * * [misc]simplify: Extracting #3: cost 80 inf + 1 1550842799.030 * * [misc]simplify: Extracting #4: cost 345 inf + 2 1550842799.032 * * [misc]simplify: Extracting #5: cost 580 inf + 7991 1550842799.040 * * [misc]simplify: Extracting #6: cost 562 inf + 201841 1550842799.073 * * [misc]simplify: Extracting #7: cost 164 inf + 841241 1550842799.125 * * [misc]simplify: Extracting #8: cost 7 inf + 1102755 1550842799.178 * * [misc]simplify: Extracting #9: cost 0 inf + 1117051 1550842799.232 * [exit]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)) 1550842799.232 * [misc]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))) 1550842799.256 * * [misc]progress: iteration 1 / 4 1550842799.256 * * * [misc]progress: picking best candidate 1550842799.278 * * * * [misc]pick: Picked #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> 1550842799.278 * * * [misc]progress: localizing error 1550842799.554 * * * [misc]progress: generating rewritten candidates 1550842799.554 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1 2) 1550842799.555 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 2 1) 1550842799.556 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1550842799.556 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 1550842799.558 * * * [misc]progress: generating series expansions 1550842799.558 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1 2) 1550842799.558 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 2 1) 1550842799.558 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1550842799.558 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 1550842799.558 * * * [misc]progress: simplifying candidates 1550842799.558 * * * * [misc]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))))))> 1550842799.558 * * * * [misc]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))))))> 1550842799.558 * * * * [misc]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)))))> 1550842799.558 * * * * [misc]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)))))> 1550842799.558 * [enter]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)))) 1550842799.558 * * [misc]simplify: iters left: 6 (14 enodes) 1550842799.564 * * [misc]simplify: iters left: 5 (29 enodes) 1550842799.570 * * [misc]simplify: iters left: 4 (49 enodes) 1550842799.580 * * [misc]simplify: iters left: 3 (120 enodes) 1550842799.621 * * [misc]simplify: iters left: 2 (464 enodes) 1550842800.236 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842800.236 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842800.236 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550842800.236 * * [misc]simplify: Extracting #3: cost 80 inf + 1 1550842800.238 * * [misc]simplify: Extracting #4: cost 345 inf + 2 1550842800.242 * * [misc]simplify: Extracting #5: cost 580 inf + 7991 1550842800.259 * * [misc]simplify: Extracting #6: cost 562 inf + 201841 1550842800.325 * * [misc]simplify: Extracting #7: cost 164 inf + 841241 1550842800.427 * * [misc]simplify: Extracting #8: cost 7 inf + 1102755 1550842800.531 * * [misc]simplify: Extracting #9: cost 0 inf + 1117051 1550842800.637 * [exit]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)) 1550842800.637 * [misc]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))) 1550842800.637 * * * * [misc]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)))))> 1550842800.638 * [enter]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)))) 1550842800.638 * * [misc]simplify: iters left: 6 (14 enodes) 1550842800.645 * * [misc]simplify: iters left: 5 (29 enodes) 1550842800.655 * * [misc]simplify: iters left: 4 (49 enodes) 1550842800.674 * * [misc]simplify: iters left: 3 (120 enodes) 1550842800.742 * * [misc]simplify: iters left: 2 (464 enodes) 1550842801.207 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842801.207 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842801.208 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550842801.208 * * [misc]simplify: Extracting #3: cost 80 inf + 1 1550842801.210 * * [misc]simplify: Extracting #4: cost 345 inf + 2 1550842801.214 * * [misc]simplify: Extracting #5: cost 580 inf + 7991 1550842801.230 * * [misc]simplify: Extracting #6: cost 562 inf + 201841 1550842801.267 * * [misc]simplify: Extracting #7: cost 164 inf + 841241 1550842801.333 * * [misc]simplify: Extracting #8: cost 7 inf + 1102755 1550842801.429 * * [misc]simplify: Extracting #9: cost 0 inf + 1117051 1550842801.495 * [exit]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)) 1550842801.496 * [misc]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))) 1550842801.496 * * * * [misc]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)))))> 1550842801.496 * [enter]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)))) 1550842801.496 * * [misc]simplify: iters left: 6 (14 enodes) 1550842801.503 * * [misc]simplify: iters left: 5 (29 enodes) 1550842801.513 * * [misc]simplify: iters left: 4 (49 enodes) 1550842801.535 * * [misc]simplify: iters left: 3 (120 enodes) 1550842801.600 * * [misc]simplify: iters left: 2 (464 enodes) 1550842802.066 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842802.066 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842802.066 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550842802.066 * * [misc]simplify: Extracting #3: cost 80 inf + 1 1550842802.067 * * [misc]simplify: Extracting #4: cost 345 inf + 2 1550842802.068 * * [misc]simplify: Extracting #5: cost 580 inf + 7991 1550842802.077 * * [misc]simplify: Extracting #6: cost 562 inf + 201841 1550842802.110 * * [misc]simplify: Extracting #7: cost 164 inf + 841241 1550842802.164 * * [misc]simplify: Extracting #8: cost 7 inf + 1102755 1550842802.217 * * [misc]simplify: Extracting #9: cost 0 inf + 1117051 1550842802.299 * [exit]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)) 1550842802.299 * [misc]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))) 1550842802.299 * * * * [misc]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)))))> 1550842802.299 * [enter]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)))) 1550842802.300 * * [misc]simplify: iters left: 6 (14 enodes) 1550842802.306 * * [misc]simplify: iters left: 5 (29 enodes) 1550842802.316 * * [misc]simplify: iters left: 4 (49 enodes) 1550842802.335 * * [misc]simplify: iters left: 3 (120 enodes) 1550842802.401 * * [misc]simplify: iters left: 2 (464 enodes) 1550842802.796 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842802.796 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842802.796 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550842802.796 * * [misc]simplify: Extracting #3: cost 80 inf + 1 1550842802.798 * * [misc]simplify: Extracting #4: cost 345 inf + 2 1550842802.802 * * [misc]simplify: Extracting #5: cost 580 inf + 7991 1550842802.819 * * [misc]simplify: Extracting #6: cost 562 inf + 201841 1550842802.891 * * [misc]simplify: Extracting #7: cost 164 inf + 841241 1550842802.988 * * [misc]simplify: Extracting #8: cost 7 inf + 1102755 1550842803.072 * * [misc]simplify: Extracting #9: cost 0 inf + 1117051 1550842803.125 * [exit]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)) 1550842803.125 * [misc]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))) 1550842803.125 * * * [misc]progress: adding candidates to table 1550842803.398 * * [misc]progress: iteration 2 / 4 1550842803.399 * * * [misc]progress: picking best candidate 1550842803.431 * * * * [misc]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))))))> 1550842803.431 * * * [misc]progress: localizing error 1550842803.657 * * * [misc]progress: generating rewritten candidates 1550842803.657 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1 2 1) 1550842803.658 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 2 2) 1550842803.660 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 1 2) 1550842803.663 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2 2 1) 1550842803.663 * * * [misc]progress: generating series expansions 1550842803.663 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1 2 1) 1550842803.663 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 2 2) 1550842803.663 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 1 2) 1550842803.663 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2 2 1) 1550842803.663 * * * [misc]progress: simplifying candidates 1550842803.663 * * * * [misc]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))))))> 1550842803.664 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842803.664 * * [misc]simplify: iters left: 4 (7 enodes) 1550842803.665 * * [misc]simplify: iters left: 3 (13 enodes) 1550842803.667 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842803.667 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842803.667 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842803.667 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842803.667 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842803.667 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842803.667 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842803.668 * [misc]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)))))) 1550842803.668 * [enter]simplify: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842803.668 * * [misc]simplify: iters left: 4 (7 enodes) 1550842803.669 * * [misc]simplify: iters left: 3 (18 enodes) 1550842803.673 * * [misc]simplify: iters left: 2 (28 enodes) 1550842803.679 * * [misc]simplify: iters left: 1 (86 enodes) 1550842803.717 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842803.717 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550842803.717 * * [misc]simplify: Extracting #2: cost 53 inf + 1 1550842803.718 * * [misc]simplify: Extracting #3: cost 103 inf + 804 1550842803.719 * * [misc]simplify: Extracting #4: cost 94 inf + 17486 1550842803.726 * * [misc]simplify: Extracting #5: cost 15 inf + 109680 1550842803.737 * * [misc]simplify: Extracting #6: cost 0 inf + 133154 1550842803.748 * [exit]simplify: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 1550842803.748 * [misc]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)))))) 1550842803.748 * * * * [misc]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))))))> 1550842803.748 * * * * [misc]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))))))> 1550842803.748 * * * * [misc]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)))))))))> 1550842803.748 * * * * [misc]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)))))))> 1550842803.749 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842803.749 * * [misc]simplify: iters left: 4 (7 enodes) 1550842803.752 * * [misc]simplify: iters left: 3 (13 enodes) 1550842803.756 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842803.756 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842803.756 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842803.756 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842803.756 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842803.756 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842803.756 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842803.756 * [misc]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))))))) 1550842803.757 * * * * [misc]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))))))))> 1550842803.757 * [enter]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))) 1550842803.757 * * [misc]simplify: iters left: 6 (10 enodes) 1550842803.762 * * [misc]simplify: iters left: 5 (33 enodes) 1550842803.775 * * [misc]simplify: iters left: 4 (93 enodes) 1550842803.839 * * [misc]simplify: iters left: 3 (450 enodes) 1550842804.574 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842804.575 * * [misc]simplify: Extracting #1: cost 60 inf + 0 1550842804.576 * * [misc]simplify: Extracting #2: cost 374 inf + 963 1550842804.581 * * [misc]simplify: Extracting #3: cost 459 inf + 130109 1550842804.610 * * [misc]simplify: Extracting #4: cost 338 inf + 699471 1550842804.724 * * [misc]simplify: Extracting #5: cost 9 inf + 1277945 1550842804.847 * * [misc]simplify: Extracting #6: cost 0 inf + 1301041 1550842804.973 * [exit]simplify: Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) 1550842804.973 * [misc]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)))))))) 1550842804.973 * * * * [misc]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))))))> 1550842804.973 * * * * [misc]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))))))> 1550842804.974 * * * * [misc]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))))))> 1550842804.974 * * * * [misc]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))))))> 1550842804.974 * * * [misc]progress: adding candidates to table 1550842805.771 * * [misc]progress: iteration 3 / 4 1550842805.771 * * * [misc]progress: picking best candidate 1550842805.916 * * * * [misc]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))))))> 1550842805.917 * * * [misc]progress: localizing error 1550842806.124 * * * [misc]progress: generating rewritten candidates 1550842806.124 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1 2 2) 1550842806.128 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 2 1 1) 1550842806.132 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 1 2 1 2) 1550842806.134 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2) 1550842806.142 * * * [misc]progress: generating series expansions 1550842806.142 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1 2 2) 1550842806.142 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 2 1 1) 1550842806.142 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 1 2 1 2) 1550842806.142 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2) 1550842806.142 * * * [misc]progress: simplifying candidates 1550842806.142 * * * * [misc]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)))))))))> 1550842806.142 * * * * [misc]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))))))> 1550842806.142 * * * * [misc]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))))))> 1550842806.142 * * * * [misc]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))))))> 1550842806.142 * * * * [misc]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)))))))> 1550842806.143 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842806.143 * * [misc]simplify: iters left: 4 (7 enodes) 1550842806.146 * * [misc]simplify: iters left: 3 (13 enodes) 1550842806.150 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842806.150 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842806.150 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842806.150 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842806.150 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842806.150 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842806.150 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842806.150 * [misc]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))))))) 1550842806.150 * * * * [misc]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)))))))> 1550842806.151 * [enter]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))) 1550842806.151 * * [misc]simplify: iters left: 6 (10 enodes) 1550842806.155 * * [misc]simplify: iters left: 5 (26 enodes) 1550842806.165 * * [misc]simplify: iters left: 4 (87 enodes) 1550842806.223 * * [misc]simplify: iters left: 3 (403 enodes) 1550842806.688 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842806.688 * * [misc]simplify: Extracting #1: cost 69 inf + 0 1550842806.690 * * [misc]simplify: Extracting #2: cost 394 inf + 322 1550842806.697 * * [misc]simplify: Extracting #3: cost 516 inf + 48772 1550842806.744 * * [misc]simplify: Extracting #4: cost 194 inf + 561674 1550842806.811 * * [misc]simplify: Extracting #5: cost 7 inf + 868789 1550842806.854 * * [misc]simplify: Extracting #6: cost 0 inf + 881522 1550842806.898 * [exit]simplify: Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) 1550842806.898 * [misc]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))))))) 1550842806.898 * * * * [misc]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))))))> 1550842806.898 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842806.898 * * [misc]simplify: iters left: 4 (7 enodes) 1550842806.900 * * [misc]simplify: iters left: 3 (13 enodes) 1550842806.902 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842806.902 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842806.902 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842806.902 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842806.902 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842806.902 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842806.902 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842806.902 * [misc]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)))))) 1550842806.903 * [enter]simplify: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842806.903 * * [misc]simplify: iters left: 4 (7 enodes) 1550842806.904 * * [misc]simplify: iters left: 3 (18 enodes) 1550842806.908 * * [misc]simplify: iters left: 2 (28 enodes) 1550842806.913 * * [misc]simplify: iters left: 1 (86 enodes) 1550842806.937 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842806.937 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550842806.937 * * [misc]simplify: Extracting #2: cost 53 inf + 1 1550842806.937 * * [misc]simplify: Extracting #3: cost 103 inf + 804 1550842806.938 * * [misc]simplify: Extracting #4: cost 94 inf + 17486 1550842806.943 * * [misc]simplify: Extracting #5: cost 15 inf + 109680 1550842806.949 * * [misc]simplify: Extracting #6: cost 0 inf + 133154 1550842806.954 * [exit]simplify: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 1550842806.955 * [misc]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)))))) 1550842806.955 * * * * [misc]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))))))> 1550842806.955 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842806.955 * * [misc]simplify: iters left: 4 (7 enodes) 1550842806.956 * * [misc]simplify: iters left: 3 (13 enodes) 1550842806.959 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842806.959 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842806.959 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842806.959 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842806.959 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842806.959 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842806.959 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842806.959 * [misc]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)))))) 1550842806.959 * [enter]simplify: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842806.959 * * [misc]simplify: iters left: 4 (7 enodes) 1550842806.961 * * [misc]simplify: iters left: 3 (18 enodes) 1550842806.964 * * [misc]simplify: iters left: 2 (28 enodes) 1550842806.970 * * [misc]simplify: iters left: 1 (86 enodes) 1550842806.996 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842806.996 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550842806.996 * * [misc]simplify: Extracting #2: cost 53 inf + 1 1550842806.996 * * [misc]simplify: Extracting #3: cost 103 inf + 804 1550842806.997 * * [misc]simplify: Extracting #4: cost 94 inf + 17486 1550842807.001 * * [misc]simplify: Extracting #5: cost 15 inf + 109680 1550842807.006 * * [misc]simplify: Extracting #6: cost 0 inf + 133154 1550842807.012 * [exit]simplify: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 1550842807.012 * [misc]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)))))) 1550842807.012 * * * * [misc]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))))))> 1550842807.012 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842807.012 * * [misc]simplify: iters left: 4 (7 enodes) 1550842807.014 * * [misc]simplify: iters left: 3 (13 enodes) 1550842807.016 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842807.016 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842807.016 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842807.016 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842807.016 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842807.016 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842807.016 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842807.016 * [misc]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)))))) 1550842807.016 * [enter]simplify: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842807.016 * * [misc]simplify: iters left: 4 (7 enodes) 1550842807.018 * * [misc]simplify: iters left: 3 (18 enodes) 1550842807.021 * * [misc]simplify: iters left: 2 (28 enodes) 1550842807.027 * * [misc]simplify: iters left: 1 (86 enodes) 1550842807.073 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842807.073 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550842807.073 * * [misc]simplify: Extracting #2: cost 53 inf + 1 1550842807.074 * * [misc]simplify: Extracting #3: cost 103 inf + 804 1550842807.075 * * [misc]simplify: Extracting #4: cost 94 inf + 17486 1550842807.081 * * [misc]simplify: Extracting #5: cost 15 inf + 109680 1550842807.091 * * [misc]simplify: Extracting #6: cost 0 inf + 133154 1550842807.102 * [exit]simplify: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 1550842807.102 * [misc]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)))))) 1550842807.103 * * * * [misc]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))))))> 1550842807.103 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842807.103 * * [misc]simplify: iters left: 4 (7 enodes) 1550842807.106 * * [misc]simplify: iters left: 3 (13 enodes) 1550842807.110 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842807.110 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842807.110 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842807.110 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842807.110 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842807.110 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842807.110 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842807.110 * [misc]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)))))) 1550842807.111 * [enter]simplify: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842807.111 * * [misc]simplify: iters left: 4 (7 enodes) 1550842807.114 * * [misc]simplify: iters left: 3 (18 enodes) 1550842807.120 * * [misc]simplify: iters left: 2 (28 enodes) 1550842807.130 * * [misc]simplify: iters left: 1 (86 enodes) 1550842807.176 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842807.176 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550842807.177 * * [misc]simplify: Extracting #2: cost 53 inf + 1 1550842807.177 * * [misc]simplify: Extracting #3: cost 103 inf + 804 1550842807.178 * * [misc]simplify: Extracting #4: cost 94 inf + 17486 1550842807.185 * * [misc]simplify: Extracting #5: cost 15 inf + 109680 1550842807.195 * * [misc]simplify: Extracting #6: cost 0 inf + 133154 1550842807.205 * [exit]simplify: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 1550842807.205 * [misc]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)))))) 1550842807.205 * * * [misc]progress: adding candidates to table 1550842807.787 * * [misc]progress: iteration 4 / 4 1550842807.787 * * * [misc]progress: picking best candidate 1550842807.888 * * * * [misc]pick: Picked #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)))))))> 1550842807.888 * * * [misc]progress: localizing error 1550842808.044 * * * [misc]progress: generating rewritten candidates 1550842808.044 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1 2 2 1) 1550842808.046 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 2 1) 1550842808.048 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 1 2 2 2) 1550842808.049 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2) 1550842808.052 * * * [misc]progress: generating series expansions 1550842808.052 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1 2 2 1) 1550842808.053 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 2 1) 1550842808.053 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 1 2 2 2) 1550842808.053 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2) 1550842808.053 * * * [misc]progress: simplifying candidates 1550842808.053 * * * * [misc]progress: [ 1 / 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 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> 1550842808.053 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate #posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.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)))))))> 1550842808.053 * * * * [misc]progress: [ 3 / 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))) (neg.p16 re))))))))> 1550842808.053 * * * * [misc]progress: [ 4 / 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 (-.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))))))))> 1550842808.053 * * * * [misc]progress: [ 5 / 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))) 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))))))> 1550842808.053 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842808.053 * * [misc]simplify: iters left: 4 (7 enodes) 1550842808.055 * * [misc]simplify: iters left: 3 (13 enodes) 1550842808.057 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842808.057 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842808.057 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842808.057 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842808.057 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842808.057 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842808.057 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842808.057 * [misc]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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) 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)))) (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))))))) 1550842808.058 * * * * [misc]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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> 1550842808.058 * [enter]simplify: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842808.058 * * [misc]simplify: iters left: 4 (7 enodes) 1550842808.059 * * [misc]simplify: iters left: 3 (18 enodes) 1550842808.062 * * [misc]simplify: iters left: 2 (28 enodes) 1550842808.068 * * [misc]simplify: iters left: 1 (86 enodes) 1550842808.097 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842808.097 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550842808.097 * * [misc]simplify: Extracting #2: cost 53 inf + 1 1550842808.097 * * [misc]simplify: Extracting #3: cost 103 inf + 804 1550842808.098 * * [misc]simplify: Extracting #4: cost 94 inf + 17486 1550842808.101 * * [misc]simplify: Extracting #5: cost 15 inf + 109680 1550842808.107 * * [misc]simplify: Extracting #6: cost 0 inf + 133154 1550842808.113 * [exit]simplify: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re) 1550842808.113 * [misc]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 (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 im im) (*.p16 re re))) re)))))) 1550842808.113 * * * * [misc]progress: [ 7 / 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)))))))> 1550842808.113 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842808.113 * * [misc]simplify: iters left: 4 (7 enodes) 1550842808.115 * * [misc]simplify: iters left: 3 (13 enodes) 1550842808.117 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842808.117 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842808.117 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842808.117 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842808.117 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842808.117 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842808.117 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842808.117 * [misc]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))))))) 1550842808.117 * * * * [misc]progress: [ 8 / 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)))))))> 1550842808.117 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842808.118 * * [misc]simplify: iters left: 4 (7 enodes) 1550842808.119 * * [misc]simplify: iters left: 3 (13 enodes) 1550842808.121 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842808.121 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842808.121 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842808.121 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842808.121 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842808.121 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842808.121 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842808.121 * [misc]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))))))) 1550842808.122 * * * * [misc]progress: [ 9 / 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)))))))> 1550842808.122 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842808.122 * * [misc]simplify: iters left: 4 (7 enodes) 1550842808.123 * * [misc]simplify: iters left: 3 (13 enodes) 1550842808.125 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842808.125 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842808.125 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842808.125 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842808.126 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842808.126 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842808.126 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842808.126 * [misc]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))))))) 1550842808.126 * * * * [misc]progress: [ 10 / 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)))))))> 1550842808.126 * [enter]simplify: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) 1550842808.126 * * [misc]simplify: iters left: 4 (7 enodes) 1550842808.128 * * [misc]simplify: iters left: 3 (13 enodes) 1550842808.130 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842808.130 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842808.130 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550842808.130 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1550842808.130 * * [misc]simplify: Extracting #4: cost 5 inf + 322 1550842808.130 * * [misc]simplify: Extracting #5: cost 0 inf + 2810 1550842808.130 * [exit]simplify: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) 1550842808.130 * [misc]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))))))) 1550842808.130 * * * [misc]progress: adding candidates to table 1550842808.541 * [misc]progress: [Phase 3 of 3] Extracting. 1550842808.542 * * [misc]regime: Finding splitpoints for: (#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 (*.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))))))> #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))))))> #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))))))> #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 (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)))))))> #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)))))))>) 1550842808.544 * * * [misc]regime-changes: Trying 2 branch expressions: (im re) 1550842808.544 * * * * [misc]regimes: Trying to branch on im from (#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 (*.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))))))> #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))))))> #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))))))> #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 (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)))))))> #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)))))))>) 1550842808.905 * * * * [misc]regimes: Trying to branch on re from (#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 (*.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))))))> #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))))))> #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))))))> #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 (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)))))))> #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)))))))>) 1550842809.333 * * * [misc]regime: Found split indices: #