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 r26102677 = 3.0;
        double r26102678 = 2.0;
        double r26102679 = r;
        double r26102680 = r26102679 * r26102679;
        double r26102681 = r26102678 / r26102680;
        double r26102682 = r26102677 + r26102681;
        double r26102683 = 0.125;
        double r26102684 = v;
        double r26102685 = r26102678 * r26102684;
        double r26102686 = r26102677 - r26102685;
        double r26102687 = r26102683 * r26102686;
        double r26102688 = w;
        double r26102689 = r26102688 * r26102688;
        double r26102690 = r26102689 * r26102679;
        double r26102691 = r26102690 * r26102679;
        double r26102692 = r26102687 * r26102691;
        double r26102693 = 1.0;
        double r26102694 = r26102693 - r26102684;
        double r26102695 = r26102692 / r26102694;
        double r26102696 = r26102682 - r26102695;
        double r26102697 = 4.5;
        double r26102698 = r26102696 - r26102697;
        return r26102698;
}

Reproduce

herbie shell --seed 2019112 +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))