Pow x1 Pow Pow sec Add log x7 Pow sec x0 x0 x0 Pow cosh x0 -3 
Mul Pow x1 Add Pow Pow sec Add log x7 Pow sec x0 x0 x0 Pow cosh x0 -3 -1 Mul Mul x1 log x1 Mul Pow Pow sec Add log x7 Pow sec x0 x0 x0 Add Pow cosh x0 -3 -1 Add Mul Pow cosh x0 -3 Mul Pow sec Add log x7 Pow sec x0 x0 Add x0 -1 Add Mul x0 Mul Mul tan Add log x7 Pow sec x0 x0 sec Add log x7 Pow sec x0 x0 Mul Pow sec x0 Add x0 -1 Add Mul x0 Mul tan x0 sec x0 Mul sec x0 log sec x0 Mul sec Add log x7 Pow sec x0 x0 log sec Add log x7 Pow sec x0 x0 Mul Mul Pow sec Add log x7 Pow sec x0 x0 x0 log Pow sec Add log x7 Pow sec x0 x0 x0 Mul Pow cosh x0 4 Mul -3 sinh x0 