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