Mul Pow Add Pow x0 asec sqrt cosh x0 5 -1 x7 
Mul x7 Mul Pow Add Pow x0 asec sqrt cosh x0 5 2 Mul -1 Mul Pow x0 Add asec sqrt cosh x0 -1 Add asec sqrt cosh x0 Mul Mul x0 log x0 Mul Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sqrt cosh x0 sqrt cosh x0 -1 sqrt cosh x0 sqrt cosh x0 -1 