Implemented efficent mips inequality.