asech Mul Pow Pow 2 E Pow x0 exp Add x2 1 Pow x0 Add Add x0 2 x3 
Mul Add Mul Pow x0 Add Add x0 2 x3 Mul Pow Pow 2 E Add Pow x0 exp Add x2 1 -1 Mul Mul Pow 2 E log Pow 2 E Mul Pow x0 Add exp Add x2 1 -1 exp Add x2 1 Mul Pow Pow 2 E Pow x0 exp Add x2 1 Mul Pow x0 Add Add Add x0 2 x3 -1 Add Add Add x0 2 x3 Mul x0 log x0 Pow Mul Mul Mul Pow Pow 2 E Pow x0 exp Add x2 1 Pow x0 Add Add x0 2 x3 Mul Pow Pow 2 E Pow x0 exp Add x2 1 Pow x0 Add Add x0 2 x3 sqrt Add 1 Mul -1 Pow Mul Mul Pow Pow 2 E Pow x0 exp Add x2 1 Pow x0 Add Add x0 2 x3 Mul Pow Pow 2 E Pow x0 exp Add x2 1 Pow x0 Add Add x0 2 x3 -1 -1 