atanh exp Pow x0 Mul 0.429203673205103 asech x7 
Mul Mul exp Pow x0 Mul 0.429203673205103 asech x7 Mul Pow x0 Add Mul 0.429203673205103 asech x7 -1 Mul 0.429203673205103 asech x7 Pow Add 1 Mul -1 Mul exp Pow x0 Mul 0.429203673205103 asech x7 exp Pow x0 Mul 0.429203673205103 asech x7 -1 