Mul Mul Mul E x0 Mul coth Mul Pow x1 x0 4 Add Add 1 x0 x0 x7 
Mul x7 Add Mul Mul coth Mul Pow x1 x0 4 Add Add 1 x0 x0 E Mul Mul E x0 Add Mul Add Add 1 x0 x0 Mul Mul -1 Pow csch Mul Pow x1 x0 4 2 Mul 4 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul coth Mul Pow x1 x0 4 2 