atanh Mul x0 Mul Add exp Add x0 2 x7 log Add E x7 
Mul Add Mul Add exp Add x0 2 x7 log Add E x7 Mul x0 Mul log Add E x7 exp Add x0 2 Pow Add 1 Mul -1 Mul Mul x0 Mul Add exp Add x0 2 x7 log Add E x7 Mul x0 Mul Add exp Add x0 2 x7 log Add E x7 -1 