Is there a formula for antifreeze

If you don't want to replace all of your antifreeze, you can get an antifreeze tester, find out what your current mixture is, and adjust as necessary, e.g.: if your mixture is not enough, you can drain some and then fill with straight antifreeze, run the car until the thermostat opens up, and then check it again once the car has cooled down.