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