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