Mul x0 Mul x0 Mul Mul log x0 Mul 1.73205080756888 x4 4 
Add Mul x0 Mul Mul log x0 Mul 1.73205080756888 x4 4 Mul x0 Add Mul Mul log x0 Mul 1.73205080756888 x4 4 Mul x0 Mul 4 Mul Mul 1.73205080756888 x4 Pow x0 -1 