Mul Pow x0 x0 Mul 2 Add -4 Mul Pow csc Mul acos x3 x0 log x2 x0 
Add Mul Mul 2 Add -4 Mul Pow csc Mul acos x3 x0 log x2 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul 2 Add Mul x0 Mul Pow csc Mul acos x3 x0 Add log x2 -1 Mul log x2 Mul Mul Mul -1 cot Mul acos x3 x0 csc Mul acos x3 x0 acos x3 Pow csc Mul acos x3 x0 log x2 