Add Mul x0 x0 Pow cosh Pow x0 Pow 3 sech E x0 
Add Add x0 x0 Mul Pow cosh Pow x0 Pow 3 sech E Add x0 -1 Add Mul x0 Mul sinh Pow x0 Pow 3 sech E Mul Pow x0 Add Pow 3 sech E -1 Pow 3 sech E Mul cosh Pow x0 Pow 3 sech E log cosh Pow x0 Pow 3 sech E 