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