Automatic circuit simplification for meaningful symbolic analysis using the genetic algorithm | IEEE Conference Publication | IEEE Xplore