Pow Pow E Add x2 asech Add x0 x1 x3 
Mul Pow Pow E Add x2 asech Add x0 x1 Add x3 -1 Mul x3 Mul Pow E Add Add x2 asech Add x0 x1 -1 Mul Mul E log E Pow Mul Mul Add x0 x1 Add x0 x1 sqrt Add 1 Mul -1 Pow Mul Add x0 x1 Add x0 x1 -1 -1 