Or, if you really want to go from the LHS to the RHS then use ([itex]\frac{dA}{dt}[/itex][itex])\cdot[/itex]B = [itex]\frac{d}{dt}[/itex](A[itex]\cdot[/itex]B) - A[itex]\cdot[/itex][itex]\frac{dB}{dt}[/itex] which is just the product rule rearranged.