When f is easy to work with and can be automatically inverted, then perhaps that’s the case. There are many situations where it’s not feasible to invert f (or even tell if f is invertible to begin with), so getting a general purpose solution to this is out of reach at the moment.