Add Add Mul -3 Mul Add x0 Pow x0 3 Pow atanh Mul x0 2 x1 x0 Pow Pow 2 x0 asech x1 
Add Add Mul -3 Add Mul Pow atanh Mul x0 2 x1 Add 1 Mul Pow x0 2 3 Mul Add x0 Pow x0 3 Mul Pow atanh Mul x0 2 Add x1 -1 Mul x1 Mul 2 Pow Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 1 Mul Pow Pow 2 x0 Add asech x1 -1 Mul asech x1 Mul Pow 2 Add x0 -1 2.69314718055995 