Pow x2 Pow atanh Add acoth x0 5 pi 
Mul Pow x2 Add Pow atanh Add acoth x0 5 pi -1 Mul Mul x2 log x2 Mul Pow atanh Add acoth x0 5 Add pi -1 Mul pi Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add acoth x0 5 Add acoth x0 5 -1 