Pow Mul x3 x0 Mul x0 Pow Add Pow x0 x4 x2 Pow x0 Add Pow Mul x0 x0 1.73205080756888 x0 
Mul Pow Mul x3 x0 Add Mul x0 Pow Add Pow x0 x4 x2 Pow x0 Add Pow Mul x0 x0 1.73205080756888 x0 -1 Add Mul Mul x0 Pow Add Pow x0 x4 x2 Pow x0 Add Pow Mul x0 x0 1.73205080756888 x0 x3 Mul Mul Mul x3 x0 log Mul x3 x0 Add Pow Add Pow x0 x4 x2 Pow x0 Add Pow Mul x0 x0 1.73205080756888 x0 Mul x0 Mul Pow Add Pow x0 x4 x2 Add Pow x0 Add Pow Mul x0 x0 1.73205080756888 x0 -1 Add Mul Pow x0 Add Pow Mul x0 x0 1.73205080756888 x0 Mul Pow x0 Add x4 -1 x4 Mul Mul Add Pow x0 x4 x2 log Add Pow x0 x4 x2 Mul Pow x0 Add Add Pow Mul x0 x0 1.73205080756888 x0 -1 Add Add Pow Mul x0 x0 1.73205080756888 x0 Mul Mul x0 log x0 Add Mul Pow Mul x0 x0 0.732050807568877 Mul 1.73205080756888 Add x0 x0 1 