Use the --timeout flag to change the timeout.
\left(-x \cdot \frac{1}{\tan B}\right) + \frac{1}{\sin B}double code(double B, double x) {
return (-(x * (1.0 / tan(B))) + (1.0 / sin(B)));
}
herbie shell --seed 2020066
(FPCore (B x)
:name "VandenBroeck and Keller, Equation (24)"
:precision binary64
(+ (- (* x (/ 1 (tan B)))) (/ 1 (sin B))))