Pow Mul Pow x7 x0 7 sqrt Mul E x0 
Mul Pow Mul Pow x7 x0 7 Add sqrt Mul E x0 -1 Add Mul sqrt Mul E x0 Mul 7 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Mul Pow x7 x0 7 log Mul Pow x7 x0 7 Mul Pow Mul 2 sqrt Mul E x0 -1 E 