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