Add Add Pow Pow acot tanh Mul E x0 Pow x1 x0 x7 cosh Add -4 x0 x0 
Add Add Mul Pow Pow acot tanh Mul E x0 Pow x1 x0 Add x7 -1 Mul x7 Mul Pow acot tanh Mul E x0 Add Pow x1 x0 -1 Add Mul Pow x1 x0 Mul -1 Mul Mul Pow sech Mul E x0 2 E Pow Add 1 Mul tanh Mul E x0 tanh Mul E x0 -1 Mul Mul acot tanh Mul E x0 log acot tanh Mul E x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 sinh Add -4 x0 1 