Mul cosh Mul -4 Pow sech Mul coth x6 x0 x0 Add sqrt sinh x0 x0 
Add Mul Add sqrt sinh x0 x0 Mul sinh Mul -4 Pow sech Mul coth x6 x0 x0 Mul -4 Mul Pow sech Mul coth x6 x0 Add x0 -1 Add Mul x0 Mul Mul tanh Mul coth x6 x0 Mul -1 sech Mul coth x6 x0 coth x6 Mul sech Mul coth x6 x0 log sech Mul coth x6 x0 Mul cosh Mul -4 Pow sech Mul coth x6 x0 x0 Add Mul Pow Mul 2 sqrt sinh x0 -1 cosh x0 1 