integral of sin(pix)