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