\[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]

\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}

double f(double x, double y, double z, double t, double a, double b) {
        double r3082724 = x;
        double r3082725 = y;
        double r3082726 = z;
        double r3082727 = log(r3082726);
        double r3082728 = r3082725 * r3082727;
        double r3082729 = t;
        double r3082730 = 1.0;
        double r3082731 = r3082729 - r3082730;
        double r3082732 = a;
        double r3082733 = log(r3082732);
        double r3082734 = r3082731 * r3082733;
        double r3082735 = r3082728 + r3082734;
        double r3082736 = b;
        double r3082737 = r3082735 - r3082736;
        double r3082738 = exp(r3082737);
        double r3082739 = r3082724 * r3082738;
        double r3082740 = r3082739 / r3082725;
        return r3082740;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019165 +o rules:numerics
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2"
  (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

Backtrace

->bf: contract violation expected: value? given: 'E 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