\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020355 
(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

/: division by zeroLC
all-partitions/data/pavpan/nightlies/herbie/taylor-one-var/src/core/taylor.rkt3370
(unnamed)/data/pavpan/nightlies/herbie/taylor-one-var/src/core/taylor.rkt35523
hash-ref!/opt/racket-7.9/collects/racket/private/more-scheme.rkt3772
(unnamed)/data/pavpan/nightlies/herbie/taylor-one-var/src/core/taylor.rkt23023
hash-ref!/opt/racket-7.9/collects/racket/private/more-scheme.rkt3772
next/data/pavpan/nightlies/herbie/taylor-one-var/src/core/taylor.rkt202
(unnamed)/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1534
loop/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt17410
for-loop/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1698
for-loop/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1698
taylor-alt/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1610
gen-series!/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt1850
run-iter!/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt3800
run-improve/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt3970
(unnamed)/data/pavpan/nightlies/herbie/taylor-one-var/src/sandbox.rkt546
run/opt/racket-7.9/share/pkgs/profile-lib/main.rkt392
profile-thunk/opt/racket-7.9/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.9/collects/racket/engine.rkt4224

Reproduce

herbie shell --seed 2020355 
(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))))