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