Schmitt, S.(2004). Common subexpression search in LEDA_reals: a study of the diamond-operator (ECG-TR-363109-01). Sophia Antipolis: INRIA.