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