Add acot Mul x6 x0 Mul -4 Pow atanh Add Mul x2 x0 x0 x1 
Add Mul -1 Mul x6 Pow Add 1 Mul Mul x6 x0 Mul x6 x0 -1 Mul -4 Mul Pow atanh Add Mul x2 x0 x0 Add x1 -1 Mul x1 Mul Add x2 1 Pow Add 1 Mul -1 Mul Add Mul x2 x0 x0 Add Mul x2 x0 x0 -1 