use expansion rather than cancel in gruntz