Add Pow 2 acot Add Pow x1 asech coth cosh Add x0 -4 2 4.21460183660255 
Mul Pow 2 Add acot Add Pow x1 asech coth cosh Add x0 -4 2 -1 Mul 2.69314718055995 Mul -1 Mul Mul Pow x1 Add asech coth cosh Add x0 -4 -1 Mul Mul x1 log x1 Mul Mul Mul -1 Pow csch cosh Add x0 -4 2 sinh Add x0 -4 Pow Mul Mul coth cosh Add x0 -4 coth cosh Add x0 -4 sqrt Add 1 Mul -1 Pow Mul coth cosh Add x0 -4 coth cosh Add x0 -4 -1 -1 Pow Add 1 Mul Add Pow x1 asech coth cosh Add x0 -4 2 Add Pow x1 asech coth cosh Add x0 -4 2 -1 