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 r167205255 = 1.0;
        double r167205256 = 5.0;
        double r167205257 = v;
        double r167205258 = r167205257 * r167205257;
        double r167205259 = r167205256 * r167205258;
        double r167205260 = r167205255 - r167205259;
        double r167205261 = atan2(1.0, 0.0);
        double r167205262 = t;
        double r167205263 = r167205261 * r167205262;
        double r167205264 = 2.0;
        double r167205265 = 3.0;
        double r167205266 = r167205265 * r167205258;
        double r167205267 = r167205255 - r167205266;
        double r167205268 = r167205264 * r167205267;
        double r167205269 = sqrt(r167205268);
        double r167205270 = r167205263 * r167205269;
        double r167205271 = r167205255 - r167205258;
        double r167205272 = r167205270 * r167205271;
        double r167205273 = r167205260 / r167205272;
        return r167205273;
}

Reproduce

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