Here is a related question, but not quite what I'm after.
I would like to define a function
f[x_] that has the distributive attribute, such that:
Of course I could do
but I suspect that this would be much slower than an actual
Attribute. Unfortunately, I cannot find
Distributive in the list of allowed attributes.
How should one define such a property to make sure that it performs as efficiently as possible?