Add Mul x0 acot Mul Pow Mul -4 x0 Pow Add x2 x0 -3 Mul atan Mul x0 x0 -3 x0 
Add Add acot Mul Pow Mul -4 x0 Pow Add x2 x0 -3 Mul atan Mul x0 x0 -3 Mul x0 Mul -1 Mul Add Mul Mul atan Mul x0 x0 -3 Mul Pow Mul -4 x0 Add Pow Add x2 x0 -3 -1 Add Mul Pow Add x2 x0 -3 -4 Mul Mul Mul -4 x0 log Mul -4 x0 Mul Pow Add x2 x0 4 -3 Mul Pow Mul -4 x0 Pow Add x2 x0 -3 Mul -3 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Add 1 Mul Mul Pow Mul -4 x0 Pow Add x2 x0 -3 Mul atan Mul x0 x0 -3 Mul Pow Mul -4 x0 Pow Add x2 x0 -3 Mul atan Mul x0 x0 -3 -1 1 