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 r94319717 = 1.0;
        double r94319718 = 5.0;
        double r94319719 = v;
        double r94319720 = r94319719 * r94319719;
        double r94319721 = r94319718 * r94319720;
        double r94319722 = r94319717 - r94319721;
        double r94319723 = atan2(1.0, 0.0);
        double r94319724 = t;
        double r94319725 = r94319723 * r94319724;
        double r94319726 = 2.0;
        double r94319727 = 3.0;
        double r94319728 = r94319727 * r94319720;
        double r94319729 = r94319717 - r94319728;
        double r94319730 = r94319726 * r94319729;
        double r94319731 = sqrt(r94319730);
        double r94319732 = r94319725 * r94319731;
        double r94319733 = r94319717 - r94319720;
        double r94319734 = r94319732 * r94319733;
        double r94319735 = r94319722 / r94319734;
        return r94319735;
}

Reproduce

herbie shell --seed 2019104 +o rules:numerics
(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)))))