Pow cosh x0 sech Pow x0 Mul cosh Mul Add E x0 x0 6 
Mul Pow cosh x0 Add sech Pow x0 Mul cosh Mul Add E x0 x0 6 -1 Add Mul sech Pow x0 Mul cosh Mul Add E x0 x0 6 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Mul tanh Pow x0 Mul cosh Mul Add E x0 x0 6 Mul -1 sech Pow x0 Mul cosh Mul Add E x0 x0 6 Mul Pow x0 Add Mul cosh Mul Add E x0 x0 6 -1 Add Mul cosh Mul Add E x0 x0 6 Mul Mul x0 log x0 Mul 6 Mul sinh Mul Add E x0 x0 Add x0 Add E x0 