Mul Add Mul Add Pow x0 x7 x1 Add Pow x7 Add x5 x2 x0 Pow cosh x1 x0 -3 
Mul -3 Add Add Mul Add Pow x7 Add x5 x2 x0 Mul Pow x0 Add x7 -1 x7 Add Pow x0 x7 x1 Mul Pow cosh x1 Add x0 -1 Mul cosh x1 log cosh x1 