acos sqrt Add x0 Mul x6 Mul x6 Add x0 3 
Mul -1 Mul Mul Pow Mul 2 sqrt Add x0 Mul x6 Mul x6 Add x0 3 -1 Add 1 Mul x6 x6 Pow sqrt Add 1 Mul -1 Mul sqrt Add x0 Mul x6 Mul x6 Add x0 3 sqrt Add x0 Mul x6 Mul x6 Add x0 3 -1 