Mul cot cot Pow pi acot Mul Mul x5 x0 x0 Add Pow acoth x0 x0 exp asech pi 
Add Mul Add Pow acoth x0 x0 exp asech pi Mul Mul -1 Pow csc cot Pow pi acot Mul Mul x5 x0 x0 2 Mul Mul -1 Pow csc Pow pi acot Mul Mul x5 x0 x0 2 Mul Pow pi Add acot Mul Mul x5 x0 x0 -1 Mul Mul pi log pi Mul -1 Mul Add Mul x0 x5 Mul x5 x0 Pow Add 1 Mul Mul Mul x5 x0 x0 Mul Mul x5 x0 x0 -1 Mul cot cot Pow pi acot Mul Mul x5 x0 x0 Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 