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