Mul Pow Pow Add 3 acot Pow Add Pow acos x0 2 x1 x3 Mul Mul x0 x0 -3 x6 x0 
Add Mul x0 Mul Pow Pow Add 3 acot Pow Add Pow acos x0 2 x1 x3 Mul Mul x0 x0 -3 Add x6 -1 Mul x6 Mul Pow Add 3 acot Pow Add Pow acos x0 2 x1 x3 Add Mul Mul x0 x0 -3 -1 Add Mul Mul Mul x0 x0 -3 Mul -1 Mul Mul Pow Add Pow acos x0 2 x1 Add x3 -1 Mul x3 Mul acos x0 Mul 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow Add Pow acos x0 2 x1 x3 Pow Add Pow acos x0 2 x1 x3 -1 Mul Mul Add 3 acot Pow Add Pow acos x0 2 x1 x3 log Add 3 acot Pow Add Pow acos x0 2 x1 x3 Mul -3 Add x0 x0 Pow Pow Add 3 acot Pow Add Pow acos x0 2 x1 x3 Mul Mul x0 x0 -3 x6 