Add -1 Mul x0 Mul -3 acos Add 1 Mul acot Mul x0 3 x4 
Add Mul -3 acos Add 1 Mul acot Mul x0 3 x4 Mul x0 Mul -3 Mul -1 Mul Mul x4 Mul -1 Mul 3 Pow Add 1 Mul Mul x0 3 Mul x0 3 -1 Pow sqrt Add 1 Mul -1 Mul Add 1 Mul acot Mul x0 3 x4 Add 1 Mul acot Mul x0 3 x4 -1 