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