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