Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}\]
\left(-x \cdot \frac{1}{\tan B}\right) + \frac{F}{\sin B} \cdot {\left(\left(F \cdot F + 2\right) + 2 \cdot x\right)}^{\left(-\frac{1}{2}\right)}
double f(double F, double B, double x) {
        double r51685805 = x;
        double r51685806 = 1.0;
        double r51685807 = B;
        double r51685808 = tan(r51685807);
        double r51685809 = r51685806 / r51685808;
        double r51685810 = r51685805 * r51685809;
        double r51685811 = -r51685810;
        double r51685812 = F;
        double r51685813 = sin(r51685807);
        double r51685814 = r51685812 / r51685813;
        double r51685815 = r51685812 * r51685812;
        double r51685816 = 2.0;
        double r51685817 = r51685815 + r51685816;
        double r51685818 = r51685816 * r51685805;
        double r51685819 = r51685817 + r51685818;
        double r51685820 = r51685806 / r51685816;
        double r51685821 = -r51685820;
        double r51685822 = pow(r51685819, r51685821);
        double r51685823 = r51685814 * r51685822;
        double r51685824 = r51685811 + r51685823;
        return r51685824;
}

Reproduce

herbie shell --seed 2019124 +o rules:numerics
(FPCore (F B x)
  :name "VandenBroeck and Keller, Equation (23)"
  (+ (- (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (- (/ 1 2))))))