add free alu expression computation