coth Mul csch Pow log acsch x0 E x7 
Mul Mul -1 Pow csch Mul csch Pow log acsch x0 E x7 2 Mul x7 Mul Mul Mul -1 coth Pow log acsch x0 E csch Pow log acsch x0 E Mul Pow log acsch x0 Add E -1 Mul E Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow acsch x0 -1 