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 r2480699 = i;
        double r2480700 = r2480699 * r2480699;
        double r2480701 = r2480700 * r2480700;
        double r2480702 = 2.0;
        double r2480703 = /* ERROR: no posit support in C */;
        double r2480704 = r2480703 * r2480699;
        double r2480705 = r2480704 * r2480704;
        double r2480706 = r2480701 / r2480705;
        double r2480707 = 1.0;
        double r2480708 = /* ERROR: no posit support in C */;
        double r2480709 = r2480705 - r2480708;
        double r2480710 = r2480706 / r2480709;
        return r2480710;
}

Reproduce

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