[PATCH 2/3] Make a stronger normalisation for expressions with exponents.