Pow Mul x0 csch acoth acosh coth x0 x6 
Mul Pow Mul x0 csch acoth acosh coth x0 Add x6 -1 Mul x6 Add csch acoth acosh coth x0 Mul x0 Mul Mul Mul -1 coth acoth acosh coth x0 csch acoth acosh coth x0 Mul Mul Mul -1 Pow csch x0 2 Pow Mul sqrt Add coth x0 -1 sqrt Add 1 coth x0 -1 Pow Add 1 Mul -1 Mul acosh coth x0 acosh coth x0 -1 