Add Mul 2 Pow cot Mul x0 csch x5 Add x0 x0 5 
Mul 2 Mul Pow cot Mul x0 csch x5 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Mul -1 Pow csc Mul x0 csch x5 2 csch x5 Mul Mul cot Mul x0 csch x5 log cot Mul x0 csch x5 2 