An inverse mapping approach for process systems engineering using automatic differentiation and the implicit function theorem | Synapse