Pow Add Mul 4 sec x0 Pow sech acosh x7 coth Add x0 x6 -4 
Mul Pow Add Mul 4 sec x0 Pow sech acosh x7 coth Add x0 x6 5 Mul -4 Add Mul 4 Mul tan x0 sec x0 Mul Pow sech acosh x7 Add coth Add x0 x6 -1 Mul Mul sech acosh x7 log sech acosh x7 Mul -1 Pow csch Add x0 x6 2 