Mul x0 Mul Pow x3 x0 Pow coth x0 coth asin pi 
Add Mul Pow x3 x0 Pow coth x0 coth asin pi Mul x0 Add Mul Pow coth x0 coth asin pi Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 Mul Pow coth x0 Add coth asin pi -1 Mul coth asin pi Mul -1 Pow csch x0 2 