\[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 r7988 = 1.0;
        double r7989 = 6.0;
        double r7990 = r7988 / r7989;
        double r7991 = -2.0;
        double r7992 = u1;
        double r7993 = log(r7992);
        double r7994 = r7991 * r7993;
        double r7995 = 0.5;
        double r7996 = pow(r7994, r7995);
        double r7997 = r7990 * r7996;
        double r7998 = 2.0;
        double r7999 = atan2(1.0, 0.0);
        double r8000 = r7998 * r7999;
        double r8001 = u2;
        double r8002 = r8000 * r8001;
        double r8003 = cos(r8002);
        double r8004 = r7997 * r8003;
        double r8005 = r8004 + r7995;
        return r8005;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 
(FPCore (u1 u2)
  :name "normal distribution"
  :pre (and (<= 0.0 u1 1.0) (<= 0.0 u2 1.0))
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))

Backtrace

get-representation: Unknown representation #f		L	C
loop	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	122	4
prepare-points	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	146	0
setup-prog!34	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	67	0
run-improve43	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	339	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28