Chain rule for Bi-Sobolev Maps