What is the integral of sine x dx?