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