coth Pow Mul log x7 0.0625000000000000 coth x0 
Mul Mul -1 Pow csch Pow Mul log x7 0.0625000000000000 coth x0 2 Mul Pow Mul log x7 0.0625000000000000 Add coth x0 -1 Mul Mul Mul log x7 0.0625000000000000 log Mul log x7 0.0625000000000000 Mul -1 Pow csch x0 2 