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 r4603064 = x;
        double r4603065 = 1.0;
        double r4603066 = /* ERROR: no posit support in C */;
        double r4603067 = r4603064 + r4603066;
        double r4603068 = sqrt(r4603067);
        double r4603069 = sqrt(r4603064);
        double r4603070 = r4603068 - r4603069;
        return r4603070;
}

Reproduce

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