Integration of inverse functions