Mul Mul asech Add Add asech exp x0 x0 Add x0 x0 x0 Pow x4 x7 
Mul Pow x4 x7 Add Mul x0 Mul Add Add Mul exp x0 Pow Mul Mul exp x0 exp x0 sqrt Add 1 Mul -1 Pow Mul exp x0 exp x0 -1 -1 1 2 Pow Mul Mul Add Add asech exp x0 x0 Add x0 x0 Add Add asech exp x0 x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Add asech exp x0 x0 Add x0 x0 Add Add asech exp x0 x0 Add x0 x0 -1 -1 asech Add Add asech exp x0 x0 Add x0 x0 