Main Search Hard Rough Compilation