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