\[0.0 \le u1 \le 1 \land 0.0 \le u2 \le 1\]

\[\left(\frac{1}{6} \cdot {\left(-2 \cdot \log u1\right)}^{0.5}\right) \cdot \cos \left(\left(2 \cdot \pi\right) \cdot u2\right) + 0.5\]

\left(\frac{1}{6} \cdot {\left(-2 \cdot \log u1\right)}^{0.5}\right) \cdot \cos \left(\left(2 \cdot \pi\right) \cdot u2\right) + 0.5

double f(double u1, double u2) {
        double r79801 = 1.0;
        double r79802 = 6.0;
        double r79803 = r79801 / r79802;
        double r79804 = -2.0;
        double r79805 = u1;
        double r79806 = log(r79805);
        double r79807 = r79804 * r79806;
        double r79808 = 0.5;
        double r79809 = pow(r79807, r79808);
        double r79810 = r79803 * r79809;
        double r79811 = 2.0;
        double r79812 = atan2(1.0, 0.0);
        double r79813 = r79811 * r79812;
        double r79814 = u2;
        double r79815 = r79813 * r79814;
        double r79816 = cos(r79815);
        double r79817 = r79810 * r79816;
        double r79818 = r79817 + r79808;
        return r79818;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 +o rules:numerics
(FPCore (u1 u2)
  :name "normal distribution"
  :precision binary64
  :pre (and (<= 0.0 u1 1) (<= 0.0 u2 1))
  (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 0.5)) (cos (* (* 2 PI) u2))) 0.5))

Backtrace

get-representation: Unknown representation real		L	C
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	65	3
filter	/opt/racket-7.2/collects/racket/private/list.rkt	256	2
infer-splitpoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	34	0
get-final-combination	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	369	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28