Exception for Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, G

Math

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

C

double f(double x, double y, double z) {
        double r39154 = x;
        double r39155 = y;
        double r39156 = z;
        double r39157 = r39156 + r39155;
        double r39158 = r39155 / r39157;
        double r39159 = log(r39158);
        double r39160 = r39155 * r39159;
        double r39161 = exp(r39160);
        double r39162 = r39161 / r39155;
        double r39163 = r39154 + r39162;
        return r39163;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019315 +o rules:numerics
(FPCore (x y z)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, G"
  :precision binary64

  :herbie-target
  (if (< (/ y (+ z y)) 7.1154157598e-315) (+ x (/ (exp (/ -1 z)) y)) (+ x (/ (exp (log (pow (/ y (+ y z)) y))) y)))

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

Backtrace

match: no matching clause for 'binary64		L	C
match:error	/opt/racket-7.2/collects/racket/match/runtime.rkt	24	0
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt	246	3
make-multiplication-subnode	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt	244	0
make-multiplication-node	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt	234	0
map	/opt/racket-7.2/collects/racket/private/map.rkt	35	13
f45	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
map	/opt/racket-7.2/collects/racket/private/map.rkt	35	13
f45	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
simplify	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt	16	0
hash-ref!	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	376	2
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	517	59
parse-loop402	/opt/racket-7.2/collects/racket/match/compiler.rkt	418	15
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	514	35
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	510	23
hash-ref!	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	376	2
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	304	27
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	301	23
hash-ref!	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	376	2
loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	268	2
taylor	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	170	0
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	30	18
approximate9	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt	12	0
(unnamed)	/opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt	360	33
location-do	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt	64	0
location-do	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt	64	0
location-do	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt	64	0
(unnamed)	/opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt	360	33
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	151	6
taylor-alt	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	145	0
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	166	7
gen-series!	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	159	0
run-iter!	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	326	0
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	364	4
run-improve47	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	345	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