A mathematical model to calculate the amount of ice formed instantaneously after a rapid expansion in high-pressure shift processes (HPSF) was developed. It considers that when water is expanded it does not extend over its melting curve but reaches a metastable state (supercooled water), which also occurs in practice. Theoretical results appear to agree with experimental data.