Add Mul x0 Mul sin Mul tan x0 Mul coth E Add x0 -2 x0 x0 
Add Add Mul sin Mul tan x0 Mul coth E Add x0 -2 x0 Mul x0 Add Mul x0 Mul cos Mul tan x0 Mul coth E Add x0 -2 Add Mul Mul coth E Add x0 -2 Pow sec x0 2 Mul tan x0 coth E sin Mul tan x0 Mul coth E Add x0 -2 1 