Mul coth x0 Mul exp Pow Pow coth x0 Add x0 4 acot x4 x0 
Add Mul Mul exp Pow Pow coth x0 Add x0 4 acot x4 x0 Mul -1 Pow csch x0 2 Mul coth x0 Add Mul x0 Mul exp Pow Pow coth x0 Add x0 4 acot x4 Mul Pow Pow coth x0 Add x0 4 Add acot x4 -1 Mul acot x4 Mul Pow coth x0 Add Add x0 4 -1 Add Mul Add x0 4 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 exp Pow Pow coth x0 Add x0 4 acot x4 