This idea started as a bit of a joke:
Of course, for readers of this blog: easy-peasy. so the integral is transformed into and so we’ve entered the realm of rational functions. Ok, ok, there is some work to do.
But for now, notice what is really doing on: we have a function under the radical that has an inverse function (IF we are careful about domains) and said inverse function has a derivative which is a rational function
More shortly: let be such that then:
gets transformed: and then and the integral becomes which is a rational function integral.
Yes, yes, we need to mind domains.