Mul Pow coth Mul Add acot x2 -1 Add x0 -2 x0 x6 
Mul x6 Mul Pow coth Mul Add acot x2 -1 Add x0 -2 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch Mul Add acot x2 -1 Add x0 -2 2 Add acot x2 -1 Mul coth Mul Add acot x2 -1 Add x0 -2 log coth Mul Add acot x2 -1 Add x0 -2 