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