Add x3 Mul 4 Pow Add Mul x0 x7 Pow x0 Mul x0 acot Pow Add x0 pi 4 4 
Mul 4 Mul Pow Add Mul x0 x7 Pow x0 Mul x0 acot Pow Add x0 pi 4 3 Mul 4 Add x7 Mul Pow x0 Add Mul x0 acot Pow Add x0 pi 4 -1 Add Mul x0 acot Pow Add x0 pi 4 Mul Mul x0 log x0 Add acot Pow Add x0 pi 4 Mul x0 Mul -1 Mul Mul Pow Add x0 pi 3 4 Pow Add 1 Mul Pow Add x0 pi 4 Pow Add x0 pi 4 -1 