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