sec Pow x4 Mul cosh cbrt x6 tan x0 
Mul Mul tan Pow x4 Mul cosh cbrt x6 tan x0 sec Pow x4 Mul cosh cbrt x6 tan x0 Mul Pow x4 Add Mul cosh cbrt x6 tan x0 -1 Mul Mul x4 log x4 Mul cosh cbrt x6 Pow sec x0 2 