Add Pow acot x1 Mul Mul acsch Pow Mul cos E -1 -2 x0 -4 coth x0 
Add Mul Pow acot x1 Add Mul Mul acsch Pow Mul cos E -1 -2 x0 -4 -1 Mul Mul acot x1 log acot x1 Mul -4 acsch Pow Mul cos E -1 -2 Mul -1 Pow csch x0 2 