The first goal of this paper is to give a short description of the planar bi-Sobolev homeomorphisms, providing simple and self-contained proofs for some already known properties. In particular, for any such homeomorphism u : Ω → ∆, one has Du(x) = 0 for almost every point x for which Ju(x) = 0. As a consequence, one can prove thatNotice that this estimate holds trivially if one is allowed to use the change of variables formula, but this is not always the case for a bi-Sobolev homeomorphism. As a corollary of our construction, we will show that any W 1,1 homeomorphism u with W 1,1 inverse can be approximated with smooth diffeomorphisms (or piecewise affine homeomorphisms) un in such a way that un converges to u in W 1,1 and, at the same time, u −1 n converges to u −1 in W 1,1 . This positively answers an open conjecture (see for instance [11, Question 4]) for the case p = 1.