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