Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(\left(-2 \cdot J\right) \cdot \cos \left(\frac{K}{2}\right)\right) \cdot \sqrt{1 + {\left(\frac{U}{\left(2 \cdot J\right) \cdot \cos \left(\frac{K}{2}\right)}\right)}^{2}}\]
\left(\left(-2 \cdot J\right) \cdot \cos \left(\frac{K}{2}\right)\right) \cdot \sqrt{1 + {\left(\frac{U}{\left(2 \cdot J\right) \cdot \cos \left(\frac{K}{2}\right)}\right)}^{2}}
double f(double J, double K, double U) {
        double r110270062 = -2.0;
        double r110270063 = J;
        double r110270064 = r110270062 * r110270063;
        double r110270065 = K;
        double r110270066 = 2.0;
        double r110270067 = r110270065 / r110270066;
        double r110270068 = cos(r110270067);
        double r110270069 = r110270064 * r110270068;
        double r110270070 = 1.0;
        double r110270071 = U;
        double r110270072 = r110270066 * r110270063;
        double r110270073 = r110270072 * r110270068;
        double r110270074 = r110270071 / r110270073;
        double r110270075 = pow(r110270074, r110270066);
        double r110270076 = r110270070 + r110270075;
        double r110270077 = sqrt(r110270076);
        double r110270078 = r110270069 * r110270077;
        return r110270078;
}

Reproduce

herbie shell --seed 2019128 
(FPCore (J K U)
  :name "Maksimov and Kolovsky, Equation (3)"
  (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))))