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