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