Mul Mul 4 Pow cot Mul acsch x7 x6 Mul Add x0 x0 csch x0 -2 
Mul -2 Mul 4 Mul Pow cot Mul acsch x7 x6 Add Mul Add x0 x0 csch x0 -1 Mul Mul cot Mul acsch x7 x6 log cot Mul acsch x7 x6 Add Mul csch x0 2 Mul Add x0 x0 Mul Mul -1 coth x0 csch x0 