change simplification in gruntz