Mul Pow x6 cosh x0 Pow Pow x7 x0 acosh sec Pow x3 -3 
Add Mul Pow Pow x7 x0 acosh sec Pow x3 -3 Mul Pow x6 Add cosh x0 -1 Mul Mul x6 log x6 sinh x0 Mul Pow x6 cosh x0 Mul Pow Pow x7 x0 Add acosh sec Pow x3 -3 -1 Mul acosh sec Pow x3 -3 Mul Pow x7 Add x0 -1 Mul x7 log x7 