Cannot sample enough valid points. (more)

\[e^{10^{3}}\]

e^{10^{3}}

double code() {
	return ((double) exp(1000.0));
}

Reproduce

herbie shell --seed 2020152 
(FPCore ()
  :name "(exp 1000.0)"
  :precision binary64
  (exp 1000.0))