\[x + \frac{\left(y - x\right) \cdot z}{t}\]

x + \frac{\left(y - x\right) \cdot z}{t}

double f(double x, double y, double z, double t) {
        double r8742 = x;
        double r8743 = y;
        double r8744 = r8743 - r8742;
        double r8745 = z;
        double r8746 = r8744 * r8745;
        double r8747 = t;
        double r8748 = r8746 / r8747;
        double r8749 = r8742 + r8748;
        return r8749;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019179 
(FPCore (x y z t)
  :name "Numeric.Histogram:binBounds from Chart-1.5.3"

  :herbie-target
  (if (< x -9.025511195533005e-135) (- x (* (/ z t) (- x y))) (if (< x 4.275032163700715e-250) (+ x (* (/ (- y x) t) z)) (+ x (/ (- y x) (/ t z)))))

  (+ x (/ (* (- y x) z) t)))

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	217	0
run-improve43	/data/pavpan/nightlies/herbie/various-cleanup/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