Pow acsch coth x0 sqrt Add x0 Pow x0 Mul x7 x3 
Mul Pow acsch coth x0 Add sqrt Add x0 Pow x0 Mul x7 x3 -1 Add Mul sqrt Add x0 Pow x0 Mul x7 x3 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 Mul Mul acsch coth x0 log acsch coth x0 Mul Pow Mul 2 sqrt Add x0 Pow x0 Mul x7 x3 -1 Add 1 Mul Pow x0 Add Mul x7 x3 -1 Mul x7 x3 