Pow Add x0 acoth Pow x7 Mul Mul 4 x2 acot pi x0 
Mul Pow Add x0 acoth Pow x7 Mul Mul 4 x2 acot pi Add x0 -1 Add x0 Mul Add x0 acoth Pow x7 Mul Mul 4 x2 acot pi log Add x0 acoth Pow x7 Mul Mul 4 x2 acot pi 