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