integral((sqrt(64 - (x + 3)^2) - 1.7888545) dx) from x = 0.130495 to x = 4.79744