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 r75915173 = 3.0;
        double r75915174 = 2.0;
        double r75915175 = r;
        double r75915176 = r75915175 * r75915175;
        double r75915177 = r75915174 / r75915176;
        double r75915178 = r75915173 + r75915177;
        double r75915179 = 0.125;
        double r75915180 = v;
        double r75915181 = r75915174 * r75915180;
        double r75915182 = r75915173 - r75915181;
        double r75915183 = r75915179 * r75915182;
        double r75915184 = w;
        double r75915185 = r75915184 * r75915184;
        double r75915186 = r75915185 * r75915175;
        double r75915187 = r75915186 * r75915175;
        double r75915188 = r75915183 * r75915187;
        double r75915189 = 1.0;
        double r75915190 = r75915189 - r75915180;
        double r75915191 = r75915188 / r75915190;
        double r75915192 = r75915178 - r75915191;
        double r75915193 = 4.5;
        double r75915194 = r75915192 - r75915193;
        return r75915194;
}

Reproduce

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