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