Mul acot Mul x0 Mul Mul x0 Pow Mul sqrt x6 Pow Mul x0 -3 Mul x1 Add x6 sqrt x1 4 x5 Mul Add x0 x0 x0 
Add Mul Mul Add x0 x0 x0 Mul -1 Mul Add Mul Mul x0 Pow Mul sqrt x6 Pow Mul x0 -3 Mul x1 Add x6 sqrt x1 4 x5 Mul x0 Mul x5 Add Pow Mul sqrt x6 Pow Mul x0 -3 Mul x1 Add x6 sqrt x1 4 Mul x0 Mul Pow Mul sqrt x6 Pow Mul x0 -3 Mul x1 Add x6 sqrt x1 3 Mul 4 Mul sqrt x6 Mul Pow Mul x0 -3 Add Mul x1 Add x6 sqrt x1 -1 Mul Mul x1 Add x6 sqrt x1 -3 Pow Add 1 Mul Mul x0 Mul Mul x0 Pow Mul sqrt x6 Pow Mul x0 -3 Mul x1 Add x6 sqrt x1 4 x5 Mul x0 Mul Mul x0 Pow Mul sqrt x6 Pow Mul x0 -3 Mul x1 Add x6 sqrt x1 4 x5 -1 Mul acot Mul x0 Mul Mul x0 Pow Mul sqrt x6 Pow Mul x0 -3 Mul x1 Add x6 sqrt x1 4 x5 Add Mul x0 2 Add x0 x0 