converting code to more abstract and denser representations and then manipulating them makes sense to me. Finding better representations is like half of mathematics.