Pow Add atanh Add x0 Add x3 Pow x2 x0 acot E Mul x0 -4 
Mul Pow Add atanh Add x0 Add x3 Pow x2 x0 acot E Add Mul x0 -4 -1 Add Mul Mul x0 -4 Mul Add 1 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul -1 Mul Add x0 Add x3 Pow x2 x0 Add x0 Add x3 Pow x2 x0 -1 Mul Mul Add atanh Add x0 Add x3 Pow x2 x0 acot E log Add atanh Add x0 Add x3 Pow x2 x0 acot E -4 