exp Add Pow x0 Mul cosh Add x0 asec x3 sec acos x5 x0 
Mul exp Add Pow x0 Mul cosh Add x0 asec x3 sec acos x5 x0 Add Mul Pow x0 Add Mul cosh Add x0 asec x3 sec acos x5 -1 Add Mul cosh Add x0 asec x3 sec acos x5 Mul Mul x0 log x0 Mul sec acos x5 sinh Add x0 asec x3 1 