Add Pow csch x3 Pow E acosh sec x4 Mul Pow Add Mul E x6 Pow x0 asech pi Mul x0 x0 coth x7 
Mul coth x7 Mul Pow Add Mul E x6 Pow x0 asech pi Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow x0 Add asech pi -1 asech pi Mul Mul Add Mul E x6 Pow x0 asech pi log Add Mul E x6 Pow x0 asech pi Add x0 x0 