Pow Mul x1 Mul 2 x0 Pow Mul Pow x7 Add x0 x3 Pow x4 x0 -1 
Mul Pow Mul x1 Mul 2 x0 Add Pow Mul Pow x7 Add x0 x3 Pow x4 x0 -1 -1 Add Mul Pow Mul Pow x7 Add x0 x3 Pow x4 x0 -1 Mul x1 2 Mul Mul Mul x1 Mul 2 x0 log Mul x1 Mul 2 x0 Mul Pow Mul Pow x7 Add x0 x3 Pow x4 x0 2 Mul -1 Add Mul Pow x4 x0 Mul Pow x7 Add Add x0 x3 -1 Mul x7 log x7 Mul Pow x7 Add x0 x3 Mul Pow x4 Add x0 -1 Mul x4 log x4 