Add Add x2 Mul atan Pow asech E x0 x2 asech Add 1 x0 
Add Mul x2 Mul Mul Pow asech E Add x0 -1 Mul asech E log asech E Pow Add 1 Mul Pow asech E x0 Pow asech E x0 -1 Pow Mul Mul Add 1 x0 Add 1 x0 sqrt Add 1 Mul -1 Pow Mul Add 1 x0 Add 1 x0 -1 -1 