Add Pow Pow x1 E Add x0 Mul Mul exp Add 4 Pow Mul x0 -2 x2 4 x0 x0 
Add Mul Pow Pow x1 E Add Add x0 Mul Mul exp Add 4 Pow Mul x0 -2 x2 4 x0 -1 Mul Mul Pow x1 E log Pow x1 E Add 1 Add Mul x0 Mul 4 Mul exp Add 4 Pow Mul x0 -2 x2 Mul Pow Mul x0 -2 Add x2 -1 Mul x2 -2 Mul exp Add 4 Pow Mul x0 -2 x2 4 1 