Add Pow x0 Pow Add Mul cosh E x0 x0 asec x5 x0 
Add Mul Pow x0 Add Pow Add Mul cosh E x0 x0 asec x5 -1 Add Pow Add Mul cosh E x0 x0 asec x5 Mul Mul x0 log x0 Mul Pow Add Mul cosh E x0 x0 Add asec x5 -1 Mul asec x5 Add cosh E 1 1 