Mul sinh Pow x0 asech Pow x1 x0 Pow Pow acosh acsch x0 x0 csch x0 
Add Mul Pow Pow acosh acsch x0 x0 csch x0 Mul cosh Pow x0 asech Pow x1 x0 Mul Pow x0 Add asech Pow x1 x0 -1 Add asech Pow x1 x0 Mul Mul x0 log x0 Mul Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Mul Mul Pow x1 x0 Pow x1 x0 sqrt Add 1 Mul -1 Pow Mul Pow x1 x0 Pow x1 x0 -1 -1 Mul sinh Pow x0 asech Pow x1 x0 Mul Pow Pow acosh acsch x0 x0 Add csch x0 -1 Add Mul csch x0 Mul Pow acosh acsch x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add acsch x0 -1 sqrt Add 1 acsch x0 -1 Mul acosh acsch x0 log acosh acsch x0 Mul Mul Pow acosh acsch x0 x0 log Pow acosh acsch x0 x0 Mul Mul -1 coth x0 csch x0 