Pow x6 Mul coth Mul Add Mul x0 x7 x0 acsch x1 x0 
Mul Pow x6 Add Mul coth Mul Add Mul x0 x7 x0 acsch x1 x0 -1 Mul Mul x6 log x6 Add Mul x0 Mul Mul -1 Pow csch Mul Add Mul x0 x7 x0 acsch x1 2 Mul acsch x1 Add x7 1 coth Mul Add Mul x0 x7 x0 acsch x1 