Mul x0 acot Add Mul Mul Add Pow x5 pi x0 Add Pow Pow x0 Mul sqrt x0 3 x0 x0 x0 x3 
Add acot Add Mul Mul Add Pow x5 pi x0 Add Pow Pow x0 Mul sqrt x0 3 x0 x0 x0 x3 Mul x0 Mul -1 Mul Add Mul x0 Add Add Pow Pow x0 Mul sqrt x0 3 x0 x0 Mul Add Pow x5 pi x0 Add Mul Pow Pow x0 Mul sqrt x0 3 Add x0 -1 Add Mul x0 Mul Pow x0 Add Mul sqrt x0 3 -1 Add Mul sqrt x0 3 Mul Mul x0 log x0 Mul 3 Pow Mul 2 sqrt x0 -1 Mul Pow x0 Mul sqrt x0 3 log Pow x0 Mul sqrt x0 3 1 Mul Add Pow x5 pi x0 Add Pow Pow x0 Mul sqrt x0 3 x0 x0 Pow Add 1 Mul Add Mul Mul Add Pow x5 pi x0 Add Pow Pow x0 Mul sqrt x0 3 x0 x0 x0 x3 Add Mul Mul Add Pow x5 pi x0 Add Pow Pow x0 Mul sqrt x0 3 x0 x0 x0 x3 -1 