Add Mul -2 sqrt Mul Pow Add acos x0 x0 0.524080646045431 12 Add x0 -3 
Add Mul -2 Mul Pow Mul 2 sqrt Mul Pow Add acos x0 x0 0.524080646045431 12 -1 Mul 12 Mul Pow Add acos x0 x0 -0.475919353954569 Mul 0.524080646045431 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 1 