Pow acoth Mul Pow x0 acoth x0 x6 coth Mul x0 -4 
Mul Pow acoth Mul Pow x0 acoth x0 x6 Add coth Mul x0 -4 -1 Add Mul coth Mul x0 -4 Mul Mul x6 Mul Pow x0 Add acoth x0 -1 Add acoth x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Pow x0 acoth x0 x6 Mul Pow x0 acoth x0 x6 -1 Mul Mul acoth Mul Pow x0 acoth x0 x6 log acoth Mul Pow x0 acoth x0 x6 Mul Mul -1 Pow csch Mul x0 -4 2 -4 