Pow Mul log acos Pow x0 x0 x2 Add -1 Pow Pow Pow acos x1 x0 acos x0 pi 
Mul Pow Mul log acos Pow x0 x0 x2 Add Add -1 Pow Pow Pow acos x1 x0 acos x0 pi -1 Add Mul Add -1 Pow Pow Pow acos x1 x0 acos x0 pi Mul x2 Mul Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 Pow acos Pow x0 x0 -1 Mul Mul Mul log acos Pow x0 x0 x2 log Mul log acos Pow x0 x0 x2 Mul Pow Pow Pow acos x1 x0 acos x0 Add pi -1 Mul pi Mul Pow Pow acos x1 x0 Add acos x0 -1 Add Mul acos x0 Mul Pow acos x1 Add x0 -1 Mul acos x1 log acos x1 Mul Mul Pow acos x1 x0 log Pow acos x1 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 