sqrt Add Add Mul pi acos Mul Pow pi acos x0 x0 pi Mul Add x0 x7 pi 
Mul Pow Mul 2 sqrt Add Add Mul pi acos Mul Pow pi acos x0 x0 pi Mul Add x0 x7 pi -1 Add Mul pi Mul -1 Mul Add Mul x0 Mul Pow pi Add acos x0 -1 Mul Mul pi log pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow pi acos x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow pi acos x0 x0 Mul Pow pi acos x0 x0 -1 pi 