Derivatives of inverse functions
see here