Pow Mul Mul Mul x0 Pow log coth x0 Add 5 x0 x0 2 x5 
Mul Pow Mul Mul Mul x0 Pow log coth x0 Add 5 x0 x0 2 Add x5 -1 Mul x5 Mul 2 Add Mul x0 Add Pow log coth x0 Add 5 x0 Mul x0 Mul Pow log coth x0 Add Add 5 x0 -1 Add Mul Add 5 x0 Mul Mul -1 Pow csch x0 2 Pow coth x0 -1 Mul log coth x0 log log coth x0 Mul x0 Pow log coth x0 Add 5 x0 