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 r52299540 = x;
        double r52299541 = 1.0;
        double r52299542 = B;
        double r52299543 = tan(r52299542);
        double r52299544 = r52299541 / r52299543;
        double r52299545 = r52299540 * r52299544;
        double r52299546 = -r52299545;
        double r52299547 = F;
        double r52299548 = sin(r52299542);
        double r52299549 = r52299547 / r52299548;
        double r52299550 = r52299547 * r52299547;
        double r52299551 = 2.0;
        double r52299552 = r52299550 + r52299551;
        double r52299553 = r52299551 * r52299540;
        double r52299554 = r52299552 + r52299553;
        double r52299555 = r52299541 / r52299551;
        double r52299556 = -r52299555;
        double r52299557 = pow(r52299554, r52299556);
        double r52299558 = r52299549 * r52299557;
        double r52299559 = r52299546 + r52299558;
        return r52299559;
}

Reproduce

herbie shell --seed 2019112 +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))))))