Add x2 Mul Add acosh x2 Add asech csc x7 Add asec Pow cosh Add x0 2 x0 sinh atanh x0 x0 
Add Mul x0 Add Mul Mul Pow cosh Add x0 2 Add x0 -1 Add Mul x0 sinh Add x0 2 Mul cosh Add x0 2 log cosh Add x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow cosh Add x0 2 x0 Pow cosh Add x0 2 x0 -1 Pow cosh Add x0 2 x0 Pow cosh Add x0 2 x0 -1 Mul cosh atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Add acosh x2 Add asech csc x7 Add asec Pow cosh Add x0 2 x0 sinh atanh x0 