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