What is the integral of 9sinx?