Exception for Statistics.Distribution.Poisson.Internal:probability from math-functions-0.1.5.2

Math

\[e^{\left(x + y \cdot \log y\right) - z}\]

C

double f(double x, double y, double z) {
        double r10170080 = x;
        double r10170081 = y;
        double r10170082 = log(r10170081);
        double r10170083 = r10170081 * r10170082;
        double r10170084 = r10170080 + r10170083;
        double r10170085 = z;
        double r10170086 = r10170084 - r10170085;
        double r10170087 = exp(r10170086);
        return r10170087;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019174 +o rules:numerics
(FPCore (x y z)
  :name "Statistics.Distribution.Poisson.Internal:probability from math-functions-0.1.5.2"

  :herbie-target
  (exp (+ (- x z) (* (log y) y)))

  (exp (- (+ x (* y (log y))) z)))

Backtrace

denominator: contract violation expected: rational? given: +nan.0		L	C
composed	/opt/racket-7.0/collects/racket/private/list.rkt	321	16
group-by61	/opt/racket-7.0/collects/racket/list.rkt	771	0
make-multiplication-subnode	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/reduce.rkt	244	0
make-multiplication-node	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/reduce.rkt	234	0
simplify	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/reduce.rkt	16	0
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
for-loop	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	517	59
parse-loop402	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
for-loop	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	514	35
(unnamed)	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	510	23
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
for-loop	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	304	27
(unnamed)	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	301	23
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	268	2
taylor	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	170	0
for-loop	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	30	18
approximate9	/data/pavpan/nightlies/herbie/move-sample-ranges/src/core/taylor.rkt	12	0
(unnamed)	/opt/racket-7.0/collects/racket/contract/private/arrow-higher-order.rkt	357	33
location-do	/data/pavpan/nightlies/herbie/move-sample-ranges/src/programs.rkt	64	0
(unnamed)	/opt/racket-7.0/collects/racket/contract/private/arrow-higher-order.rkt	357	33
for-loop	/data/pavpan/nightlies/herbie/move-sample-ranges/src/mainloop.rkt	145	6
taylor-alt	/data/pavpan/nightlies/herbie/move-sample-ranges/src/mainloop.rkt	139	0
for-loop	/data/pavpan/nightlies/herbie/move-sample-ranges/src/mainloop.rkt	160	7
gen-series!	/data/pavpan/nightlies/herbie/move-sample-ranges/src/mainloop.rkt	153	0
run-iter!	/data/pavpan/nightlies/herbie/move-sample-ranges/src/mainloop.rkt	320	0
for-loop	/data/pavpan/nightlies/herbie/move-sample-ranges/src/mainloop.rkt	354	4
run-improve43	/data/pavpan/nightlies/herbie/move-sample-ranges/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