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