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