What is the derivative of 5x arcsin(x)?