Pow Add pi -1 Pow atanh asin Mul x0 coth x4 2 
Mul Pow Add pi -1 Add Pow atanh asin Mul x0 coth x4 2 -1 Mul Mul Add pi -1 log Add pi -1 Mul atanh asin Mul x0 coth x4 Mul 2 Mul Mul coth x4 Pow sqrt Add 1 Mul -1 Mul Mul x0 coth x4 Mul x0 coth x4 -1 Pow Add 1 Mul -1 Mul asin Mul x0 coth x4 asin Mul x0 coth x4 -1 