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