area of the shaded region