Reproduce

Please include this information when filing a bug report:

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

  :herbie-target
  (if (< (/ (* (/ y z) t) t) -1.20672205123045e+245) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) -5.907522236933906e-275) (* x (/ y z)) (if (< (/ (* (/ y z) t) t) 5.658954423153415e-65) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) 2.0087180502407133e+217) (* x (/ y z)) (/ (* y x) z)))))

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

Backtrace

/: division by zero		L	C
all-partitions	/data/pavpan/nightlies/herbie/taylor-one-var/src/core/taylor.rkt	337	0
(unnamed)	/data/pavpan/nightlies/herbie/taylor-one-var/src/core/taylor.rkt	355	23
hash-ref!	/opt/racket-7.9/collects/racket/private/more-scheme.rkt	377	2
next	/data/pavpan/nightlies/herbie/taylor-one-var/src/core/taylor.rkt	20	2
(unnamed)	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	153	4
loop	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	174	10
for-loop	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	169	8
for-loop	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	169	8
taylor-alt	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	161	0
for-loop	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	194	7
gen-series!	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	185	0
run-iter!	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	380	0
for-loop	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	411	2
run-improve	/data/pavpan/nightlies/herbie/taylor-one-var/src/mainloop.rkt	397	0
(unnamed)	/data/pavpan/nightlies/herbie/taylor-one-var/src/sandbox.rkt	54	6
run	/opt/racket-7.9/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk	/opt/racket-7.9/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.9/collects/racket/engine.rkt	42	24

Reproduce

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

  :herbie-target
  (if (< (/ (* (/ y z) t) t) -1.20672205123045e+245) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) -5.907522236933906e-275) (* x (/ y z)) (if (< (/ (* (/ y z) t) t) 5.658954423153415e-65) (/ y (/ z x)) (if (< (/ (* (/ y z) t) t) 2.0087180502407133e+217) (* x (/ y z)) (/ (* y x) z)))))

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