csch Mul Pow x0 Mul x0 acsch x7 log x5 
Mul Mul Mul -1 coth Mul Pow x0 Mul x0 acsch x7 log x5 csch Mul Pow x0 Mul x0 acsch x7 log x5 Mul log x5 Mul Pow x0 Add Mul x0 acsch x7 -1 Add Mul x0 acsch x7 Mul Mul x0 log x0 acsch x7 