Is there a shortcut to construct derivatives of a product using Symbolics?

[ChrisRackauckas]

I don’t think there’s a shortcut. What you showed is a good way to do that, and you can just define a Julia function that creates that if you’re using it a lot.