\[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 r8116 = 1.0;
        double r8117 = 6.0;
        double r8118 = r8116 / r8117;
        double r8119 = -2.0;
        double r8120 = u1;
        double r8121 = log(r8120);
        double r8122 = r8119 * r8121;
        double r8123 = 0.5;
        double r8124 = pow(r8122, r8123);
        double r8125 = r8118 * r8124;
        double r8126 = 2.0;
        double r8127 = atan2(1.0, 0.0);
        double r8128 = r8126 * r8127;
        double r8129 = u2;
        double r8130 = r8128 * r8129;
        double r8131 = cos(r8130);
        double r8132 = r8125 * r8131;
        double r8133 = r8132 + r8123;
        return r8133;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019194 +o rules:numerics
(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

result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0		L	C
loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt	25	2
(unnamed)	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	26	0
simplify!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	220	0
run-improve47	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	342	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