Mul Mul Add x0 -4 Add x0 -0.999329299739067 Mul -2 atanh x0 
Add Mul Mul -2 atanh x0 Add Add x0 -0.999329299739067 Add x0 -4 Mul Mul Add x0 -4 Add x0 -0.999329299739067 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 