Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{4}{\left(\left(3 \cdot \pi\right) \cdot \left(1 - v \cdot v\right)\right) \cdot \sqrt{2 - 6 \cdot \left(v \cdot v\right)}}\]
\frac{4}{\left(\left(3 \cdot \pi\right) \cdot \left(1 - v \cdot v\right)\right) \cdot \sqrt{2 - 6 \cdot \left(v \cdot v\right)}}
double f(double v) {
        double r68618148 = 4.0;
        double r68618149 = 3.0;
        double r68618150 = atan2(1.0, 0.0);
        double r68618151 = r68618149 * r68618150;
        double r68618152 = 1.0;
        double r68618153 = v;
        double r68618154 = r68618153 * r68618153;
        double r68618155 = r68618152 - r68618154;
        double r68618156 = r68618151 * r68618155;
        double r68618157 = 2.0;
        double r68618158 = 6.0;
        double r68618159 = r68618158 * r68618154;
        double r68618160 = r68618157 - r68618159;
        double r68618161 = sqrt(r68618160);
        double r68618162 = r68618156 * r68618161;
        double r68618163 = r68618148 / r68618162;
        return r68618163;
}

Reproduce

herbie shell --seed 2019120 +o rules:numerics
(FPCore (v)
  :name "Falkner and Boettcher, Equation (22+)"
  (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))))