Mul cos Pow cot x0 Add cos E acoth x0 Pow cot Mul Add x0 x5 x0 x0 
Add Mul Pow cot Mul Add x0 x5 x0 x0 Mul Mul -1 sin Pow cot x0 Add cos E acoth x0 Mul Pow cot x0 Add Add cos E acoth x0 -1 Add Mul Add cos E acoth x0 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cos Pow cot x0 Add cos E acoth x0 Mul Pow cot Mul Add x0 x5 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csc Mul Add x0 x5 x0 2 Add x0 Add x0 x5 Mul cot Mul Add x0 x5 x0 log cot Mul Add x0 x5 x0 