Add acosh Pow -1 x5 Add sec Add cosh x0 x0 Pow sech sech E Add x0 x6 
Add Mul Mul tan Add cosh x0 x0 sec Add cosh x0 x0 Add sinh x0 1 Mul Pow sech sech E Add Add x0 x6 -1 Mul sech sech E log sech sech E 