Mul x0 atanh Add -4 Pow Pow x1 x0 Mul x0 -2 
Add atanh Add -4 Pow Pow x1 x0 Mul x0 -2 Mul x0 Mul Mul Pow Pow x1 x0 Add Mul x0 -2 -1 Add Mul Mul x0 -2 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul Pow x1 x0 log Pow x1 x0 -2 Pow Add 1 Mul -1 Mul Add -4 Pow Pow x1 x0 Mul x0 -2 Add -4 Pow Pow x1 x0 Mul x0 -2 -1 