Mul x0 Add Mul coth Mul Pow x0 x4 Pow x2 x0 Add Mul x0 -1 -3 x0 
Add Add Mul coth Mul Pow x0 x4 Pow x2 x0 Add Mul x0 -1 -3 x0 Mul x0 Add Add Mul Add Mul x0 -1 -3 Mul Mul -1 Pow csch Mul Pow x0 x4 Pow x2 x0 2 Add Mul Pow x2 x0 Mul Pow x0 Add x4 -1 x4 Mul Pow x0 x4 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul coth Mul Pow x0 x4 Pow x2 x0 -1 1 