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