acot Mul Pow x2 asech E Pow Add Add 4 Add x0 Add Pow x7 coth x1 x0 acsch x1 exp E 
Mul -1 Mul Mul Pow x2 asech E Mul Pow Add Add 4 Add x0 Add Pow x7 coth x1 x0 acsch x1 Add exp E -1 Mul exp E 2 Pow Add 1 Mul Mul Pow x2 asech E Pow Add Add 4 Add x0 Add Pow x7 coth x1 x0 acsch x1 exp E Mul Pow x2 asech E Pow Add Add 4 Add x0 Add Pow x7 coth x1 x0 acsch x1 exp E -1 