atan Add Mul Pow x1 x6 -2 Mul Pow acos x0 x7 Pow pi x1 
Mul Mul Pow pi x1 Mul Pow acos x0 Add x7 -1 Mul x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add Mul Pow x1 x6 -2 Mul Pow acos x0 x7 Pow pi x1 Add Mul Pow x1 x6 -2 Mul Pow acos x0 x7 Pow pi x1 -1 