Simplification rules for often-occuring special cases