What is the integral of 10sin(x5)?