3693: combsimp adjustment for ratios