atanh(1/x_):=acoth(x);
atanh(-x_):= -atanh(x);

atanh(1):= oo;