Mul asech Mul Mul atanh Add E x0 Add x0 Pow Mul Add 1 x3 sech x6 x0 3 Pow x2 coth acos x0 
Add Mul Pow x2 coth acos x0 Mul Mul 3 Add Mul Add x0 Pow Mul Add 1 x3 sech x6 x0 Pow Add 1 Mul -1 Mul Add E x0 Add E x0 -1 Mul atanh Add E x0 Add 1 Mul Pow Mul Add 1 x3 sech x6 Add x0 -1 Mul Mul Add 1 x3 sech x6 log Mul Add 1 x3 sech x6 Pow Mul Mul Mul Mul atanh Add E x0 Add x0 Pow Mul Add 1 x3 sech x6 x0 3 Mul Mul atanh Add E x0 Add x0 Pow Mul Add 1 x3 sech x6 x0 3 sqrt Add 1 Mul -1 Pow Mul Mul Mul atanh Add E x0 Add x0 Pow Mul Add 1 x3 sech x6 x0 3 Mul Mul atanh Add E x0 Add x0 Pow Mul Add 1 x3 sech x6 x0 3 -1 -1 Mul asech Mul Mul atanh Add E x0 Add x0 Pow Mul Add 1 x3 sech x6 x0 3 Mul Pow x2 Add coth acos x0 -1 Mul Mul x2 log x2 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 