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

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

double f(double x, double y, double z, double t, double a) {
        double r426523 = x;
        double r426524 = y;
        double r426525 = z;
        double r426526 = r426524 - r426525;
        double r426527 = t;
        double r426528 = r426527 - r426523;
        double r426529 = r426526 * r426528;
        double r426530 = a;
        double r426531 = r426530 - r426525;
        double r426532 = r426529 / r426531;
        double r426533 = r426523 + r426532;
        return r426533;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(FPCore (x y z t a)
  :name "Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3"
  :precision binary64

  :herbie-target
  (if (< z -1.2536131056095036e+188) (- t (* (/ y z) (- t x))) (if (< z 4.446702369113811e+64) (+ x (/ (- y z) (/ (- a z) (- t x)))) (- t (* (/ y z) (- t x)))))

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

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