I'm looking for a function that applies the following behavior to an expression:
-When the expression is given as the full input, or as part of a function that cannot be evaluated, it remains in unevaluated form. -When the expression is used for a function, it is evaluated.
Defer won't evaluate it in a function.
Unevaluated leaves itself in evaluated when used directly as output.
Essentially, I need a function
F that will output the following:
If the solution only works for a specific internal expression, that works, because I only need this for one function.