Add Pow x0 E exp Add x0 Add Mul 5 x0 Add exp atanh x0 Add x2 -4 
Add Mul Pow x0 Add E -1 E Mul exp Add x0 Add Mul 5 x0 Add exp atanh x0 Add x2 -4 Add 1 Add 5 Mul exp atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 