Use the --timeout flag to change the timeout.
\sin \left({\left(\sqrt{\tan^{-1}_* \frac{b}{b}}\right)}^{\left(b - a\right)}\right)double code(double a, double b) {
return ((double) sin(((double) pow(((double) sqrt(((double) atan2(b, b)))), ((double) (b - a))))));
}
herbie shell --seed 2020113
(FPCore (a b)
:name "Random Jason Timeout Test 015"
:precision binary64
(sin (pow (sqrt (atan2 b b)) (- b a))))