first insertion expression compilation