Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization