Refined Simplification