Mul Pow Add -2 acsch E cot Add tan x0 x0 Add asec x3 x0 
Add Mul Add asec x3 x0 Mul Pow Add -2 acsch E Add cot Add tan x0 x0 -1 Mul Mul Add -2 acsch E log Add -2 acsch E Mul Mul -1 Pow csc Add tan x0 x0 2 Add Pow sec x0 2 1 Pow Add -2 acsch E cot Add tan x0 x0 