Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B

Specification

?
\[\begin{array}{l} \\ x \cdot \frac{\frac{y}{z} \cdot t}{t} \end{array} \]
(FPCore (x y z t) :precision binary64 (* x (/ (* (/ y z) t) t)))
double code(double x, double y, double z, double t) {
	return x * (((y / z) * t) / t);
}
real(8) function code(x, y, z, t)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    real(8), intent (in) :: t
    code = x * (((y / z) * t) / t)
end function
public static double code(double x, double y, double z, double t) {
	return x * (((y / z) * t) / t);
}
def code(x, y, z, t):
	return x * (((y / z) * t) / t)
function code(x, y, z, t)
	return Float64(x * Float64(Float64(Float64(y / z) * t) / t))
end
function tmp = code(x, y, z, t)
	tmp = x * (((y / z) * t) / t);
end
code[x_, y_, z_, t_] := N[(x * N[(N[(N[(y / z), $MachinePrecision] * t), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}

\\
x \cdot \frac{\frac{y}{z} \cdot t}{t}
\end{array}

Reproduce

?
herbie shell --seed 2024276 
(FPCore (x y z t)
  :name "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B"
  :precision binary64

  :alt
  (! :herbie-platform default (if (< (/ (* (/ y z) t) t) -120672205123045000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) -2953761118466953/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* x (/ y z)) (if (< (/ (* (/ y z) t) t) 1131790884630683/20000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) 20087180502407133000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* x (/ y z)) (/ (* y x) z))))))

  (* x (/ (* (/ y z) t) t)))

Please file a bug report with this information.

Backtrace

match-define: no matching clause for (ddlf +nan.0 +nan.0 #f 1185.28838417699 9.44333744751162e-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