\[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 r8289 = 0.5;
        double r8290 = 2.0;
        double r8291 = re;
        double r8292 = r8291 * r8291;
        double r8293 = im;
        double r8294 = r8293 * r8293;
        double r8295 = r8292 + r8294;
        double r8296 = sqrt(r8295);
        double r8297 = r8296 - r8291;
        double r8298 = r8290 * r8297;
        double r8299 = sqrt(r8298);
        double r8300 = r8289 * r8299;
        return r8300;
}

Reproduce

Please include this information when filing a bug report:

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

Backtrace

hash-ref: no value found for key key: 1.0		L	C
for-loop	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	70	6
egg-parsed->expr	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
for-loop	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	70	6
egg-parsed->expr	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
(unnamed)	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	49	8
egraph-add-exprs	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	122	0
egraph-run	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	55	0
(unnamed)	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt	223	0
run-improve47	/data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt	345	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28