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