__ieee754_acosh
extern double __ieee754_acosh __P((double));
return __ieee754_acosh(x);
z = __ieee754_acosh(x);