Pow cosh x7 Mul Pow sec Mul Mul 3 x0 x6 x0 atan x6 
Mul Pow cosh x7 Add Mul Pow sec Mul Mul 3 x0 x6 x0 atan x6 -1 Mul Mul cosh x7 log cosh x7 Mul atan x6 Mul Pow sec Mul Mul 3 x0 x6 Add x0 -1 Add Mul x0 Mul Mul tan Mul Mul 3 x0 x6 sec Mul Mul 3 x0 x6 Mul x6 3 Mul sec Mul Mul 3 x0 x6 log sec Mul Mul 3 x0 x6 