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