inverse function integration