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