Add Pow csch x3 cot Mul acot Add Add x1 x7 2 x0 x0 
Add Mul Pow csch x3 Add cot Mul acot Add Add x1 x7 2 x0 -1 Mul Mul csch x3 log csch x3 Mul Mul -1 Pow csc Mul acot Add Add x1 x7 2 x0 2 acot Add Add x1 x7 2 1 