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