sec Pow cosh Mul Mul Pow x0 cosh x0 -3 x5 x0 
Mul Mul tan Pow cosh Mul Mul Pow x0 cosh x0 -3 x5 x0 sec Pow cosh Mul Mul Pow x0 cosh x0 -3 x5 x0 Mul Pow cosh Mul Mul Pow x0 cosh x0 -3 x5 Add x0 -1 Add Mul x0 Mul sinh Mul Mul Pow x0 cosh x0 -3 x5 Mul x5 Mul -3 Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 Mul cosh Mul Mul Pow x0 cosh x0 -3 x5 log cosh Mul Mul Pow x0 cosh x0 -3 x5 