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