countdown: use the fact that add and mul are symmetric