asech exp Add Mul Pow x2 Add x0 exp x0 x6 -1 
Mul Mul exp Add Mul Pow x2 Add x0 exp x0 x6 -1 Mul x6 Mul Pow x2 Add Add x0 exp x0 -1 Mul Mul x2 log x2 Add 1 exp x0 Pow Mul Mul exp Add Mul Pow x2 Add x0 exp x0 x6 -1 exp Add Mul Pow x2 Add x0 exp x0 x6 -1 sqrt Add 1 Mul -1 Pow Mul exp Add Mul Pow x2 Add x0 exp x0 x6 -1 exp Add Mul Pow x2 Add x0 exp x0 x6 -1 -1 -1 