Mul acsc Mul x0 exp sec E Add acosh x6 Pow Pow x0 x0 Add acsc Pow coth x4 x0 x0 
Add Mul Add acosh x6 Pow Pow x0 x0 Add acsc Pow coth x4 x0 x0 Mul -1 Mul exp sec E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 exp sec E Mul x0 exp sec E -1 Mul x0 exp sec E Mul x0 exp sec E -1 Mul acsc Mul x0 exp sec E Mul Pow Pow x0 x0 Add Add acsc Pow coth x4 x0 x0 -1 Add Mul Add acsc Pow coth x4 x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 Add Mul -1 Mul Mul Pow coth x4 Add x0 -1 Mul coth x4 log coth x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow coth x4 x0 Pow coth x4 x0 -1 Pow coth x4 x0 Pow coth x4 x0 -1 1 