Migdal et al, Equation (51)

Specification

?
\[\begin{array}{l} \\ \frac{1}{\sqrt{k}} \cdot {\left(\left(2 \cdot \pi\right) \cdot n\right)}^{\left(\frac{1 - k}{2}\right)} \end{array} \]
(FPCore (k n)
 :precision binary64
 (* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))))
double code(double k, double n) {
	return (1.0 / sqrt(k)) * pow(((2.0 * ((double) M_PI)) * n), ((1.0 - k) / 2.0));
}

public static double code(double k, double n) {
	return (1.0 / Math.sqrt(k)) * Math.pow(((2.0 * Math.PI) * n), ((1.0 - k) / 2.0));
}

def code(k, n):
	return (1.0 / math.sqrt(k)) * math.pow(((2.0 * math.pi) * n), ((1.0 - k) / 2.0))

function code(k, n)
	return Float64(Float64(1.0 / sqrt(k)) * (Float64(Float64(2.0 * pi) * n) ^ Float64(Float64(1.0 - k) / 2.0)))
end

function tmp = code(k, n)
	tmp = (1.0 / sqrt(k)) * (((2.0 * pi) * n) ^ ((1.0 - k) / 2.0));
end

code[k_, n_] := N[(N[(1.0 / N[Sqrt[k], $MachinePrecision]), $MachinePrecision] * N[Power[N[(N[(2.0 * Pi), $MachinePrecision] * n), $MachinePrecision], N[(N[(1.0 - k), $MachinePrecision] / 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

\begin{array}{l}

\\
\frac{1}{\sqrt{k}} \cdot {\left(\left(2 \cdot \pi\right) \cdot n\right)}^{\left(\frac{1 - k}{2}\right)}
\end{array}

Reproduce

?
herbie shell --seed 2023271 
(FPCore (k n)
  :name "Migdal et al, Equation (51)"
  :precision binary64
  (* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))))

Please file a bug report with this information.

Backtrace

length: contract violation expected: list? given: 8000LC
(unnamed)/home/nightlies/herbie/arb-support/egg-herbie/main.rkt1112
egraph-run/home/nightlies/herbie/main/src/core/egg-herbie.rkt5020
egraph-run-rules/home/nightlies/herbie/main/src/core/egg-herbie.rkt5590
run-egg/home/nightlies/herbie/main/src/core/egg-herbie.rkt2880
simplify-batch/home/nightlies/herbie/main/src/core/simplify.rkt150
(unnamed)/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt37933
find-preprocessing/home/nightlies/herbie/main/src/preprocess.rkt110
run-improve!/home/nightlies/herbie/main/src/mainloop.rkt3250
get-alternatives/report/home/nightlies/herbie/main/src/sandbox.rkt1490
(unnamed)/home/nightlies/herbie/main/src/sandbox.rkt2456
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224