Graphics.Rendering.Plot.Render.Plot.Axis:tickPosition from plot-0.2.3.4

?

\[x + \left(y - x\right) \cdot \frac{z}{t} \]
(FPCore (x y z t) :precision binary64 (+ x (* (- y x) (/ z t))))
double code(double x, double y, double z, double t) {
	return x + ((y - x) * (z / 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 - x) * (z / t))
end function
public static double code(double x, double y, double z, double t) {
	return x + ((y - x) * (z / t));
}
def code(x, y, z, t):
	return x + ((y - x) * (z / t))
function code(x, y, z, t)
	return Float64(x + Float64(Float64(y - x) * Float64(z / t)))
end
function tmp = code(x, y, z, t)
	tmp = x + ((y - x) * (z / t));
end
code[x_, y_, z_, t_] := N[(x + N[(N[(y - x), $MachinePrecision] * N[(z / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
x + \left(y - x\right) \cdot \frac{z}{t}

Reproduce?

Please include this information when filing a bug report:

herbie shell --seed 2023241 
(FPCore (x y z t)
  :name "Graphics.Rendering.Plot.Render.Plot.Axis:tickPosition from plot-0.2.3.4"
  :precision binary64

  :herbie-target
  (if (< (* (- y x) (/ z t)) -1013646692435.8867) (+ x (/ (- y x) (/ t z))) (if (< (* (- y x) (/ z t)) 0.0) (+ x (/ (* (- y x) z) t)) (+ x (/ (- y x) (/ t z)))))

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

Backtrace

inexact?: contract violation expected: number? given: (ival (bf "-2.098578716467387692404358116883839070632e323228496") (bf "2.098578716467387692404358116883839070632e323228496"))LC
real->bigfloat/usr/share/racket/pkgs/math-lib/math/private/bigfloat/mpfr.rkt4700
...row-higher-order.rkt:375:33/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt37533
arg->precision/home/nightlies/herbie/arb-support/src/programs.rkt13811
f/home/nightlies/herbie/arb-support/src/programs.rkt1902
(unnamed)/home/nightlies/herbie/arb-support/src/ground-truth.rkt232
search-step/home/nightlies/herbie/arb-support/src/searchreals.rkt370
find-intervals/home/nightlies/herbie/arb-support/src/searchreals.rkt870
make-sampler/home/nightlies/herbie/arb-support/src/sampling.rkt940
sample-points/home/nightlies/herbie/arb-support/src/ground-truth.rkt640
setup-context!/home/nightlies/herbie/arb-support/src/mainloop.rkt2930
get-alternatives/report/home/nightlies/herbie/arb-support/src/sandbox.rkt1480
(unnamed)/home/nightlies/herbie/arb-support/src/sandbox.rkt2476
(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