How do I evaluate int_0^pisin(x)dx?