Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\left(3 + \frac{2}{r \cdot r}\right) - \frac{\left(0.125 \cdot \left(3 - 2 \cdot v\right)\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{1 - v}\right) - 4.5\]
\left(\left(3 + \frac{2}{r \cdot r}\right) - \frac{\left(0.125 \cdot \left(3 - 2 \cdot v\right)\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{1 - v}\right) - 4.5
double f(double v, double w, double r) {
        double r19103844 = 3.0;
        double r19103845 = 2.0;
        double r19103846 = r;
        double r19103847 = r19103846 * r19103846;
        double r19103848 = r19103845 / r19103847;
        double r19103849 = r19103844 + r19103848;
        double r19103850 = 0.125;
        double r19103851 = v;
        double r19103852 = r19103845 * r19103851;
        double r19103853 = r19103844 - r19103852;
        double r19103854 = r19103850 * r19103853;
        double r19103855 = w;
        double r19103856 = r19103855 * r19103855;
        double r19103857 = r19103856 * r19103846;
        double r19103858 = r19103857 * r19103846;
        double r19103859 = r19103854 * r19103858;
        double r19103860 = 1.0;
        double r19103861 = r19103860 - r19103851;
        double r19103862 = r19103859 / r19103861;
        double r19103863 = r19103849 - r19103862;
        double r19103864 = 4.5;
        double r19103865 = r19103863 - r19103864;
        return r19103865;
}

Reproduce

herbie shell --seed 2019125 +o rules:numerics
(FPCore (v w r)
  :name "Rosa's TurbineBenchmark"
  (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5))