\[\frac{x + \frac{y \cdot z - x}{t \cdot z - x}}{x + 1}\]

\frac{x + \frac{y \cdot z - x}{t \cdot z - x}}{x + 1}

double f(double x, double y, double z, double t) {
        double r583531 = x;
        double r583532 = y;
        double r583533 = z;
        double r583534 = r583532 * r583533;
        double r583535 = r583534 - r583531;
        double r583536 = t;
        double r583537 = r583536 * r583533;
        double r583538 = r583537 - r583531;
        double r583539 = r583535 / r583538;
        double r583540 = r583531 + r583539;
        double r583541 = 1.0;
        double r583542 = r583531 + r583541;
        double r583543 = r583540 / r583542;
        return r583543;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 +o rules:numerics
(FPCore (x y z t)
  :name "Diagrams.Trail:splitAtParam  from diagrams-lib-1.3.0.3, A"
  :precision binary64

  :herbie-target
  (/ (+ x (- (/ y (- t (/ x z))) (/ x (- (* t z) x)))) (+ x 1))

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

Backtrace

dict-ref: no value for key: 'branch583530 in: '((x . binary64) (y . binary64) (z . binary64) (t . binary64))		L	C
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt	106	4
make-sampler	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt	99	0
prepare-points-intervals	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt	121	0
for-loop	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	233	9
sindices->spoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	194	0
f33	/opt/racket-7.2/collects/racket/match/compiler.rkt	507	40
get-final-combination	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	369	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