For the most part, no. Optimizing compilers can't do this. There are whole classes of problems one runs into from: - The ability to change variables by refere

For the most part, no. Optimizing compilers can't do this. There are whole classes of problems one runs into from: - The ability to change variables by reference or through introspection - Exceptions in intermediate computations - Etc. The set of transformations one can do while maintaining guaranteed equivalence is limited.