Mul x0 sec Pow acsch x0 coth x0 
Add sec Pow acsch x0 coth x0 Mul x0 Mul Mul tan Pow acsch x0 coth x0 sec Pow acsch x0 coth x0 Mul Pow acsch x0 Add coth x0 -1 Add Mul coth x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul acsch x0 log acsch x0 Mul -1 Pow csch x0 2 