Mul Mul Add -2 Pow sqrt Pow x0 x0 5 Add x7 3 Mul x1 x0 
Add Mul Mul x1 x0 Mul Add x7 3 Mul Pow sqrt Pow x0 x0 4 Mul 5 Mul Pow Mul 2 sqrt Pow x0 x0 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Add -2 Pow sqrt Pow x0 x0 5 Add x7 3 x1 