asech Add exp x0 Add Pow x2 Mul -3 x0 exp Mul 3 Add Pow x7 2 x0 
Mul Add exp x0 Add Mul Pow x2 Add Mul -3 x0 -1 Mul Mul x2 log x2 -3 Mul exp Mul 3 Add Pow x7 2 x0 3 Pow Mul Mul Add exp x0 Add Pow x2 Mul -3 x0 exp Mul 3 Add Pow x7 2 x0 Add exp x0 Add Pow x2 Mul -3 x0 exp Mul 3 Add Pow x7 2 x0 sqrt Add 1 Mul -1 Pow Mul Add exp x0 Add Pow x2 Mul -3 x0 exp Mul 3 Add Pow x7 2 x0 Add exp x0 Add Pow x2 Mul -3 x0 exp Mul 3 Add Pow x7 2 x0 -1 -1 