Например точка (-π; -0,5) Не попадёт в Заштрихованную область, но программа признает, что она попадёт. Можно ограничить ширину по х. Вообще всё можно было одной командой ветвления записать
If (x>=-pi()/2) and (y<=sin(x)) and (y>=(x-1)) and (y>= -1)
then writeln('Принадлежит')
else writeln('Не принадлежит');