acoth cot Add acot Mul coth x0 x6 E 
Mul Mul Mul -1 Pow csc Add acot Mul coth x0 x6 E 2 Mul -1 Mul Mul x6 Mul -1 Pow csch x0 2 Pow Add 1 Mul Mul coth x0 x6 Mul coth x0 x6 -1 Pow Add 1 Mul -1 Mul cot Add acot Mul coth x0 x6 E cot Add acot Mul coth x0 x6 E -1 