Pow Add x0 Pow coth Mul Add x7 4 E x0 Add Pow x3 x0 x7 
Mul Pow Add x0 Pow coth Mul Add x7 4 E x0 Add Add Pow x3 x0 x7 -1 Add Mul Add Pow x3 x0 x7 Add 1 Mul Pow coth Mul Add x7 4 E Add x0 -1 Mul coth Mul Add x7 4 E log coth Mul Add x7 4 E Mul Mul Add x0 Pow coth Mul Add x7 4 E x0 log Add x0 Pow coth Mul Add x7 4 E x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 