keywords Computer Science Computer Science, Theory & Methods Engineering Engineering, Electrical & Electronic Science & Technology Single constant multiplication Technology common subexpression elimination directed acyclic graphs optimal algorithm