Exception for (acos (+ x 1000))

Math

\[\cos^{-1} \left(x + 10^{3}\right)\]

C

double code(double x) {
	return ((double) acos(((double) (x + 1000.0))));
}

Reproduce

herbie shell --seed 2020152 
(FPCore (x)
  :name "(acos (+ x 1000))"
  :precision binary64
  (acos (+ x 1000.0)))