\int{\frac{ch(t)dt}{ch(t)}} = \int{dt}