Add acosh x6 Mul asech sinh cosh Add x0 acos x0 Pow Add Pow tan x0 x5 x0 -4 
Add Mul Pow Add Pow tan x0 x5 x0 -4 Mul Mul cosh cosh Add x0 acos x0 Mul sinh Add x0 acos x0 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sinh cosh Add x0 acos x0 sinh cosh Add x0 acos x0 sqrt Add 1 Mul -1 Pow Mul sinh cosh Add x0 acos x0 sinh cosh Add x0 acos x0 -1 -1 Mul asech sinh cosh Add x0 acos x0 Mul Pow Add Pow tan x0 x5 x0 5 Mul -4 Add Mul Pow tan x0 Add x5 -1 Mul x5 Pow sec x0 2 1 