\[0.5 \cdot \sqrt{2 \cdot \left(\sqrt{re \cdot re + im \cdot im} - re\right)}\]

0.5 \cdot \sqrt{2 \cdot \left(\sqrt{re \cdot re + im \cdot im} - re\right)}

double f(double re, double im) {
        double r22554 = 0.5;
        double r22555 = 2.0;
        double r22556 = re;
        double r22557 = r22556 * r22556;
        double r22558 = im;
        double r22559 = r22558 * r22558;
        double r22560 = r22557 + r22559;
        double r22561 = sqrt(r22560);
        double r22562 = r22561 - r22556;
        double r22563 = r22555 * r22562;
        double r22564 = sqrt(r22563);
        double r22565 = r22554 * r22564;
        return r22565;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 
(FPCore (re im)
  :name "math.sqrt on complex, imaginary part, im greater than 0 branch"
  (* 0.5 (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))

Backtrace

hash-ref: no value found for key key: #<enode 173(173)>		L	C
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	197	2
extractor-extract	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	196	0
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	35	2
(unnamed)	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	26	0
simplify!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	217	0
run-iter!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	320	0
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	354	4
run-improve43	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	339	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28