simplification compactification