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