Pow x0 acot Pow Add x6 1 Pow Add x0 x0 4 
Mul Pow x0 Add acot Pow Add x6 1 Pow Add x0 x0 4 -1 Add acot Pow Add x6 1 Pow Add x0 x0 4 Mul Mul x0 log x0 Mul -1 Mul Mul Pow Add x6 1 Add Pow Add x0 x0 4 -1 Mul Mul Add x6 1 log Add x6 1 Mul Pow Add x0 x0 3 6 Pow Add 1 Mul Pow Add x6 1 Pow Add x0 x0 4 Pow Add x6 1 Pow Add x0 x0 4 -1 