atanh Add Mul x0 x0 Add 4 Pow Mul x0 x0 pi 
Mul Add Add x0 x0 Mul Pow Mul x0 x0 Add pi -1 Mul pi Add x0 x0 Pow Add 1 Mul -1 Mul Add Mul x0 x0 Add 4 Pow Mul x0 x0 pi Add Mul x0 x0 Add 4 Pow Mul x0 x0 pi -1 