Area of a shaded area out of a circle