There are plenty of nontrivial transformations that compilers still have yet to do if you are looking for "art". This just automates a class of optimization so it can be done reliably and generally.