Pow x0 Pow Pow x2 Mul E x0 x4 
Mul Pow x0 Add Pow Pow x2 Mul E x0 x4 -1 Add Pow Pow x2 Mul E x0 x4 Mul Mul x0 log x0 Mul Pow Pow x2 Mul E x0 Add x4 -1 Mul x4 Mul Pow x2 Add Mul E x0 -1 Mul Mul x2 log x2 E 