Unfortunately this is not complete, because it does not work with integrals that require algebraic extensions (they are more complicated than transcendental ext

Unfortunately this is not complete, because it does not work with integrals that require algebraic extensions (they are more complicated than transcendental extensions).