Mul Mul Pow x6 x0 csch x6 Pow Pow asech asech Add x6 acos x0 acot Add x0 2 -4 
Add Mul Pow Pow asech asech Add x6 acos x0 acot Add x0 2 -4 Mul csch x6 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul Pow x6 x0 csch x6 Mul Pow Pow asech asech Add x6 acos x0 acot Add x0 2 5 Mul -4 Mul Pow asech asech Add x6 acos x0 Add acot Add x0 2 -1 Add Mul acot Add x0 2 Mul Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Add x6 acos x0 Add x6 acos x0 sqrt Add 1 Mul -1 Pow Mul Add x6 acos x0 Add x6 acos x0 -1 -1 Pow Mul Mul asech Add x6 acos x0 asech Add x6 acos x0 sqrt Add 1 Mul -1 Pow Mul asech Add x6 acos x0 asech Add x6 acos x0 -1 -1 Mul Mul asech asech Add x6 acos x0 log asech asech Add x6 acos x0 Mul -1 Pow Add 1 Mul Add x0 2 Add x0 2 -1 