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