Pow x0 Mul x0 Mul Mul Pow csch x0 acsch acoth x3 x6 x0 
Mul Pow x0 Add Mul x0 Mul Mul Pow csch x0 acsch acoth x3 x6 x0 -1 Add Mul x0 Mul Mul Pow csch x0 acsch acoth x3 x6 x0 Mul Mul x0 log x0 Add Mul Mul Pow csch x0 acsch acoth x3 x6 x0 Mul x0 Add Mul x0 Mul x6 Mul Pow csch x0 Add acsch acoth x3 -1 Mul acsch acoth x3 Mul Mul -1 coth x0 csch x0 Mul Pow csch x0 acsch acoth x3 x6 