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