atanh Add x0 Add Pow Mul x5 Mul x0 x0 Pow Add Add x0 x0 x6 pi x0 
Mul Add 1 Add Mul Pow Mul x5 Mul x0 x0 Add Pow Add Add x0 x0 x6 pi -1 Add Mul Pow Add Add x0 x0 x6 pi Mul x5 Add x0 x0 Mul Mul Mul x5 Mul x0 x0 log Mul x5 Mul x0 x0 Mul Pow Add Add x0 x0 x6 Add pi -1 Mul pi 2 1 Pow Add 1 Mul -1 Mul Add x0 Add Pow Mul x5 Mul x0 x0 Pow Add Add x0 x0 x6 pi x0 Add x0 Add Pow Mul x5 Mul x0 x0 Pow Add Add x0 x0 x6 pi x0 -1 