Mul Pow acsch acsch coth x0 x0 coth asech x3 
Mul coth asech x3 Mul Pow acsch acsch coth x0 Add x0 -1 Add Mul x0 Mul Mul -1 Mul Mul -1 Mul -1 Pow csch x0 2 Pow Mul Mul coth x0 coth x0 sqrt Add 1 Mul -1 Pow Mul coth x0 coth x0 -1 -1 Pow Mul Mul acsch coth x0 acsch coth x0 sqrt Add 1 Mul -1 Pow Mul acsch coth x0 acsch coth x0 -1 -1 Mul acsch acsch coth x0 log acsch acsch coth x0 