An expression analysis package for REDUCE 2 is presented. This package, completely written in Standard LISP, can be considered as an extension of the algebraic mode. It allows to interactively dismantled and/or modify the last output expression as ~t is desplayed or printed. An interface with the Code Optimizer makes on line construction of optimized FORTRAN programs possible.