Pow Mul acos Mul Pow Add x0 3 x1 -4 x0 Add x0 1.73205080756888 
Mul Pow Mul acos Mul Pow Add x0 3 x1 -4 x0 Add Add x0 1.73205080756888 -1 Add Mul Add x0 1.73205080756888 Add Mul x0 Mul -1 Mul Mul -4 Mul Pow Add x0 3 Add x1 -1 x1 Pow sqrt Add 1 Mul -1 Mul Mul Pow Add x0 3 x1 -4 Mul Pow Add x0 3 x1 -4 -1 acos Mul Pow Add x0 3 x1 -4 Mul Mul acos Mul Pow Add x0 3 x1 -4 x0 log Mul acos Mul Pow Add x0 3 x1 -4 x0 