csch Mul x0 Mul -5 Pow Pow x0 Mul x7 acsch x5 x4 
Mul Mul Mul -1 coth Mul x0 Mul -5 Pow Pow x0 Mul x7 acsch x5 x4 csch Mul x0 Mul -5 Pow Pow x0 Mul x7 acsch x5 x4 Add Mul -5 Pow Pow x0 Mul x7 acsch x5 x4 Mul x0 Mul -5 Mul Pow Pow x0 Mul x7 acsch x5 Add x4 -1 Mul x4 Mul Pow x0 Add Mul x7 acsch x5 -1 Mul x7 acsch x5 