integrals with inverse hyperbolics.mp4