Mul x0 Pow Mul Pow sqrt x0 x6 Pow x3 x0 Mul -1 x0 
Add Pow Mul Pow sqrt x0 x6 Pow x3 x0 Mul -1 x0 Mul x0 Mul Pow Mul Pow sqrt x0 x6 Pow x3 x0 Add Mul -1 x0 -1 Add Mul Mul -1 x0 Add Mul Pow x3 x0 Mul Pow sqrt x0 Add x6 -1 Mul x6 Pow Mul 2 sqrt x0 -1 Mul Pow sqrt x0 x6 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul Mul Pow sqrt x0 x6 Pow x3 x0 log Mul Pow sqrt x0 x6 Pow x3 x0 -1 