
(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}
herbie shell --seed 2024288
(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.
| expt: arity mismatch; the expected number of arguments does not match the given number expected: 2 given: 1 | L | C | |
|---|---|---|---|
| logexpt | /home/nightlies/herbie/bhargav-log-space/src/core/logspace.rkt | 145 | 0 |
| compiled-prog | /home/nightlies/herbie/bhargav-log-space/src/core/compiler.rkt | 27 | 2 |
| predict-errors | /home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt | 103 | 0 |
| explain | /home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt | 713 | 0 |
| explain! | /home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt | 323 | 0 |
| run-improve! | /home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt | 45 | 0 |
| get-alternatives/report | /home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt | 186 | 0 |
| (unnamed) | /home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt | 282 | 6 |
| (unnamed) | /usr/share/racket/pkgs/profile-lib/main.rkt | 40 | 10 |
| profile-thunk | /usr/share/racket/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/engine.rkt | 42 | 24 |