Balancing expression dags for more efficient lazy adaptive evaluation | Read Paper on Bytez