4/3 pi sqrt(2)^3 - 2 * (int r dydrdp from y=1 to sqrt(2-r^2), r=0 to 1, p = 0 to 2pi)