m(comp)-m(main) vs Log(LIR)