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

\[\left(\frac{1.0}{6.0} \cdot {\left(-2.0 \cdot \log u1\right)}^{0.5}\right) \cdot \cos \left(\left(2.0 \cdot \pi\right) \cdot u2\right) + 0.5\]

\left(\frac{1.0}{6.0} \cdot {\left(-2.0 \cdot \log u1\right)}^{0.5}\right) \cdot \cos \left(\left(2.0 \cdot \pi\right) \cdot u2\right) + 0.5

double f(double u1, double u2) {
        double r476846 = 1.0;
        double r476847 = 6.0;
        double r476848 = r476846 / r476847;
        double r476849 = -2.0;
        double r476850 = u1;
        double r476851 = log(r476850);
        double r476852 = r476849 * r476851;
        double r476853 = 0.5;
        double r476854 = pow(r476852, r476853);
        double r476855 = r476848 * r476854;
        double r476856 = 2.0;
        double r476857 = atan2(1.0, 0.0);
        double r476858 = r476856 * r476857;
        double r476859 = u2;
        double r476860 = r476858 * r476859;
        double r476861 = cos(r476860);
        double r476862 = r476855 * r476861;
        double r476863 = r476862 + r476853;
        return r476863;
}

Reproduce

Please include this information when filing a bug report:

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

->bf: contract violation expected: value? given: 'PI in: the 1st argument of (-> value? bigvalue?) contract from: (function ->bf) blaming: /data/pavpan/nightlies/herbie/optional-posits/src/float.rkt (assuming the contract is correct) at: /data/pavpan/nightlies/herbie/optional-posits/src/float.rkt:163.18		L	C
raise-blame-error16	/opt/racket-7.0/collects/racket/contract/private/blame.rkt	347	0
(unnamed)	/opt/racket-7.0/collects/racket/contract/private/arrow-higher-order.rkt	357	33
(unnamed)	/data/pavpan/nightlies/herbie/optional-posits/src/core/localize.rkt	22	13
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
map	/opt/racket-7.0/collects/racket/private/map.rkt	35	13
f9	/opt/racket-7.0/collects/racket/match/compiler.rkt	507	40
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
localize-error	/data/pavpan/nightlies/herbie/optional-posits/src/core/localize.rkt	52	0
localize!	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	116	0
run-iter!	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	317	0
for-loop	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	351	4
run-improve40	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	336	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