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