Mul Pow coth pi Pow csch acos x3 Mul x7 x0 x5 
Mul x5 Mul Pow coth pi Add Pow csch acos x3 Mul x7 x0 -1 Mul Mul coth pi log coth pi Mul Pow csch acos x3 Add Mul x7 x0 -1 Mul Mul csch acos x3 log csch acos x3 x7 