Mul x0 atan Mul Mul Mul x0 x0 Add sqrt x0 x4 Mul x6 3 
Add atan Mul Mul Mul x0 x0 Add sqrt x0 x4 Mul x6 3 Mul x0 Mul Mul Mul x6 3 Add Mul Add sqrt x0 x4 Add x0 x0 Mul Mul x0 x0 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Mul Mul Mul x0 x0 Add sqrt x0 x4 Mul x6 3 Mul Mul Mul x0 x0 Add sqrt x0 x4 Mul x6 3 -1 