Add Mul x0 sqrt x7 Mul acosh coth csch coth x0 2 
Add sqrt x7 Mul 2 Mul Mul Mul -1 Pow csch csch coth x0 2 Mul Mul Mul -1 coth coth x0 csch coth x0 Mul -1 Pow csch x0 2 Pow Mul sqrt Add coth csch coth x0 -1 sqrt Add 1 coth csch coth x0 -1 