transform-level simplification