Mul x7 Pow Pow asech x7 asech Add x0 exp acos cosh Add x6 Mul x5 x0 x0 
Mul x7 Mul Pow Pow asech x7 asech Add x0 exp acos cosh Add x6 Mul x5 x0 Add x0 -1 Add Mul x0 Mul Pow asech x7 Add asech Add x0 exp acos cosh Add x6 Mul x5 x0 -1 Mul Mul asech x7 log asech x7 Mul Add 1 Mul exp acos cosh Add x6 Mul x5 x0 Mul -1 Mul Mul sinh Add x6 Mul x5 x0 x5 Pow sqrt Add 1 Mul -1 Mul cosh Add x6 Mul x5 x0 cosh Add x6 Mul x5 x0 -1 Pow Mul Mul Add x0 exp acos cosh Add x6 Mul x5 x0 Add x0 exp acos cosh Add x6 Mul x5 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 exp acos cosh Add x6 Mul x5 x0 Add x0 exp acos cosh Add x6 Mul x5 x0 -1 -1 Mul Pow asech x7 asech Add x0 exp acos cosh Add x6 Mul x5 x0 log Pow asech x7 asech Add x0 exp acos cosh Add x6 Mul x5 x0 