Pow Add pi pi Pow acot x0 Mul asin acos x1 coth x0 
Mul Pow Add pi pi Add Pow acot x0 Mul asin acos x1 coth x0 -1 Mul Mul Add pi pi log Add pi pi Mul Pow acot x0 Add Mul asin acos x1 coth x0 -1 Add Mul Mul asin acos x1 coth x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul asin acos x1 Mul -1 Pow csch x0 2 