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