Add Mul Pow x0 Add asech Mul x0 Mul x0 x0 Pow Pow E x0 3 Add -3 Add x5 atanh x6 Mul x0 -1 
Add Mul Add -3 Add x5 atanh x6 Mul Pow x0 Add Add asech Mul x0 Mul x0 x0 Pow Pow E x0 3 -1 Add Add asech Mul x0 Mul x0 x0 Pow Pow E x0 3 Mul Mul x0 log x0 Add Mul Add Mul x0 x0 Mul x0 Add x0 x0 Pow Mul Mul Mul x0 Mul x0 x0 Mul x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul x0 x0 Mul x0 Mul x0 x0 -1 -1 Mul Pow Pow E x0 2 Mul 3 Mul Pow E Add x0 -1 Mul E log E -1 