How do you find the antiderivative of sin(pix) dx?