Pow x1 Mul pi Mul x0 Pow Pow coth pi E Add x0 x5 
Mul Pow x1 Add Mul pi Mul x0 Pow Pow coth pi E Add x0 x5 -1 Mul Mul x1 log x1 Mul pi Add Pow Pow coth pi E Add x0 x5 Mul x0 Mul Pow Pow coth pi E Add Add x0 x5 -1 Mul Pow coth pi E log Pow coth pi E 