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

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

double f(double x, double y, double z, double t, double a, double b) {
        double r458693 = x;
        double r458694 = y;
        double r458695 = r458693 * r458694;
        double r458696 = z;
        double r458697 = t;
        double r458698 = a;
        double r458699 = r458697 - r458698;
        double r458700 = r458696 * r458699;
        double r458701 = r458695 + r458700;
        double r458702 = b;
        double r458703 = r458702 - r458694;
        double r458704 = r458696 * r458703;
        double r458705 = r458694 + r458704;
        double r458706 = r458701 / r458705;
        return r458706;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(FPCore (x y z t a b)
  :name "Development.Shake.Progress:decay from shake-0.15.5"
  :precision binary64

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

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

Backtrace

get-representation: Unknown representation real		L	C
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	65	3
filter	/opt/racket-7.2/collects/racket/private/list.rkt	256	2
infer-splitpoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	34	0
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