Analyze CSE >> let in (((x+1) + (y+2)) + (z+3)) + (((a+4) + (b+5)) + (z+6)) end
CSE analyzed at level 1:
CSE-1-1: Subexpressions:
Binop_e(Id_e(z),Plus,Int_c(6))
Binop_e(Id_e(b),Plus,Int_c(5))
Binop_e(Id_e(a),Plus,Int_c(4))
Binop_e(Binop_e(Id_e(a),Plus,Int_c(4)),Plus,Binop_e(Id_e(b),Plus,Int_c(5)))
Binop_e(Binop_e(Binop_e(Id_e(a),Plus,Int_c(4)),Plus,Binop_e(Id_e(b),Plus,Int_c(5))),Plus,Binop_e(Id_e(z),Plus,Int_c(6)))
Binop_e(Id_e(z),Plus,Int_c(3))
Binop_e(Id_e(y),Plus,Int_c(2))
Binop_e(Id_e(x),Plus,Int_c(1))
Binop_e(Binop_e(Id_e(x),Plus,Int_c(1)),Plus,Binop_e(Id_e(y),Plus,Int_c(2)))
Binop_e(Binop_e(Binop_e(Id_e(x),Plus,Int_c(1)),Plus,Binop_e(Id_e(y),Plus,Int_c(2))),Plus,Binop_e(Id_e(z),Plus,Int_c(3)))
Binop_e(Binop_e(Binop_e(Binop_e(Id_e(x),Plus,Int_c(1)),Plus,Binop_e(Id_e(y),Plus,Int_c(2))),Plus,Binop_e(Id_e(z),Plus,Int_c(3))),Plus,Binop_e(Binop_e(Binop_e(Id_e(a),Plus,Int_c(4)),Plus,Binop_e(Id_e(b),Plus,Int_c(5))),Plus,Binop_e(Id_e(z),Plus,Int_c(6))))
Let_e(,Binop_e(Binop_e(Binop_e(Binop_e(Id_e(x),Plus,Int_c(1)),Plus,Binop_e(Id_e(y),Plus,Int_c(2))),Plus,Binop_e(Id_e(z),Plus,Int_c(3))),Plus,Binop_e(Binop_e(Binop_e(Id_e(a),Plus,Int_c(4)),Plus,Binop_e(Id_e(b),Plus,Int_c(5))),Plus,Binop_e(Id_e(z),Plus,Int_c(6)))))
Analyze CSE >> let in (((x+1) + (y+2)) + (z+3)) + (((a+4) + (b+5)) + (z+6)) end
CSE analyzed at level 2:
CSE-1-2: Searchlist:
Binop_e(Id_e(z),Plus,Int_c(6))
0 1 1
Binop_e(Id_e(b),Plus,Int_c(5))
0 1 0 1
Binop_e(Id_e(a),Plus,Int_c(4))
0 1 0 0
Binop_e(Binop_e(Id_e(a),Plus,Int_c(4)),Plus,Binop_e(Id_e(b),Plus,Int_c(5)))
0 1 0
Binop_e(Binop_e(Binop_e(Id_e(a),Plus,Int_c(4)),Plus,Binop_e(Id_e(b),Plus,Int_c(5))),Plus,Binop_e(Id_e(z),Plus,Int_c(6)))
0 1
Binop_e(Id_e(z),Plus,Int_c(3))
0 0 1
Binop_e(Id_e(y),Plus,Int_c(2))
0 0 0 1
Binop_e(Id_e(x),Plus,Int_c(1))
0 0 0 0
Binop_e(Binop_e(Id_e(x),Plus,Int_c(1)),Plus,Binop_e(Id_e(y),Plus,Int_c(2)))
0 0 0
Binop_e(Binop_e(Binop_e(Id_e(x),Plus,Int_c(1)),Plus,Binop_e(Id_e(y),Plus,Int_c(2))),Plus,Binop_e(Id_e(z),Plus,Int_c(3)))
0 0
Binop_e(Binop_e(Binop_e(Binop_e(Id_e(x),Plus,Int_c(1)),Plus,Binop_e(Id_e(y),Plus,Int_c(2))),Plus,Binop_e(Id_e(z),Plus,Int_c(3))),Plus,Binop_e(Binop_e(Binop_e(Id_e(a),Plus,Int_c(4)),Plus,Binop_e(Id_e(b),Plus,Int_c(5))),Plus,Binop_e(Id_e(z),Plus,Int_c(6))))
0
Let_e(,Binop_e(Binop_e(Binop_e(Binop_e(Id_e(x),Plus,Int_c(1)),Plus,Binop_e(Id_e(y),Plus,Int_c(2))),Plus,Binop_e(Id_e(z),Plus,Int_c(3))),Plus,Binop_e(Binop_e(Binop_e(Id_e(a),Plus,Int_c(4)),Plus,Binop_e(Id_e(b),Plus,Int_c(5))),Plus,Binop_e(Id_e(z),Plus,Int_c(6)))))
<empty-path>