Simplification or optimization

Optimization vs. Non-pessimization?

Here are some categories to consider

• Admissible optimizations
• Bad optimizations
• Can Bad be OK?
• Loop Optimizations
  • Loops
  • Trichotomy
• Equality
• Strength reduction