There is a proof of Liouville's theorem by Charles Frances with less computations than most others, and carrying some intuition. However it is restricted to real-analytic transforms, and it is written in French. It has been published in "L'enseignement mathématique", and is available there: http://www.math.u-psud.fr/~frances/liouville2.pdf https://irma.math.unistra.fr/~frances/publiouville4.pdf