integral from x=0 to x=ln(2) of tanh(x) dx