Add Mul Mul Pow coth x1 x0 Mul 4 Mul x0 x0 0.648099086722263 x0 
Add Mul 0.648099086722263 Add Mul Mul 4 Mul x0 x0 Mul Pow coth x1 Add x0 -1 Mul coth x1 log coth x1 Mul Pow coth x1 x0 Mul 4 Add x0 x0 1 