Mul atan Pow Add x0 -4 pi Mul x0 sqrt Mul x0 pi 
Add Mul Mul x0 sqrt Mul x0 pi Mul Mul Pow Add x0 -4 Add pi -1 pi Pow Add 1 Mul Pow Add x0 -4 pi Pow Add x0 -4 pi -1 Mul atan Pow Add x0 -4 pi Add sqrt Mul x0 pi Mul x0 Mul Pow Mul 2 sqrt Mul x0 pi -1 pi 