exp Pow Mul E asech Add x0 1 sec Add 1 x3 
Mul exp Pow Mul E asech Add x0 1 sec Add 1 x3 Mul Pow Mul E asech Add x0 1 Add sec Add 1 x3 -1 Mul sec Add 1 x3 Mul E Pow Mul Mul Add x0 1 Add x0 1 sqrt Add 1 Mul -1 Pow Mul Add x0 1 Add x0 1 -1 -1 