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