Mul x0 Pow Mul Mul atanh Mul Mul 5 x0 exp x7 Pow Pow x7 asech Mul x6 x1 x0 Add x0 -2 cosh x0 
Add Pow Mul Mul atanh Mul Mul 5 x0 exp x7 Pow Pow x7 asech Mul x6 x1 x0 Add x0 -2 cosh x0 Mul x0 Mul Pow Mul Mul atanh Mul Mul 5 x0 exp x7 Pow Pow x7 asech Mul x6 x1 x0 Add x0 -2 Add cosh x0 -1 Add Mul cosh x0 Add Mul Add x0 -2 Add Mul Pow Pow x7 asech Mul x6 x1 x0 Mul Mul exp x7 5 Pow Add 1 Mul -1 Mul Mul Mul 5 x0 exp x7 Mul Mul 5 x0 exp x7 -1 Mul atanh Mul Mul 5 x0 exp x7 Mul Pow Pow x7 asech Mul x6 x1 Add x0 -1 Mul Pow x7 asech Mul x6 x1 log Pow x7 asech Mul x6 x1 Mul atanh Mul Mul 5 x0 exp x7 Pow Pow x7 asech Mul x6 x1 x0 Mul Mul Mul Mul atanh Mul Mul 5 x0 exp x7 Pow Pow x7 asech Mul x6 x1 x0 Add x0 -2 log Mul Mul atanh Mul Mul 5 x0 exp x7 Pow Pow x7 asech Mul x6 x1 x0 Add x0 -2 sinh x0 