Add Mul cot x0 pi Mul x0 Mul x0 Pow coth atan cot x0 Add atan acot acoth x6 x0 
Add Mul pi Mul -1 Pow csc x0 2 Add Mul x0 Pow coth atan cot x0 Add atan acot acoth x6 x0 Mul x0 Add Pow coth atan cot x0 Add atan acot acoth x6 x0 Mul x0 Mul Pow coth atan cot x0 Add Add atan acot acoth x6 x0 -1 Add Mul Add atan acot acoth x6 x0 Mul Mul -1 Pow csch atan cot x0 2 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul cot x0 cot x0 -1 Mul coth atan cot x0 log coth atan cot x0 