Pow Add 5 Pow Mul Pow acos x3 x0 x1 x3 cot x0 
Mul Pow Add 5 Pow Mul Pow acos x3 x0 x1 x3 Add cot x0 -1 Add Mul cot x0 Mul Pow Mul Pow acos x3 x0 x1 Add x3 -1 Mul x3 Mul x1 Mul Pow acos x3 Add x0 -1 Mul acos x3 log acos x3 Mul Mul Add 5 Pow Mul Pow acos x3 x0 x1 x3 log Add 5 Pow Mul Pow acos x3 x0 x1 x3 Mul -1 Pow csc x0 2 