Mul x0 Add x0 Pow atanh Pow x0 x2 Pow 2 E 
Add Add x0 Pow atanh Pow x0 x2 Pow 2 E Mul x0 Add 1 Mul Pow atanh Pow x0 x2 Add Pow 2 E -1 Mul Pow 2 E Mul Mul Pow x0 Add x2 -1 x2 Pow Add 1 Mul -1 Mul Pow x0 x2 Pow x0 x2 -1 