Mul x2 Mul acot Pow x3 Pow x7 Mul E x0 coth x0 
Mul x2 Add Mul coth x0 Mul -1 Mul Mul Pow x3 Add Pow x7 Mul E x0 -1 Mul Mul x3 log x3 Mul Pow x7 Add Mul E x0 -1 Mul Mul x7 log x7 E Pow Add 1 Mul Pow x3 Pow x7 Mul E x0 Pow x3 Pow x7 Mul E x0 -1 Mul acot Pow x3 Pow x7 Mul E x0 Mul -1 Pow csch x0 2 