\frac18 \int_{-3}^{-1} (3t 25)\sqrt{t^2-1} 80 \frac{t 1}{\sqrt{t^2-1}} dt