exp Mul atanh Pow sech x0 acosh acsch x7 sec x0 
Mul exp Mul atanh Pow sech x0 acosh acsch x7 sec x0 Add Mul sec x0 Mul Mul Pow sech x0 Add acosh acsch x7 -1 Mul acosh acsch x7 Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul Pow sech x0 acosh acsch x7 Pow sech x0 acosh acsch x7 -1 Mul atanh Pow sech x0 acosh acsch x7 Mul tan x0 sec x0 