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