exp Pow x0 Pow x1 Add x4 Mul Add asech atanh x0 x0 asech cosh E 
Mul exp Pow x0 Pow x1 Add x4 Mul Add asech atanh x0 x0 asech cosh E Mul Pow x0 Add Pow x1 Add x4 Mul Add asech atanh x0 x0 asech cosh E -1 Add Pow x1 Add x4 Mul Add asech atanh x0 x0 asech cosh E Mul Mul x0 log x0 Mul Pow x1 Add Add x4 Mul Add asech atanh x0 x0 asech cosh E -1 Mul Mul x1 log x1 Mul asech cosh E Add Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul atanh x0 atanh x0 sqrt Add 1 Mul -1 Pow Mul atanh x0 atanh x0 -1 -1 1 