__ieee754_atanhf
extern float __ieee754_atanhf __P((float));
return __ieee754_atanhf(x);
z = __ieee754_atanhf(x);