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