Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{1 - 5 \cdot \left(v \cdot v\right)}{\left(\left(\pi \cdot t\right) \cdot \sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}\right) \cdot \left(1 - v \cdot v\right)}\]
\frac{1 - 5 \cdot \left(v \cdot v\right)}{\left(\left(\pi \cdot t\right) \cdot \sqrt{2 \cdot \left(1 - 3 \cdot \left(v \cdot v\right)\right)}\right) \cdot \left(1 - v \cdot v\right)}
double f(double v, double t) {
        double r144708586 = 1.0;
        double r144708587 = 5.0;
        double r144708588 = v;
        double r144708589 = r144708588 * r144708588;
        double r144708590 = r144708587 * r144708589;
        double r144708591 = r144708586 - r144708590;
        double r144708592 = atan2(1.0, 0.0);
        double r144708593 = t;
        double r144708594 = r144708592 * r144708593;
        double r144708595 = 2.0;
        double r144708596 = 3.0;
        double r144708597 = r144708596 * r144708589;
        double r144708598 = r144708586 - r144708597;
        double r144708599 = r144708595 * r144708598;
        double r144708600 = sqrt(r144708599);
        double r144708601 = r144708594 * r144708600;
        double r144708602 = r144708586 - r144708589;
        double r144708603 = r144708601 * r144708602;
        double r144708604 = r144708591 / r144708603;
        return r144708604;
}

Reproduce

herbie shell --seed 2019125 
(FPCore (v t)
  :name "Falkner and Boettcher, Equation (20:1,3)"
  (/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))