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 r73363904 = 3.0;
        double r73363905 = 2.0;
        double r73363906 = r;
        double r73363907 = r73363906 * r73363906;
        double r73363908 = r73363905 / r73363907;
        double r73363909 = r73363904 + r73363908;
        double r73363910 = 0.125;
        double r73363911 = v;
        double r73363912 = r73363905 * r73363911;
        double r73363913 = r73363904 - r73363912;
        double r73363914 = r73363910 * r73363913;
        double r73363915 = w;
        double r73363916 = r73363915 * r73363915;
        double r73363917 = r73363916 * r73363906;
        double r73363918 = r73363917 * r73363906;
        double r73363919 = r73363914 * r73363918;
        double r73363920 = 1.0;
        double r73363921 = r73363920 - r73363911;
        double r73363922 = r73363919 / r73363921;
        double r73363923 = r73363909 - r73363922;
        double r73363924 = 4.5;
        double r73363925 = r73363923 - r73363924;
        return r73363925;
}

Reproduce

herbie shell --seed 2019121 
(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))