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