Exception for (/ (cos x) (sin 0))

Math

\[\frac{\cos x}{\sin 0.0}\]

C

double code(double x) {
	return ((double) (((double) cos(x)) / ((double) sin(0.0))));
}

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(/ (cos x) (sin 0))"
  :precision binary64
  (/ (cos x) (sin 0.0)))