Mul Pow x0 Add Mul Mul Add -2 Mul x1 cot x0 x3 x4 Mul Add pi Add x0 Mul Add x0 x6 atan Mul x2 x0 x6 -3 
Mul -3 Mul Pow x0 Add Add Mul Mul Add -2 Mul x1 cot x0 x3 x4 Mul Add pi Add x0 Mul Add x0 x6 atan Mul x2 x0 x6 -1 Add Add Mul Mul Add -2 Mul x1 cot x0 x3 x4 Mul Add pi Add x0 Mul Add x0 x6 atan Mul x2 x0 x6 Mul Mul x0 log x0 Add Mul x4 Mul x3 Mul x1 Mul -1 Pow csc x0 2 Mul x6 Add 1 Add atan Mul x2 x0 Mul Add x0 x6 Mul x2 Pow Add 1 Mul Mul x2 x0 Mul x2 x0 -1 