Add Mul Pow atanh Mul sech Pow x0 asec x1 asech x6 Mul -2 Add 1 x3 x0 Add Add Add x0 atanh x0 x7 -2 
Add Add Mul x0 Mul Pow atanh Mul sech Pow x0 asec x1 asech x6 Add Mul -2 Add 1 x3 -1 Mul Mul -2 Add 1 x3 Mul Mul asech x6 Mul Mul tanh Pow x0 asec x1 Mul -1 sech Pow x0 asec x1 Mul Pow x0 Add asec x1 -1 asec x1 Pow Add 1 Mul -1 Mul Mul sech Pow x0 asec x1 asech x6 Mul sech Pow x0 asec x1 asech x6 -1 Pow atanh Mul sech Pow x0 asec x1 asech x6 Mul -2 Add 1 x3 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 