>>38
You assume that efficiency is just a measure of the speed of the generated code,
That is the usual meaning, yes.
excluding the time and mental effort required to form (and no doubt eventually unwind) the thing in the first place.
These metric are usually referred to with terms like easy to read, easy to write, etc.