Pow Mul Add -1 exp Pow Pow x0 asech sinh Mul atanh x4 x6 2 Add acosh x1 3 -1 
Mul Pow Mul Add -1 exp Pow Pow x0 asech sinh Mul atanh x4 x6 2 Add acosh x1 3 2 Mul -1 Mul Add acosh x1 3 Mul exp Pow Pow x0 asech sinh Mul atanh x4 x6 2 Mul Pow x0 asech sinh Mul atanh x4 x6 Mul 2 Mul Pow x0 Add asech sinh Mul atanh x4 x6 -1 asech sinh Mul atanh x4 x6 