4(integrate (sqrt(16-x^2) - sqrt(16-(x-4)^2))dx from x=0..2)