Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\sqrt{\left(\frac{x}{\left(1\right)}\right)}\right) - \left(\sqrt{x}\right)\]
\left(\sqrt{\left(\frac{x}{\left(1\right)}\right)}\right) - \left(\sqrt{x}\right)
double f(double x) {
        double r1439361 = x;
        double r1439362 = 1.0;
        double r1439363 = /* ERROR: no posit support in C */;
        double r1439364 = r1439361 + r1439363;
        double r1439365 = sqrt(r1439364);
        double r1439366 = sqrt(r1439361);
        double r1439367 = r1439365 - r1439366;
        return r1439367;
}

Reproduce

herbie shell --seed 2019164 
(FPCore (x)
  :name "2sqrt (example 3.1)"
  (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))