Exception for Random Jason Timeout Test 001

Math

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

C

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

Reproduce

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