[Ice 001] mathematics formula