\[\frac{x + \frac{y \cdot z}{t}}{\left(a + 1\right) + \frac{y \cdot b}{t}}\]
\frac{x + \frac{y \cdot z}{t}}{\left(a + 1\right) + \frac{y \cdot b}{t}}
double f(double x, double y, double z, double t, double a, double b) {
        double r9078 = x;
        double r9079 = y;
        double r9080 = z;
        double r9081 = r9079 * r9080;
        double r9082 = t;
        double r9083 = r9081 / r9082;
        double r9084 = r9078 + r9083;
        double r9085 = a;
        double r9086 = 1.0;
        double r9087 = r9085 + r9086;
        double r9088 = b;
        double r9089 = r9079 * r9088;
        double r9090 = r9089 / r9082;
        double r9091 = r9087 + r9090;
        double r9092 = r9084 / r9091;
        return r9092;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019179 
(FPCore (x y z t a b)
  :name "Diagrams.Solve.Tridiagonal:solveCyclicTriDiagonal from diagrams-solve-0.1, B"

  :herbie-target
  (if (< t -1.3659085366310088e-271) (* 1.0 (* (+ x (* (/ y t) z)) (/ 1.0 (+ (+ a 1.0) (* (/ y t) b))))) (if (< t 3.036967103737246e-130) (/ z b) (* 1.0 (* (+ x (* (/ y t) z)) (/ 1.0 (+ (+ a 1.0) (* (/ y t) b)))))))

  (/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t))))

Backtrace

result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0LC
loop/data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt252
(unnamed)/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt260
simplify!/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt2170
run-improve43/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt3390
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.0/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.0/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128