why would you generate an unbounded tree of expression transformations and then explore it rather than performing the transformations to explore them O_O what is it thinking what is it classifying what properties are here that this happens