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