$${y′(t) = (3 \, \text{mm}) \sin(5x) \cos(4t)}$$