Mul x0 sqrt Pow 4 Mul acot Mul 3 x0 x0 
Add sqrt Pow 4 Mul acot Mul 3 x0 x0 Mul x0 Mul Pow Mul 2 sqrt Pow 4 Mul acot Mul 3 x0 x0 -1 Mul Pow 4 Add Mul acot Mul 3 x0 x0 -1 Mul 5.38629436111989 Add Mul x0 Mul -1 Mul 3 Pow Add 1 Mul Mul 3 x0 Mul 3 x0 -1 acot Mul 3 x0 