Is there a library on common sub-expression elimination?<br>