Mul Add 2 x0 Add E Pow log Mul x0 x1 log x0 
Add Add E Pow log Mul x0 x1 log x0 Mul Add 2 x0 Mul Pow log Mul x0 x1 Add log x0 -1 Add Mul log x0 Mul x1 Pow Mul x0 x1 -1 Mul Mul log Mul x0 x1 log log Mul x0 x1 Pow x0 -1 