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