Multi-level logic optimization for low power using local logic transformations