Mul Pow sin x0 Pow asec E log x0 E 
Mul E Mul Pow sin x0 Add Pow asec E log x0 -1 Add Mul Pow asec E log x0 cos x0 Mul Mul sin x0 log sin x0 Mul Pow asec E Add log x0 -1 Mul Mul asec E log asec E Pow x0 -1 