Pow x1 cot Pow acos x1 Mul Pow x2 3 x0 
Mul Pow x1 Add cot Pow acos x1 Mul Pow x2 3 x0 -1 Mul Mul x1 log x1 Mul Mul -1 Pow csc Pow acos x1 Mul Pow x2 3 x0 2 Mul Pow acos x1 Add Mul Pow x2 3 x0 -1 Mul Mul acos x1 log acos x1 Pow x2 3 