int_0infinity log((ex+1)/(ex-1))