The generated shader code can be heavily optimized by topologically sorting the computation graph and eliminating common sub-expressions. This paper has a good explanation of how this works.