atanh Mul Pow Mul atanh x3 Mul Add x0 acos x0 Pow sinh x0 asech Add x4 1 acosh x0 5 
Mul Mul 5 Mul Pow Mul atanh x3 Mul Add x0 acos x0 Pow sinh x0 asech Add x4 1 Add acosh x0 -1 Add Mul acosh x0 Mul atanh x3 Add Mul Pow sinh x0 asech Add x4 1 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add x0 acos x0 Mul Pow sinh x0 Add asech Add x4 1 -1 Mul asech Add x4 1 cosh x0 Mul Mul Mul atanh x3 Mul Add x0 acos x0 Pow sinh x0 asech Add x4 1 log Mul atanh x3 Mul Add x0 acos x0 Pow sinh x0 asech Add x4 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul Mul Pow Mul atanh x3 Mul Add x0 acos x0 Pow sinh x0 asech Add x4 1 acosh x0 5 Mul Pow Mul atanh x3 Mul Add x0 acos x0 Pow sinh x0 asech Add x4 1 acosh x0 5 -1 