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: 
https://irma.math.unistra.fr/~frances/publiouville4.pdf