limit (log(x)-log(tanh(x/2))-log(2))*log(x)/x,x=0