Mul x0 Pow Pow x7 Mul sqrt x0 x2 x0 
Add Pow Pow x7 Mul sqrt x0 x2 x0 Mul x0 Mul Pow Pow x7 Mul sqrt x0 x2 Add x0 -1 Add Mul x0 Mul Pow x7 Add Mul sqrt x0 x2 -1 Mul Mul x7 log x7 Mul x2 Pow Mul 2 sqrt x0 -1 Mul Pow x7 Mul sqrt x0 x2 log Pow x7 Mul sqrt x0 x2 