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 r12299 = 0.5;
        double r12300 = /* ERROR: no posit support in C */;
        double r12301 = 2.0;
        double r12302 = /* ERROR: no posit support in C */;
        double r12303 = re;
        double r12304 = r12303 * r12303;
        double r12305 = im;
        double r12306 = r12305 * r12305;
        double r12307 = r12304 + r12306;
        double r12308 = sqrt(r12307);
        double r12309 = r12308 + r12303;
        double r12310 = r12302 * r12309;
        double r12311 = sqrt(r12310);
        double r12312 = r12300 * r12311;
        return r12312;
}

Reproduce

herbie shell --seed 2019144 +o rules:numerics
(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)))))