csch Pow acsc x7 Pow E acoth x0 
Mul Mul Mul -1 coth Pow acsc x7 Pow E acoth x0 csch Pow acsc x7 Pow E acoth x0 Mul Pow acsc x7 Add Pow E acoth x0 -1 Mul Mul acsc x7 log acsc x7 Mul Pow E Add acoth x0 -1 Mul Mul E log E Pow Add 1 Mul -1 Mul x0 x0 -1 