[Ice 002] formula mathematics