exp Pow Mul Pow E E x4 Mul x0 Add x0 log x1 
Mul exp Pow Mul Pow E E x4 Mul x0 Add x0 log x1 Mul Pow Mul Pow E E x4 Add Mul x0 Add x0 log x1 -1 Mul Mul Mul Pow E E x4 log Mul Pow E E x4 Add Add x0 log x1 x0 