\frac 12\int\frac{dt}{1+t}