normal distribution

Specification

?
\[\left(0 \leq u1 \land u1 \leq 1\right) \land \left(0 \leq u2 \land u2 \leq 1\right)\]
\[\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} \]
(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}

Reproduce

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

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