atanh exp Add Mul Mul x7 Add x0 x3 sqrt Mul x2 x0 4 
Mul Mul exp Add Mul Mul x7 Add x0 x3 sqrt Mul x2 x0 4 Add Mul sqrt Mul x2 x0 x7 Mul Mul x7 Add x0 x3 Mul Pow Mul 2 sqrt Mul x2 x0 -1 x2 Pow Add 1 Mul -1 Mul exp Add Mul Mul x7 Add x0 x3 sqrt Mul x2 x0 4 exp Add Mul Mul x7 Add x0 x3 sqrt Mul x2 x0 4 -1 