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