exp Pow x0 Add Pow cosh Mul asech E csch asec x6 2 4 
Mul exp Pow x0 Add Pow cosh Mul asech E csch asec x6 2 4 Mul Pow x0 Add Add Pow cosh Mul asech E csch asec x6 2 4 -1 Add Pow cosh Mul asech E csch asec x6 2 4 