Pow x0 Pow asech Mul x0 x6 Add atanh Add x0 E x3 
Mul Pow x0 Add Pow asech Mul x0 x6 Add atanh Add x0 E x3 -1 Add Pow asech Mul x0 x6 Add atanh Add x0 E x3 Mul Mul x0 log x0 Mul Pow asech Mul x0 x6 Add Add atanh Add x0 E x3 -1 Add Mul Add atanh Add x0 E x3 Mul x6 Pow Mul Mul Mul x0 x6 Mul x0 x6 sqrt Add 1 Mul -1 Pow Mul Mul x0 x6 Mul x0 x6 -1 -1 Mul Mul asech Mul x0 x6 log asech Mul x0 x6 Pow Add 1 Mul -1 Mul Add x0 E Add x0 E -1 