sec acoth exp Mul Mul cosh x0 pi x0 
Mul Mul tan acoth exp Mul Mul cosh x0 pi x0 sec acoth exp Mul Mul cosh x0 pi x0 Mul Mul exp Mul Mul cosh x0 pi x0 Add Mul x0 Mul pi sinh x0 Mul cosh x0 pi Pow Add 1 Mul -1 Mul exp Mul Mul cosh x0 pi x0 exp Mul Mul cosh x0 pi x0 -1 