Exception for normal distribution

• Falling back on racket egraph because egg-herbie package not installed

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

Math

\[\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\]

C

double f(double u1, double u2) {
        double r12830 = 1.0;
        double r12831 = 6.0;
        double r12832 = r12830 / r12831;
        double r12833 = -2.0;
        double r12834 = u1;
        double r12835 = log(r12834);
        double r12836 = r12833 * r12835;
        double r12837 = 0.5;
        double r12838 = pow(r12836, r12837);
        double r12839 = r12832 * r12838;
        double r12840 = 2.0;
        double r12841 = atan2(1.0, 0.0);
        double r12842 = r12840 * r12841;
        double r12843 = u2;
        double r12844 = r12842 * r12843;
        double r12845 = cos(r12844);
        double r12846 = r12839 * r12845;
        double r12847 = r12846 + r12837;
        return r12847;
}

Reproduce

Please include this information when filing a bug report:

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

hash-ref: no value found for key key: '(* #<enode 11(126)> #<enode 10(10)>)		L	C
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt	270	6
update-leader!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt	265	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt	77	2
prune-phase	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt	74	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	80	4
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	76	2
(unnamed)	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	56	0
(unnamed)	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	224	0
run-iter!	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	327	0
for-loop	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	365	4
run-improve47	/data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt	346	0
.../more-scheme.rkt:261:28	unknown
run	/opt/racket-7.5/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.5/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.5/collects/racket/private/more-scheme.rkt	261	28