Pow cos asec E Pow acsc x7 Mul E csch tan x0 
Mul Pow cos asec E Add Pow acsc x7 Mul E csch tan x0 -1 Mul Mul cos asec E log cos asec E Mul Pow acsc x7 Add Mul E csch tan x0 -1 Mul Mul acsc x7 log acsc x7 Mul E Mul Mul Mul -1 coth tan x0 csch tan x0 Pow sec x0 2 