Pow Pow coth x3 Add x4 x0 Mul E x0 
Mul Pow Pow coth x3 Add x4 x0 Add Mul E x0 -1 Add Mul Mul E x0 Mul Pow coth x3 Add Add x4 x0 -1 Mul coth x3 log coth x3 Mul Mul Pow coth x3 Add x4 x0 log Pow coth x3 Add x4 x0 E 