Add Pow x6 Mul x0 Pow x3 Mul x0 coth pi Mul x0 Add pi x0 
Add Mul Pow x6 Add Mul x0 Pow x3 Mul x0 coth pi -1 Mul Mul x6 log x6 Add Pow x3 Mul x0 coth pi Mul x0 Mul Pow x3 Add Mul x0 coth pi -1 Mul Mul x3 log x3 coth pi Add Add pi x0 x0 