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