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