Mul Pow Pow x0 Add Pow cosh x1 x0 Pow x0 x3 x1 Add asec x6 x0 
Add Mul Add asec x6 x0 Mul Pow Pow x0 Add Pow cosh x1 x0 Pow x0 x3 Add x1 -1 Mul x1 Mul Pow x0 Add Add Pow cosh x1 x0 Pow x0 x3 -1 Add Add Pow cosh x1 x0 Pow x0 x3 Mul Mul x0 log x0 Add Mul Pow cosh x1 Add x0 -1 Mul cosh x1 log cosh x1 Mul Pow x0 Add x3 -1 x3 Pow Pow x0 Add Pow cosh x1 x0 Pow x0 x3 x1 