
(FPCore (u1 u2) :precision binary64 (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 (PI)) u2))) 0.5))
\begin{array}{l}
\\
\left(\frac{1}{6} \cdot {\left(-2 \cdot \log u1\right)}^{0.5}\right) \cdot \cos \left(\left(2 \cdot \mathsf{PI}\left(\right)\right) \cdot u2\right) + 0.5
\end{array}
herbie shell --seed 2024288
(FPCore (u1 u2)
:name "normal distribution"
:precision binary64
:pre (and (and (<= 0.0 u1) (<= u1 1.0)) (and (<= 0.0 u2) (<= u2 1.0)))
(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 (PI)) u2))) 0.5))
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 |