Pow Add -3 cot Mul x0 x0 Add x1 sqrt Pow x4 acot x0 
Mul Pow Add -3 cot Mul x0 x0 Add Add x1 sqrt Pow x4 acot x0 -1 Add Mul Add x1 sqrt Pow x4 acot x0 Mul Mul -1 Pow csc Mul x0 x0 2 Add x0 x0 Mul Mul Add -3 cot Mul x0 x0 log Add -3 cot Mul x0 x0 Mul Pow Mul 2 sqrt Pow x4 acot x0 -1 Mul Pow x4 Add acot x0 -1 Mul Mul x4 log x4 Mul -1 Pow Add 1 Mul x0 x0 -1 