Cannot sample enough valid points. (more)

\[\cos^{-1} \left(e^{\cosh \left(\log \left(a \cdot a\right)\right)}\right)\]
\cos^{-1} \left(e^{\cosh \left(\log \left(a \cdot a\right)\right)}\right)
double code(double a) {
	return ((double) acos(((double) exp(((double) cosh(((double) log(((double) (a * a))))))))));
}

Reproduce

herbie shell --seed 2020152 
(FPCore (a)
  :name "(acos (exp (cosh (log (* a a)))))"
  :precision binary64
  (acos (exp (cosh (log (* a a))))))