Add Mul Add x0 log coth x0 x0 Pow x3 Mul Pow Mul Mul Pow x0 x1 x3 x6 cot x7 pi 
Add Add Mul x0 Add 1 Mul Mul -1 Pow csch x0 2 Pow coth x0 -1 Add x0 log coth x0 Mul Pow x3 Add Mul Pow Mul Mul Pow x0 x1 x3 x6 cot x7 pi -1 Mul Mul x3 log x3 Mul pi Mul Pow Mul Mul Pow x0 x1 x3 x6 Add cot x7 -1 Mul cot x7 Mul x6 Mul x3 Mul Pow x0 Add x1 -1 x1 