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

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

double f(double x, double y, double z, double t, double a, double b) {
        double r8162 = x;
        double r8163 = y;
        double r8164 = z;
        double r8165 = log(r8164);
        double r8166 = t;
        double r8167 = r8165 - r8166;
        double r8168 = r8163 * r8167;
        double r8169 = a;
        double r8170 = 1.0;
        double r8171 = r8170 - r8164;
        double r8172 = log(r8171);
        double r8173 = b;
        double r8174 = r8172 - r8173;
        double r8175 = r8169 * r8174;
        double r8176 = r8168 + r8175;
        double r8177 = exp(r8176);
        double r8178 = r8162 * r8177;
        return r8178;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019194 
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:incompleteBetaApprox from math-functions-0.1.5.2, B"
  (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))))

Backtrace

result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0		L	C
loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt	25	2
(unnamed)	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	26	0
simplify!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	220	0
run-improve47	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	342	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