Pow Mul acos Mul x0 3 Mul -1 cot Mul E 0.648054273663885 Add 4 Pow x2 x0 
Mul Pow Mul acos Mul x0 3 Mul -1 cot Mul E 0.648054273663885 Add Add 4 Pow x2 x0 -1 Add Mul Add 4 Pow x2 x0 Mul Mul -1 cot Mul E 0.648054273663885 Mul -1 Mul 3 Pow sqrt Add 1 Mul -1 Mul Mul x0 3 Mul x0 3 -1 Mul Mul Mul acos Mul x0 3 Mul -1 cot Mul E 0.648054273663885 log Mul acos Mul x0 3 Mul -1 cot Mul E 0.648054273663885 Mul Pow x2 Add x0 -1 Mul x2 log x2 