same as limp, except the output x1 is force clamped to the interval u1