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