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