Mul x0 cos Pow sqrt csch Pow Pow x0 acsch x1 x0 -5 
Add cos Pow sqrt csch Pow Pow x0 acsch x1 x0 -5 Mul x0 Mul Mul -1 sin Pow sqrt csch Pow Pow x0 acsch x1 x0 -5 Mul Pow sqrt csch Pow Pow x0 acsch x1 x0 6 Mul -5 Mul Pow Mul 2 sqrt csch Pow Pow x0 acsch x1 x0 -1 Mul Mul Mul -1 coth Pow Pow x0 acsch x1 x0 csch Pow Pow x0 acsch x1 x0 Mul Pow Pow x0 acsch x1 Add x0 -1 Add Mul x0 Mul Pow x0 Add acsch x1 -1 acsch x1 Mul Pow x0 acsch x1 log Pow x0 acsch x1 