integrate (sqrt(1/4-(x-1/2)^2)+1/2-sqrt(1-x^2)) dx from x=(5-sqrt(7))/8..(5+sqrt(7))/8