Mul Pow Mul Mul sec x0 Mul x0 sinh x4 x2 E Pow cosh x7 Add tan x0 x0 
Add Mul Pow cosh x7 Add tan x0 x0 Mul Pow Mul Mul sec x0 Mul x0 sinh x4 x2 Add E -1 Mul E Mul x2 Add Mul Mul x0 sinh x4 Mul tan x0 sec x0 Mul sec x0 sinh x4 Mul Pow Mul Mul sec x0 Mul x0 sinh x4 x2 E Mul Pow cosh x7 Add Add tan x0 x0 -1 Mul Mul cosh x7 log cosh x7 Add Pow sec x0 2 1 