Mul Pow acos x1 Add x6 Mul x0 x7 Mul Add x0 Add -4 x0 Mul x2 Pow x6 Add x0 Mul x0 3 
Add Mul Mul Add x0 Add -4 x0 Mul x2 Pow x6 Add x0 Mul x0 3 Mul Pow acos x1 Add Add x6 Mul x0 x7 -1 Mul Mul acos x1 log acos x1 x7 Mul Pow acos x1 Add x6 Mul x0 x7 Add Mul Mul x2 Pow x6 Add x0 Mul x0 3 2 Mul Add x0 Add -4 x0 Mul x2 Mul Pow x6 Add Add x0 Mul x0 3 -1 Mul Mul x6 log x6 4 