Add acot Pow Add tan x0 x0 log sin x2 x0 
Add Mul -1 Mul Mul Pow Add tan x0 x0 Add log sin x2 -1 Mul log sin x2 Add Pow sec x0 2 1 Pow Add 1 Mul Pow Add tan x0 x0 log sin x2 Pow Add tan x0 x0 log sin x2 -1 1 