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