pi integral (8)^2 - (8 - 2x^2)^2, x = 0..2