Integral of inverse functions