#include "ieee754names.h" #include "fdlibm/e_atanh.c"