Shrink amount of algebraic simplification done further.
Shrink amount of algebraic simplification done further.

diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark