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