atan Pow Add exp Pow atanh x6 x0 E x0 
Mul Mul Pow Add exp Pow atanh x6 x0 E Add x0 -1 Add Mul x0 Mul exp Pow atanh x6 x0 Mul Pow atanh x6 Add x0 -1 Mul atanh x6 log atanh x6 Mul Add exp Pow atanh x6 x0 E log Add exp Pow atanh x6 x0 E Pow Add 1 Mul Pow Add exp Pow atanh x6 x0 E x0 Pow Add exp Pow atanh x6 x0 E x0 -1 