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