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