Pow x0 acot Pow Mul Pow x1 Mul x0 x0 x0 4 
Mul Pow x0 Add acot Pow Mul Pow x1 Mul x0 x0 x0 4 -1 Add acot Pow Mul Pow x1 Mul x0 x0 x0 4 Mul Mul x0 log x0 Mul -1 Mul Mul Pow Mul Pow x1 Mul x0 x0 x0 3 Mul 4 Add Mul x0 Mul Pow x1 Add Mul x0 x0 -1 Mul Mul x1 log x1 Add x0 x0 Pow x1 Mul x0 x0 Pow Add 1 Mul Pow Mul Pow x1 Mul x0 x0 x0 4 Pow Mul Pow x1 Mul x0 x0 x0 4 -1 