Add x0 Add x0 acot Add Add Mul x0 Mul -4 pi Pow x0 x1 Mul Pow x0 x0 x5 
Add 1 Add 1 Mul -1 Mul Add Add Mul -4 pi Mul Pow x0 Add x1 -1 x1 Mul x5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Add Add Mul x0 Mul -4 pi Pow x0 x1 Mul Pow x0 x0 x5 Add Add Mul x0 Mul -4 pi Pow x0 x1 Mul Pow x0 x0 x5 -1 