Add Mul Pow Mul acos x0 Add x3 Mul x0 Pow E x5 log x7 4 4 
Mul 4 Mul Pow Mul acos x0 Add x3 Mul x0 Pow E x5 Add log x7 -1 Mul log x7 Add Mul Add x3 Mul x0 Pow E x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Pow E x5 