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