Pow x0 exp Mul Pow x0 x4 exp coth x0 
Mul Pow x0 Add exp Mul Pow x0 x4 exp coth x0 -1 Add exp Mul Pow x0 x4 exp coth x0 Mul Mul x0 log x0 Mul exp Mul Pow x0 x4 exp coth x0 Add Mul exp coth x0 Mul Pow x0 Add x4 -1 x4 Mul Pow x0 x4 Mul exp coth x0 Mul -1 Pow csch x0 2 