Migdal et al, Equation (51)

Specification

?
\[\begin{array}{l} \\ \frac{1}{\sqrt{k}} \cdot {\left(\left(2 \cdot \mathsf{PI}\left(\right)\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))))
\begin{array}{l}

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

Reproduce

?
herbie shell --seed 2024346 
(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

>: contract violation expected: real? given: '#s(logfloat 4.0 0.0 #t 2.0 0.0)LC
predict-errors-eftsan/home/nightlies/herbie/bhargav-eftsan/src/core/explain.rkt350
explain!/home/nightlies/herbie/bhargav-eftsan/src/core/mainloop.rkt3210
run-improve!/home/nightlies/herbie/bhargav-eftsan/src/core/mainloop.rkt460
get-alternatives/report/home/nightlies/herbie/bhargav-eftsan/src/api/sandbox.rkt1860
(unnamed)/home/nightlies/herbie/bhargav-eftsan/src/api/sandbox.rkt2826
(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