∫ { (8^2 - x^2)^0.5 - [ 8 - ( 8^2 - (x - 8)^2 )^0.5 ] } dx from x = 0..8