floor(sqrt(1-(1 0.125)^2) sqrt(2)/ 0.125)^2 + sum 4 floor((2 sqrt(1-(1 0.125)^2 -( 0.125/2 floor(sqrt(1-(1 0.125)^2) sqrt(2)/0.125) +k 0.125)^2))/0.125) , k=1 to 2