log atanh Add Mul x1 Add x0 E Pow x0 pi 
Mul Mul Add x1 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Add Mul x1 Add x0 E Pow x0 pi Add Mul x1 Add x0 E Pow x0 pi -1 Pow atanh Add Mul x1 Add x0 E Pow x0 pi -1 