Mul asech x0 Pow x7 acot Mul Mul Pow x0 x7 x5 Add cosh Add x0 sinh cosh x0 acosh x0 
Add Mul Pow x7 acot Mul Mul Pow x0 x7 x5 Add cosh Add x0 sinh cosh x0 acosh x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow x7 Add acot Mul Mul Pow x0 x7 x5 Add cosh Add x0 sinh cosh x0 acosh x0 -1 Mul Mul x7 log x7 Mul -1 Mul Add Mul Add cosh Add x0 sinh cosh x0 acosh x0 Mul x5 Mul Pow x0 Add x7 -1 x7 Mul Mul Pow x0 x7 x5 Add Mul sinh Add x0 sinh cosh x0 Add 1 Mul cosh cosh x0 sinh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Mul Mul Pow x0 x7 x5 Add cosh Add x0 sinh cosh x0 acosh x0 Mul Mul Pow x0 x7 x5 Add cosh Add x0 sinh cosh x0 acosh x0 -1 