Working implementation of inchworm inexact mapping