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 r66112478 = 3.0;
        double r66112479 = 2.0;
        double r66112480 = r;
        double r66112481 = r66112480 * r66112480;
        double r66112482 = r66112479 / r66112481;
        double r66112483 = r66112478 + r66112482;
        double r66112484 = 0.125;
        double r66112485 = v;
        double r66112486 = r66112479 * r66112485;
        double r66112487 = r66112478 - r66112486;
        double r66112488 = r66112484 * r66112487;
        double r66112489 = w;
        double r66112490 = r66112489 * r66112489;
        double r66112491 = r66112490 * r66112480;
        double r66112492 = r66112491 * r66112480;
        double r66112493 = r66112488 * r66112492;
        double r66112494 = 1.0;
        double r66112495 = r66112494 - r66112485;
        double r66112496 = r66112493 / r66112495;
        double r66112497 = r66112483 - r66112496;
        double r66112498 = 4.5;
        double r66112499 = r66112497 - r66112498;
        return r66112499;
}

Reproduce

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