Every optimizing compiler does this kind of analysis and then some. It's already completely unpredictable which kind of trivial optimization Postgres fails to

Every optimizing compiler does this kind of analysis and then some. It's already completely unpredictable which kind of trivial optimization Postgres fails to apply, it could hardly get any worse.