diff --git a/README.md b/README.md
index b8239b24..d23aa18b 100644
--- a/README.md
+++ b/README.md
@@ -40,8 +40,8 @@ Transformation | Schema
 <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=144">case copy propagation</a>              | <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=144"><img src="https://raw.githubusercontent.com/andorp/grin/master/images/case-copy-propagation.png" width="500" ></a>
 <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=153">case hoisting</a>                      | <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=153"><img src="https://raw.githubusercontent.com/andorp/grin/master/images/case-hoisting.png" width="500" ></a>
 <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=149">whnf update elimination</a>            | <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=149"><img src="https://raw.githubusercontent.com/andorp/grin/master/images/whnf-update-elimination.png" width="500" ></a>
+<a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=164">common sub-expression elimination</a>  | <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=164"><img src="https://raw.githubusercontent.com/andorp/grin/master/images/common-sub-expression-elimination-1.png" width="500" ><img src="https://raw.githubusercontent.com/andorp/grin/master/images/common-sub-expression-elimination-2.png" width="500" ></a>
 <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=159">constant propagation</a>               | 
-<a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=164">common sub-expression elimination</a>  | 
 <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=169">dead procedure elimination</a>         | 
 <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=170">dead variable elimination</a>          | 
 <a href="http://nbviewer.jupyter.org/github/andorp/grin/blob/master/papers/boquist.pdf#page=171">dead parameter elimination</a>         | 
diff --git a/images/common-sub-expression-elimination-1.png b/images/common-sub-expression-elimination-1.png
new file mode 100644
index 00000000..6553dc0a
Binary files /dev/null and b/images/common-sub-expression-elimination-1.png differ
diff --git a/images/common-sub-expression-elimination-2.png b/images/common-sub-expression-elimination-2.png
new file mode 100644
index 00000000..b14343c7
Binary files /dev/null and b/images/common-sub-expression-elimination-2.png differ