asech Add 1 Add exp x0 Pow Pow sqrt x4 x1 x0 
Mul Add exp x0 Mul Pow Pow sqrt x4 x1 Add x0 -1 Mul Pow sqrt x4 x1 log Pow sqrt x4 x1 Pow Mul Mul Add 1 Add exp x0 Pow Pow sqrt x4 x1 x0 Add 1 Add exp x0 Pow Pow sqrt x4 x1 x0 sqrt Add 1 Mul -1 Pow Mul Add 1 Add exp x0 Pow Pow sqrt x4 x1 x0 Add 1 Add exp x0 Pow Pow sqrt x4 x1 x0 -1 -1 