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