Pow exp Add x0 x0 Add Mul atanh x0 x2 2 
Mul Pow exp Add x0 x0 Add Add Mul atanh x0 x2 2 -1 Add Mul Add Mul atanh x0 x2 2 Mul exp Add x0 x0 2 Mul Mul exp Add x0 x0 log exp Add x0 x0 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 