That only holds if all your formula are guaranteed to halt. I guess that's true if they're limited to arithmetic functions, without looping or recursion of any

That only holds if all your formula are guaranteed to halt. I guess that's true if they're limited to arithmetic functions, without looping or recursion of any kind. Also do note that what you're saying is only easy in theory. In practice it could take years to find your shorter formula.