acoth Pow x0 acoth Pow Add acoth x0 x5 pi 
Mul Mul Pow x0 Add acoth Pow Add acoth x0 x5 pi -1 Add acoth Pow Add acoth x0 x5 pi Mul Mul x0 log x0 Mul Mul Pow Add acoth x0 x5 Add pi -1 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Add acoth x0 x5 pi Pow Add acoth x0 x5 pi -1 Pow Add 1 Mul -1 Mul Pow x0 acoth Pow Add acoth x0 x5 pi Pow x0 acoth Pow Add acoth x0 x5 pi -1 