Mul Pow x1 coth x0 Pow atan Mul E 2 x0 
Add Mul Pow atan Mul E 2 x0 Mul Pow x1 Add coth x0 -1 Mul Mul x1 log x1 Mul -1 Pow csch x0 2 Mul Pow x1 coth x0 Mul Pow atan Mul E 2 Add x0 -1 Mul atan Mul E 2 log atan Mul E 2 