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