Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

Specification

?
\[\begin{array}{l} \\ x + \frac{\left(y - z\right) \cdot \left(t - x\right)}{a - z} \end{array} \]
(FPCore (x y z t a) :precision binary64 (+ x (/ (* (- y z) (- t x)) (- a z))))
double code(double x, double y, double z, double t, double a) {
	return x + (((y - z) * (t - x)) / (a - z));
}

real(8) function code(x, y, z, t, a)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    real(8), intent (in) :: t
    real(8), intent (in) :: a
    code = x + (((y - z) * (t - x)) / (a - z))
end function

public static double code(double x, double y, double z, double t, double a) {
	return x + (((y - z) * (t - x)) / (a - z));
}

def code(x, y, z, t, a):
	return x + (((y - z) * (t - x)) / (a - z))

function code(x, y, z, t, a)
	return Float64(x + Float64(Float64(Float64(y - z) * Float64(t - x)) / Float64(a - z)))
end

function tmp = code(x, y, z, t, a)
	tmp = x + (((y - z) * (t - x)) / (a - z));
end

code[x_, y_, z_, t_, a_] := N[(x + N[(N[(N[(y - z), $MachinePrecision] * N[(t - x), $MachinePrecision]), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

\begin{array}{l}

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

Reproduce

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

  :alt
  (! :herbie-platform default (if (< z -125361310560950360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (- t (* (/ y z) (- t x))) (if (< z 44467023691138110000000000000000000000000000000000000000000000000) (+ x (/ (- y z) (/ (- a z) (- t x)))) (- t (* (/ y z) (- t x))))))

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

Please file a bug report with this information.

Backtrace

match-define: no matching clause for (ddlf +nan.0 +nan.0 #t 965.6514057726259 -1.056421738199447e-14)LC
logabs/home/nightlies/herbie/bhargav-log-space/src/core/logspace.rkt1890
representable?/home/nightlies/herbie/bhargav-log-space/src/core/logspace.rkt650
f149.../match/compiler.rkt55940
predict-errors/home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt1020
explain/home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt7120
explain!/home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt3230
run-improve!/home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt450
get-alternatives/report/home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt1860
(unnamed)/home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt2826
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224