Global inverse function theorem | Synapse