Add Mul Mul Mul -3 atanh x0 atanh atanh Add x0 x0 x4 x0 
Add Mul x4 Add Mul atanh atanh Add x0 x0 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul -3 atanh x0 Mul Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Pow Add 1 Mul -1 Mul atanh Add x0 x0 atanh Add x0 x0 -1 1 