Mul Pow Pow 2 acos x6 Add 5 x0 Mul Add Pow x5 x0 Mul Add x0 x7 x1 -3 
Add Mul Mul Add Pow x5 x0 Mul Add x0 x7 x1 -3 Mul Pow Pow 2 acos x6 Add Add 5 x0 -1 Mul Pow 2 acos x6 log Pow 2 acos x6 Mul Pow Pow 2 acos x6 Add 5 x0 Mul -3 Add Mul Pow x5 Add x0 -1 Mul x5 log x5 x1 