Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[i \gt \left(0\right)\]
\[\frac{\left(\frac{\left(\left(i \cdot i\right) \cdot \left(i \cdot i\right)\right)}{\left(\left(\left(2\right) \cdot i\right) \cdot \left(\left(2\right) \cdot i\right)\right)}\right)}{\left(\left(\left(\left(2\right) \cdot i\right) \cdot \left(\left(2\right) \cdot i\right)\right) - \left(1.0\right)\right)}\]
\frac{\left(\frac{\left(\left(i \cdot i\right) \cdot \left(i \cdot i\right)\right)}{\left(\left(\left(2\right) \cdot i\right) \cdot \left(\left(2\right) \cdot i\right)\right)}\right)}{\left(\left(\left(\left(2\right) \cdot i\right) \cdot \left(\left(2\right) \cdot i\right)\right) - \left(1.0\right)\right)}
double f(double i) {
        double r2552337 = i;
        double r2552338 = r2552337 * r2552337;
        double r2552339 = r2552338 * r2552338;
        double r2552340 = 2.0;
        double r2552341 = /* ERROR: no posit support in C */;
        double r2552342 = r2552341 * r2552337;
        double r2552343 = r2552342 * r2552342;
        double r2552344 = r2552339 / r2552343;
        double r2552345 = 1.0;
        double r2552346 = /* ERROR: no posit support in C */;
        double r2552347 = r2552343 - r2552346;
        double r2552348 = r2552344 / r2552347;
        return r2552348;
}

Reproduce

herbie shell --seed 2019164 
(FPCore (i)
  :name "Octave 3.8, jcobi/4, as called"
  :pre (and (>.p16 i (real->posit16 0)))
  (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))