Pow x0 Mul x0 Pow Pow acos x5 x0 Mul x0 2 
Mul Pow x0 Add Mul x0 Pow Pow acos x5 x0 Mul x0 2 -1 Add Mul x0 Pow Pow acos x5 x0 Mul x0 2 Mul Mul x0 log x0 Add Pow Pow acos x5 x0 Mul x0 2 Mul x0 Mul Pow Pow acos x5 x0 Add Mul x0 2 -1 Add Mul Mul x0 2 Mul Pow acos x5 Add x0 -1 Mul acos x5 log acos x5 Mul Mul Pow acos x5 x0 log Pow acos x5 x0 2 