Add acos Add 4 x0 Pow Pow x0 atan Pow pi x2 x7 
Add Mul -1 Pow sqrt Add 1 Mul -1 Mul Add 4 x0 Add 4 x0 -1 Mul Pow Pow x0 atan Pow pi x2 Add x7 -1 Mul x7 Mul Pow x0 Add atan Pow pi x2 -1 atan Pow pi x2 