Power Simplification Rules