What is the integral of #int sin (pi x) dx#?