normalisation of expressions