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