Mul Add Pow csch Add x0 x2 Add x0 Pow x2 5 x0 Pow cot x1 x0 
Add Mul Pow cot x1 x0 Add Mul Pow csch Add x0 x2 Add Add x0 Pow x2 5 -1 Add Mul Add x0 Pow x2 5 Mul Mul -1 coth Add x0 x2 csch Add x0 x2 Mul csch Add x0 x2 log csch Add x0 x2 1 Mul Add Pow csch Add x0 x2 Add x0 Pow x2 5 x0 Mul Pow cot x1 Add x0 -1 Mul cot x1 log cot x1 