 This gives a set of equations in terms of available sets, which can be solved by an iterative algorithm.Available expression analysis is used to do global common subexpression elimination (CSE).If an expression is available at a point, there is no need to re-evaluate it.