Lim sin(x + sin(x)) as x=pi