remove some comments left over from writing simplifySurd