Mul log Mul Pow x3 x0 Add Pow x0 coth x0 Mul Mul acos x7 x0 x1 x0 
Add Mul x0 Mul Add Mul Add Pow x0 coth x0 Mul Mul acos x7 x0 x1 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 Add Mul Pow x0 Add coth x0 -1 Add coth x0 Mul Mul x0 log x0 Mul -1 Pow csch x0 2 Mul x1 acos x7 Pow Mul Pow x3 x0 Add Pow x0 coth x0 Mul Mul acos x7 x0 x1 -1 log Mul Pow x3 x0 Add Pow x0 coth x0 Mul Mul acos x7 x0 x1 