Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(0.5\right) \cdot \left(\sqrt{\left(\left(2.0\right) \cdot \left(\frac{\left(\sqrt{\left(\frac{\left(re \cdot re\right)}{\left(im \cdot im\right)}\right)}\right)}{re}\right)\right)}\right)\]
\left(0.5\right) \cdot \left(\sqrt{\left(\left(2.0\right) \cdot \left(\frac{\left(\sqrt{\left(\frac{\left(re \cdot re\right)}{\left(im \cdot im\right)}\right)}\right)}{re}\right)\right)}\right)
double f(double re, double im) {
        double r12011 = 0.5;
        double r12012 = /* ERROR: no posit support in C */;
        double r12013 = 2.0;
        double r12014 = /* ERROR: no posit support in C */;
        double r12015 = re;
        double r12016 = r12015 * r12015;
        double r12017 = im;
        double r12018 = r12017 * r12017;
        double r12019 = r12016 + r12018;
        double r12020 = sqrt(r12019);
        double r12021 = r12020 + r12015;
        double r12022 = r12014 * r12021;
        double r12023 = sqrt(r12022);
        double r12024 = r12012 * r12023;
        return r12024;
}

Reproduce

herbie shell --seed 2019144 
(FPCore (re im)
  :name "math.sqrt on complex, real part"
  (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))