Mul acosh sech Pow x0 x7 sec x0 
Add Mul sec x0 Mul Mul Mul tanh Pow x0 x7 Mul -1 sech Pow x0 x7 Mul Pow x0 Add x7 -1 x7 Pow Mul sqrt Add sech Pow x0 x7 -1 sqrt Add 1 sech Pow x0 x7 -1 Mul acosh sech Pow x0 x7 Mul tan x0 sec x0 