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