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