Add x0 Add acot Mul exp E cosh coth x0 Mul Mul pi cosh Add x0 x0 x7 
Add 1 Add Mul -1 Mul Mul exp E Mul sinh coth x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul Mul exp E cosh coth x0 Mul exp E cosh coth x0 -1 Mul x7 Mul pi Mul sinh Add x0 x0 2 