Cannot sample enough valid points. (more)

\[x + \sin^{-1} \left(\cosh x\right)\]

x + \sin^{-1} \left(\cosh x\right)

double code(double x) {
	return ((double) (x + ((double) asin(((double) cosh(x))))));
}

Reproduce

herbie shell --seed 2020123 
(FPCore (x)
  :name "Random Jason Timeout Test 001"
  :precision binary64
  (+ x (asin (cosh x))))