Exception for (cosh (* 3 (acosh x)))

Math

\[\cosh \left(3 \cdot \cosh^{-1} x\right)\]

C

double code(double x) {
	return ((double) cosh(((double) (3.0 * ((double) acosh(x))))));
}

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(cosh (* 3 (acosh x)))"
  :precision binary64
  (cosh (* 3.0 (acosh x))))