Pow coth acosh coth x2 coth Add Pow acsch E x0 cot x0 
Mul Pow coth acosh coth x2 Add coth Add Pow acsch E x0 cot x0 -1 Mul Mul coth acosh coth x2 log coth acosh coth x2 Mul Mul -1 Pow csch Add Pow acsch E x0 cot x0 2 Add Mul Pow acsch E Add x0 -1 Mul acsch E log acsch E Mul -1 Pow csc x0 2 