Verification of Invertibility of Complicated Functions over Large Domains