Add csch Mul Mul Add acos E x0 x7 -3 Pow Add x1 cosh Add pi coth x0 coth x0 
Add Mul Mul Mul -1 coth Mul Mul Add acos E x0 x7 -3 csch Mul Mul Add acos E x0 x7 -3 Mul -3 x7 Mul Pow Add x1 cosh Add pi coth x0 Add coth x0 -1 Add Mul coth x0 Mul sinh Add pi coth x0 Mul -1 Pow csch x0 2 Mul Mul Add x1 cosh Add pi coth x0 log Add x1 cosh Add pi coth x0 Mul -1 Pow csch x0 2 