\[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 r76443 = 1.0;
        double r76444 = 6.0;
        double r76445 = r76443 / r76444;
        double r76446 = -2.0;
        double r76447 = u1;
        double r76448 = log(r76447);
        double r76449 = r76446 * r76448;
        double r76450 = 0.5;
        double r76451 = pow(r76449, r76450);
        double r76452 = r76445 * r76451;
        double r76453 = 2.0;
        double r76454 = atan2(1.0, 0.0);
        double r76455 = r76453 * r76454;
        double r76456 = u2;
        double r76457 = r76455 * r76456;
        double r76458 = cos(r76457);
        double r76459 = r76452 * r76458;
        double r76460 = r76459 + r76450;
        return r76460;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(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