Mul Add Pow Mul -3 exp x0 Mul sec log cosh x3 x0 sin Mul 5 x7 x0 
Add Mul x0 Mul Pow Mul -3 exp x0 Add Mul sec log cosh x3 x0 -1 Add Mul Mul sec log cosh x3 x0 Mul -3 exp x0 Mul Mul Mul -3 exp x0 log Mul -3 exp x0 sec log cosh x3 Add Pow Mul -3 exp x0 Mul sec log cosh x3 x0 sin Mul 5 x7 