int 4-sqrt(16-(x-4)^2), [x, 8/5,4]