Mul x0 Mul Pow tan x0 Mul x3 3 Mul tan Pow cosh x3 x7 x0 
Add Mul Pow tan x0 Mul x3 3 Mul tan Pow cosh x3 x7 x0 Mul x0 Add Mul Mul tan Pow cosh x3 x7 x0 Mul Pow tan x0 Add Mul x3 3 -1 Mul Mul x3 3 Pow sec x0 2 Mul Pow tan x0 Mul x3 3 tan Pow cosh x3 x7 