Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{1}{\sqrt{k}} \cdot {\left(\left(2 \cdot \pi\right) \cdot n\right)}^{\left(\frac{1 - k}{2}\right)}\]
\frac{1}{\sqrt{k}} \cdot {\left(\left(2 \cdot \pi\right) \cdot n\right)}^{\left(\frac{1 - k}{2}\right)}
double f(double k, double n) {
        double r16316121 = 1.0;
        double r16316122 = k;
        double r16316123 = sqrt(r16316122);
        double r16316124 = r16316121 / r16316123;
        double r16316125 = 2.0;
        double r16316126 = atan2(1.0, 0.0);
        double r16316127 = r16316125 * r16316126;
        double r16316128 = n;
        double r16316129 = r16316127 * r16316128;
        double r16316130 = r16316121 - r16316122;
        double r16316131 = r16316130 / r16316125;
        double r16316132 = pow(r16316129, r16316131);
        double r16316133 = r16316124 * r16316132;
        return r16316133;
}

Reproduce

herbie shell --seed 2019151 +o rules:numerics
(FPCore (k n)
  :name "Migdal et al, Equation (51)"
  (* (/ 1 (sqrt k)) (pow (* (* 2 PI) n) (/ (- 1 k) 2))))